types-announce

Messages by Date

2026/01/03 [TYPES/announce] Computability in Europe CiE 2026: 2nd Call for Papers acie
2026/01/01 [TYPES/announce] FMICS: Call for Papers Rozier, Kristin-Yvonne [AER E]
2025/12/28 [TYPES/announce] NETYS 2026 First Call for Papers Roland Meyer
2025/12/28 [TYPES/announce] VerifyThis26: Call for problems Ayoun, Sacha-Elie
2025/12/28 [TYPES/announce] Last call for papers: SLALM 2026 Elaine Pimentel
2025/12/28 [TYPES/announce] [TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26 Peter Achten
2025/12/20 [TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City Raffi Khatchadourian
2025/12/19 [TYPES/announce] FLoC 2026 Call for Papers Caterina Urban
2025/12/19 [TYPES/announce] MFPS XLII: First Call for Papers Danel Ahman
2025/12/19 [TYPES/announce] CFP: Acta Informatica - Topical Selection on Advances in String Constraints Solving Matthew Hague
2025/12/19 [TYPES/announce] FMBC 2026 - Second Call for Papers Marmsoler, Diego
2025/12/18 [TYPES/announce] ETAPS Test of Time Award 2026: Call for Nominations Jan Kofron
2025/12/18 [TYPES/announce] Up to two PhD positions plus up to two postdoc positions in programming languages and/or program verification Tobias Wrigstad
2025/12/17 [TYPES/announce] Lecturer in Software Engineering, University of Edinburgh James Cheney
2025/12/17 [TYPES/announce] DisCoTec 2026 CFP Claudio Mezzina
2025/12/16 [TYPES/announce] Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark Bas Spitters
2025/12/16 [TYPES/announce] [Places 2026] First Call for Papers Kirstin Peters
2025/12/16 [TYPES/announce] Call for Participation: BOB 2026 (Berlin, Mar 13) Michael Sperber
2025/12/15 [TYPES/announce] TFPiE 2026, call for submissions Mart Lubbers
2025/12/15 [TYPES/announce] CFP: ACM TOPLAS Special Issue on Multiparty Languages (Deadline: 15 May 2026) Saverio Giallorenzo
2025/12/15 [TYPES/announce] CfP: SCML-2026 - International Conference on Symbolic Computation and Machine Learning Temur Kutsia
2025/12/15 [TYPES/announce] ICDT 2027 - Call for Papers - 1st submission round Stijn VANSUMMEREN
2025/12/13 [TYPES/announce] 1st Call for Papers of QEST+FORMAT 2026 Marco Paolieri
2025/12/13 [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations Caterina Urban
2025/12/13 [TYPES/announce] PSSL 112 — 2nd call for contributions Tom de Jong
2025/12/11 [TYPES/announce] DAYS IN LOGIC 2026: Announcement Luís Pinto
2025/12/11 [TYPES/announce] LIQCS 2026: First Call for Contributions Alejandro Díaz-Caro
2025/12/09 [TYPES/announce] Post-Doctoral Position at University of Konstanz Stefan Leue
2025/12/09 [TYPES/announce] Nitro Isolation Engine: a formally verified hypervisor for AWS EC2 Graviton5 instances Mulligan, Dominic
2025/12/09 [TYPES/announce] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events ICFP Publicity
2025/12/08 [TYPES/announce] CfP: CONCUR 2026 – 37th Intl Conference on Concurrency Theory, 1-4 Sep 2026, Liverpool (UK) Hausmann, Daniel
2025/12/08 [TYPES/announce] POPL 2026 Second Call for Participation - Early registration: 12 December Ningning Xie
2025/12/06 [TYPES/announce] Funded PhD positions at the University of Strathclyde Fredrik Nordvall Forsberg
2025/12/06 [TYPES/announce] CS@max planck doctoral program applications by 15 December Catalin Hritcu
2025/12/04 [TYPES/announce] PLS 15 First Call for Papers Antonios Achilleos
2025/12/04 [TYPES/announce] RTFM 2026: A Faculty Mentoring Workshop -- Call for Participation Derek Dreyer
2025/12/04 [TYPES/announce] Proof Society seminar: Anton Freund, 15 December 2025 Marianna Girlando
2025/12/04 [TYPES/announce] Professorship on Practice and Theory of Programming in Wiesbaden / Germany David Sabel
2025/12/03 [TYPES/announce] 2nd CFP: JLAMP Special Issue for QPL 2024 & 2025 Alejandro Díaz-Caro
2025/12/03 [TYPES/announce] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu) Emily Yu
2025/12/03 [TYPES/announce] Vacancy: Head of School of Computing Science, University of Glasgow, UK Simon Gay
2025/12/01 [TYPES/announce] [PLDI’26] Artifact Evaluation Committee: Call for nominations Jenna DiVincenzo
2025/12/01 [TYPES/announce] Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops Shibashis Guha
2025/12/01 [TYPES/announce] Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8) Michael Sperber
2025/11/29 [TYPES/announce] FICS 2026 - Call for Contributions Florian Bruse
2025/11/27 [TYPES/announce] PhD position at University of New South Wales (UNSW) Sydney Vineet Rajani
2025/11/26 [TYPES/announce] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom Andrei Popescu
2025/11/26 [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
2025/11/25 [TYPES/announce] SPIN 2026: The 32nd International Symposium on Model Checking Software Arnd Hartmanns
2025/11/25 [TYPES/announce] PhD positions in Automated and Foundational Verification at ISTA Michael Sammler
2025/11/24 [TYPES/announce] 1st Call for Papers - Women in Logic 2026 Elaine Pimentel
2025/11/21 [TYPES/announce] ICALP 2026 Call for *Papers* Michael Benedikt
2025/11/21 [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
2025/11/20 [TYPES/announce] ICALP 2026: Call for Workshops Matthew Hague
2025/11/19 [TYPES/announce] Postdoctoral Research Position, University of Birmingham Paul Levy
2025/11/19 [TYPES/announce] FMBC 2026 - First Call for Papers Marmsoler, Diego
2025/11/18 [TYPES/announce] Four Assistant/Associate Professor positions in Computing at Imperial College London - deadline 15th December Donaldson, Alastair F
2025/11/18 [TYPES/announce] PhD Studentships in Programming Languages at the University of Glasgow Simon Fowler
2025/11/18 [TYPES/announce] 1st call for papers: SLALM 2026 Elaine Pimentel
2025/11/18 [TYPES/announce] TYPES 2025: Post-proceedings Final Call for Papers Fredrik Nordvall Forsberg
2025/11/18 [TYPES/announce] 2026 Dutch Winter School on Logic and Verification, January 20-23 Robbert Krebbers
2025/11/16 [TYPES/announce] Computability in Europe - CiE 2026, July 27-31. First Call for Papers acie
2025/11/16 [TYPES/announce] International School on Rewriting (ISR) 2026 -- pre-registration Cynthia Kop
2025/11/13 [TYPES/announce] 4 PhD positions in Automated Reasoning at TU Wien, Austria Weissenbacher, Georg
2025/11/12 [TYPES/announce] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) - Third call Catherine DUBOIS
2025/11/12 [TYPES/announce] DisCoTec 2026 - Urbino, Italy [Preliminary Call] Claudio Mezzina
2025/11/12 [TYPES/announce] CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy Clément Aubert
2025/11/11 [TYPES/announce] ICFP 2026: Call for Papers ICFP Publicity
2025/11/11 [TYPES/announce] Deadline Extension & Final Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026) Uli Fahrenberg
2025/11/11 [TYPES/announce] 32nd WoLLIC 2026 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
2025/11/09 [TYPES/announce] Funded PhD Position(s) on the Intersection of PL & AI in Darmstadt, Germany David Richter
2025/11/08 [TYPES/announce] TYPES 2025: Post-proceedings 2nd Call for Papers Fredrik Nordvall Forsberg
2025/11/06 [TYPES/announce] FSCD 2026: First Call for Papers Carsten Fuhs
2025/11/06 [TYPES/announce] Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM Nima Rasekh
2025/11/05 [TYPES/announce] Proof Society Seminar: Juliette Kennedy, 17 November 2025 Anupam das
2025/11/05 [TYPES/announce] Full Professor position in Programming Languages at the University of Tartu Danel Ahman
2025/11/05 [TYPES/announce] 1st CfPart: AQUARIUM 2026 - Workshop on Automated QUAntification of Risk In Uncertain Models Tobias Meggendorfer
2025/11/04 [TYPES/announce] 3-year postdoc in Freiberg connected to Lean Nicolai Kraus
2025/11/03 [TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science Catalin Hritcu
2025/11/03 [TYPES/announce] 2025 Midwest Programming Languages Summit in Minneapolis, December 13, 2025 Eric Van Wyk
2025/11/03 [TYPES/announce] 2nd Call for Abstracts WITS'26 Niki Vazou
2025/11/02 Re: [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
2025/11/02 [TYPES/announce] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom Andrei Popescu
2025/11/01 [TYPES/announce] Assistant/associate professor opening at Université de Montréal Stefan Monnier
2025/11/01 [TYPES/announce] POPL 2026 Call for Participation - Early registration: 12 December Ningning Xie
2025/11/01 [TYPES/announce] 2nd Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
2025/10/31 [TYPES/announce] ISSTA/SPLASH call for co-located workshops Ellen Arteca
2025/10/31 [TYPES/announce] Lectureships at Bath Thomas Powell
2025/10/31 [TYPES/announce] Applied Category Theory 2026: First Call for Papers Priyaa Varshinee Srinivasan
2025/10/31 [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
2025/10/29 [TYPES/announce] PLMW@POPL 26 Call for scholarship applications Ningning Xie
2025/10/27 [TYPES/announce] TPSA26 - Deadline extension Ayoun, Sacha-Elie
2025/10/25 [TYPES/announce] LAFI 2026: Final Call for Extended Abstracts Hugo Paquet
2025/10/25 Re: [TYPES/announce] RocqPL 2026 CfP: deadline extended to Oct 31st AoE Frederic Besson
2025/10/24 [TYPES/announce] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025 Claudio MENGHI
2025/10/24 [TYPES/announce] Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec Tom de Jong
2025/10/24 [TYPES/announce] Two junior positions in quantum programming languages Robin Kaarsgaard Sales
2025/10/24 [TYPES/announce] PSSL 112 — 1st Call for Contributions Tom de Jong
2025/10/23 [TYPES/announce] Workshop on higher structures, 19 Nov, Nottingham Nicolai Kraus
2025/10/23 [TYPES/announce] Full professorship at FAU Erlangen-Nürnberg Lutz Schröder
2025/10/23 [TYPES/announce] Final Call for Papers: PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
2025/10/23 [TYPES/announce] CSL’26 -- CALL FOR WORKSHOPS Elaine Pimentel
2025/10/22 [TYPES/announce] VERIFAI workshop on the Interplay between Artificial Intelligence and Software Verification -- Villebrumier, March 2026 -- CFP Bertrand Meyer
2025/10/22 [TYPES/announce] TYPES 2026 Call for Contributions Christian Sattler
2025/10/22 [TYPES/announce] Asst., Assoc., Full professor openings at Aarhus University, Denmark Lars Birkedal
2025/10/22 [TYPES/announce] 2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8) Michael Sperber
2025/10/22 [TYPES/announce] CT2026 + DV60, July 2026, Baltimore Jonathan Weinberger
2025/10/19 [TYPES/announce] Fully funded postdoc and PhD positions at UMass Lowell Gollamudi, Anitha
2025/10/19 [TYPES/announce] Deadline Extension - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
2025/10/18 [TYPES/announce] POPL 2026 Call for Student Volunteers Ningning Xie
2025/10/18 [TYPES/announce] Graduate School Application Mentorship Pedro Abreu
2025/10/18 [TYPES/announce] PhD position (or internship) - Provable Hardware-Software Security @ EURECOM Lesly-Ann Daniel
2025/10/18 [TYPES/announce] FoSSaCS 2026: 2nd call for papers Stefan Milius
2025/10/18 [TYPES/announce] LAST CFP: SAC 2026 -- Programming Languages Track Marco Giunti
2025/10/18 [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
2025/10/18 [TYPES/announce] POST-DOCTORAL POSITION within the SmartCloud INRIA project at Sophia-Antipolis or Lille, France Saverio Giallorenzo
2025/10/18 [TYPES/announce] ANU 33rd Logic Summer School, 1–12 December 2025 Michael Norrish
2025/10/18 [TYPES/announce] Call for interest: Formalizing Higher Categories, June 8–12 2026, Mittag-Leffler Institute Nima Rasekh
2025/10/18 [TYPES/announce] CFP: SAC 2026 -- Programming Languages Track Marco Giunti
2025/10/18 [TYPES/announce] Last call for registration, deadline 9 October: QCOMICAL School 2025 Alejandro Díaz-Caro
2025/10/17 [TYPES/announce] [PLDI 2026] Call for Papers, 47th ACM SIGPLAN Conference on Programming Language Design and Implementation Jenna DiVincenzo
2025/10/17 Re: [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
2025/10/17 [TYPES/announce] Göteborgs universitet | Researcher in type theory for mathematics and computer science Ana Bove
2025/10/17 [TYPES/announce] 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026) Uli Fahrenberg
2025/10/17 [TYPES/announce] [PLDI'26] Call for Workshops and Tutorials Jenna DiVincenzo
2025/10/17 [TYPES/announce] PEPM 2026: Second Call for Papers Ningning Xie
2025/10/13 [TYPES/announce] PhD positions in Mathematical Foundations of Computation Group at Bath Thomas Powell
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