types-announce  

Messages by Date

• 2025/10/06 [TYPES/announce] Call for Papers: FormaliSE 2026 (submission deadline approaching) Claudio MENGHI
• 2025/10/06 [TYPES/announce] [2nd Call for Presentations] TPSA 2026 Ayoun, Sacha-Elie
• 2025/10/06 [TYPES/announce] TYPES 2025: Post-proceedings Call for Papers Fredrik Nordvall Forsberg
• 2025/10/06 [TYPES/announce] Call for Abstracts WITS'26 Niki Vazou
• 2025/10/04 [TYPES/announce] (3rd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• 2025/10/02 [TYPES/announce] Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
• 2025/10/02 [TYPES/announce] Postdoc positions available at IRIF Giuseppe Castagna
• 2025/10/02 [TYPES/announce] OOPSLA 2026 Round 1 Call for papers Ellen Arteca
• 2025/09/23 [TYPES/announce] Tenure-Track Assistant Professor in the School of Computer Science, McGill University Brigitte Pientka
• 2025/09/23 [TYPES/announce] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026) Munoz, Cesar A. (LARC-D320) via fm-announcements
• 2025/09/22 [TYPES/announce] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026 Peter Achten
• 2025/09/21 [TYPES/announce] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B" Luigia Petre
• 2025/09/19 [TYPES/announce] LAFI 2026: Call for Extended Abstracts Hugo Paquet
• 2025/09/19 [TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers Sam Staton
• 2025/09/19 [TYPES/announce] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• 2025/09/19 [TYPES/announce] ETAPS 2026 Second Joint Call for Papers Jan Kofron
• 2025/09/17 [TYPES/announce] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems Taro Sekiyama
• 2025/09/17 [TYPES/announce] [2nd Call] Seeking nominations: POPL 2026 Artifact Evaluation Committee Calvin Beck
• 2025/09/15 [TYPES/announce] 32nd WoLLIC 2026 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
• 2025/09/14 [TYPES/announce] Agda Implementors' Meeting XLI: First Call for Participation Jesper Cockx
• 2025/09/14 [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions Ralf Jung
• 2025/09/14 [TYPES/announce] Haskell Symposium 2025 Last Call for Talks (deadline Sept 15th) Ningning Xie
• 2025/09/11 [TYPES/announce] CFS - PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
• 2025/09/11 [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• 2025/09/11 [TYPES/announce] PADL 2026 Call for Papers Nada Amin
• 2025/09/08 [TYPES/announce] Open PhD positions Kaushik Mallik
• 2025/09/08 [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
• 2025/09/08 [TYPES/announce] Call for Presentation - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
• 2025/09/05 [TYPES/announce] 7 Associate Professors/Professors at Department of Computer Science, University of Oxford Nobuko Yoshida
• 2025/09/05 [TYPES/announce] RocqPL 2026: Call for Presentations Benjamin J Delaware
• 2025/09/04 [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa J. Garrett Morris
• 2025/09/04 [TYPES/announce] [Call for Presentations] TPSA @POPL2026 Ayoun, Sacha-Elie
• 2025/09/03 [TYPES/announce] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025) vincent rahli
• 2025/09/03 [TYPES/announce] PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam Benno van den Berg
• 2025/09/02 [TYPES/announce] Haskell Symposium 2025 Call for Talks (deadline Sept 15th) Ningning Xie
• 2025/09/01 [TYPES/announce] Call for nominations: POPL 2026 AEC Vadim Zaliva
• 2025/09/01 [TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark Lars Birkedal
• 2025/09/01 [TYPES/announce] Call for Papers: BENEVOL 2025 (17-18 Nov, Enschede, the Netherlands) Vadim Zaytsev
• 2025/08/29 [TYPES/announce] Eastern Canada Logic and Programming Seminar 2025 Ryan Kavanagh
• 2025/08/29 [TYPES/announce] Call for Papers: FORMALISE 2026 Claudio MENGHI
• 2025/08/28 [TYPES/announce] S-REPLS (Amazon, 29 Oct) - Call for talks and registration Zetzsche, Stefan
• 2025/08/27 [TYPES/announce] DataMod 2025 - Final Call for Papers, Extended Deadline Ouadie Khebbeb
• 2025/08/27 [TYPES/announce] Tribute to Gilles Dowek Catherine DUBOIS
• 2025/08/26 [TYPES/announce] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia Serge Autexier
• 2025/08/25 [TYPES/announce] Ph.D. position in PL and quantum computing Charles Yuan
• 2025/08/25 [TYPES/announce] CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Michael Sperber
• 2025/08/25 [TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University Derek Dreyer
• 2025/08/25 [TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025) Giuliano Losa
• 2025/08/21 [TYPES/announce] PEPM 2026 - Call for papers Yukiyoshi Kameyama
• 2025/08/21 [TYPES/announce] Postdoctoral position in logical methods and machine learning (2 years) Jamie Vicary
• 2025/08/20 [TYPES/announce] (CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• 2025/08/20 [TYPES/announce] VMCAI 2026: second call for papers Thomas Jensen
• 2025/08/19 [TYPES/announce] PSSL111 in Bologna Matteo Capucci
• 2025/08/12 [TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation Tarmo Uustalu
• 2025/08/06 [TYPES/announce] FMCAD 2025 - Call for Participation Daniela Kaufmann
• 2025/08/06 [TYPES/announce] POPL 2026 Call For Tutorials Ningning Xie
• 2025/08/04 [TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation ICFP Publicity
• 2025/08/01 [TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• 2025/08/01 [TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust) Ralf Jung
• 2025/07/28 [TYPES/announce] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom Luigia Petre
• 2025/07/28 [TYPES/announce] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Manuel Alejandro Borroto Santana
• 2025/07/28 [TYPES/announce] CfP: MathCompLing for Proofs (MCLP) 2025 Axel Ljungström
• 2025/07/23 [TYPES/announce] Open postdoc position Patricia Johann
• 2025/07/23 [TYPES/announce] Call for Partecipation - GandALF 2025 Giorgio Bacci
• 2025/07/23 [TYPES/announce] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• 2025/07/21 [TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal! Caterina Urban
• 2025/07/20 [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2024. Ilya Sergey
• 2025/07/20 [TYPES/announce] Professorship in Quantum Computing @ Innsbruck Georg Moser
• 2025/07/19 [TYPES/announce] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/07/19 [TYPES/announce] CFP: APLAS 2025 SRC & Posters: The 23rd Asian Symposium on Programming Languages and Systems - Student Research Competition and Posters Pritam Gharat
• 2025/07/19 [TYPES/announce] Undone Computer Science 2026: First call for presentations Guillaume Munch-Maccagnoni
• 2025/07/17 [TYPES/announce] Scheme 2025 - Call for Papers (extended deadline: July 24th) Youyou Cong
• 2025/07/17 [TYPES/announce] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE Ralf Kuesters
• 2025/07/11 [TYPES/announce] VMCAI 2026: first call for papers Thomas Jensen
• 2025/07/11 [TYPES/announce] WebAssembly Workshop @ ICFP / SPLASH 2025 - Call for Presentations Conrad Watt
• 2025/07/11 [TYPES/announce] Doctoral / Post-Doctoral Position at University of Konstanz Stefan Leue
• 2025/07/11 [TYPES/announce] FSCD 2025: Free online participation, 15 - 18 July 2025 Carsten Fuhs
• 2025/07/07 [TYPES/announce] CSL 2026 - Second Call for Papers Barbara König
• 2025/07/07 [TYPES/announce] Postdoc positions in type theory, closing date: 25 July Nicolai Kraus
• 2025/07/07 [TYPES/announce] Open postdoc position (3 years) in "Formal Engineering Support for Field-Programmable Gate Arrays", combining FPGAs with formal methods Rüdiger Ehlers
• 2025/07/05 [TYPES/announce] POPL 2026 Last Call for Papers Ningning Xie
• 2025/07/05 [TYPES/announce] CfP 5th IEEE International Conference on Code Quality (ICCQ'25) Yegor Bugayenko
• 2025/07/05 [TYPES/announce] ICFP/SPLASH 2025: call for volunteers ICFP Publicity
• 2025/07/04 [TYPES/announce] Two Assistant/Associate Professor Positions in Lisbon Vasco T. Vasconcelos
• 2025/07/04 [TYPES/announce] PhD position at Univ. of Oslo in formal methods for data protection in digital twins Silvia Lizeth Tapia Tarifa
• 2025/07/04 [TYPES/announce] Final Reminder: Deadline extended for PLAS @ CCS '25 [4th July 2025] Abhishek Bichhawat
• 2025/07/04 [TYPES/announce] PhD position in programming languages and security at Aarhus University Aslan Askarov
• 2025/07/03 [TYPES/announce] Postdoctoral Researcher Position at the University of Tartu Danel Ahman
• 2025/07/03 [TYPES/announce] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 Giovanni Solda
• 2025/07/03 [TYPES/announce] 2nd Call for Contributions: PROPL 'Programming for the Planet' workshop co-located with ICFP-SPLASH 2025 Dominic Orchard
• 2025/06/30 [TYPES/announce] one postdoc and one researcher position at University of Gothenburg Ana Bove
• 2025/06/30 [TYPES/announce] Call for Submissions: SPLASH Doctoral Symposium Conrad Watt
• 2025/06/30 [TYPES/announce] RVCase 2025 Call for Submissions Sean Kauffman
• 2025/06/30 [TYPES/announce] [CFP] FSTTCS 2025: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science C Aiswarya
• 2025/06/27 [TYPES/announce] CONFEST 2025: 1st Call for Participation (Early Registration until July 25) Marco Paolieri
• 2025/06/27 [TYPES/announce] CCC 2025: Swansea, 1-3 September 2025, Call for Contributions Monika Seisenberger
• 2025/06/23 [TYPES/announce] POPL 2026 Call for Papers Ningning Xie
• 2025/06/23 [TYPES/announce] POPL 2026 Call for Workshops Ningning Xie
• 2025/06/23 [TYPES/announce] Emily Riehl talk in Birmingham Paul Levy
• 2025/06/22 [TYPES/announce] ML Family Workshop 2025: extended deadline: July 3 Samuel Westrick
• 2025/06/20 [TYPES/announce] VSTTE 2025: Second call for papers (deadline July 18th, 2025) Clément Pit-Claudel
• 2025/06/20 [TYPES/announce] Deadline extended for PLAS @ CCS '25 Abhishek Bichhawat
• 2025/06/17 [TYPES/announce] Postdoctoral Position Available in Systems Security Verification Atsushi Igarashi
• 2025/06/17 [TYPES/announce] FoSSaCS 2026: call for papers Stefan Milius
• 2025/06/17 [TYPES/announce] [Scala 2025] *Extended Deadline July 18* Call for Presentations Oliver Bracevac
• 2025/06/17 [TYPES/announce] PL Principal Researcher / Research Engineer (full time) Dan Ghica
• 2025/06/16 [TYPES/announce] Call for Participation: Dutch Formal Methods Day 2025 in Amsterdam Andrés Goens
• 2025/06/16 [TYPES/announce] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation Voigtländer , Prof . Dr . Janis
• 2025/06/16 [TYPES/announce] CfP deadline ectended: Functional Art, Music, Modelling and Design (FARM, June 25) Michael Sperber
• 2025/06/16 [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*) Carsten Fuhs
• 2025/06/12 [TYPES/announce] Second call for papers: PLAS @ CCS '25 Abhishek Bichhawat
• 2025/06/12 [TYPES/announce] Call for participation to UNIF 2025 Laurent Vigneron
• 2025/06/12 [TYPES/announce] PhD position at the University of Duisburg-Essen Barbara König
• 2025/06/12 [TYPES/announce] PhD Position in Parametric Floating-Point Reasoning at Uppsala Tjark Weber
• 2025/06/07 [TYPES/announce] 1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics Alejandro Díaz-Caro
• 2025/06/07 [TYPES/announce] Assist./Assoc. Professor Positions at NII, Tokyo Ichiro Hasuo
• 2025/06/07 [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open Alejandro Díaz-Caro
• 2025/06/05 [TYPES/announce] ML Family Workshop 2025: 2nd CFP: deadline June 19! Samuel Westrick
• 2025/06/05 [TYPES/announce] MOSCA 2025: Meeting on String Constraints and Applications, 22 July 2025, Zagreb Matthew Hague
• 2025/06/05 [TYPES/announce] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*) Carsten Fuhs
• 2025/06/04 [TYPES/announce] ETAPS 2026 Joint Call for Papers root
• 2025/06/04 [TYPES/announce] HOPE'25: Deadline extension Guilhem Jaber
• 2025/06/04 [TYPES/announce] EXPRESS/SOS@CONFEST2025 - Last Call for papers Cinzia Di Giusto
• 2025/06/02 [TYPES/announce] IWC 2025: Deadline Extension Thiago Felicissimo
• 2025/06/02 [TYPES/announce] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions Besik Dundua
• 2025/06/02 [TYPES/announce] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming Michael D. Adams
• 2025/06/01 [TYPES/announce] iFM 2025 Call for Papers - Deadline Extended Giorgio Audrito
• 2025/06/01 [TYPES/announce] CALCO/MFPS 2025: Second Call for Participation Thorsten Wissmann
• 2025/05/30 [TYPES/announce] Fully funded PhD position in the Foundations of Programming Languages at SDU Stelios Tsampas
• 2025/05/30 [TYPES/announce] CFP [deadline extension]: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• 2025/05/30 [TYPES/announce] CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer) Michael Sperber
• 2025/05/29 [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025 Valentin G. J. Herrmann
• 2025/05/29 [TYPES/announce] Haskell Symposium 2025 Call for Papers (deadline June 9 AOE) Ningning Xie
• 2025/05/29 [TYPES/announce] Call for Participation PVS Day @ NFM 2025 Munoz, Cesar A. (LARC-D320)
• 2025/05/28 [TYPES/announce] GandALF 2025 - Deadline Extension to 6 June Giorgio Bacci
• 2025/05/28 [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025 Carsten Fuhs
• 2025/05/28 [TYPES/announce] WoLLIC 2025 Call for Participation Rodrigo Marques
• 2025/05/28 [TYPES/announce] DaLí 2025 - 3rd Call for Papers ** deadline extension ** Alexandre Madeira
• 2025/05/27 [TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg Ana Bove
• 2025/05/27 [TYPES/announce] Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 Giovanni Solda
• 2025/05/27 [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• 2025/05/27 [TYPES/announce] CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13) Michael Sperber
• 2025/05/26 [TYPES/announce] Call for participation: PLF+PLAID @ ECOOP 2025 Alceste Scalas
• 2025/05/26 [TYPES/announce] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching Violet Ka I Pun
• 2025/05/26 [TYPES/announce] VASSAL Workshop: Call for Presentation SIGNOLES Julien 215179
• 2025/05/26 [TYPES/announce] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Taro Sekiyama
• 2025/05/24 [TYPES/announce] ITP 2025: Call for workshops Yannick Forster
• 2025/05/22 [TYPES/announce] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/05/22 [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers Andrea Rosa
• 2025/05/22 [TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations) Jorge A . Pérez
• 2025/05/21 [TYPES/announce] [FOSAD] 24th Summerschool on Foundations of Security Analysis and Design Aldini, Alessandro
• 2025/05/21 [TYPES/announce] TYPES 2025: Final Call for Participation Fredrik Nordvall Forsberg
• 2025/05/21 [TYPES/announce] Postdoctoral Research Position, University of Birmingham Sergey Goncharov
• 2025/05/20 [TYPES/announce] ETAPS 2026 - Call for Satellite Events root
• 2025/05/20 [TYPES/announce] ESOP 2026 - Second Call for Papers root
• 2025/05/20 [TYPES/announce] IWC 2025: Final Call for Papers Thiago Felicissimo
• 2025/05/19 [TYPES/announce] FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*) Carsten Fuhs
• 2025/05/19 [TYPES/announce] 2st cfp (deadline extension): 9th International Workshop on Trends in Linear Logic and Applications Lionel Vaux Auclair
• 2025/05/19 [TYPES/announce] 2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16) Michael Sperber
• 2025/05/16 [TYPES/announce] 2nd CfP: Functional Programming for Productivity and Performance (FProPer) Michael Sperber
• 2025/05/16 [TYPES/announce] Call for papers: PLAS @ CCS '25 Abhishek Bichhawat
• 2025/05/15 [TYPES/announce] DisCoTec Call for Participation - Early Registration Deadline Soon Matthew Alan Le Brun (PGR)
• 2025/05/15 [TYPES/announce] 2nd Call for papers - GandALF 2025 Giorgio Bacci
• 2025/05/15 [TYPES/announce] Open Faculty Positions in Computer Science at NOVA University Lisbon Carla Ferreira
• 2025/05/15 [TYPES/announce] LMW@LICS'25 - Call for participation and Buddy program Chana Weil-Kennedy
• 2025/05/15 [TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest Ugo Dal Lago
• 2025/05/15 [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• 2025/05/15 [TYPES/announce] QPL 2025 - Registration is now open Alejandro Díaz-Caro
• 2025/05/13 [TYPES/announce] HOR 2025: Deadline extension - Last Call for Papers Pablo Barenbaum
• 2025/05/13 [TYPES/announce] CfP: 39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025) Sibylle Schwarz
• 2025/05/13 [TYPES/announce] SMT 2025 Call for Papers: Deadline extension! Sophie Tourret
• 2025/05/13 [TYPES/announce] RC 2025: Call for Participation Robin Kaarsgaard Sales
• 2025/05/12 [TYPES/announce] WST 2025 - Workshop on Termination, First Call for Papers Carsten Fuhs
• 2025/05/12 [TYPES/announce] VeriProP 2025: Call for Presentations Dr. Maximilian Weininger
• 2025/05/12 [TYPES/announce] (Senior) Research Associate in Static Analysis and Programming Language Tools at the University of Cambridge Dominic Orchard
• 2025/05/10 [TYPES/announce] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation Voigtländer , Prof . Dr . Janis
• 2025/05/10 [TYPES/announce] UNIF 2025: Extended submission deadline (May 17) Laurent Vigneron
• 2025/05/09 [TYPES/announce] CALCO/MFPS 2025: Call for Participation Thorsten Wissmann
• 2025/05/09 [TYPES/announce] LAP 2025 - Logic and Applications: CFP Silvia Ghilezan
• 2025/05/09 [TYPES/announce] Second call for papers, SMT 2025 Sophie Tourret
• 2025/05/09 [TYPES/announce] Faculty Positions at the University of Chile Éric Tanter
• 2025/05/08 [TYPES/announce] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) ESSLLI Publicity
• 2025/05/08 [TYPES/announce] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26) Christophe Ringeissen
• 2025/05/08 [TYPES/announce] GALOP 2025 — second CFP (extended deadline and invited speakers) Hugo Paquet
• 2025/05/08 [TYPES/announce] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• 2025/05/08 [TYPES/announce] Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23. Jorge A . Pérez
• 2025/05/07 [TYPES/announce] IEEE CSF 2025: Early Bird Registration Ends Today! Ralf Kuesters
• 2025/05/07 [TYPES/announce] TyDe 2025 - Second Call for Papers Yuting Wang
• 2025/05/07 [TYPES/announce] CSL 2026 - First Call for Papers Barbara König
• 2025/05/07 [TYPES/announce] Final CfP and Deadline extension: 15th International Workshop on Pragmatics of SAT (PoS 2025) Mikoláš Janota
• 2025/05/07 [TYPES/announce] QPL 2024 & QPL2025 Special Issue of "Journal of Logical and Algebraic Methods in Programming" Alejandro Díaz-Caro
• 2025/05/07 [TYPES/announce] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK *** Serge Autexier
• 2025/05/07 [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
• 2025/05/05 [TYPES/announce] ECOOP Doctoral Symposium -- 2nd Call for Papers Carla Ferreira
• 2025/05/05 [TYPES/announce] Women in Logic 2025 -- Deadline extension Elaine Pimentel
• 2025/05/05 [TYPES/announce] 1st Call for Papers Express/SOS 2025 Giorgio Bacci
• 2025/05/05 [TYPES/announce] FTfJP 2025 - Call for Papers with deadline extension 7 May Crystal Chang Din
• 2025/05/03 [TYPES/announce] VeTSS Doctoral Dissertation Awards, Call for nominations, deadline Monday 2nd June, three £1K awards for dissertations published in 2022, 2023 and 2024. Carbajo Garcia, Teresa
• 2025/05/03 [TYPES/announce] Final CFP: LFMTP 2025 - Extended deadlines - Affiliated with FSCD @ Birmingham UK Kaustuv Chaudhuri
• 2025/05/03 [TYPES/announce] HOR 2025: Second Call for Papers Pablo Barenbaum

• Earlier messages