types-announce  

Messages by Date

• 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
• 2025/05/02 [TYPES/announce] Haskell Symposium 2025 Second Call for Papers Ningning Xie
• 2025/05/01 [TYPES/announce] Utrecht Summer School on Advanced Functional Programming Wouter Swierstra
• 2025/05/01 [TYPES/announce] Last CfP for SC-Square 2025 and Christian Zipfel Award Mikoláš Janota
• 2025/04/30 [TYPES/announce] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/04/30 [TYPES/announce] PhD scholarship in PL, SE, and GenAI at DTU Christian Gram Kalhauge
• 2025/04/30 [TYPES/announce] UNIF 2025 Last Call for Papers (a FSCD event) Laurent Vigneron
• 2025/04/29 [TYPES/announce] TABLEAUX 2025 final call for papers Tarmo Uustalu
• 2025/04/29 [TYPES/announce] [Scala 2025] Call for Presentations Oliver Bracevac
• 2025/04/29 [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers Andrea Rosa
• 2025/04/27 [TYPES/announce] Open postdoc position Patricia Johann
• 2025/04/26 [TYPES/announce] WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation Voigtländer , Prof . Dr . Janis
• 2025/04/26 [TYPES/announce] [VORTEX 2025] Deadline extended Davide Ancona
• 2025/04/25 [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications (Extended deadline: May 2, 2025) Mukund Raghothaman
• 2025/04/25 [TYPES/announce] CICM 2025: 4th Announcement and Call for Papers with deadline extension Serge Autexier
• 2025/04/24 [TYPES/announce] ICFP 2025 Student Research Competition Call for Submissions Kimball Germane
• 2025/04/24 [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• 2025/04/24 [TYPES/announce] TYPES 2025: Call for Participation Fredrik Nordvall Forsberg
• 2025/04/24 [TYPES/announce] LICS 2025 Call for Participation Sam Staton
• 2025/04/24 [TYPES/announce] SPLV 2025 - last call for applications Sam Lindley
• 2025/04/24 [TYPES/announce] GALOP 2025 call for contributions Hugo Paquet
• 2025/04/24 [TYPES/announce] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Taro Sekiyama
• 2025/04/22 [TYPES/announce] Scheme 2025 - Call for Papers Youyou Cong
• 2025/04/22 [TYPES/announce] LSFA 2025 Last Call for Papers Christophe Ringeissen
• 2025/04/22 [TYPES/announce] New postdoc position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• 2025/04/22 [TYPES/announce] Open PhD position in the Frama-C team, Paris-Saclay, France SIGNOLES Julien 215179
• 2025/04/22 [TYPES/announce] DaLi 25, 2nd call for papers Alexandre Madeira
• 2025/04/21 [TYPES/announce] Call for preregistration: CIRM Conference "Synthetic mathematics, logic-affine computation and efficient proof systems", Marseille Luminy, France, 8-12 September 2025 Liron Cohen
• 2025/04/21 [TYPES/announce] Book Announcement: Session Types Vasco T. Vasconcelos
• 2025/04/18 [TYPES/announce] [CHC-COMP 2025] - Call for Solver Submission Gidon Ernst
• 2025/04/17 [TYPES/announce] DisCoTec 2025 Call for Participation Matthew Alan Le Brun (PGR)
• 2025/04/17 [TYPES/announce] First call for papers, SC-Square 2025 Mikoláš Janota
• 2025/04/17 [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• 2025/04/15 [TYPES/announce] 4th Women in EuroProofNet - Call for contributions and participation Sandra Alves
• 2025/04/15 [TYPES/announce] Aczel Memorial Conference / BLC 2025 meeting: first announcement Nicola Gambino
• 2025/04/15 [TYPES/announce] 1st cfp: 9th International Workshop on Trends in Linear Logic and Applications Lionel Vaux Auclair
• 2025/04/15 [TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July Maribel Fernandez
• 2025/04/15 [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications Mukund Raghothaman
• 2025/04/14 [TYPES/announce] FMCAD 2025: Deadline Extension Daniela Kaufmann
• 2025/04/14 [TYPES/announce] 2nd Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium Dominique Devriese
• 2025/04/14 [TYPES/announce] FTfJP 2025 - Last CfP (extended deadline) Crystal Chang Din
• 2025/04/13 [TYPES/announce] LMW@LICS'25 - Call for participation and scholarship applications Chana Weil-Kennedy
• 2025/04/11 [TYPES/announce] Final call for dissertations -- E.W. Beth Dissertation Prize 2025 Elaine Pimentel
• 2025/04/11 [TYPES/announce] 10 funded PhD positions on Automated Reasoning in Vienna, Austria Weissenbacher, Georg
• 2025/04/11 [TYPES/announce] TyDe 2025 - call for papers & extended abstracts Andras Kovacs
• 2025/04/11 [TYPES/announce] Call for Papers: Functional Programming for Productivity and Performance (FProPer) Michael Sperber
• 2025/04/09 [TYPES/announce] Call for TYPES 2027 location Paige Randall North
• 2025/04/09 [TYPES/announce] *Last Call*: Funded PhD Position for UK Students at University of Strathclyde Jan de Muijnck-Hughes
• 2025/04/09 [TYPES/announce] CICM 2025: 3rd Announcement and Call for Papers Serge Autexier
• 2025/04/08 [TYPES/announce] SMT 2025 - Call for Papers Sophie Tourret
• 2025/04/08 [TYPES/announce] UNIF 2025 2nd Call for Papers Laurent Vigneron
• 2025/04/07 [TYPES/announce] 2nd call for talks: PLF+PLAID @ ECOOP 2025 Alceste Scalas
• 2025/04/07 [TYPES/announce] FTfJP 2025 - Second Call for Papers Crystal Chang Din
• 2025/04/07 [TYPES/announce] Postdoc in Semantics at ENS de Lyon Michele Pagani
• 2025/04/07 [TYPES/announce] VSTTE 2025: First call for papers Clément Pit-Claudel

• Earlier messages