2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Sat Jan 1 11:30:30 EST 2022
Ending: Fri Dec 30 05:20:02 EST 2022
Messages: 579

• [TYPES/announce] ETAPS Doctoral Dissertation Award --- Last Call for Nominations, Jan 7th   Caterina Urban
• [TYPES/announce] PEPM 2022 - Call for Participation   Youyou Cong
• [TYPES/announce] Call for STSMs, deadline 16 January 2022   Ambrus Kaposi
• [TYPES/announce] MSc and PhD positions at Queen's University   Jana Dunfield
• [TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual)   Elaine Pimentel
• [TYPES/announce] RC2022 2nd call for papers   Claudio Mezzina
• [TYPES/announce] WADT'22 1st cfp   Alexandre Madeira
• [TYPES/announce] 28th WoLLIC 2022 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CoqPL 2022: Call for Participation   Amin Timany
• [TYPES/announce] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen   Freek Wiedijk
• [TYPES/announce] CMCS 2022: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] CiE 2022: Third CfP (extended deadline)   Ulrich Berger
• [TYPES/announce] CSL 2022 - Call for participation   Manea, Florin
• [TYPES/announce] SC-square Workshop 2022: First Call for Papers   Haniel Barbosa
• [TYPES/announce] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)   Peter Achten
• [TYPES/announce] 3 Assistant professors positions at Chalmers on ICT and Basic Science   Ana Bove
• [TYPES/announce] WST 2022 - Call for Papers   Cynthia Kop
• [TYPES/announce] Final CFP: WRLA 2022 -- 14th Int'l Workshop on Rewriting Logic and its Applications   Kyungmin Bae
• [TYPES/announce] (Deadline extended to Feb 7th, 2022) LangSec 2022, affiliated with IEEE S&P   Gang (Gary) Tan
• [TYPES/announce] Multiple permanent lecturer (assistant prof) posts at Royal Holloway   Lange, Julien
• [TYPES/announce] Cfp: Continuity, Computability, Constructivity: From Logic to Algorithms Postproceedings   Monika Seisenberger
• [TYPES/announce] TFPIE 2022: moving to online and extension to Feb 7th   Elena Machkasova
• [TYPES/announce] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan   Taro Sekiyama
• [TYPES/announce] TERMGRAPH 2022 Workshop: First Call for Papers   Clemens Grabmayer
• [TYPES/announce] HCVS 2022 - Second Call for Papers   Maurizio Proietti
  • [TYPES/announce] HCVS 2022 - Final Call for Papers (Deadline extended 13th February)   Maurizio Proietti
• [TYPES/announce] Multiple Research Fellow positions at the Australian National University   Alwen Tiu
• [TYPES/announce] DisCoTec 2022: second call for Workshops   Giorgio Audrito
• [TYPES/announce] FSCD 2022: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] Release of Lambdapi 2.1.0   Frédéric Blanqui
• [TYPES/announce] PLACES 2022 - Call for Papers   Rumyana Neykova
• [TYPES/announce] First call for papers SOAP 2022   Titolo, Laura
• [TYPES/announce] CMCS 2022: Final Call for Papers   Thorsten Wissmann
• [TYPES/announce] 2022 Alonzo Church Award: Call for Nominations   Andrzej Murawski
• [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop   Tobias Kappé
• [TYPES/announce] Fully-funded PhD studentship at Edinburgh   Liam O'CONNOR
• [TYPES/announce] POPL 2022 Virtual Workshop this week   Adam Chlipala
• [TYPES/announce] CMCS 2022: Deadline extension   Thorsten Wissmann
• [TYPES/announce] ACM HSCC 2022 -- Call for Posters and Demos (deadline 14 February)   Nicola Paoletti
• [TYPES/announce] Funded PhD positions available at Illinois Tech   Stefan Muller
• [TYPES/announce] PLDI SRC 2022 -- Call for Submissions   PLDI Publicity Chair
• [TYPES/announce] Beth Outstanding Dissertation Prize 2022: First Call for Nominations   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK   Simon Gay
• [TYPES/announce] TYPES 2022 -- Second call for contributions   Pierre-Marie Pédrot
• [TYPES/announce] PLACES 2022 -- FINAL Call for Papers (deadline 4 February '22)   Rumyana Neykova
• [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)   Radu Iosif
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)   RADU IOSIF
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)   RADU IOSIF
  • [TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)   RADU IOSIF
• [TYPES/announce] CfP: AMAI Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] DisCoTec final CFP [extended deadline]   Giorgio Audrito
• [TYPES/announce] RC2022 final call for papers   Claudio Mezzina
• [TYPES/announce] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline   Serge Autexier
• [TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France   Julien Signoles
• [TYPES/announce] CSL 2022: 2nd Call for Participation   Manea, Florin
• [TYPES/announce] Call for Model-Checking Community Feedback   Kristin Yvonne Rozier
• [TYPES/announce] 2 Ph.D positions on formal methods available at the University of Oslo   Martin Steffen
• [TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)   Bahareh Afshari
• [TYPES/announce] PLACES 2022 - Call for Papers (Extended deadline & Call for Presentations)   Rumyana Neykova
• [TYPES/announce] HoTT/UF 2022: Call for Contributions   Benedikt Ahrens
• [TYPES/announce] First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics   Justin Hsu
• [TYPES/announce] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification   Dominique Unruh
• [TYPES/announce] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)   Carsten Fuhs
• [TYPES/announce] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022   Gabriel Scherer
• [TYPES/announce] Postdoc on session types and reliability   Laura Bocchi
• [TYPES/announce] RRRR 2022: Call for submissions (extended deadlines)   Hartmanns, Arnd (UT-EEMCS)
• [TYPES/announce] Post-doc/senior researcher in smart contract security analysis using formal methods   Stefan Dziembowski
• [TYPES/announce] RC2022 final CFP [extended deadline]   Claudio Mezzina
• [TYPES/announce] LSFA 2022 -- First Call for Papers   Daniele Nantes
• [TYPES/announce] PhD positions in Mathematical Foundations of Computer Science - Bath - deadline 4 March   Willem Heijltjes
• [TYPES/announce] VPT 2022 Workshop, Extended Deadline   Lisitsa, Alexei
• [TYPES/announce] LCC 2022 workshop Final call for participation   Patrick Baillot
• [TYPES/announce] Tenure Track Position (RTDB) in Computer Science (INF/01) at the University of Bologna - Call Opened   Ugo Dal Lago
• [TYPES/announce] CfP GCM 2022 - 13th International Workshop on Graph Computation Models   Christopher Michael POSKITT
• [TYPES/announce] Coq Community Survey 2022   Théo Zimmermann
• [TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)   Clément Aubert
  • [TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)   Clément Aubert
