2026 Archives by date

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

Starting: Fri Jan 2 11:54:04 EST 2026
Ending: Fri May 22 12:19:49 EDT 2026
Messages: 286

• [TYPES/announce] Computability in Europe CiE 2026: 2nd Call for Papers   acie at acie.eu
• [TYPES/announce] FICS 2026 - final CfP (deadlines extended)   Florian Bruse
• [TYPES/announce] Book Announcement--Proof Theory and Logic Programming: Computation as Proof Search   Dale Miller
• [TYPES/announce] Programming Language Implementation Summer School (PLISS) 2026   Laurence Tratt
• [TYPES/announce] (Post-)Doctoral positions at Chapman U 2026   Jonathan Weinberger
• [TYPES/announce] Agda Implementors' Meeting XLII: Call for talks and participation   Andreas Nuyts
• [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] 32nd WoLLIC 2026 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CMCS 2026: Call for Papers   Thorsten Wissmann
• [TYPES/announce] PhD Opening in Quantitative Reasoning at FAU Erlangen-Nürnberg   Henning Urbat
• [TYPES/announce] Security Foundations - a new volume of Software Foundations   Benjamin Pierce
• [TYPES/announce] New Software Foundations release for Rocq 9   Benjamin Pierce
• [TYPES/announce] [PLDI'26] Call for Self-nominations for the PC of the Student Research Competition   Jenna DiVincenzo
• [TYPES/announce] TYPES 2026: Deadline Extension and Final Call for Contributions   Christian Sattler
• [TYPES/announce] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, co-located with ETAPS)   Arnd Hartmanns
• [TYPES/announce] FSCD 2026: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] Selected Papers from the 9th Working Formal Methods Symposium: Special Issue of the Journal of Logical and Algebraic Methods in Programming   Radu Iosif
• [TYPES/announce] World Logic Day at Swansea University on 14th January 2026: 3 talks: Arnold Beckmann, Ulrich Berger and John Tucker   Monika Seisenberger
• [TYPES/announce] Postdoc Position in Software Verification at Royal Holloway, University of London (UK)   Lange, Julien
• [TYPES/announce] postdoc ad   Nate Foster
• [TYPES/announce] 2nd Call for Participation: BOB 2026 (Berlin, Mar 13)   Michael Sperber
• [TYPES/announce] [Places 2026] Second Call for Papers   Kirstin Peters
• [TYPES/announce] [Call for Papers] Women in Logic 2026   Elaine Pimentel
• [TYPES/announce] Call for Bids to Host TABLEAUX-FroCoS 2027   Elaine Pimentel
• [TYPES/announce] SD'26 Call for Papers   Lutz Strassburger
• [TYPES/announce] FTfJP 2026 call for papers   Gidon Ernst
• [TYPES/announce] Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy)   Summers, Alexander
• [TYPES/announce] [BCTCS 2026] Call for Abstracts   Paul Levy
• [TYPES/announce] Call For Papers: 6th Workshop on Program Equivalence and Relational Reasoning (PERR2026 @ CAV/FLOC)   Milovancevic, Dragana
• [TYPES/announce] Applied Category Theory 2026: First Call for Papers   Priyaa Varshinee Srinivasan
• [TYPES/announce] Open PhD positions   Kaushik Mallik
• [TYPES/announce] Lectureship in PL at University of Kent, UK. Deadline: 06 February 2026   Marco Paviotti
• [TYPES/announce] Two postdoctoral positions in Reactive Synthesis   Shibashis Guha
• [TYPES/announce] CfP - Intersection Types and Related Systems (ITRS 2026)   Andrej Dudenhefner
• [TYPES/announce] SoCal PLS 2026 call for contributions   Mukund Raghothaman
• [TYPES/announce] DisCoTec 2026 CFP   Claudio Mezzina
• [TYPES/announce] 4th ECUMENICAL meeting @ Stockholm   Elaine Pimentel
• [TYPES/announce] Call for Contributions: [CP at PLDI 2026] 2nd Workshop on Choreographic Programming   Dan Plyukhin
• [TYPES/announce] PSSL 112 - Last CfC   Tom de Jong
• [TYPES/announce] [Places 2026] CfP updated: Extended Deadlines and Special Issue   Kirstin Peters
• [TYPES/announce] MFCS 2026 - First Call for Papers   Sarah Winter
• [TYPES/announce] Homotopy Type Theory and Univalent Foundations 2026 First CfC   Daniel Gratzer
• [TYPES/announce] LSFA 2026 Announcement and First Call for Papers   Alexandre Madeira
• [TYPES/announce] Computability in Europe (CiE) 2026: Last Call for Papers   acie at acie.eu
• [TYPES/announce] MFPS XLII: Second call for papers   Danel Ahman
• [TYPES/announce] Logic Colloquium 2026, Swansea, UK, Call for contributed talks   Monika Seisenberger
• [TYPES/announce] reminder: ICALP 2026 Call for Papers (deadline in early February)   Michael Benedikt
• [TYPES/announce] CCC 2026: Call For Contributions   Holger Thies
• [TYPES/announce] RAMiCS'26: Call for Presentations & Tutorials   Uli Fahrenberg
• [TYPES/announce] CMCS 2026: Second Call for Papers and Deadline Extension   Thorsten Wissmann
• [TYPES/announce] 2nd Call for Papers of QEST+FORMAT 2026   Marco Paolieri
• [TYPES/announce] OPLSS 2026   Zena Matilde Ariola
• [TYPES/announce] Registration to TYPES 2026 now open!   Ana Bove
• [TYPES/announce] Second Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) - (short) proposals due on Friday!   Summers, Alexander
• [TYPES/announce] CSL 2026 - Call for participation   Stefano Guerrini
• [TYPES/announce] 1st CfP CMSB 2026 co-located with FLOC, Lisbon July 24-25   François Fages
• [TYPES/announce] FICS 2026 - Call for Participation   Florian Bruse
• [TYPES/announce] Call for Papers: Formal Methods Teaching Workshop (FMTea 2026)   Luigia Petre
• [TYPES/announce] Final Call for Talk and Demo Proposals: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy) - deadline extended to 13th February   Summers, Alexander
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – LAST CALL FOR PAPERS   Alejandro Díaz-Caro
• [TYPES/announce] 32nd WoLLIC 2026 - DEADLINE APPROACHING - Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CS Teaching Fellow, Lancaster Leipzig   Marco Caminati
• [TYPES/announce] Call for participation: Undone Computer Science, Luxembourg, 23-25 March 2026   Guillaume Munch-Maccagnoni
• [TYPES/announce] [SOAP @ PLDI'26] Call for Papers: SOAP 2026 (15th Edition)   Jenna DiVincenzo
• [TYPES/announce] [2nd CFP] SCML-2026 International Conference on Symbolic Computation and Machine Learning   Temur Kutsia
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 - Deadline extension: April 12th   Alejandro Díaz-Caro
• [TYPES/announce] Quantum Informatics CDT Spring School 2026: First Call for Applications   Malin Altenmuller
• [TYPES/announce] Fifteenth Summer School on Formal Techniques, May 23-29, 2026, Menlo College, Atherton, California   Natarajan Shankar
• [TYPES/announce] Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026   Mohammad Abdulaziz
• [TYPES/announce] VerifyThis 2026: Call for participation   Ayoun, Sacha-Elie
• [TYPES/announce] 4th ECUMENICAL meeting @ Stockholm   Elaine Pimentel
• [TYPES/announce] 13th Rodin User and Developer Workshop - Co-located with FM 2026   Asieh Salehi Fathabadi
• [TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026   Valentin G. J. Herrmann
• [TYPES/announce] [LCTES 2026] Call for Papers   Jenna DiVincenzo
• [TYPES/announce] 32nd WoLLIC 2026 - DEADLINE EXTENDED: Abstract+Paper 02 March - Online presentations welcome   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] ICE 2026: First Call for Papers   Violet Ka I Pun
• [TYPES/announce] [BCTCS 2026] Second call for abstracts   Paul Levy
• [TYPES/announce] PhD on the Verification of Statistical Model Checking Algorithms   Mohammad Abdulaziz
• [TYPES/announce] Call for Papers: EGRAPHS 2026 (Fifth Edition)   Jenna DiVincenzo
• [TYPES/announce] Tools for Educational Activities in Logic (TEAL at FLoC'26)   Luigia Petre
• [TYPES/announce] MFPS XLII: Final call for papers   Danel Ahman
• [TYPES/announce] NETYS 2026 Second Call for Papers   Roland Meyer
• [TYPES/announce] PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM – 2nd Call for Papers   Antonios Achilleos
• [TYPES/announce] CiE 2026: 2nd round of submissions CfP   acie at acie.eu
• [TYPES/announce] Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM   Nima Rasekh
• [TYPES/announce] ICTAC 2026, First Call for Papers   Florencia Zanollo
• [TYPES/announce] Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)   Michael Sperber
• [TYPES/announce] WiL Online with Rosalie Iemhoff   Elaine Pimentel
• [TYPES/announce] IWC 2026: Second Call For Papers   Thiago Felicissimo
• [TYPES/announce] Post-doc & PhD positions on incremental computing – KIT (Germany)   Erdweg, Sebastian (IPD)
• [TYPES/announce] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [TYPES/announce] Call for Papers - ICFEM 2026 (17–20 November 2026, Southampton, UK)   Asieh Salehi Fathabadi
• [TYPES/announce] [ARRAY'26 @ PLDI'26] Call for Papers for ARRAY 2026   Jenna DiVincenzo
• [TYPES/announce] Job Opening: Lecturer/Associate Professor in Programming Principles, Logic, and Verification (PPLV)   Elaine Pimentel
• [TYPES/announce] Proof Society Seminar 09.03.2026 -- Raheleh Jalali   Elaine Pimentel
• [TYPES/announce] 2nd CFP: ACM TOPLAS Special Issue on Multiparty Languages (Deadline: 15 May 2026)   Saverio Giallorenzo
• [TYPES/announce] [VORTEX 2026] - Call for Papers   Davide Ancona
• [TYPES/announce] One or multiple positions as Tenure-track or Associate Professor in Formal Methods or Process Science - Technical University of Denmark (DTU)   Hugo Andrés López
• [TYPES/announce] MGS 2026 registration now open   Dan Marsden (staff)
• [TYPES/announce] CMCS 2026: Call for Short Contributions   Thorsten Wissmann
• [TYPES/announce] CfC: SmP 2026 – Structure meets Power, 18 July, Lisbon (Portugal)   Yoàv Montacute
• [TYPES/announce] Faculty position in Computer Science (Software Systems Engineering) at DTU Compute, Technical University of Denmark   Alceste Scalas
• [TYPES/announce] Last call for applications: Quantum Informatics CDT Spring School   Malin Altenmuller
• [TYPES/announce] Ecoles d'été CEA EDF Inria   regis.vizet at cea.fr
• [TYPES/announce] TYPES 2026: Call for Participation   Ana Bove
• [TYPES/announce] Call for Abstracts: IMLA Workshop, Lisbon, 24-25 July   Sonia Marin
• [TYPES/announce] ISMM 2026 Call for Papers   Jenna DiVincenzo
• [TYPES/announce] CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)   Ana Bove
• [TYPES/announce] [STD] P3S3 - Privacy, Protocols and Proofs Saclay Summer School   SIGNOLES Julien 215179
• [TYPES/announce] Reminder: WiL Online with Rosalie Iemhoff   Elaine Pimentel
• [TYPES/announce] Call for contributions : Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon   Marie Kerjean
• [TYPES/announce] FLoC 2026 Mentoring Workshop: Call for Scholarship Applications   Marie Kerjean
• [TYPES/announce] MFPS XLII: Deadline Extension   Danel Ahman
• [TYPES/announce] FCS 2026 Call For Papers   Gollamudi, Anitha
• [TYPES/announce] CfP: LFMTP 2026 - Logical Frameworks and Meta-Languages: Theory and Practice   Sophie Tourret
• [TYPES/announce] PSSL 112: Program & registration   Tom de Jong
• [TYPES/announce] GPCE 2026: Deadline Extension (12 March)   Lionel Parreaux
• [TYPES/announce] FoPPS Summer School 2026, co-located with FLOC 2026 =?utf-8?Q?=E2=80=94_?=First announcement   Bernardo Toninho
• [TYPES/announce] NETYS 2026 Third Call for Papers   Roland Meyer
• [TYPES/announce] ICTCS'26 (Udine, Italy) - Call For Papers   Angelo Matteo
• [TYPES/announce] PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network   Peter Csaba Ølveczky
• [TYPES/announce] PhD in categorical foundations of type theory at Utrecht   Paige Randall North
• [TYPES/announce] [PLDI 2026] Call for Student Volunteers   Jenna DiVincenzo
• [TYPES/announce] LSFA 2026 Second Call for Papers   Alexandre Madeira
• [TYPES/announce] HoTT/UF Second Call for Contributions   Daniel Gratzer
• [TYPES/announce] LIQCS 2026: Final Call For Contributions   Vladimir Zamdzhiev
• [TYPES/announce] ACT 2026: Second Call for Papers   Priyaa Varshinee Srinivasan
• [TYPES/announce] NETYS 2026 Final Call for Papers   Roland Meyer
• [TYPES/announce] SYNASC 2026 - Call for Papers   Peter Csaba Ølveczky
• [TYPES/announce] [BCTCS 2026] Registration open!   Paul Levy
• [TYPES/announce] The first summer school on Programming Languages, Logic, and Software Security   Amin Timany
• [TYPES/announce] 3 researcher positions in type theory for mathematics and computer science   Ana Bove
• [TYPES/announce] Chaire Jean Morlet, jan-jun 2027, CIRM, France   Lionel Vaux Auclair
• [TYPES/announce] WPTE 2026: Call for Papers   Carsten Fuhs
• [TYPES/announce] [FOSAD] 25th Summerschool on Foundations of Security Analysis and Design   Aldini, Alessandro
• [TYPES/announce] PhD Position in Programming Languages and Program Verification at Aarhus University (Deadline: May 1, 2026)   Amin Timany
• [TYPES/announce] WADT 2026 Call for Papers and Presentations   Benjamin Kaminski
• [TYPES/announce] The 2026 Alonzo Church Award - Call for Nominations   Andrzej Murawski
• [TYPES/announce] Volunteers for ICFP 2026 Artifact Evaluation Committee (AEC)   Son Ho
• [TYPES/announce] Postdoc, Algorithmic verification of dynamical systems, Oxford UK   James Worrell
• [TYPES/announce] Scala Workshop 2026 (ECOOP), deadline Mon 23 Mar 2026   Matthieu Bovel
• [TYPES/announce] [Call for Papers] Special Issue – 10 Years of the Women in Logic Workshop Journal of Logic and Computation   Elaine Pimentel
• [TYPES/announce] Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Second call for contributions   Anders Mortberg
• [TYPES/announce] [P3S3] Privacy, Protocols and Proofs Saclay Summer School - APPLICATION OPEN!   SIGNOLES Julien 215179
• [TYPES/announce] Logic Colloquium 2026, speaker update, call for contributed talks   Monika Seisenberger
• [TYPES/announce] AI for Math Summer Fellowship -- Copilots for Isabelle (Sheffield / Copenhagen / London): application deadline April 10   Andrei Popescu
• [TYPES/announce] Reminder: Call for Contributions – CCC 2026   Holger Thies
• [TYPES/announce] educator and visiting junior researcher positions at Jane Street   Richard Eisenberg
• [TYPES/announce] OPLSS 2026 registration still open   Zena Matilde Ariola
• [TYPES/announce] Proof Society Seminar 20.04.2026 (at 13:00 UTC = 14:00 BST = 15:00 CEST)   Elaine Pimentel
• [TYPES/announce] 1st cfp: 10th International Workshop on Trends in Linear Logic and Applications   federico.olimpieri
• [TYPES/announce] ICE 2026: Second Call for Papers   Violet Ka I Pun
• [TYPES/announce] Call for Participation: 14th Southern and Midlands Logic Seminar, University of Birmingham, 1st April   Sonia Marin
• [TYPES/announce] 3rd Call for Papers of QEST+FORMAT 2026   Marco Paolieri
• [TYPES/announce] MFCS 2026 - Second Call for Papers   Sarah Winter
• [TYPES/announce] CFP WADT 2026   Markus Roggenbach
• [TYPES/announce] Final CFP: Workshop on HoTT/UF   Daniel Gratzer
• [TYPES/announce] LSFA 2026, deadline extension   Alexandre Madeira
• [TYPES/announce] First CfP: 11th ACM SIGPLAN Workshop on Numerical and Symbolic Abstract Domains   Michael Schwarz
• [TYPES/announce] Call for Papers: SAS'26   Turcotte, Alexi
• [TYPES/announce] 2nd CFP: Structures and Deduction 2026, Lisbon, 24-25 July   Lutz Strassburger
• [TYPES/announce] Runtime Verification 2026 Call for Papers   Sean Kauffman
• [TYPES/announce] Call for Submissions: ICFP 2026 Student Research Competition   Kimball Germane
• [TYPES/announce] [3rd CFP] SCML-2026 International Conference on Symbolic Computation and Machine Learning   Temur Kutsia
• [TYPES/announce] CfP: TERMGRAPH 2026 in FLoC   Koko Akazaki Muroya
• [TYPES/announce] FCS 2026 Call For Papers   Gollamudi, Anitha
• [TYPES/announce] Postdoctoral position at University of Birmingham   Dan Ghica
• [TYPES/announce] Eindhoven University of Technology is hiring an Assistant Professor in Artificial Intelligence for Software Engineering!   Serebrenik, Alexander
• [TYPES/announce] 1st Call for papers - GandALF 2026   Giorgio Bacci
• [TYPES/announce] [ARRAY 2026] Deadline Extended and Keynotes Announced   Jenna DiVincenzo
• [TYPES/announce] CfP: 1st Workshop on Formal Reasoning for Compositional Systems Engineering (FORCE), co-located with CAV and FLoC on July 25   Inigo Incer
• [TYPES/announce] PLMW at PLDI 2026: Applications Now Open   Jingbo Wang
• [TYPES/announce] PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM – Final Call for Papers and deadline extension   Antonios Achilleos
• [TYPES/announce] FSCD 2028: Call for Location   Carsten Fuhs
• [TYPES/announce] [VORTEX 2026] Deadline Extended   Davide Ancona
• [TYPES/announce] 19th Interaction and Concurrency Experience (ICE 2026) -- Deadline Extension: 9th April   Simon Fowler
• [TYPES/announce] FLoC 2026 Mentoring Workshop: Last Call for Scholarship Applications   Marie Kerjean
• [TYPES/announce] Workshop on Higher-Order Computation in Implicit and Descriptive Complexity, Paris, 26-27 May   Gabriele Vanoni
• [TYPES/announce] UNSOUND Workshop at ECOOP 2026   Vasileios.Koutavas at scss.tcd.ie
• [TYPES/announce] FMICS 2026: Last Call for Papers!   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] Call for Participation: MIT Programming Languages Review Workshop 2026! Click to teach Gmail this conversation is important   Amanda Liu
• [TYPES/announce] Call for Contributions : GaLoP 16th @ FLoC 2026   Adrienne Lancelot
• [TYPES/announce] Co-chair sought: ICFP 2026 Student Research Competition   Kimball Germane
• [TYPES/announce] FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks   Frédéric Blanqui
• [TYPES/announce] Logic Colloquium 2026, extended deadline for contributed talks: 13 April 2026   Monika Seisenberger
• [TYPES/announce] International School on Rewriting: 12 July – 16 July (Nijmegen, the Netherlands)   Cynthia Kop
• [TYPES/announce] Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday   Vikraman Choudhury
• [TYPES/announce] CSL 2027 – First Call for Papers   Yannick Forster
• [TYPES/announce] [C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26   Manuel Alejandro Borroto Santana
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Deadline April 12   Alejandro Díaz-Caro
• [TYPES/announce] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [TYPES/announce] [PROPL'26] Call for Participation and Papers   Jenna DiVincenzo
• [TYPES/announce] Call for Registration: HoTT/UF 2026   Daniel Gratzer
• [TYPES/announce] E-CoRe PhD Positions — 13 PhD Positions in Energy-Efficient Computing   ivan.lanese
• [TYPES/announce] Call for applications for the first Summer School on Programming Languages, Logic, and Software Security   Amin Timany
• [TYPES/announce] Last Call for contributions : MSFP, Saturday 18th July 2026, Lisbon   Marie Kerjean
• [TYPES/announce] Last call for contributions: UNSOUND Workshop at ECOOP 2026 (deadline 14 April 2026)   Vasileios.Koutavas at scss.tcd.ie
• [TYPES/announce] Scottish Programming Languages and Verification Summer School 2026: Call for Studentship & Accommodation Applications   Simon Fowler
• [TYPES/announce] 2nd CfP: LFMTP 2026 - Logical Frameworks and Meta-Languages: Theory and Practice   Sophie Tourret
• [TYPES/announce] CFP: RADICAL 2026: Concurrency & Logic, Liverpool (UK) - co-located with CONFEST 2026   Najib, Muhammad
• [TYPES/announce] LSFA 2026 -- Last call for papers   Alexandre Madeira
• [TYPES/announce] 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2026)   Christian Berger
• [TYPES/announce] PERR2026 @ CAV/FLOC: Second Call For Papers   Milovancevic, Dragana
• [TYPES/announce] LSFA 2026 - Call for Papers (Extended deadlines)   Alexandre Madeira
• [TYPES/announce] Applications Open: Post-Baccalaureate Fellowship in Functional Programming/ OCaml   Rishiyur Nikhil
• [TYPES/announce] [Call for Papers] Women in Logic 2026   Elaine Pimentel
• [TYPES/announce] "ICTCS'26 (Udine, Italy) - Call For Papers"   Angelo Matteo
• [TYPES/announce] 2nd CfP: Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)   Valentin G. J. Herrmann
• [TYPES/announce] Postdoc in Type theory and programming languages   Ana Bove
• [TYPES/announce] Tenth Working Formal Methods Symposium (FROM 2026) - First Call for Papers   Madalina Erascu
• [TYPES/announce] Call for Papers - ICFEM 2026 (17–20 November 2026, Southampton, UK)   Asieh Salehi Fathabadi
• [TYPES/announce] MFCS 2026 - Last Call for Papers   Sarah Winter
• [TYPES/announce] QTCat Workshop: Call for Participation & Contribution   Terru Stübinger
• [TYPES/announce] [SEFM 2026] Call for Workshop Proposals   Duncan Paul Attard
• [TYPES/announce] ETAPS 2027 First Joint Call For Papers   Jan Kofron
• [TYPES/announce] Call for Abstracts: Proof Society 2026 (7-11 September, Aussois, FRANCE)   Alexis Saurin
• [TYPES/announce] Postdoctoral Research Position in Theoretical Computer Science   Sergey Goncharov
• [TYPES/announce] WPTE 2026: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] 1 year lectureships at Stockholm University   Anders Mortberg
• [TYPES/announce] Deadline Extension -- IMLA Workshop, Lisbon, 24-25 July   Sonia Marin
• [TYPES/announce] Last CFP: Structures and Deduction 2026, Lisbon, 24-25 July --- Extended deadline   Lutz Strassburger
• [TYPES/announce] Call for Presentations: ACV Workshop at FLoC 2026   Ichiro Hasuo
• [TYPES/announce] [PAgE 2026] Call for Papers   Jenna DiVincenzo
• [TYPES/announce] [Call for Workshops] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [TYPES/announce] PhD Position at the University of Salzburg in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems   Ana Sokolova
• [TYPES/announce] Deadline Extension: PERR2026 @ CAV/FLOC   Milovancevic, Dragana
• [TYPES/announce] Call for Nominations: SIGLOG Research Highlights for 2026   Liron Cohen
• [TYPES/announce] Ackermann Award: First Call for Nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] Deadline extension: TERMGRAPH 2026 in FLoC   Koko Akazaki Muroya
• [TYPES/announce] Second Workshop on Proof Mining (WPM26)   Thomas Powell
• [TYPES/announce] 2nd cfp: 10th International Workshop on Trends in Linear Logic and Applications   federico.olimpieri
• [TYPES/announce] HYPER 2026: Call for Presentations -- 5th Workshop on Hyperproperties (FLoC, Lisbon)   Ana Oliveira da Costa
• [TYPES/announce] [CFP, deadline extension] SCML-2026 International Conference on Symbolic Computation and Machine Learning   Temur Kutsia
• [TYPES/announce] [CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Taro Sekiyama
• [TYPES/announce] CfP: Formal Reasoning for Compositional Systems Engineering (FORCE), co-located with CAV and FLoC on July 25   Inigo Incer
• [TYPES/announce] Computability in Europe 2026: Call for informal presentations   acie at acie.eu
• [TYPES/announce] [EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26   Manuel Alejandro Borroto Santana
• [TYPES/announce] Call for contributions : GaLoP 17th @ FLoC 2026   Guilhème Jaber
• [TYPES/announce] MFPS XLII and SSTT 2026: Call for participation   Danel Ahman
• [TYPES/announce] [Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [TYPES/announce] Call for Papers: Scheme Workshop 20206 co-located with ICFP (Indianapolis, US)   Wei, Guannan
• [TYPES/announce] Deadline extension for MSFP'26, Lisbon, July 18th   Marie Kerjean
• [TYPES/announce] [Call for Papers] Women in Logic 2026 -- Extended deadline!   Elaine Pimentel
• [TYPES/announce] Call for papers: PLAS @ CCS'26   Adrien Koutsos
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton (staff)
• [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2025   Ilya Sergey
• [TYPES/announce] QTCat Workshop: 2nd Call for Participation   Terru Stübinger
• [TYPES/announce] E-CoRe PhD Positions — 13 PhD Positions in Energy-Efficient Computing   ivan.lanese
• [TYPES/announce] VeriProP 2026 - Workshop on Verification of Probabilistic Programs   Frederik Dahlqvist
• [TYPES/announce] LIQCS 2026 - Call for participation   Alejandro Díaz-Caro
• [TYPES/announce] Deadline extension to May 15th : GaLoP 17th @ FLoC 2026   Aurore Alcolei
• [TYPES/announce] [Deadline Extension] CfP: ACV Workshop at FLoC 2026   Ichiro Hasuo
• [TYPES/announce] ICALP/PODC/SPAA 2026 Call for Participation (Registration Open, Late Registration from 1 June)   Matthew Hague
• [TYPES/announce] ICTAC 2026, Second Call for Papers   Florencia Zanollo
• [TYPES/announce] Final CfC: SmP 2026 – Structure meets Power, 18 July, Lisbon (Portugal) – Deadline 15 May   Yoàv Montacute
• [TYPES/announce] ETAPS 2027 - Call for Satellite Events   Jan Kofron
• [TYPES/announce] Funded PhD position in MSP Strathclyde (UK)   Vikraman Choudhury
• [TYPES/announce] Meeting and mini-courses to celebrate Assaf Kfoury's career   Gaboardi, Marco
• [TYPES/announce] NWPT 2026 - First Call for Papers   Chad Mitchell Nester
• [TYPES/announce] TyDe 2026: 1st Call for Papers   Tom Schrijvers
• [TYPES/announce] Runtime Verification 2026 Second CfP   Sean Kauffman
• [TYPES/announce] Last CfP: Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)   Valentin G. J. Herrmann
• [TYPES/announce] FoPPS Summer School 2026, co-located with FLOC 2026 =?utf-8?Q?=E2=80=94_?=Announcement   bernardo.toninho at tecnico.ulisboa.pt
• [TYPES/announce] First call for participation: Scottish Programming Languages and Verification Summer School 2026 (SPLV'26)   Simon Fowler
• [TYPES/announce] [CfP, deadline extension] Intersection Types and Related Systems (ITRS 2026)   Andrej Dudenhefner
• [TYPES/announce] FM4All - an FME initiative to support Formal Methods teaching in Computer Science and Engineering curricula   Luigia Petre
• [TYPES/announce] Final announcement for PLDI early registration   Konstantinos Kallas
• [TYPES/announce] CFP SEFM 2026   Adrian Francalanza
• [TYPES/announce] FINAL CALL: Informatics Europe Best Dissertation Award 2026   Kit Wan Chui - Informatics Europe
• [TYPES/announce] 2nd CFP: GandALF 2026   Giorgio Bacci
• [TYPES/announce] PLMW @ ICFP 2026: Funding Call   Conrad Watt
• [TYPES/announce] Proof Society 2026: 2nd Call for Abstracts (7-11 September, Aussois, FRANCE)   Alexis Saurin
• [TYPES/announce] Call for papers: Deduktionstreffen 2026 (workshop at KI 2026, Bremen, Aug 11)   Florian Rabe
• [TYPES/announce] Hiring typed functional programmer(s) at Nectry   Adam Chlipala
• [TYPES/announce] Call for Presentations: ML Family Workshop 2026   Benoit Montagu
• [TYPES/announce] IFL 2026 First call for papers   Mart Lubbers
• [TYPES/announce] CfP: 8th Workshop on Formal Methods for Autonomous Systems (FMAS 2026)   FMAS Workshop
• [TYPES/announce] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [TYPES/announce] [CFP, deadline extension] Scheme Workshop 2026 co-located with ICFP   Wei, Guannan
• [TYPES/announce] [CFP] 2nd Workshop on Language Models and Programming Languages (LMPL), co-located with SPLASH/ISSTA 2026   Wei, Guannan
• [TYPES/announce] 2nd CFP - Express/SOS 2026 (@CONFEST)   Giorgio Bacci
• [TYPES/announce] job offer: CNRS tenure-track position   DAVID MONNIAUX
• [TYPES/announce] ISR 2028 - 16th International School on Rewriting - CALL FOR PROPOSALS   Thiemann, René
• [TYPES/announce] funded PhD position (UK home fees) at Queen Mary University of London   Raymond Hu
• [TYPES/announce] Last call for participation: International School on Rewriting -- July 2026   Cynthia Kop
• [TYPES/announce] Postdoc position in type theory   Ambrus Kaposi

Last message date: Fri May 22 12:19:49 EDT 2026
Archived on: Fri May 22 12:27:16 EDT 2026

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