2025 Archives by subject

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

Starting: Tue Jan 7 04:24:23 EST 2025
Ending: Mon Dec 15 11:29:12 EST 2025
Messages: 529

• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] (3rd CfP) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2025   Stefan Zetzsche
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] (Senior) Research Associate in Static Analysis and Programming Language Tools at the University of Cambridge   Dominic Orchard
• [TYPES/announce] *Last Call*: Funded PhD Position for UK Students at University of Strathclyde   Jan de Muijnck-Hughes
• [TYPES/announce] 10 funded PhD positions on Automated Reasoning in Vienna, Austria   Weissenbacher, Georg
• [TYPES/announce] 12 fully-funded PhD scholarships in Computer Science at GSSI   emilio.tuosto at gssi.it
• [TYPES/announce] 1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics   Alejandro Díaz-Caro
• [TYPES/announce] 1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025   Francesco Dagnino
• [TYPES/announce] 1st Call for Papers - Women in Logic 2026   Elaine Pimentel
• [TYPES/announce] 1st call for papers: SLALM 2026   Elaine Pimentel
• [TYPES/announce] 1st Call for Papers Express/SOS 2025   Giorgio Bacci
• [TYPES/announce] 1st Call for Papers of QEST+FORMAT 2026   Marco Paolieri
• [TYPES/announce] 1st cfp: 9th International Workshop on Trends in Linear Logic and Applications   Lionel Vaux Auclair
• [TYPES/announce] 1st CfPart: AQUARIUM 2026 - Workshop on Automated QUAntification of Risk In Uncertain Models   Tobias Meggendorfer
• [TYPES/announce] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)   Frédéric Blanqui
• [TYPES/announce] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)   Frédéric Blanqui
• [TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg   Ana Bove
• [TYPES/announce] 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025)   Konstantinos Kallas
• [TYPES/announce] 2025 Estonian Winter School in Computer Science   Tarmo Uustalu
• [TYPES/announce] 2025 Midwest Programming Languages Summit in Minneapolis, December 13, 2025   Eric Van Wyk
• [TYPES/announce] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025   Natarajan Shankar
• [TYPES/announce] 2025 UC/EasyUC Summer School   Alley Stoughton
• [TYPES/announce] 2026 Dutch Winter School on Logic and Verification, January 20-23   Robbert Krebbers
• [TYPES/announce] 2nd Call for Abstracts WITS'26   Niki Vazou
• [TYPES/announce] 2nd Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17)   Michael Sperber
• [TYPES/announce] 2nd Call for Contributions: PROPL 'Programming for the Planet' workshop co-located with ICFP-SPLASH 2025   Dominic Orchard
• [TYPES/announce] 2nd Call for papers - GandALF 2025   Giorgio Bacci
• [TYPES/announce] 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)   Uli Fahrenberg
• [TYPES/announce] 2nd Call for Papers: TbiLLC 2025   Balder ten Cate
• [TYPES/announce] 2nd Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium   Dominique Devriese
• [TYPES/announce] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14)   Michael Sperber
• [TYPES/announce] 2nd call for talks: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)   Jonathan Weinberger
• [TYPES/announce] 2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)   Michael Sperber
• [TYPES/announce] 2nd CfP: Functional Programming for Productivity and Performance (FProPer)   Michael Sperber
• [TYPES/announce] 2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16)   Michael Sperber
• [TYPES/announce] 2nd CFP: JLAMP Special Issue for QPL 2024 & 2025   Alejandro Díaz-Caro
• [TYPES/announce] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] 2st cfp (deadline extension): 9th International Workshop on Trends in Linear Logic and Applications   Lionel Vaux Auclair
• [TYPES/announce] 3-year postdoc in Freiberg connected to Lean   Nicolai Kraus
• [TYPES/announce] 31st WoLLIC 2025 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 32nd WoLLIC 2026 - 1st Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 32nd WoLLIC 2026 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 4 PhD positions in Automated Reasoning at TU Wien, Austria   Weissenbacher, Georg
• [TYPES/announce] 4th Women in EuroProofNet - Call for contributions and participation   Sandra Alves
• [TYPES/announce] 7 Associate Professors/Professors at Department of Computer Science, University of Oxford   Nobuko Yoshida
• [TYPES/announce] [2nd Call] Seeking nominations: POPL 2026 Artifact Evaluation Committee   Calvin Beck
• [TYPES/announce] [2nd Call for Presentations] TPSA 2026   Ayoun, Sacha-Elie
• [TYPES/announce] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Taro Sekiyama
• [TYPES/announce] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize   Manuel Alejandro Borroto Santana
• [TYPES/announce] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025   Manuel Alejandro Borroto Santana
• [TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] [Call for Presentations] TPSA @POPL2026   Ayoun, Sacha-Elie
• [TYPES/announce] [CFP] FSTTCS 2025: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science   C Aiswarya
• [TYPES/announce] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects   Taro Sekiyama
• [TYPES/announce] [CHC-COMP 2025] - Call for Solver Submission   Gidon Ernst
• [TYPES/announce] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)   Munoz, Cesar A. (LARC-D320) via fm-announcements
• [TYPES/announce] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers   Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] [FOSAD] 24th Summerschool on Foundations of Security Analysis and Design   Aldini, Alessandro
• [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
• [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
• [TYPES/announce] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [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
• [TYPES/announce] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [TYPES/announce] [Places 2026] First Call for Papers   Kirstin Peters
• [TYPES/announce] [PLDI'26] Call for Workshops and Tutorials   Jenna DiVincenzo
• [TYPES/announce] [PLDI 2026] Call for Papers, 47th ACM SIGPLAN Conference on Programming Language Design and Implementation   Jenna DiVincenzo
• [TYPES/announce] [PLDI’26] Artifact Evaluation Committee: Call for nominations   Jenna DiVincenzo
• [TYPES/announce] [Scala 2025] *Extended Deadline July 18* Call for Presentations   Oliver Bracevac
• [TYPES/announce] [Scala 2025] Call for Presentations   Oliver Bracevac
• [TYPES/announce] [TFP 2026] 2nd Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-30 2026   Peter Achten
• [TYPES/announce] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026   Peter Achten
• [TYPES/announce] [VORTEX 2025] Deadline extended   Davide Ancona
• [TYPES/announce] Academic Positions in Foundational AI at the University of Glasgow   Simon Fowler
• [TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] Aczel Memorial Conference / BLC 2025 meeting: first announcement   Nicola Gambino
• [TYPES/announce] Agda Implementors' Meeting XLI: First Call for Participation   Jesper Cockx
• [TYPES/announce] ANU 33rd Logic Summer School, 1–12 December 2025   Michael Norrish
• [TYPES/announce] Applied Category Theory 2026: First Call for Papers   Priyaa Varshinee Srinivasan
• [TYPES/announce] ARRAY 2025: Call for contributions   Artem Shinkarov
• [TYPES/announce] Assist./Assoc. Professor Positions at NII, Tokyo   Ichiro Hasuo
• [TYPES/announce] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025)   vincent rahli
• [TYPES/announce] Assistant/associate professor opening at Université de Montréal   Stefan Monnier
• [TYPES/announce] Asst., Assoc., Full professor openings at Aarhus University, Denmark   Lars Birkedal
• [TYPES/announce] Asst. Prof. in Math. Logic at Stockholm, deadline April 15   Peter LeFanu Lumsdaine
• [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025   Valentin G. J. Herrmann
• [TYPES/announce] Book Announcement: Session Types   Vasco T. Vasconcelos
• [TYPES/announce] CALCO/MFPS 2025: Call for Participation   Thorsten Wissmann
• [TYPES/announce] CALCO/MFPS 2025: Second Call for Participation   Thorsten Wissmann
• [TYPES/announce] CALCO 2025: Deadline Extension   Thorsten Wissmann
• [TYPES/announce] CALCO 2025: Final Call for Papers   Thorsten Wissmann
• [TYPES/announce] CALCO 2025: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia   Serge Autexier
• [TYPES/announce] Call for Abstracts WITS'26   Niki Vazou
• [TYPES/announce] Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM   Nima Rasekh
• [TYPES/announce] Call for constributions: ASL Special Session on Proof Assistants   Patricia Johann
• [TYPES/announce] Call for Contributions - 2nd Workshop on Programming for the Planet (PROPL) co-located with ICFP-SPLASH 2025   Dominic Orchard
• [TYPES/announce] Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17)   Michael Sperber
• [TYPES/announce] Call for dissertations -- E.W. Beth Dissertation Prize 2025   Elaine Pimentel
• [TYPES/announce] Call for interest: Formalizing Higher Categories, June 8–12 2026, Mittag-Leffler Institute   Nima Rasekh
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025   Carsten Fuhs
• [TYPES/announce] Call for nominations: POPL 2026 AEC   Vadim Zaliva
• [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2024.   Ilya Sergey
• [TYPES/announce] Call for Papers, Functional Software Architecture (Deadline June 16)   Michael Sperber
• [TYPES/announce] Call for Papers - Abstract Registration Deadline is Approaching   Farzaneh Derakhshan
• [TYPES/announce] Call For Papers - APLAS 2025, Bengaluru, India   Pritam Gharat
• [TYPES/announce] Call for Papers: BENEVOL 2025 (17-18 Nov, Enschede, the Netherlands)   Vadim Zaytsev
• [TYPES/announce] Call for Papers: Deduktionstreffen 2025 at CADE   Florian Rabe
• [TYPES/announce] Call for papers: FCS @ CSF'25   Vassena, M. (Marco)
• [TYPES/announce] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE)   Vassena, M. (Marco)
• [TYPES/announce] Call for Papers: FORMALISE 2026   Claudio MENGHI
• [TYPES/announce] Call for Papers: FormaliSE 2026 (submission deadline approaching)   Claudio MENGHI
• [TYPES/announce] Call for Papers: Functional Programming for Productivity and Performance (FProPer)   Michael Sperber
• [TYPES/announce] Call for papers: LFMTP 2025 -- Birmingham, UK   Kaustuv Chaudhuri
• [TYPES/announce] Call for papers: PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] Call for Papers: SETTA 2025, Symposium on Dependable Software Engineering: Theories, Tools and Applications   Oleg Sokolsky
• [TYPES/announce] Call for Papers: TbiLLC 2025   Balder ten Cate
• [TYPES/announce] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) - Third call   Catherine DUBOIS
• [TYPES/announce] Call for Partecipation - GandALF 2025   Giorgio Bacci
• [TYPES/announce] Call for Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025   Francesco Dagnino
• [TYPES/announce] Call for participation: 4th Summer School on Security Testing and Verification (ST&V 2025) - Brussels, Belgium   Dominique Devriese
• [TYPES/announce] Call for Participation: BOB 2026 (Berlin, Mar 13)   Michael Sperber
• [TYPES/announce] Call for Participation: Dutch Formal Methods Day 2025 in Amsterdam   Andrés Goens
• [TYPES/announce] Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops   Shibashis Guha
• [TYPES/announce] Call for participation: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] Call for Participation PVS Day @ NFM 2025   Munoz, Cesar A. (LARC-D320)
• [TYPES/announce] Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)   Alexis Saurin
• [TYPES/announce] Call for participation to UNIF 2025   Laurent Vigneron
• [TYPES/announce] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] Call for PhD applications (University of Kent, UK)   Marco Paviotti
• [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
• [TYPES/announce] Call for Presentation - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL)   Lesly-Ann Daniel
• [TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025)   Giuliano Losa
• [TYPES/announce] Call for Problems: VerifyThis 2025   Thomas Wies
• [TYPES/announce] Call for Submissions: Fifth Rust Verification Workshop (RW2025)   Summers, Alexander
• [TYPES/announce] Call for Submissions: SPLASH Doctoral Symposium   Conrad Watt
• [TYPES/announce] Call for talks: PLF+PLAID @ ECOOP 2025   Alceste Scalas
• [TYPES/announce] Call for TYPES 2027 location   Paige Randall North
• [TYPES/announce] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [TYPES/announce] CCC 2025: Swansea, 1-3 September 2025, Call for Contributions   Monika Seisenberger
• [TYPES/announce] CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer)   Michael Sperber
• [TYPES/announce] CfP 5th IEEE International Conference on Code Quality (ICCQ'25)   Yegor Bugayenko
• [TYPES/announce] CfP: 39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)   Sibylle Schwarz
• [TYPES/announce] CFP: ACM TOPLAS Special Issue on Multiparty Languages (Deadline: 15 May 2026)   Saverio Giallorenzo
• [TYPES/announce] CFP: APLAS 2025 SRC & Posters: The 23rd Asian Symposium on Programming Languages and Systems - Student Research Competition and Posters   Pritam Gharat
• [TYPES/announce] CfP: CONCUR 2026 – 37th Intl Conference on Concurrency Theory, 1-4 Sep 2026, Liverpool (UK)   Hausmann, Daniel
• [TYPES/announce] CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13)   Michael Sperber
• [TYPES/announce] CfP: GPCE 2025   Jeremy Yallop
• [TYPES/announce] CfP: MathCompLing for Proofs (MCLP) 2025   Axel Ljungström
• [TYPES/announce] CfP: PLACES 2025   Farzaneh Derakhshan
• [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] CFP: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy   Clément Aubert
• [TYPES/announce] CFP: SAC 2026 -- Programming Languages Track   Marco Giunti
• [TYPES/announce] CfP: SCML-2026 - International Conference on Symbolic Computation and Machine Learning   Temur Kutsia
• [TYPES/announce] CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)   Michael Sperber
• [TYPES/announce] CFP [deadline extension]: RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025   Najib, Muhammad
• [TYPES/announce] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [TYPES/announce] CfP deadline ectended: Functional Art, Music, Modelling and Design (FARM, June 25)   Michael Sperber
• [TYPES/announce] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [TYPES/announce] CFS - PLanQC 2026 - Programming Languages for Quantum Computing   Vladimir Zamdzhiev
• [TYPES/announce] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***   Serge Autexier
• [TYPES/announce] CICM 2025: 3rd Announcement and Call for Papers   Serge Autexier
• [TYPES/announce] CICM 2025: 4th Announcement and Call for Papers with deadline extension   Serge Autexier
• [TYPES/announce] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Final CfP   Simone Martini
• [TYPES/announce] Computability in Europe - CiE 2026, July 27-31. First Call for Papers   acie at acie.eu
• [TYPES/announce] CONFEST 2025: 1st Call for Participation (Early Registration until July 25)   Marco Paolieri
• [TYPES/announce] CS at max planck doctoral program applications by 15 December   Catalin Hritcu
• [TYPES/announce] CSL 2026 - First Call for Papers   Barbara König
• [TYPES/announce] CSL 2026 - Second Call for Papers   Barbara König
• [TYPES/announce] CSL’26 -- CALL FOR WORKSHOPS   Elaine Pimentel
• [TYPES/announce] CT2026 + DV60, July 2026, Baltimore   Jonathan Weinberger
• [TYPES/announce] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025   Giorgio Audrito
• [TYPES/announce] DaLi 25, 2nd call for papers   Alexandre Madeira
• [TYPES/announce] DaLí 2025, 1st call for papers   Alexandre Madeira
• [TYPES/announce] DaLí 2025 - 3rd Call for Papers ** deadline extension **   Alexandre Madeira
• [TYPES/announce] DataMod 2025 - Final Call for Papers, Extended Deadline   Ouadie Khebbeb
• [TYPES/announce] DAYS IN LOGIC 2026: Announcement   Luís Pinto
• [TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)   Jorge A. Pérez
• [TYPES/announce] Deadline extended for PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] Deadline Extension & Final Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)   Uli Fahrenberg
• [TYPES/announce] Deadline extension (9 April): GPCE 2025   Jeremy Yallop
• [TYPES/announce] Deadline Extension - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL)   Lesly-Ann Daniel
• [TYPES/announce] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] DisCoTec 2025 Call for Participation   Matthew Alan Le Brun (PGR)
• [TYPES/announce] DisCoTec 2026 - Urbino, Italy [Preliminary Call]   Claudio Mezzina
• [TYPES/announce] DisCoTec Call for Participation - Early Registration Deadline Soon   Matthew Alan Le Brun (PGR)
• [TYPES/announce] Doctoral / Post-Doctoral Position at University of Konstanz   Stefan Leue
• [TYPES/announce] Dutch Formal Methods Day 2025, 26 June, Amsterdam   Benno van den Berg
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2025   Ryan Kavanagh
• [TYPES/announce] ECOOP 2025: 2nd Call for Papers   Giorgio Audrito
• [TYPES/announce] ECOOP 2025: Call for AEC members   Giorgio Audrito
• [TYPES/announce] ECOOP 2025: Call for Papers   Giorgio Audrito
• [TYPES/announce] ECOOP 2025: Call for Participation   Violet Ka I Pun
• [TYPES/announce] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching   Violet Ka I Pun
• [TYPES/announce] ECOOP Doctoral Symposium -- 2nd Call for Papers   Carla Ferreira
• [TYPES/announce] Emily Riehl talk in Birmingham   Paul Levy
• [TYPES/announce] ESOP 2026 - Second Call for Papers   root
• [TYPES/announce] ESOP 2026 - Call for Papers   Claudio MENGHI
• [TYPES/announce] ETAPS 2025 - CALL FOR PARTICIPATION   Claudio MENGHI
• [TYPES/announce] ETAPS 2026 - Call for Satellite Events   root
• [TYPES/announce] ETAPS 2026 Joint Call for Papers   root
• [TYPES/announce] ETAPS 2026 Second Joint Call for Papers   Jan Kofron
• [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations   Caterina Urban
• [TYPES/announce] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals   Frédéric Blanqui
• [TYPES/announce] EXPRESS/SOS at CONFEST2025 - Last Call for papers   Cinzia Di Giusto
• [TYPES/announce] Faculty position at ULB   Emmanuel Filiot
• [TYPES/announce] Faculty Positions at the University of Chile   Éric Tanter
• [TYPES/announce] FICS 2026 - Call for Contributions   Florian Bruse
• [TYPES/announce] Final call for dissertations -- E.W. Beth Dissertation Prize 2025   Elaine Pimentel
• [TYPES/announce] Final Call for Papers: PLanQC 2026 - Programming Languages for Quantum Computing   Vladimir Zamdzhiev
• [TYPES/announce] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Inbox   Andrei Popescu
• [TYPES/announce] Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)   Michael Sperber
• [TYPES/announce] Final CFP: LFMTP 2025 - Extended deadlines - Affiliated with FSCD @ Birmingham UK   Kaustuv Chaudhuri
• [TYPES/announce] Final CfP and Deadline extension: 15th International Workshop on Pragmatics of SAT (PoS 2025)   Mikoláš Janota
• [TYPES/announce] Final CfP for HoTT/UF'25   Daniel Gratzer
• [TYPES/announce] Final Reminder: Deadline extended for PLAS @ CCS '25 [4th July 2025]   Abhishek Bichhawat
• [TYPES/announce] First call for papers, SC-Square 2025   Mikoláš Janota
• [TYPES/announce] FMBC 2026 - First Call for Papers   Marmsoler, Diego
• [TYPES/announce] FMCAD 2025 - 2nd Call for Papers   Daniela Kaufmann
• [TYPES/announce] FMCAD 2025 - Call for Participation   Daniela Kaufmann
• [TYPES/announce] FMCAD 2025: Call for Papers   Daniela Kaufmann
• [TYPES/announce] FMCAD 2025: Deadline Extension   Daniela Kaufmann
• [TYPES/announce] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"   Luigia Petre
• [TYPES/announce] FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications"   Luigia Petre
• [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
• [TYPES/announce] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025   Claudio MENGHI
• [TYPES/announce] FoSSaCS 2026: 2nd call for papers   Stefan Milius
• [TYPES/announce] FoSSaCS 2026: call for papers   Stefan Milius
• [TYPES/announce] Four Assistant/Associate Professor positions in Computing at Imperial College London - deadline 15th December   Donaldson, Alastair F
• [TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation   Tarmo Uustalu
• [TYPES/announce] FroCoS 2025 - Call for Papers   Thiemann, René
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] FROM 2025 - 9th Working Formal Methods Symposium   Radu Iosif
• [TYPES/announce] FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)   Carsten Fuhs
• [TYPES/announce] FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)   Carsten Fuhs
• [TYPES/announce] FSCD 2025: Free online participation, 15 - 18 July 2025   Carsten Fuhs
• [TYPES/announce] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*)   Carsten Fuhs
• [TYPES/announce] FSCD 2026: First Call for Papers   Carsten Fuhs
• [TYPES/announce] FSCD 2027: Call for Location   Carsten Fuhs
• [TYPES/announce] FSEN 2025 - Call for Participation   Petra van den Bos
• [TYPES/announce] FTfJP 2025 - Call for Papers with deadline extension 7 May   Crystal Chang Din
• [TYPES/announce] FTfJP 2025 - First Call for Papers   Crystal Chang Din
• [TYPES/announce] FTfJP 2025 - Last CfP (extended deadline)   Crystal Chang Din
• [TYPES/announce] FTfJP 2025 - Second Call for Papers   Crystal Chang Din
• [TYPES/announce] Full Professor position in Programming Languages at the University of Tartu   Danel Ahman
• [TYPES/announce] Full professorship at FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] Fully-Funded Overseas or Home PhD Studentship in Oxford University   Nobuko Yoshida
• [TYPES/announce] Fully-funded PhD position in Static Analysis at Inria Lille, France   Raphaël Monat
• [TYPES/announce] Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark   Bas Spitters
• [TYPES/announce] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)   Steven Keuchel
• [TYPES/announce] Fully Funded PhD position in Secure Compilation   Gollamudi, Anitha
• [TYPES/announce] Fully funded PhD position in the Foundations of Programming Languages at SDU   Stelios Tsampas
• [TYPES/announce] Fully funded postdoc and PhD positions at UMass Lowell   Gollamudi, Anitha
• [TYPES/announce] Funded PhD Position(s) on the Intersection of PL & AI in Darmstadt, Germany   David Richter
• [TYPES/announce] Funded PhD Position for UK Students at University of Strathclyde   Jan de Muijnck-Hughes
• [TYPES/announce] Funded PhD positions at the University of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] GALOP 2025 call for contributions   Hugo Paquet
• [TYPES/announce] GALOP 2025 — second CFP (extended deadline and invited speakers)   Hugo Paquet
• [TYPES/announce] GandALF 2025 - Deadline Extension to 6 June   Giorgio Bacci
• [TYPES/announce] Graduate School Application Mentorship   Pedro Abreu
• [TYPES/announce] graduate students and post-doc positions in France   DAVID MONNIAUX
• [TYPES/announce] Göteborgs universitet | Researcher in type theory for mathematics and computer science   Ana Bove
• [TYPES/announce] Haskell Symposium 2025 Call for Papers (deadline June 9 AOE)   Ningning Xie
• [TYPES/announce] Haskell Symposium 2025 Call for Talks (deadline Sept 15th)   Ningning Xie
• [TYPES/announce] Haskell Symposium 2025 First Call for Papers   Ningning Xie
• [TYPES/announce] Haskell Symposium 2025 Last Call for Talks (deadline Sept 15th)   Ningning Xie
• [TYPES/announce] Haskell Symposium 2025 Second Call for Papers   Ningning Xie
• [TYPES/announce] HOPE'25: Deadline extension   Guilhem Jaber
• [TYPES/announce] HOR 2025: Call for Papers   Pablo Barenbaum
• [TYPES/announce] HOR 2025: Deadline extension - Last Call for Papers   Pablo Barenbaum
• [TYPES/announce] HOR 2025: Second Call for Papers   Pablo Barenbaum
• [TYPES/announce] ICALP 2026: Call for Workshops   Matthew Hague
• [TYPES/announce] ICALP 2026 Call for *Papers*   Michael Benedikt
• [TYPES/announce] ICDT 2027 - Call for Papers - 1st submission round   Stijn VANSUMMEREN
• [TYPES/announce] ICE 2025: Second Call for Papers   Clément Aubert
• [TYPES/announce] ICFP/SPLASH 2025: call for volunteers   ICFP Publicity
• [TYPES/announce] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16   ICFP Publicity
• [TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation   ICFP Publicity
• [TYPES/announce] ICFP 2025 Student Research Competition Call for Submissions   Kimball Germane
• [TYPES/announce] ICFP 2026: Call for Papers   ICFP Publicity
• [TYPES/announce] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events   ICFP Publicity
• [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers   Andrea Rosa
• [TYPES/announce] ICOOOLPS 2025 - Co-located with ECOOP’25 - Call for Papers   Andrea Rosa
• [TYPES/announce] IEEE CSF 2025:: Call for Workshops   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025: CFP Winter Cycle - Deadline Feb 4, 2025, AoE   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2025: Early Bird Registration Ends Today!   Ralf Kuesters
• [TYPES/announce] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE   Ralf Kuesters
• [TYPES/announce] iFM 2025 Call for Papers - 20th International Conference on Integrated, Formal Methods   Giorgio Audrito
• [TYPES/announce] iFM 2025 Call for Papers - Deadline Extended   Giorgio Audrito
• [TYPES/announce] International School on Rewriting (ISR) 2026 -- pre-registration   Cynthia Kop
• [TYPES/announce] ISSTA/SPLASH call for co-located workshops   Ellen Arteca
• [TYPES/announce] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21)   Yannick Forster
• [TYPES/announce] ITP 2025: Call for workshops   Yannick Forster
• [TYPES/announce] ITP 2025: Second Call for Papers   Tom de Jong
• [TYPES/announce] IWC 2025: Deadline Extension   Thiago Felicissimo
• [TYPES/announce] IWC 2025: Final Call for Papers   Thiago Felicissimo
• [TYPES/announce] IWC 2025: First Call For Papers   Thiago Felicissimo
• [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom   Andrei Popescu
• [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom   Andrei Popescu
• [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom   Andrei Popescu
• [TYPES/announce] JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open   Alejandro Díaz-Caro
• [TYPES/announce] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom   Andrei Popescu
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] LAFI 2026: Call for Extended Abstracts   Hugo Paquet
• [TYPES/announce] LAFI 2026: Final Call for Extended Abstracts   Hugo Paquet
• [TYPES/announce] LAP 2025 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] Last Call for ECOOP 2025 Workshop Proposals   Clément Aubert
• [TYPES/announce] Last Call for Participation: BOB 2025 (Berlin, Mar 14)   Michael Sperber
• [TYPES/announce] Last call for registration, deadline 9 October: QCOMICAL School 2025   Alejandro Díaz-Caro
• [TYPES/announce] LAST CFP: SAC 2026 -- Programming Languages Track   Marco Giunti
• [TYPES/announce] Last CfP for SC-Square 2025 and Christian Zipfel Award   Mikoláš Janota
• [TYPES/announce] LATTE 2025 (Co-Located with ASPLOS): CFP   Edward Wang
• [TYPES/announce] Lectureships at Bath   Thomas Powell
• [TYPES/announce] LICS 2025 Call for Participation   Sam Staton
• [TYPES/announce] LICS 2025 final call for papers   Sam Staton
• [TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers   Sam Staton
• [TYPES/announce] LIQCS 2026: First Call for Contributions   Alejandro Díaz-Caro
• [TYPES/announce] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom   Andrei Popescu
• [TYPES/announce] LMW at LICS'25 - Call for participation and Buddy program   Chana Weil-Kennedy
• [TYPES/announce] LMW at LICS'25 - Call for participation and scholarship applications   Chana Weil-Kennedy
• [TYPES/announce] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)   Christophe Ringeissen
• [TYPES/announce] LSFA 2025 Call for Papers   Christophe Ringeissen
• [TYPES/announce] LSFA 2025 Last Call for Papers   Christophe Ringeissen
• [TYPES/announce] LSFA 2025 Second Call for Papers   Christophe Ringeissen
• [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)   Carsten Fuhs
• [TYPES/announce] MFPS 2025: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] MFPS FInal Call for Papers (extended deadlines)   Fredrik Nordvall Forsberg
• [TYPES/announce] Midlands Graduate School - final call for participation   Tom de Jong
• [TYPES/announce] Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [TYPES/announce] MIT Programming Languages Review Workshop 2025   Dustin Jamner
• [TYPES/announce] ML Family Workshop 2025: 2nd CFP: deadline June 19!   Samuel Westrick
• [TYPES/announce] ML Family Workshop 2025: Call for Presentations   Samuel Westrick
• [TYPES/announce] ML Family Workshop 2025: extended deadline: July 3   Samuel Westrick
• [TYPES/announce] MOSCA 2025: Meeting on String Constraints and Applications, 22 July 2025, Zagreb   Matthew Hague
• [TYPES/announce] New PhD position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] New postdoc position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] New postdoc position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] Nitro Isolation Engine: a formally verified hypervisor for AWS EC2 Graviton5 instances   Mulligan, Dominic
• [TYPES/announce] one postdoc and one researcher position at University of Gothenburg   Ana Bove
• [TYPES/announce] Onward! 2025 Joint Call for Papers and Essays   Gordon,Colin
• [TYPES/announce] OOPSLA 2026 Round 1 Call for papers   Ellen Arteca
• [TYPES/announce] Open Faculty Positions in Computer Science at NOVA University Lisbon   Carla Ferreira
• [TYPES/announce] Open PhD position in the Frama-C team, Paris-Saclay, France   SIGNOLES Julien 215179
• [TYPES/announce] Open PhD positions   Kaushik Mallik
• [TYPES/announce] Open postdoc position   Patricia Johann
• [TYPES/announce] Open postdoc position   Patricia Johann
• [TYPES/announce] Open postdoc position (3 years) in "Formal Engineering Support for Field-Programmable Gate Arrays", combining FPGAs with formal methods   Rüdiger Ehlers
• [TYPES/announce] OPLSS 2025 back in Eugene!   Zena Matilde Ariola
• [TYPES/announce] OPLSS 2025 registration still open   Zena Matilde Ariola
• [TYPES/announce] PADL 2026 Call for Papers   Nada Amin
• [TYPES/announce] PEPM 2026 - Call for papers   Yukiyoshi Kameyama
• [TYPES/announce] PEPM 2026: Second Call for Papers   Ningning Xie
• [TYPES/announce] Ph.D. position in PL and quantum computing   Charles Yuan
• [TYPES/announce] PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany)   Emanuele D'Osualdo
• [TYPES/announce] PhD and postdoc positions at Uppsala in Practically Usable Verification for Numerical Programs   Eva Darulova
• [TYPES/announce] PhD funding in logic at UCL   Elaine Pimentel
• [TYPES/announce] PhD position (or internship) - Provable Hardware-Software Security @ EURECOM   Lesly-Ann Daniel
• [TYPES/announce] PhD position at the University of Duisburg-Essen   Barbara König
• [TYPES/announce] PhD position at Univ. of Oslo in formal methods for data protection in digital twins   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] PhD position at Univ. of Oslo in information-flow analysis for digital twins   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] PhD position at University of New South Wales (UNSW) Sydney   Vineet Rajani
• [TYPES/announce] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu)   Emily Yu
• [TYPES/announce] PhD Position in Parametric Floating-Point Reasoning at Uppsala   Tjark Weber
• [TYPES/announce] PhD position in programming languages and security at Aarhus University   Aslan Askarov
• [TYPES/announce] PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam   Benno van den Berg
• [TYPES/announce] PhD positions at Stockholm University (deadline April 22)   Anders Mortberg
• [TYPES/announce] PhD positions available on formal methods and digital twins at University of Oslo   Einar Broch Johnsen
• [TYPES/announce] PhD positions in Automated and Foundational Verification at ISTA   Michael Sammler
• [TYPES/announce] PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] PhD positions in Mathematical Foundations of Computation Group at Bath   Thomas Powell
• [TYPES/announce] PhD Positions in Programming Semantics and Systems for Probabilistic and Differential Programming   Vákár, M.I.L. (Matthijs)
• [TYPES/announce] PhD positions on ERC project on type systems and separation logic   Robbert Krebbers
• [TYPES/announce] PhD scholarship in PL, SE, and GenAI at DTU   Christian Gram Kalhauge
• [TYPES/announce] PhD Scholarships in Quantum Computing   Venanzio Capretta
• [TYPES/announce] PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes   Donaldson, Alastair F
• [TYPES/announce] PhD Studentships in Programming Languages at the University of Glasgow   Simon Fowler
• [TYPES/announce] PLACES Deadline Extension   Farzaneh Derakhshan
• [TYPES/announce] PLMW at PLDI'25 is now accepting applications   Jingbo Wang
• [TYPES/announce] PLMW at POPL 26 Call for scholarship applications   Ningning Xie
• [TYPES/announce] PL Principal Researcher / Research Engineer (full time)   Dan Ghica
• [TYPES/announce] PLS 15 First Call for Papers   Antonios Achilleos
• [TYPES/announce] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)   Ningning Xie
• [TYPES/announce] POPL 2025 Student Research Competition Call for Submissions   Ralf Jung
• [TYPES/announce] POPL 2026 Call for Papers   Ningning Xie
• [TYPES/announce] POPL 2026 Call for Participation - Early registration: 12 December   Ningning Xie
• [TYPES/announce] POPL 2026 Call for Student Volunteers   Ningning Xie
• [TYPES/announce] POPL 2026 Call For Tutorials   Ningning Xie
• [TYPES/announce] POPL 2026 Call for Workshops   Ningning Xie
• [TYPES/announce] POPL 2026 Last Call for Papers   Ningning Xie
• [TYPES/announce] POPL 2026 Second Call for Participation - Early registration: 12 December   Ningning Xie
• [TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust)   Ralf Jung
• [TYPES/announce] Post-Doctoral Position at University of Konstanz   Stefan Leue
• [TYPES/announce] POST-DOCTORAL POSITION within the SmartCloud INRIA project at Sophia-Antipolis or Lille, France   Saverio Giallorenzo
• [TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest   Ugo Dal Lago
• [TYPES/announce] Postdoc in Semantics at ENS de Lyon   Michele Pagani
• [TYPES/announce] Postdoc position at MPI-SWS (Foundations of Programming group)   Derek Dreyer
• [TYPES/announce] Postdoc position at Tufts University   Jeff Foster
• [TYPES/announce] Postdoc position at University of Iceland   Anders Claesson
• [TYPES/announce] Postdoc position available   Patricia Johann
• [TYPES/announce] Postdoc position in quantum computing - deadline extension 30 March   Robin Adams
• [TYPES/announce] Postdoc position in quantum computing at Chalmers University of Technology   Robin Adams
• [TYPES/announce] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems   Taro Sekiyama
• [TYPES/announce] Postdoc positions available at IRIF   Giuseppe Castagna
• [TYPES/announce] Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)   Ambrus Kaposi
• [TYPES/announce] Postdoc positions in type theory, closing date: 25 July   Nicolai Kraus
• [TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa   J. Garrett Morris
• [TYPES/announce] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming   Michael D. Adams
• [TYPES/announce] Postdoctoral Position Available in Systems Security Verification   Atsushi Igarashi
• [TYPES/announce] Postdoctoral position in logical methods and machine learning (2 years)   Jamie Vicary
• [TYPES/announce] Postdoctoral Researcher Position at the University of Tartu   Danel Ahman
• [TYPES/announce] Postdoctoral Research Fellow   Brijesh Dongol
• [TYPES/announce] Postdoctoral Research Position, University of Birmingham   Sergey Goncharov
• [TYPES/announce] Postdoctoral Research Position, University of Birmingham   Paul Levy
• [TYPES/announce] PPDP 2025 Call for papers   Małgorzata Biernacka
• [TYPES/announce] Prefaculty/postdoc position in the OCaml Language team at Jane Street   Richard Eisenberg
• [TYPES/announce] Professorhip in Logic and Verification in Computer Science   Javier Esparza
• [TYPES/announce] Professorship in Quantum Computing @ Innsbruck   Georg Moser
• [TYPES/announce] Professorship on Practice and Theory of Programming in Wiesbaden / Germany   David Sabel
• [TYPES/announce] Programs from Proofs Meets Formal Mathematics - call for participation   Thomas Powell
• [TYPES/announce] Proof Society seminar: Anton Freund, 15 December 2025   Marianna Girlando
• [TYPES/announce] Proof Society Seminar: Juliette Kennedy, 17 November 2025   Anupam das
• [TYPES/announce] Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [TYPES/announce] PSSL111 in Bologna   Matteo Capucci
• [TYPES/announce] PSSL 112 — 1st Call for Contributions   Tom de Jong
• [TYPES/announce] PSSL 112 — 2nd call for contributions   Tom de Jong
• [TYPES/announce] QPL 2024 & QPL2025 Special Issue of "Journal of Logical and Algebraic Methods in Programming"   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2025 - Final Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2025 - Registration is now open   Alejandro Díaz-Caro
• [TYPES/announce] QPL 2025 - Second Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] RC 2025: Call for Participation   Robin Kaarsgaard Sales
• [TYPES/announce] RC 2025: Second Call for Papers   Robin Kaarsgaard Sales
• [TYPES/announce] RC 2025: Third Call for Papers (Deadline extended!)   Robin Kaarsgaard Sales
• [TYPES/announce] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [TYPES/announce] Registration reminder for HoTT/UF 2025   Daniel Gratzer
• [TYPES/announce] Research Fellow position at the University of Tartu, Estonia   Danel Ahman
• [TYPES/announce] resignation from MLQ - re-birth of ZML   Maria Emilia Maietti
• [TYPES/announce] RocqPL 2026: Call for Presentations   Benjamin J Delaware
• [TYPES/announce] RocqPL 2026 CfP: deadline extended to Oct 31st AoE   Frederic Besson
• [TYPES/announce] Rod Burstall   Gordon Plotkin
• [TYPES/announce] RTFM 2026: A Faculty Mentoring Workshop -- Call for Participation   Derek Dreyer
• [TYPES/announce] RVCase 2025 Call for Submissions   Sean Kauffman
• [TYPES/announce] S-REPLS (Amazon, 29 Oct) - Call for talks and registration   Zetzsche, Stefan
• [TYPES/announce] S-REPLS 16 at Imperial College London - 1st April 2025   Donaldson, Alastair F
• [TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal!   Caterina Urban
• [TYPES/announce] Scheme 2025 - Call for Papers   Youyou Cong
• [TYPES/announce] Scheme 2025 - Call for Papers (extended deadline: July 24th)   Youyou Cong
• [TYPES/announce] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions   Besik Dundua
• [TYPES/announce] Scottish Programming Languages and Verification Summer School (SPLV) 2025 at the University of Edinburgh   Simon Fowler
• [TYPES/announce] Scottish Programming Languages and Verification Summer School 2025 -- Call for Applications   Simon Fowler
• [TYPES/announce] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [TYPES/announce] Second call for papers, SMT 2025   Sophie Tourret
• [TYPES/announce] Second call for papers: PLAS @ CCS '25   Abhishek Bichhawat
• [TYPES/announce] Second Call for Submissions (deadline on 14th Feb): Fifth Rust Verification Workshop (RW2025)   Summers, Alexander
• [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] Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23.   Jorge A. Pérez
• [TYPES/announce] Six PhD positions on “Cyclic Structures in Programs and Proofs” (The Netherlands).   Jorge A. Pérez
• [TYPES/announce] SMT 2025 - Call for Papers   Sophie Tourret
• [TYPES/announce] SMT 2025 Call for Papers: Deadline extension!   Sophie Tourret
• [TYPES/announce] SPAA'25 Call for Papers -- deadline Feb 28   Samuel Westrick
• [TYPES/announce] SPIN 2026: The 32nd International Symposium on Model Checking Software   Arnd Hartmanns
• [TYPES/announce] SPIN: Final Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] SPLV 2025 - last call for applications   Sam Lindley
• [TYPES/announce] TABLEAUX 2025 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] TABLEAUX 2025 call for papers   Tarmo Uustalu
• [TYPES/announce] TABLEAUX 2025 final call for papers   Tarmo Uustalu
• [TYPES/announce] Tenure-Track Assistant Professor in the School of Computer Science, McGill University   Brigitte Pientka
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University   Derek Dreyer
• [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science   Catalin Hritcu
• [TYPES/announce] TFPiE 2026, call for submissions   Mart Lubbers
• [TYPES/announce] The 2025 Alonzo Church Award - Call for Nominations   Andrzej Murawski
• [TYPES/announce] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris   Francois Pottier
• [TYPES/announce] TPSA26 - Deadline extension   Ayoun, Sacha-Elie
• [TYPES/announce] Tribute to Gilles Dowek   Catherine DUBOIS
• [TYPES/announce] Two Assistant/Associate Professor Positions in Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] Two fully-funded PhD positions in France on formal verification of probabilistic programs and differential privacy   Martin Avanzini
• [TYPES/announce] Two junior positions in quantum programming languages   Robin Kaarsgaard Sales
• [TYPES/announce] TyDe 2025 - call for papers & extended abstracts   Andras Kovacs
• [TYPES/announce] TyDe 2025 - Second Call for Papers   Yuting Wang
• [TYPES/announce] TYPES 2025: Call for Participation   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Deadline Extension and Final Call for Contributions   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Final Call for Participation   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Post-proceedings 2nd Call for Papers   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Post-proceedings Call for Papers   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Post-proceedings Final Call for Papers   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2025: Second Call for Contributions   Fredrik Nordvall Forsberg
• [TYPES/announce] TYPES 2026 Call for Contributions   Christian Sattler
• [TYPES/announce] Undone Computer Science 2026: First call for presentations   Guillaume Munch-Maccagnoni
• [TYPES/announce] UNIF 2025 2nd Call for Papers   Laurent Vigneron
• [TYPES/announce] UNIF 2025: Extended submission deadline (May 17)   Laurent Vigneron
• [TYPES/announce] UNIF 2025 Call for Papers   Laurent Vigneron
• [TYPES/announce] UNIF 2025 Last Call for Papers (a FSCD event)   Laurent Vigneron
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming   Wouter Swierstra
• [TYPES/announce] Vacancy: Head of School of Computing Science, University of Glasgow, UK   Simon Gay
• [TYPES/announce] VASSAL Workshop: Call for Presentation   SIGNOLES Julien 215179
• [TYPES/announce] VERIFAI workshop on the Interplay between Artificial Intelligence and Software Verification -- Villebrumier, March 2026 -- CFP   Bertrand Meyer
• [TYPES/announce] VerifyThis 2025 - Call for Participation   Thomas Wies
• [TYPES/announce] VeriProP 2025: Call for Presentations   Dr. Maximilian Weininger
• [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
• [TYPES/announce] VMCAI 2026: first call for papers   Thomas Jensen
• [TYPES/announce] VMCAI 2026: second call for papers   Thomas Jensen
• [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications   Mukund Raghothaman
• [TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications (Extended deadline: May 2, 2025)   Mukund Raghothaman
• [TYPES/announce] Volunteers for ICFP 2025 Artifact Evaluation Committee (AEC)   Lionel Parreaux
• [TYPES/announce] VORTEX 2025 - 1st Call for Papers   Davide Ancona
• [TYPES/announce] VORTEX 2025 1st Call for Papers   Giorgio Audrito
• [TYPES/announce] VSTTE 2025: First call for papers   Clément Pit-Claudel
• [TYPES/announce] VSTTE 2025: Second call for papers (deadline July 18th, 2025)   Clément Pit-Claudel
• [TYPES/announce] WebAssembly Workshop @ ICFP / SPLASH 2025 - Call for Presentations   Conrad Watt
• [TYPES/announce] WoLLIC 2025 Call for Participation   Rodrigo Marques
• [TYPES/announce] Women in Logic 2025 -- 1st cfp   Elaine Pimentel
• [TYPES/announce] Women in Logic 2025 -- Deadline extension   Elaine Pimentel
• [TYPES/announce] Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec   Tom de Jong
• [TYPES/announce] Workshop on higher structures, 19 Nov, Nottingham   Nicolai Kraus
• [TYPES/announce] WPTE 2025 - Call for Papers - Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtländer
• [TYPES/announce] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation   Voigtländer, Prof. Dr. Janis
• [TYPES/announce] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation   Voigtländer, Prof. Dr. Janis
• [TYPES/announce] WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation   Voigtländer, Prof. Dr. Janis
• [TYPES/announce] WQS 2025 - Deadline Extended   Nicola Assolini
• [TYPES/announce] WQS 2025 - Second Call for Papers   Nicola Assolini
• [TYPES/announce] WST 2025 - Workshop on Termination, First Call for Papers   Carsten Fuhs

Last message date: Mon Dec 15 11:29:12 EST 2025
Archived on: Tue Dec 16 10:51:15 EST 2025

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