• [TYPES/announce] PhD position on efficient and provably correct execution environments   Tobias Wrigstad
• [TYPES/announce] DisCoTec 2022 call for tutorials [deadline feb 28]   Giorgio Audrito
• [TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand   Graham Leigh
• [TYPES/announce] Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University   Sergiy Bogomolov
• [TYPES/announce] Lecturer / Senior Lecturer in Software Engineering   David Pearce
• [TYPES/announce] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US   Luigia Petre
• [TYPES/announce] VerifyThis Verification Competition 2022   Marie Farrell
• [TYPES/announce] ETAPS Mentoring Workshop 2022 - Call for Participation   Caterina Urban
• [TYPES/announce] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)   Martin Zimmermann
• [TYPES/announce] Call for Papers: PACMPL issue ICFP 2022   ICFP Publicity
• [TYPES/announce] CFP - Symposium on the History and Philosophy of Programming   Tomas Petricek
• [TYPES/announce] Six positions in Mathematics-Computer Science-Physics at Utrecht University   Swierstra, W.S. (Wouter)
• [TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany   Ralf Kuesters
• [TYPES/announce] FORMATS'22: second call for papers   Gethin Norman
• [TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation   Nicolai Kraus
• [TYPES/announce] CONCUR 2022: 2nd CFP   Sławomir Lasota
• [TYPES/announce] PhD and postdoc positions in security and privacy at Chalmers University of Technology   Andrei Sabelfeld
• [TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)   Peter Achten
• [TYPES/announce] ACKERMANN AWARD 2022: CALL FOR NOMINATIONS   EACSL Mail-Account
• [TYPES/announce] postdoc position, University of Warsaw   Sławomir Lasota
  • [TYPES/announce] postdoc position, University of Warsaw   Sławomir Lasota
• [TYPES/announce] PhD position, University of Warsaw   Sławomir Lasota
• [TYPES/announce] QEST 2022: Second Call for Papers   QEST Publicity
• [TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science   Eric Goubault
• [TYPES/announce] [ICFEM 2022] Call for Workshops and tutorials   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)   Noam Zeilberger
• [TYPES/announce] Applied Category Theory 2022: First Call for Papers   Fredrik Nordvall Forsberg
• [TYPES/announce] Associate Professor Position in Software Engineering at Uppsala University   Tobias Wrigstad
• [TYPES/announce] DisCoTec 2022 Call for Workshop Papers [deadline 7 apr+]   Giorgio Audrito
• [TYPES/announce] TYPES 2022 -- Last call for contributions   Pierre-Marie Pédrot
• [TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic - deadline extended   Bahareh Afshari
• [TYPES/announce] EXPRESS/SOS 2022 first call for Papers   Claudio Mezzina
• [TYPES/announce] UNIF 2022 CFP - 36TH International Workshop on Unification - deadline: May 5, 2022   David Cerna
• [TYPES/announce] HSCC 2022 Test-of-time-award (deadline 10 April)   Nicola Paoletti
• [TYPES/announce] Postdoc and PhD position in homotopy type theory   Nicolai Kraus
• [TYPES/announce] PhD Position in Number Theory and Formalization   Andrei Popescu
• [TYPES/announce] PLDI 2022 Call for Student Volunteers   William J. Bowman (PLDI 2022 Publicity Co-chair)
• [TYPES/announce] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]   D. Ventura
• [TYPES/announce] 2-Year Postdoctoral Fellowship in Program Synthesis at Grinnell College   Osera, Peter-Michael
• [TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022)   Quentin Stievenart
• [TYPES/announce] SMT 2022 - 20th International Workshop on Satisfiability Modulo Theories   Antti Hyvärinen
• [TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow   Simon Gay
• [TYPES/announce] Fwd: PhD and postdoc positions in Software Security (Université Paris-Saclay, CEA List institute, France)   Michaël Marcozzi
• [TYPES/announce] TAP22: Tests and Proofs 2022 - Call for Papers   Catherine DUBOIS
• [TYPES/announce] Call for STSMs, deadline 3 April 2022   Ambrus Kaposi
  • [TYPES/announce] Call for STSMs, deadline 3 April 2022   Ambrus Kaposi
• [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, second CFP   Tobias Kappé
• [TYPES/announce] PhD position at the University of Amsterdam   Benno van den Berg
• [TYPES/announce] SOAP 2022 - submission deadline extended   Titolo, Laura
• [TYPES/announce] Postdoctoral positions in AI for Programming Education at MPI-SWS, Germany   rupak at mpi-sws.org
• [TYPES/announce] TYPES 2022 -- Deadline extension   Pierre-Marie Pédrot
• [TYPES/announce] ECOOP Doctoral Symposium 2022: Call for Participation   Stephanie Balzer
• [TYPES/announce] SAS 2022 - First Call for Papers - Paper submission deadline: May 4th, 2022   Caterina Urban
• [TYPES/announce] The Coq Workshop 2022: Call for Presentation Proposals   Talia Ringer
• [TYPES/announce] PhD scholarship in Verification of Software-Defined Networks   Alceste Scalas
• [TYPES/announce] PPDP 2022 - 1st Call for Papers   Beniamino Accattoli
• [TYPES/announce] Morello: Edinburgh research post on capability-based security technologies   Ian Stark
• [TYPES/announce] TFPIE 2022 March 16 online - last call for participation   Elena Machkasova
• [TYPES/announce] [Call for participation] TFPiE and TFP online events March 16-18   Peter Achten
• [TYPES/announce] Assistant Research Professor or Postdoc position at Penn State CSE   Gang (Gary) Tan
• [TYPES/announce] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances   Michael Sperber
• [TYPES/announce] CSL’23 -- CALL FOR WORKSHOPS   Elaine Pimentel
• [TYPES/announce] Midlands Graduate School: Accommodation and second (final) call for participation   Nicolai Kraus
• [TYPES/announce] VORTEX 2022: Call for Papers   Davide Ancona
• [TYPES/announce] Second CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics   Justin Hsu
• [TYPES/announce] GandALF 2022 -- 2nd Call For Papers   Dario Della Monica
• [TYPES/announce] FSCD 2024: Call for Location   carsten at dcs.bbk.ac.uk
• [TYPES/announce] GPCE 2022 Call for Papers   Yukiyoshi Kameyama
• [TYPES/announce] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)   Herman Geuvers
• [TYPES/announce] postdoc position in Lille (France) on type systems and logical methods   Patrick Baillot
• [TYPES/announce] Formal Methods in Computer-Aided Design 2022: Second Call For Papers   Alberto Griggio
• [TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th   Caterina Urban
• [TYPES/announce] MFCS 2022 - Second Call for Papers   Stefan Szeider
• [TYPES/announce] OPLSS 2022   Zena Matilde Ariola
• [TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge   Jeremy Yallop
• [TYPES/announce] OOPSLA 2022 - Round 2 CFP   Andreea Costea
• [TYPES/announce] PhD position on Homotopy Type Theory   Benno van den Berg
• [TYPES/announce] Call for Participation PLDI 2022   William J. Bowman (PLDI Publicity Chair)
• [TYPES/announce] The Logic Colloquium 2022   Antonios Achilleos
• [TYPES/announce] First CFP: FM 2023 - 25th International Symposium on Formal Methods   Violet Ka I Pun
• [TYPES/announce] Ph.D position on formal methods available @ University of Oslo (short deadline)   Martin Steffen
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Daniel Hillerström
• [TYPES/announce] CMCS 2022: Call for Participation   Thorsten Wissmann
• [TYPES/announce] post-doc & programmer positions in Tokyo, Japan   Ichiro Hasuo
• [TYPES/announce] Logic Colloquium deadline extension   Antonios Achilleos
• [TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last CFP and deadline extension   Tobias Kappé
• [TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications - deadline on April 11th   Andrew Kent
• [TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022   Anders Mortberg
• [TYPES/announce] 2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022   Chuangjie Xu
• [TYPES/announce] PhD Student / Post-Doc Position at University of Konstanz   Stefan Leue
• [TYPES/announce] Structure meets Power workshop 2022   Tomáš Jakl
• [TYPES/announce] PhD positions at Aarhus University   Andreas Pavlogiannis
• [TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2022   Sadrzadeh, Mehrnoosh
  • [TYPES/announce] Final Call and Deadline Extension for Beth Outstanding Dissertation Prize 2022   Sadrzadeh, Mehrnoosh
• [TYPES/announce] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains   zaynah dargaye
• [TYPES/announce] Eleventh Summer School on Formal Techniques, May 30 - June 5, 2022, Menlo College, Atherton, California   Natarajan Shankar
• [TYPES/announce] last call: HSCC 2022 Test-of-time-award (deadline 10 April)   Nicola Paoletti
• [TYPES/announce] PhD position in machine learning for formal verification (Université Paris-Saclay, CEA LIST Institute, France)   Michele Alberti
• [TYPES/announce] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April   Marco Maggesi
• [TYPES/announce] Microservices 2022 - First Call for Participation   Florian Rademacher
• [TYPES/announce] SPLASH 2022 Call for Workshop Proposals   Andreea Costea
• [TYPES/announce] Call for Workshop Papers - ECOOP 2022   Carolin Brandt
• [TYPES/announce] Lecturer Positions in Computer Science at Sussex   Bernhard Reus
• [TYPES/announce] CFP SL-COMP 2022   Mihaela Sighireanu
• [TYPES/announce] [ICFEM 2022] Last CfP   ADRIAN RIESCO RODRIGUEZ
• [TYPES/announce] CONCUR 2022 - last CFP   Bartek Klin
• [TYPES/announce] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)   Achim D. Brucker
• [TYPES/announce] ICALP 2024 - call for location   Emanuela Merelli
• [TYPES/announce] TERMGRAPH 2022 Workshop: Second Call for Papers   Clemens Grabmayer
• [TYPES/announce] ICTCS'22: preliminary CfP   Daniele Gorla
  • [TYPES/announce] ICTCS'22 - CfP   Daniele Gorla
• [TYPES/announce] QEST 2022: Last Call for Papers   QEST Publicity
• [TYPES/announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022   Marco Caminati
• [TYPES/announce] ECOOP Doctoral Symposium 2022: 2nd Call for Contributions   Stephanie Balzer
• [TYPES/announce] Assistant/Associate Professor positions at the Technical University of Denmark   Alberto Lluch Lafuente
• [TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)   Alexandre Madeira
• [TYPES/announce] Student applications for PLMW @ PLDI 2022   Deian Stefan
• [TYPES/announce] LAP 2022 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] Tenure-track assistant professor   Coen DE ROOVER
• [TYPES/announce] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)   Anders Mortberg
• [TYPES/announce] 2nd CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1   Michael Sperber
• [TYPES/announce] ICFP 2022 Student Research Competition: Call for Submissions   Danel Ahman
• [TYPES/announce] ICFP'22 Artifact Evaluation Committee: call for nominations   Gabriel Scherer
• [TYPES/announce] Final CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics   Justin Hsu
• [TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022) (Deadline extension)   Quentin Stievenart
• [TYPES/announce] Final CfP (with extended deadline): 15th Interaction and Concurrency Experience (ICE 2022)   Clément Aubert
• [TYPES/announce] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software   Joao Marcos
• [TYPES/announce] Summer School on Neurosymbolic Programming July 11-13, Pasadena CA   Armando Solar-Lezama
• [TYPES/announce] ETAPS 2023: Call for Satellite Events   Benedikt Bollig
• [TYPES/announce] Call for solvers and benchmarks for the Synthesis Standard Demonstration   Andrew Reynolds
• [TYPES/announce] Call for location ICALP 2025   Anca Muscholl
• [TYPES/announce] WPTE 2022 call for papers   Stefan Ciobaca
• [TYPES/announce] SAT/SMT/AR + CP Summer School   Yoni
• [TYPES/announce] BX 2022 - Call for papers (deadline 14 May)   Li-yao Xia
  • [TYPES/announce] BX 2022 - Final Call For Papers (deadline 14 May)   Li-yao Xia
• [TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics   Ichiro Hasuo
• [TYPES/announce] EXPRESS/SOS 2022 second call for Papers   Claudio Mezzina
• [TYPES/announce] UNIF 2022 (2nd CFP) - 36TH International Workshop on Unification - deadline: May 5, 2022   David Cerna
  • [TYPES/announce] UNIF 2022 (Extended Deadline) - 36TH International Workshop on Unification - deadline: May 11, 2022   David Cerna
• [TYPES/announce] Reminder: PhD positions in Stockholm, deadline this Friday, 22 April   Peter LeFanu Lumsdaine
• [TYPES/announce] 28th WoLLIC 2022 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] VORTEX 2022: Extended Submission Deadline, April 24   Davide Ancona
• [TYPES/announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals   Violet Ka I Pun
• [TYPES/announce] Microservices 2022 - Second Call for Participation   Florian Rademacher
• [TYPES/announce] NFM 2022 - Call for participation   Klaus Havelund
• [TYPES/announce] QEST 2022 Call for Papers: Deadline Extension   QEST Publicity
• [TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs   Luigia Petre
• [TYPES/announce] FOCODILE at DisCoTec 2022: Call For Extended Abstract - 3th International Workshop on Foundations of Consensus and Distributed Ledgers   Andrea Morichetta
• [TYPES/announce] Special Issue on Logic and Higher Structures in MSCS   Samuel Mimram
• [TYPES/announce] Formal Methods in Computer-Aided Design 2022: Final Call For Papers   Alberto Griggio
• [TYPES/announce] Applied Category Theory 2022: Second Call for Papers   Fredrik Nordvall Forsberg
• [TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers   Serge Autexier
• [TYPES/announce] Call for Presentations: VardiFest22   Kristin Yvonne Rozier
• [TYPES/announce] MOVEP: Early-bird rate ends April 30th   Martin Zimmermann
• [TYPES/announce] PhD positions in Mathematical Foundations of Computer Science, Bath - deadline 16 May   Willem Heijltjes
• [TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022   Serge Autexier
• [TYPES/announce] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals   Taro Sekiyama
• [TYPES/announce] CfP: FACS 2022 - 18th International Conference on Formal Aspects of Component Software   José Proença
• [TYPES/announce] WST 2022: final call for papers (submission deadline changed!)   Cynthia Kop
• [TYPES/announce] Second CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains   zaynah dargaye
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)   Daniel Hillerström
• [TYPES/announce] CSL'23 -- 1st call for papers   Elaine Pimentel
• [TYPES/announce] SAS 2022 - Last Call for Papers - Submissions by May 4th, 2022 (paper updates until May 11th, 2022)   Caterina Urban
• [TYPES/announce] announcing the HoTTEST summer school (save the dates)   Carlo Angiuli
• [TYPES/announce] Fwd: TERMGRAPH 2022 Workshop: Final Call for Papers   Clemens Grabmayer
• [TYPES/announce] SPLASH 2022 Final Call for Workshops   Andreea Costea
• [TYPES/announce] 28th WoLLIC 2022 - Deadline extension   Elaine Pimentel
• [TYPES/announce] DEADLINE EXTENSION: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics   Justin Hsu
• [TYPES/announce] WPTE 2022 cfp (extended deadline, journal publication)   Stefan Ciobaca
• [TYPES/announce] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!   Andrei Popescu
• [TYPES/announce] Save the Date: Symposium on Probabilistic Programming in Paris (France) on June 29 and 30, 2022   Jean-Baptiste Tristan
• [TYPES/announce] TYPES 2022 -- Call for participation   Pierre-Marie Pédrot
• [TYPES/announce] SMT Workshop 2022: Final Call for Papers   Antti Hyvärinen
• [TYPES/announce] Final Call for Proposals for the Coq Workshop 2022   Talia Ringer
• [TYPES/announce] Journal of Functional Programming - Call For PhD Abstracts   Graham Hutton
  • [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] Call for papers: FCS'22 workshop @ CSF/FLoC'22   Joe Near
• [TYPES/announce] PPDP 2022 - 2nd Call for Papers   Beniamino Accattoli
• [TYPES/announce] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External   zaynah dargaye
• [TYPES/announce] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP]   Daniel Hillerström
• [TYPES/announce] HoTT/UF 2022: Second Call for Contributions   Evan Cavallo
• [TYPES/announce] Researcher Formal Verification position at Hensoldt Cyber in Munich   Jaap Boender
• [TYPES/announce] Logic colloquium 2022 registration is open   Antonios Achilleos
• [TYPES/announce] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)   Fredrik Nordvall Forsberg
• [TYPES/announce] Final CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]   D. Ventura
• [TYPES/announce] Women in Logic 2022 - Call for Contributions   Sandra Alves
• [TYPES/announce] PLanQC 2022: First call for submissions   Julien Ross
• [TYPES/announce] [TERMGRAPH-2022] 2-day extension submission deadline: May 12   Clemens Grabmayer
• [TYPES/announce] Full professorships at Utrecht University   Swierstra, W.S. (Wouter)
• [TYPES/announce] SPLV 2022 - Call for Participation   Filip Sieczkowski
• [TYPES/announce] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022   Anders Mortberg
• [TYPES/announce] Call for Reviewers APLAS 2022 Artifact Evaluation Committee   Jan de Muijnck-Hughes
• [TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)   Alexandre Madeira
• [TYPES/announce] Workshop in honour of Thierry Coquand's 60th birthday   Ana Bove
• [TYPES/announce] Extended Deadline for HoTT/UF 2022: 15 May   Evan Cavallo
• [TYPES/announce] Deadline extension: SMT Workshop 2022   Antti Hyvärinen
• [TYPES/announce] second CFP: 6th Working Formal Methods Symposium   vlad
• [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK   Anupam das
• [TYPES/announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics   Serge Autexier
• [TYPES/announce] Final call for participation: Advanced Functional Programming Summer School in Utrecht   Swierstra, W.S. (Wouter)
• [TYPES/announce] ACKERMANN AWARD 2022: 2ND CALL FOR NOMINATIONS   EACSL Mail-Account
• [TYPES/announce] Structure meets Power workshop 2022 (Extended deadline)   Daniel Marsden
• [TYPES/announce] Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022   Brigitte Pientka
• [TYPES/announce] Final CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1   Michael Sperber
• [TYPES/announce] Open postdoc or PhD position at Reykjavik University, department of Computer Science   Antonios Achilleos
• [TYPES/announce] ICTCS'22: Final CFP with deadlines extended   Daniele Gorla
• [TYPES/announce] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)   Stefan Ciobaca
• [TYPES/announce] PPDP 2022 - 3rd Call for Papers - deadline extended   Beniamino Accattoli
• [TYPES/announce] Assistant Professorships in Nottingham   Graham Hutton
• [TYPES/announce] ML Family Workshop 2022: Final Call for Presentations   Benoit Montagu
• [TYPES/announce] ICTAC'22 Last Call For Papers   Peter Lammich
• [TYPES/announce] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022   Chuangjie Xu
• [TYPES/announce] CCC2022 -September 19-23, 2022- call for contributions   Maria Emilia Maietti
• [TYPES/announce] ICALP 2022 - Call for Participation - Extended early registration ends TODAY   Anca Muscholl
• [TYPES/announce] GandALF 2022 -- Last Call For Papers   Dario Della Monica
• [TYPES/announce] Job advert -- Research Fellow in Programming Languages and Systems. University of Kent, UK.   Mark Batty
• [TYPES/announce] Final CfP [deadline extended]: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]   D. Ventura
• [TYPES/announce] Final CfP: AMAI Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] TYPES 2022 -- Second call for participation   Pierre-Marie Pédrot
• [TYPES/announce] Nominate the next editor-in-chief of TOPLAS   Adrian Sampson
• [TYPES/announce] Call for Papers: Workshop on Type-Driven Development (TyDe) co-located with ICFP   Nada Amin
• [TYPES/announce] Days in Logic 2022 - Call for participation   José Carlos Espírito Santo
• [TYPES/announce] Deadline extension: AMAI Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] ESSLLI 2022 - Early Bird Registration extended to 5th June   Fransen, Theodorus
• [TYPES/announce] GandALF 2022 -- Call For Papers [extended deadline]   Dario Della Monica
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)   Daniel Hillerström
• [TYPES/announce] Last CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]   D. Ventura
• [TYPES/announce] Job offer / Researcher-Engineer / Inria, France   Claude Marche
• [TYPES/announce] ML Family Workshop 2022: DEADLINE EXTENSION   Benoit Montagu
• [TYPES/announce] ICFP 2022 Student Research Competition: Final Call for Submissions   Danel Ahman
• [TYPES/announce] two funded PhD positions at Inria Nancy   Stephan Merz
• [TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION)   Daniel Hillerström
• [TYPES/announce] Deadline Extension: TyDe 2022   Harley D. Eades III
• [TYPES/announce] ESSLLI 2022 - Early Bird Registration extended once more, to 12th June   Fransen, Theodorus
• [TYPES/announce] CfP deadline extension June 8 - ACM Workshop on Functional Art, Music, Modelling and Design   Michael Sperber
• [TYPES/announce] Call for STSMs, deadline 1 July 2022   Ambrus Kaposi
  • [TYPES/announce] Call for STSMs, deadline 1 July 2022   Ambrus Kaposi
    • [TYPES/announce] Call for STSMs, deadline 1 January 2023   Ambrus Kaposi
• [TYPES/announce] Call for Participation (RC 2022)   Claudio Mezzina
• [TYPES/announce] Applied Category Theory 2022: Call for Participation   Fredrik Nordvall Forsberg
• [TYPES/announce] ICFP 2022: Call for Tutorials, Panels, and Discussions   ICFP Publicity
• [TYPES/announce] APLAS 2022 Call for Papers   Andreea Costea
• [TYPES/announce] Post-doc at MSR Cambridge UK in constraint solving/program verification and synthesis/scheduling for AI/ML systems   Andrey Rybalchenko
• [TYPES/announce] Call for TYPES Steering Committee Nominations   Henning Basold
• [TYPES/announce] Engineer and postdoc positions in France: proof assistant for crypto protocols   David Baelde
• [TYPES/announce] FSTTCS 2022 - Call for Papers   Anuj Dawar
• [TYPES/announce] CSL 2023 -- 2nd cfp   Elaine Pimentel
• [TYPES/announce] PLanQC 2022: Final call for submissions and student travel support   Julien Ross
• [TYPES/announce] WiL 2022 - Call for Participation   Daniele Nantes
• [TYPES/announce] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"   Luigia Petre
• [TYPES/announce] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [TYPES/announce] CfP: SPLASH Onward! 2022   KAMMAR Ohad
• [TYPES/announce] Certified Programs and Proofs (CPP) 2023 Call for Papers   Steve Zdancewic
  • [TYPES/announce] Certified Programs and Proofs (CPP) 2023 Call for Papers   Steve Zdancewic
• [TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial   Donaldson, Alastair F
• [TYPES/announce] TERMGRAPH 2022 Workshop: First Call for Participation   Clemens Grabmayer
• [TYPES/announce] Tenure-track Assistant Professor Position Open at NOVA University Lisbon (PL \/ SE)   Luis Caires
• [TYPES/announce] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE   Kristopher K Micinski
• [TYPES/announce] Professor positions at Ruhr University Bochum   Catalin Hritcu
• [TYPES/announce] IEEE CSF 2022: Call for Participation - Early Bird Registration Ends Today!   Ralf Kuesters
• [TYPES/announce] PLanQC 2022: Submission Deadline Extension   Julien Ross
• [TYPES/announce] SEFM Summer School 2022   Markus Roggenbach
• [TYPES/announce] 2 Year postdoc position   Emilio Tuosto
• [TYPES/announce] STACS 2023 - first call for papers   Anuj Dawar
• [TYPES/announce] Call for virtual participation in Isaac Newton Institute workshop on Vistas in Verification (July 4 to 8, 2022)   Natarajan Shankar
• [TYPES/announce] RC2022 call for online attendance   Claudio Mezzina
• [TYPES/announce] CSL 2023 -- Final cfp   Elaine Pimentel
• [TYPES/announce] SYCO 9 - Call for submissions - Deadline 1 August   Elena Di Lavore
• [TYPES/announce] Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for Participation   RADU IOSIF
• [TYPES/announce] EXPRESS/SOS 2022 final call for Papers   Claudio Mezzina
• [TYPES/announce] PhD scholarship: Hybrid Verification of Distributed Applications   Alceste Scalas
• [TYPES/announce] Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022   Bahareh Afshari
• [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification   Jan Bessai
• [TYPES/announce] Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)   Andrei Chis
• [TYPES/announce] FMCAD 2022 Student Forum CFP (Deadline July 15)   Mathias Preiner
• [TYPES/announce] SPLASH 2022 - Combined Call For Contributions   Andreea Costea
• [TYPES/announce] CICM 2022, final call for applications to the doctoral programme, 15. July 2022   Serge Autexier
• [TYPES/announce] FSTTCS 2022 - second call for papers   Anuj Dawar
• [TYPES/announce] FROM 2022: last CFP (with extended deadlines)   vlad
• [TYPES/announce] Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability   ppradic
• [TYPES/announce] QEST 2022 Call for Participation   QEST Publicity
• [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning"   Paolo Pistone
  • [TYPES/announce] R: Call for Participation: Online Workshop Series "Proofs, Computation and Meaning"   Paolo Pistone
    • [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning"   Paolo Pistone
• [TYPES/announce] CONCUR + FMICS + FORMATS + QUEST + workshops = CONFEST: call for participation   Bartek Klin
• [TYPES/announce] PhD Student or Postdoc Position in Alexander von Humboldt Professor group   Andre Platzer
• [TYPES/announce] International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022: Call for Papers   TRAN Dinh Duong
• [TYPES/announce] Summer School on Security Testing and Verification, 20-21-22 September, Leuven, Belgium   Coen DE ROOVER
• [TYPES/announce] GPCE 2022 - Call for Papers   Yukiyoshi Kameyama
• [TYPES/announce] Soliciting nominations for the POPL 2023 Artifact Evaluation Committee   Leonidas Lampropoulos
• [TYPES/announce] Fully funded PhD position on efficient and provably correct execution environments at Uppsala University   Tobias Wrigstad
• [TYPES/announce] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [TYPES/announce] Nominate the next editor-in-chief of PACMPL   Adrian Sampson
• [TYPES/announce] Applied Proof Theory 2022 (APT22) in Pescara, Italy (Aug 29-Sept 2, 2022).   Sam Sanders
• [TYPES/announce] SPLASH 2022 Doctoral Symposium - Call for Submissions   Fabian MÜHLBÖCK
• [TYPES/announce] Call for Papers: Eelco Visser Commemorative Symposium   Jonathan Aldrich
• [TYPES/announce] PhD Scholarship on Blockchains. Deadline 26/08/22   Emilio Tuosto
• [TYPES/announce] SPLASH 2022 Student Research Competition – Deadline: July 28th, 2022 (extended)   Xujie SI
• [TYPES/announce] Vacancies at TU Braunschweig   Roland Meyer
• [TYPES/announce] SYCO 9 - 2nd call for submissions - Deadline 1st August   Elena Di Lavore
• [TYPES/announce] CCC2022 -September 19-23, 2022- 2nd call for contributions   Maria Emilia Maietti
• [TYPES/announce] Postdoc Vacancy at St Andrews   Christopher Brown
• [TYPES/announce] Assistant Professorships at Heriot-Watt University   Stark, Kathrin
• [TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022   Orestis Melkonian
• [TYPES/announce] Post Doctoral Research Fellowship at the University of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Postdoc and PhD positions at the University of Birmingham   vincent rahli
• [TYPES/announce] Conference in honour of Thomas Ehrhard’s 60th birthday   Lorenzo Tortora de Falco
• [TYPES/announce] PhD positions on formal methods and program analysis available at the University of Oslo   Martin Steffen
• [TYPES/announce] EAPLS Best Dissertation Award - Call for nominations (PhD Dissertations in 2021)   Fernandez, Maria Isabel
• [TYPES/announce] PPDP 2022 and LOPSTR 2022 Call for Participation   Beniamino Accattoli
• [TYPES/announce] PSSV plan for 2022-2023   Shilov Nikolay
• [TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent   Mark Batty
• [TYPES/announce] PLanQC 2022: Call for posters   Julien Ross
• [TYPES/announce] SPLASH 2022 - Combined Call For Workshop Papers   Andreea Costea
• [TYPES/announce] IFL22: Early registration deadline August 15th   Pieter Koopman
• [TYPES/announce] VMCAI 2023 Call for Papers   Cezara
• [TYPES/announce] CCC2022 - 3rd call for contributions - deadline extended to 23rd August   Maria Emilia Maietti
• [TYPES/announce] SYCO 9 - Call for participation   Elena Di Lavore
• [TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2022) Sep 15: Call for Participation   Michael Sperber
• [TYPES/announce] Postdoc and PhD positions in Paris in collaboration with Fujitsu Japan   Caterina Urban
• [TYPES/announce] CfP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures   Pawel Sobocinski
• [TYPES/announce] Senior Lectureship in Computer Science at Swansea University   Monika Seisenberger
• [TYPES/announce] FoPSS 2023 - Preliminary Announcement and Call for Participation   Ugo Dal Lago
• [TYPES/announce] Last CfP: FM 2023 - 25th International Symposium on Formal Methods (strict deadline: Sept. 4, 2022)   emilio.tuosto at gssi.it
• [TYPES/announce] Postdoc Position in Testing AI Ethics at King's College London   M.R. Mousavi
• [TYPES/announce] New release of Software Foundations   Benjamin Pierce
• [TYPES/announce] ETAPS 2023 2nd joint call for papers   Jan Kofron
• [TYPES/announce] STACS 2023 - second call for papers   Anuj Dawar
• [TYPES/announce] SYCO 9 - Last call for participation   Elena Di Lavore
• [TYPES/announce] Formal Methods Teaching Workshop (FMTea 2023) Call for Paper   Catherine DUBOIS
• [TYPES/announce] FMCAD 2022: Call for participation (Early registration by September 15th)   Alberto Griggio
• [TYPES/announce] Day of the Camel 2022: OCaml in Academia and Industry (online, 9 September 2022)   Roberto Blanco
• [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification (Deadline Extension: 2022-09-16)   Jan Bessai
• [TYPES/announce] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022   Denis Merigoux
• [TYPES/announce] Call for Papers: ESOP 2023   Thomas Wies
• [TYPES/announce] PhD scholarship for compiler verification   Nuno Lopes
• [TYPES/announce] CAV 2023 PC Nomination   Constantin Enea
• [TYPES/announce] TYPES 2022 First Post-proceeding CfP   Pierre-Marie Pédrot
• [TYPES/announce] OOPSLA 2023: Round 1 Call for Papers   Andreea Costea
• [TYPES/announce] RAMiCS 2023 - Third call for papers   Luigi Santocanale
• [TYPES/announce] 2022 Alonzo Church Award Announcement   Andrzej Murawski
• [TYPES/announce] Looking for PostDoc on Program Verification Techniques in F* and Coq   Catalin Hritcu
• [TYPES/announce] PLMW at SPLASH 2022: Call for Student Participation! Programming Languages Mentoring Workshop   Andreea Costea
• [TYPES/announce] LAFI 2023 - Call for Extended Abstracts (deadline Oct. 20) - POPL 2023 workshop on Languages for Inference   Christine Tasson
• [TYPES/announce] (Deadline Extended: Sep 22) Call for Papers for FAVPQC 2022 - International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022   TRAN Dinh Duong
• [TYPES/announce] Teaching faculty positions at Princeton CS   David Walker
• [TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 15 Oct 2022   Sammartino, Matteo
• [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France)   David Delahaye
  • [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France)   David Delahaye
• [TYPES/announce] Faculty positions at Oxford   Jeremy Gibbons
• [TYPES/announce] NWPT 2022 call for contributions   Crystal Chang Din
• [TYPES/announce] NJPLS on Friday, October 21st, at UMD   Leonidas Lampropoulos
• [TYPES/announce] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming   Peter Achten
• [TYPES/announce] PLDI 2023 First Call for Papers   Anders Miltner
• [TYPES/announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] [CfPart / Reminder] Proofs, computation and meaning II (28 September, online)   Luca Tranchini
• [TYPES/announce] Summary of results from the Coq Community Survey 2022   Théo Zimmermann
• [TYPES/announce] CoqPL 2023: Call for Presentations   Tej Chajed
• [TYPES/announce] RAMiCS 2023 - Deadline extension   Luigi Santocanale
• [TYPES/announce] PLMW at POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)   Favonia
• [TYPES/announce] UPDATED CfP: Eelco Visser Commemorative Symposium   Jonathan Aldrich
• [TYPES/announce] Postdoc contract at the University of Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Faculty positions at Indiana University   Siek, Jeremy
• [TYPES/announce] Postdoc Positions in Programming Languages, Types, Choreographies (Protocols), and Distributed Systems -- University of Southern Denmark -- Deadline: 6 October 2022   Fabrizio Montesi
• [TYPES/announce] Faculty positions at Iowa State University   Rajan, Hridesh [COM S]
• [TYPES/announce] POPL 2023 Call for Tutorials   Kristopher K Micinski
• [TYPES/announce] Call for Presentations - 7th Workshop on Principles of Secure Compilation (PriSC - colocated with POPL)   Marco Guarnieri
• [TYPES/announce] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct   Nicolai Kraus
• [TYPES/announce] CFP for PEPM 2023 (Partial Evaluation and Program Manipulation)   Edwin Brady
• [TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien   Maffei, Matteo
• [TYPES/announce] Faculty position in Verification at Sheffield University   Mike Stannett
• [TYPES/announce] SRC at POPL 2023: Call For Submissions (DEADLINE: 11/11 AoE)   Zhang, Danfeng
• [TYPES/announce] Post-doc in Programming Languages at IRIF (Paris)   Giuseppe Castagna
• [TYPES/announce] [Deadline Extension] The 33rd Nordic Workshop on Programming Theory, NWPT '22   Crystal Chang Din
• [TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program   Maffei, Matteo
• [TYPES/announce] Two postdocs in Type theory for mathematics and computer science   Ana Bove
• [TYPES/announce] ETAPS 2023 Final joint call for papers   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Four (4) PhD student positions in dependent type theory for mathematics and computer science   Ana Bove
• [TYPES/announce] ECI 2023 – Call for course proposals – Buenos Aires, July 2023   Pablo Barenbaum
• [TYPES/announce] ETAPS Doctoral Dissertation Award 2023   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Call for Workshop Proposals for <Programming> 2023   Atsushi Igarashi
• [TYPES/announce] Multiple PhD positions at The Australian National University   Nisansala Yatapanage
• [TYPES/announce] SYCO 10 – Call for submissions   Robin Kaarsgaard
• [TYPES/announce] Internship for master students at CNES Paris-Daumesnil   Ilik Danko
• [TYPES/announce] SPLASH 2022 - Call For Participation: OOPSLA/APLAS/DLS/GPCE/SAS/SLE and more   Andreea Costea
• [TYPES/announce] PhD and postdoc positions in theory of quantum computing in Paris   Benoît Valiron
• [TYPES/announce] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022   Orestis Melkonian
• [TYPES/announce] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)   Fredrik Nordvall Forsberg
• [TYPES/announce] Selected Papers of Dana S. Scott   Steve Awodey
• [TYPES/announce] PLDI 2023, Call for Workshops and Tutorials   William J. Bowman
• [TYPES/announce] Ph.D. positions at Portland State University   Yao Li
• [TYPES/announce] Faculty position in Cambridge, closing date December 5   Jamie Vicary
• [TYPES/announce] Faculty position in PL at the CS Dept of the University of Oregon   Zena Matilde Ariola
• [TYPES/announce] open faculty search (including PL) in computer science at Boston University   Alley Stoughton
• [TYPES/announce] CFP for PEPM 2023 (Deadline extended)   Edwin Brady
• [TYPES/announce] POPL 23 -- Call for student volunteers   Konstantinos Kallas
• [TYPES/announce] LAFI 2023 - Final Call for Extended Abstracts (deadline Oct. 27) - POPL 2023 workshop on Languages for Inference   Christine Tasson
• [TYPES/announce] Call for participation: The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022   Bahareh Afshari
• [TYPES/announce] 2 PhD scholarships in Verification of Concurrent and Distributed Applications   Alceste Scalas
• [TYPES/announce] PhD position in modelling languages for concurrent systems   Kirstin Peters
• [TYPES/announce] Final CFP: Proceedings for ThEdu'22   Joao Marcos
• [TYPES/announce] Assistant/Associate/Full Professor and Teaching Professor Positions @ State University of New York (SUNY), Korea   Zhoulai Fu
• [TYPES/announce] Research opportunities (internships, PhD positions, summer school) at Max Planck Institutes in Computer Science   Catalin Hritcu
• [TYPES/announce] Fully-funded Ph.D. position(s) in analysis and transformations of Deep Learning programs in New York City (deadline Dec 15)   Raffi T Khatchadourian
• [TYPES/announce] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET   Luigia Petre
• [TYPES/announce] TFPIE 2023 call for submissions (deadline Dec 27th)   Elena Machkasova
  • [TYPES/announce] TFPIE 2023 call for submissions (deadline Dec 27th)   Elena Machkasova
• [TYPES/announce] CoqPL 2023, extended submission deadline (Oct 31)   Benjamin Pierce
• [TYPES/announce] Funded PhD positions in Computer Science at State University of New York, Korea   Zhoulai Fu
• [TYPES/announce] CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy)   Paolo Pistone
  • [TYPES/announce] Final CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy)   Paolo Pistone
• [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations   Mariangiola Dezani
  • [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations   Mariangiola Dezani
  • [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations   Mariangiola Dezani
• [TYPES/announce] TYPES 2022 Second Post-proceeding CfP   Pierre-Marie Pédrot
• [TYPES/announce] 2nd Call for Presentations - Workshop on Principles of Secure Compilation (PriSC 2023)   Marco Guarnieri
• [TYPES/announce] PLDI 2023 Artifact Evaluation Committee Nominations   Anders Miltner
• [TYPES/announce] PLAS 2022: Call for Papers   Musard Balliu
• [TYPES/announce] Postdoc, PhD and intern positions at Université Paris-Saclay, CEA List institute, France, in Software Security and Program Analysis   Michaël Marcozzi
• [TYPES/announce] HSCC 2023 Call for papers   Ničković Dejan
• [TYPES/announce] SYCO 10 – Second call for submissions   Robin Kaarsgaard
• [TYPES/announce] PL and AI faculty Position at McGill University   Brigitte Pientka
• [TYPES/announce] ESSLLI 2023: Call for Course and Workshop Proposals   lutz at lix.polytechnique.fr
• [TYPES/announce] Postdoc position at the University of Birmingham   vincent rahli
• [TYPES/announce] TYPES 2022 Last Post-proceeding CfP -- Extended Deadline   Pierre-Marie Pédrot
• [TYPES/announce] Postdoc & Scientific Programmer Positions in Tokyo   Ichiro Hasuo
• [TYPES/announce] LICS 2023 Call for Papers and Call for Workshop Proposals   Sam Staton
• [TYPES/announce] PLDI 2023 Second Call for Papers   Anders Miltner
• [TYPES/announce] 16th Workshop on Computational Logic and Applications: call for talk proposals   Noam Zeilberger
• [TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw   Sławomir Lasota
• [TYPES/announce] Extended Deadline 11 November 2022 - Formal Methods Teaching Workshop (FMTea 2023) Call for Paper -   Catherine DUBOIS
• [TYPES/announce] CFP IEEE 3rd International Conference on Code Quality (ICCQ'23)   Yegor Bugayenko
• [TYPES/announce] Fwd: Postdoc positions in Probabilistic Programming, in Singapore   Luke Ong
• [TYPES/announce] PhD studentship at University of Oxford   Nobuko Yoshida
• [TYPES/announce] Chancellor's Fellowships at the University of Edinburgh   James Cheney
• [TYPES/announce] CONFEST 2023 -- Call for Workshop Proposals   Emmanuel Filiot
• [TYPES/announce] PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses   Fabio Fioravanti
• [TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 7 Dec 2022   Sammartino, Matteo
• [TYPES/announce] ANU Logic Summer School: Call for Participation   Dirk Pattinson
• [TYPES/announce] Assistant professor position in Theoretical Computer Science at University of Groningen.   Jorge A. Pérez
• [TYPES/announce] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC   Andrei Popescu
• [TYPES/announce] ProofGeneal release 4.5   pierre.courtieu at cnam.fr
• [TYPES/announce] Tenure-track Faculty Positions at Max Planck Institutes in Computer Science   Catalin Hritcu
• [TYPES/announce] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)   Ralph Matthes
• [TYPES/announce] PhD positions in program verification and separation logic at ETH Zürich   Ralf Jung
• [TYPES/announce] ITP 2023: First Call for Papers   Thiemann, René
• [TYPES/announce] 29th WoLLIC 2023 - Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8)   Ralf Jung
• [TYPES/announce] Call for Papers: NASA Formal Methods (NFM) 2023   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] COORDINATION 2023 Call For Papers   emilio.tuosto at gssi.it
• [TYPES/announce] nominations for the Dahl-Nygaard prize for the 2023 year   Davide Ancona
• [TYPES/announce] PhD Position in Theory   Georg Moser
• [TYPES/announce] 10 PhD studentships in Nottingham   Graham Hutton
• [TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford   James Worrell
• [TYPES/announce] SYCO 10: Call for Participation   Chris Heunen
• [TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway   Violet Ka I Pun
• [TYPES/announce] Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh   Sieczkowski, Filip K
• [TYPES/announce] PhD and post-doc positions in Mainz, Germany   Erdweg, Sebastian
• [TYPES/announce] 7 PhD positions available in Austria within the SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) Special Research Program   Maffei, Matteo
• [TYPES/announce] Tenure-Track Faculty Position at Illinois Tech   Stefan Muller
• [TYPES/announce] FSCD 2023: First Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD-CADE 2023: Call for Workshop Proposals   Carsten Fuhs
• [TYPES/announce] New Lambda Calculus book   Henk Barendregt
• [TYPES/announce] Call for Participation: POPL'23   Kristopher K Micinski
• [TYPES/announce] ICFP 2023: Call for Workshop and Co-Located Event   ICFP Publicity
• [TYPES/announce] QPL 2023 - Preliminary Call for Papers   Vladimir Zamdzhiev
• [TYPES/announce] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET   Luigia Petre
• [TYPES/announce] Lectureships (assistant professorships) at Imperial College London   Gardner, Philippa A
• [TYPES/announce] Certified Programs and Proofs (CPP) 2023: Call for Participation   Steve Zdancewic
• [TYPES/announce] Rust Verification Workshop at ETAPS 2023: Call for Talk and Demo Proposals   Mueller Peter
• [TYPES/announce] postdoctoral research positions in effect handler oriented programming at Edinburgh   Sam Lindley
• [TYPES/announce] CfP ICGT 2023 :: 16th International Conference on Graph Transformation   Christopher Michael POSKITT
• [TYPES/announce] ESSLLI 2023: Second Call for Course and Workshop Proposals   Lutz Strassburger
• [TYPES/announce] PLAS 2022: Monday, December 12, 2022 (free, online, excellent programme)   Musard Balliu
• [TYPES/announce] Post-doc position in the Inria Gallinette team in Nantes   Guilhem Jaber
• [TYPES/announce] NFM 2023: Deadline extension & final CFP   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] POPL '23 Early Bird Registration ending Friday, Dec 16   Kristopher K Micinski
• [TYPES/announce] Tenure-Track Assistant Professor in Software Engineering at the University of Konstanz, Germany   Michael Grossniklaus
• [TYPES/announce] PLDI 2023 Student Research Competition (SRC)   PLDI 2023 Publicity Chairs
• [TYPES/announce] 16th workshop on Computational Logic and Applications: Call for Participation   Noam Zeilberger
• [TYPES/announce] 2 Associate professor positions at CSE, Chalmers   Ana Bove
• [TYPES/announce] LangSec 2023 - Call for Papers, Work-in-Progress reports, and Panels   Erik Poll
• [TYPES/announce] Assistant professor position in Theoretical Computer Science - University of Groningen.   Jorge A. Pérez
• [TYPES/announce] Call for applications: Applied Category Theory Adjoint School 2023   Elena Di Lavore
• [TYPES/announce] RAMiCS 2023 - Call for short contributions/posters   Luigi Santocanale
• [TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK   vincent rahli
• [TYPES/announce] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)   Serge Autexier
• [TYPES/announce] Recruiting: Doctoral Researchers / PhD Students   Andre Platzer
• [TYPES/announce] Extended CFP: ICCQ'23, the 3rd IEEE International Conference on Code Quality   Yegor Bugayenko
• [TYPES/announce] HCVS 2023 - First Call for Papers   Jose F. Morales
• [TYPES/announce] PLACES 2023 - Call for Papers   Alceste Scalas
• [TYPES/announce] ICALP 2023 - 2nd CFP   Anca Muscholl
• [TYPES/announce] Call for Participation: CSL'23   Elaine Pimentel
• [TYPES/announce] CALCO 2023: First Call for Papers   Thorsten Wissmann
• [TYPES/announce] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science   Ralph Matthes
• [TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023)   Ralf Kuesters
• [TYPES/announce] FORTE'23 first CfP   Antonio Ravara
• [TYPES/announce] Two open position at the ILLC, University of Amsterdam   Benno van den Berg
• [TYPES/announce] FORMATS 2023 first call for papers   Jeremy Sproston
• [TYPES/announce] CoqPL 2023, final program   Benjamin Pierce
• [TYPES/announce] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"   Harsh Beohar

Last message date: Fri Dec 30 05:20:02 EST 2022
Archived on: Mon Jan 9 17:42:52 EST 2023

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...