types-announce

Messages by Date

2024/03/04 [TYPES/announce] Midlands Graduate School (MGS) Graham Hutton
2024/03/04 [TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension Temur Kutsia
2024/03/03 [TYPES/announce] PLMW@PLDI 2024: Call for Scholarship Applications Gollamudi, Anitha
2024/03/02 [TYPES/announce] Call for Participation: BOB 2024 (Berlin, Mar 15) Michael Sperber
2024/02/29 [TYPES/announce] MFPS 2024: final CFP Alex Simpson
2024/02/29 [TYPES/announce] ICE 2024: Second Call for Papers Clément Aubert
2024/02/29 [TYPES/announce] CfP: SCSS 2024 Temur Kutsia
2024/02/28 [TYPES/announce] APLAS 2024: Call for Papers Mirai Ikebuchi
2024/02/28 [TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024 Guillaume Munch-Maccagnoni
2024/02/28 [TYPES/announce] CfP: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation Daniela Kaufmann
2024/02/28 [TYPES/announce] WiL 2024: first call for papers Elaine Pimentel
2024/02/28 [TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April Riccardo Treglia
2024/02/28 [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Graham Leigh
2024/02/26 [TYPES/announce] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France Claude Marche
2024/02/25 [TYPES/announce] TYPES 2024 - 2nd Call for Contributions Patrick Bahr
2024/02/25 [TYPES/announce] ITP 2024: Call for Workshop and Tutorial Proposals Besik Dundua
2024/02/23 [TYPES/announce] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line Luigia Petre
2024/02/22 [TYPES/announce] Five PhD Positions at the department of Computer Science and Engineering, Chalmers Ana Bove
2024/02/22 [TYPES/announce] PhD position at the University of Copenhagen Dmitriy Traytel
2024/02/22 [TYPES/announce] CfP TASE 2024 (extended deadlines) Jun PANG
2024/02/21 [TYPES/announce] VerifyThis 2024 - Call for Participation / Applications for Travel Grants Summers, Alexander
2024/02/21 [TYPES/announce] Call for Participation and Registration: HoTT/UF 2024 Jonathan Weinberger
2024/02/20 [TYPES/announce] Extended CfP: 4th IEEE International Conference on Code Quality (ICCQ'24) Yegor Bugayenko
2024/02/20 [TYPES/announce] WQS 2024 - Call for Papers Nicola Assolini
2024/02/20 [TYPES/announce] SMT 2024 Call For Papers Yoni
2024/02/19 [TYPES/announce] Distinguished Postdoctoral Fellowship at Northeastern Amal Ahmed
2024/02/19 [TYPES/announce] QPL 2024 - Third Call for Papers Alejandro Díaz-Caro
2024/02/16 [TYPES/announce] ITP 2024 : Second call for papers Yves Bertot
2024/02/16 [TYPES/announce] FroCoS+ITP+TABLEAUX call for location Elaine Pimentel
2024/02/16 [TYPES/announce] PhD positions in Nottingham Nicolai Kraus
2024/02/15 [TYPES/announce] CfP ITRS 2024 Riccardo Treglia
2024/02/14 [TYPES/announce] 2024 Summer School on Formal Techniques (May 25 - May 31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024) Natarajan Shankar
2024/02/14 [TYPES/announce] PhD position at the University of Strathclyde Fredrik Nordvall Forsberg
2024/02/14 [TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024 Uli Fahrenberg
2024/02/12 [TYPES/announce] SYCO 12 - Call for Papers Thibaut Benjamin
2024/02/12 [TYPES/announce] MGS 8-12 April 2024 Crole, Roy L. (Dr.)
2024/02/12 [TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming Alessandro Bruni
2024/02/11 [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers Sam Staton
2024/02/11 [TYPES/announce] FORTE 2024 Extended Deadline (23 Feb) and Journal Special Issue Confirmed Adrian Francalanza
2024/02/09 [TYPES/announce] ICFP 2024: Second Call for Papers ICFP Publicity
2024/02/09 [TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen) Raphaël Monat
2024/02/09 [TYPES/announce] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia Danel Ahman
2024/02/08 [TYPES/announce] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
2024/02/08 [TYPES/announce] ICTAC 2024: First call for papers Hans-Dieter Hiep
2024/02/07 [TYPES/announce] CiE 2024: CALL FOR PAPERS [Deadline Extension] acie
2024/02/07 [TYPES/announce] FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19) Carsten Fuhs
2024/02/07 [TYPES/announce] RC 2024 - call for papers - deadline extension Clément Aubert
2024/02/06 [TYPES/announce] 14th Panhellenic Logic Symposium Alex Kavvos
2024/02/06 [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 [EXTENDED DEADLINE] Jaime ARIAS
2024/02/04 [TYPES/announce] Fully-funded PhD position at UMass Lowell Gollamudi, Anitha
2024/02/04 [TYPES/announce] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
2024/02/03 [TYPES/announce] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
2024/02/03 [TYPES/announce] PLACES 2024 -- EXTENDED submission deadline (11 Feb 2024 AoE) Raymond Hu
2024/02/02 [TYPES/announce] LangSec 2024 - Call for Papers, Posters, and Panels (fwd) Erik Poll
2024/02/02 [TYPES/announce] PhD studentship in functional programming (closing date 9th Feb) Graham Hutton
2024/02/01 [TYPES/announce] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS) Marmsoler, Diego
2024/01/31 [TYPES/announce] ETAPS 2024 Call For Participation jan . kofron
2024/01/30 [TYPES/announce] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Valeria de Paiva
2024/01/30 [TYPES/announce] TYPES 2024 - Call for Contributions Patrick Bahr
2024/01/30 [TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24) Urbat, Henning
2024/01/29 [TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien Maffei, Matteo
2024/01/29 [TYPES/announce] ETAPS Mentoring Workshop 2024 - Call for Participation Caterina Urban
2024/01/29 [TYPES/announce] ICE 2024: First Call for Papers Clément Aubert
2024/01/29 [TYPES/announce] CILC 2024 first Call for Papers Maurizio Proietti
2024/01/29 [TYPES/announce] CfP: ACM-TOPML Special Issue on "Probabilistic Programming" Hongseok Yang
2024/01/26 [TYPES/announce] SPLASH 2024 Call for Workshop Proposals Qirun Zhang
2024/01/26 [TYPES/announce] Full professor and associate professor positions at IRIF, Paris, France Giuseppe Castagna
2024/01/25 [TYPES/announce] CiE 2024: Final call for papers Benno van den Berg
2024/01/25 [TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK) Marco Paviotti
2024/01/25 [TYPES/announce] 2nd CfP: TASE 2024 Jun PANG
2024/01/24 [TYPES/announce] Postdoctoral Research Fellow in Formal Methods for Business Process Modelling Violet Ka I Pun
2024/01/24 [TYPES/announce] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
2024/01/23 [TYPES/announce] PLDI 2024 SRC: Call for Student Research Competition Submissions Yao Li
2024/01/23 [TYPES/announce] prefaculty / postdoc researcher in types systems position at Jane Street Richard Eisenberg
2024/01/21 [TYPES/announce] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Marco Peressotti
2024/01/20 [TYPES/announce] Two PhD positions at Nanyang Technological University Dr Conrad Watt (Asst Prof)
2024/01/20 [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Final Call for Papers Henning Urbat
2024/01/19 [TYPES/announce] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun Luigia Petre
2024/01/19 [TYPES/announce] IEEE CSF 2024: Call for Workshops Ralf Kuesters
2024/01/18 [TYPES/announce] UNIF 2024 Call for Papers Oliver Fernandez Gil
2024/01/18 [TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation Thomas Powell
2024/01/18 [TYPES/announce] Post-doc position at University of Glasgow, UK (PL theory, behavioural types) Simon Gay
2024/01/17 [TYPES/announce] LICS 2024 Final Call for Papers Sam Staton
2024/01/17 [TYPES/announce] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024 Bas van den Heuvel
2024/01/17 [TYPES/announce] Open postdoc positions (4 years) in "Formal Engineering Support for Field-Programmable Gate Arrays", combining FPGAs with formal methods Rüdiger Ehlers
2024/01/16 [TYPES/announce] HoTT/UF 2024: Final Call for Contributions and Participation Jonathan Weinberger
2024/01/16 [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2024 Crole, Roy L. (Dr.)
2024/01/16 [TYPES/announce] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 Serge Autexier
2024/01/15 [TYPES/announce] Fully-funded PhD studentship in functional programming Graham Hutton
2024/01/15 [TYPES/announce] CfP 4th IEEE International Conference on Code Quality (ICCQ) Yegor Bugayenko
2024/01/14 [TYPES/announce] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
2024/01/14 [TYPES/announce] Open positions at the Computer Science department of École polytechnique Samuel Mimram
2024/01/12 [TYPES/announce] [Deadline extended] WRLA 2024: Final Call For Papers Tran Dinh Duong
2024/01/12 [TYPES/announce] ETAPS Doctoral Dissertation Award - deadline on January 15th Caterina Urban
2024/01/12 [TYPES/announce] FSCD 2024: Second Call for Papers Carsten Fuhs
2024/01/11 [TYPES/announce] SynCoP 2024 - Call for Talks - Luxembourg City (Luxembourg) - April 6th - 7th, 2024 Jaime ARIAS
2024/01/10 [TYPES/announce] OPLSS 2024 Zena Matilde Ariola
2024/01/10 [TYPES/announce] 30th WoLLIC 2024 - Third Call for Papers Ruy Jose Guerra Barretto de Queiroz
2024/01/09 [TYPES/announce] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox Bas van den Heuvel
2024/01/09 [TYPES/announce] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30) Michael Sperber
2024/01/06 [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation Gabriele Vanoni
2024/01/04 [TYPES/announce] PLACES 2024 -- CFP (Deadline: 7 Feb 2024 AoE) Raymond Hu
2024/01/04 [TYPES/announce] Call for participation: Undone Computer Science, Nantes, 5-7 Feb 2024 Guillaume Munch-Maccagnoni
2024/01/03 [TYPES/announce] Call for participation: Workshop on Programming for the Planet (PROPL) (20th January) Dominic Orchard
2024/01/03 [TYPES/announce] Call for ETAPS Test of Time Award 2024 Nominations jan . kofron
2024/01/03 [TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France Eric Goubault
2024/01/02 [TYPES/announce] Call for Participation PLanQC (+ Student Travel Funding) Mathys Rennela
2024/01/02 [TYPES/announce] Funded Masters and PhD positions at U of Regina Joseph Eremondi
2024/01/02 [TYPES/announce] Undergraduate PL internship at Penn Joey Velez-Ginorio
2024/01/01 [TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France Constantin Enea
2024/01/01 [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Claudio Mezzina
2023/12/29 [TYPES/announce] ISR 2024: first call for participation Aart Middeldorp
2023/12/26 [TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics Patricia Johann
2023/12/26 [TYPES/announce] Two PhD scholarships in formal methods at ANU Nisansala Yatapanage
2023/12/26 [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers David Jaz Myers
2023/12/24 [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Pierluigi Graziani
2023/12/24 [TYPES/announce] Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France) Giulio Guerrieri
2023/12/24 [TYPES/announce] RC 2024 - call for papers Clément Aubert
2023/12/23 [TYPES/announce] LICS 2024 Second Call for Papers Sam Staton
2023/12/23 [TYPES/announce] Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy Huisman, Marieke (UT-EEMCS)
2023/12/23 [TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA) Peter Achten
2023/12/23 [TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE) Ralf Kuesters
2023/12/23 [TYPES/announce] [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg Fabio Fioravanti
2023/12/22 [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers Henning Urbat
2023/12/22 [TYPES/announce] QPL 2024 - Second Call for Papers Alejandro Díaz-Caro
2023/12/22 [TYPES/announce] 2nd Call: Student Research Competition at Programming Conference 2024 - deadline 25 January Philipp Haller
2023/12/18 [TYPES/announce] HoTT/UF 2024: Second Call for Contributions and Participation Jonathan Weinberger
2023/12/18 [TYPES/announce] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods Nils Jansen
2023/12/18 [TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024) emilio . tuosto
2023/12/18 [TYPES/announce] Visiting/postdoc researcher in Logic, Semantics, Concurrency -- University of Groningen (NL). Jorge A . Pérez
2023/12/16 Re: [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
2023/12/15 [TYPES/announce] Full Professorship in Formal Methods at the Johannes Kepler University Linz Martina Seidl
2023/12/15 [TYPES/announce] Fully-funded PhD positions at ISTA in the area of Programming Languages and Verification Michael Sammler
2023/12/14 [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers Tran Dinh Duong
2023/12/12 [TYPES/announce] ITP 2024: First Call for Papers Yves Bertot
2023/12/12 [TYPES/announce] CiE 2024: CALL FOR PAPERS acie
2023/12/11 [TYPES/announce] ICFP 2024: Call for Workshops and Co-Located Events ICFP Publicity
2023/12/11 [TYPES/announce] CfP: TASE 2024 Jun PANG
2023/12/10 [TYPES/announce] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
2023/12/08 [TYPES/announce] PLDI'24 Artifact Evaluation Committee: Call for nominations Ningning Xie
2023/12/07 [TYPES/announce] Subject: 2024 Alonzo Church Award Call for Nominations Marcelo Fiore
2023/12/07 [TYPES/announce] Call for papers: Festschrift for Prof. Alan Mycroft Dominic Orchard
2023/12/07 [TYPES/announce] CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages Saverio Giallorenzo
2023/12/06 [TYPES/announce] ECOOP 2024 R1: Call for Papers, AEC Nominations and Workshop Proposals Pascal Weisenburger
2023/12/05 [TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm Graham Leigh
2023/12/05 [TYPES/announce] Funded PhD Positions at Boston University Ankush Das
2023/12/04 [TYPES/announce] Research fellowship about spatio-temporal logics - deadline Jan 12, 2024 Marino Miculan
2023/12/04 [TYPES/announce] [Deadline Extension] FormaliSE 2024 - Call for Papers Abhishek Tiwari
2023/12/03 [TYPES/announce] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski
2023/12/03 [TYPES/announce] Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
2023/12/03 [TYPES/announce] Deadline extension for FICS Workshop (new deadline: 6/12/2023) Alexis Saurin
2023/12/01 [TYPES/announce] ICFP 2024: Call for Papers ICFP Publicity
2023/12/01 [TYPES/announce] FLOPS 2024: final call for abstracts and papers Dale Miller
2023/12/01 [TYPES/announce] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming Peter Achten
2023/11/27 [TYPES/announce] Fully Funded PhD Position in Refactoring Fault-Tolerant Session Types Adam Barwell
2023/11/27 [TYPES/announce] CiE 2024: Call for papers Benno van den Berg
2023/11/26 [TYPES/announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
2023/11/25 [TYPES/announce] multiple PhD Studentships at Queen Mary University of London Raymond Hu
2023/11/25 [TYPES/announce] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
2023/11/25 [TYPES/announce] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml Guilhem Jaber
2023/11/25 [TYPES/announce] Relational and Algebraic Methods in Computer Science (RAMiCS) 2024 in Prague Uli Fahrenberg
2023/11/22 [TYPES/announce] Tenure-track openings in UVM CS Christian Skalka
2023/11/22 [TYPES/announce] HoTT/UF 2024: First Call for Contributions and Participation Jonathan Weinberger
2023/11/22 [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers Urbat, Henning
2023/11/18 [TYPES/announce] Quantum information faculty positions at Indiana University Sabry, Amr A.
2023/11/18 [TYPES/announce] Several post-doc positions at GSSI emilio . tuosto
2023/11/17 [TYPES/announce] 30th WoLLIC 2024 - Second Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/11/16 [TYPES/announce] Faculty positions at the University of Iowa J. Garrett Morris
2023/11/15 [TYPES/announce] Lectureships available at Sussex University Bernhard Reus
2023/11/15 [TYPES/announce] postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
2023/11/15 [TYPES/announce] Fully funded PhD position in categorical semantics Alessio Santamaria
2023/11/13 [TYPES/announce] POPL 2024 - Call for Participation - Early registration: 14 December Donaldson, Alastair F
2023/11/13 [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2023/11/10 [TYPES/announce] Postdoc opening in categorical semantics Patricia Johann
2023/11/08 [TYPES/announce] PhD positions at the University of Bergen Håkon Robbestad Gylterud
2023/11/08 [TYPES/announce] PhD opportunities at the University of Birmingham Paul Levy
2023/11/08 [TYPES/announce] ICALP-LICS-FSCD joint call for workshops Sam Staton
2023/11/05 [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Partecipation Gabriele Vanoni
2023/11/05 [TYPES/announce] FormaliSE 2024 - Call for Papers Abhishek Tiwari
2023/11/03 [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
2023/11/03 [TYPES/announce] EuroPLoP 2024 - Call for Papers and Focus Group Proposals Filipe Correia
2023/11/03 [TYPES/announce] Tenure-Track Faculty Positions at McGill University: Secure Software and Computer Systems Brigitte Pientka
2023/10/31 [TYPES/announce] Call for papers and deadline extension for: TYPES 2023 post-proceedings Benno van den Berg
2023/10/30 [TYPES/announce] CFP - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
2023/10/30 [TYPES/announce] RRRR 2024 Call for Submissions - Reproducibility and Replication of Research Results Arnd Hartmanns
2023/10/30 [TYPES/announce] Postdoc in quantum computation at Dalhousie Julien Ross
2023/10/30 [TYPES/announce] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL Pym, David
2023/10/26 [TYPES/announce] PriSC 2024: Call for Presentations PriSC PC Chairs
2023/10/26 [TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November Donaldson, Alastair F
2023/10/26 [TYPES/announce] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing) Mathys Rennela
2023/10/26 [TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL Dominic Orchard
2023/10/23 [TYPES/announce] VerifyThis Verification Competition: Announcement and Call for Problems Summers, Alexander
2023/10/23 [TYPES/announce] Postdoctoral Research Fellow (3 years) Brijesh Dongol
2023/10/23 [TYPES/announce] SRC@POPL 2024 Call for Submissions Neel Krishnaswami
2023/10/22 [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
2023/10/21 [TYPES/announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford Marta Kwiatkowska
2023/10/19 [TYPES/announce] Expression of interest for two post-doc positions on blockchain and formal methods emilio . tuosto
2023/10/19 [TYPES/announce] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg Lutz Schröder
2023/10/19 [TYPES/announce] Research Internship position in Formal verification for quantum programming at CEA Paris-Saclay Nicolas Blanco
2023/10/18 [TYPES/announce] Assistant Prof at Barnard College, Columbia U Mark Santolucito