types-announce  

Messages by Thread

• [TYPES/announce] FLoC 2026 Call for Papers Caterina Urban
• [TYPES/announce] MFPS XLII: First Call for Papers Danel Ahman
• [TYPES/announce] CFP: Acta Informatica - Topical Selection on Advances in String Constraints Solving Matthew Hague
• [TYPES/announce] FMBC 2026 - Second Call for Papers Marmsoler, Diego
• [TYPES/announce] ETAPS Test of Time Award 2026: Call for Nominations Jan Kofron
• [TYPES/announce] Up to two PhD positions plus up to two postdoc positions in programming languages and/or program verification Tobias Wrigstad
• [TYPES/announce] Lecturer in Software Engineering, University of Edinburgh James Cheney
• [TYPES/announce] DisCoTec 2026 CFP Claudio Mezzina
  • [TYPES/announce] DisCoTec 2026 CFP Claudio Mezzina
• [TYPES/announce] Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark Bas Spitters
• [TYPES/announce] [Places 2026] First Call for Papers Kirstin Peters
• [TYPES/announce] Call for Participation: BOB 2026 (Berlin, Mar 13) Michael Sperber
• [TYPES/announce] TFPiE 2026, call for submissions Mart Lubbers
• [TYPES/announce] CFP: ACM TOPLAS Special Issue on Multiparty Languages (Deadline: 15 May 2026) Saverio Giallorenzo
• [TYPES/announce] CfP: SCML-2026 - International Conference on Symbolic Computation and Machine Learning Temur Kutsia
• [TYPES/announce] ICDT 2027 - Call for Papers - 1st submission round Stijn VANSUMMEREN
• [TYPES/announce] 1st Call for Papers of QEST+FORMAT 2026 Marco Paolieri
• [TYPES/announce] PSSL 112 — 2nd call for contributions Tom de Jong
• [TYPES/announce] DAYS IN LOGIC 2026: Announcement Luís Pinto
• [TYPES/announce] LIQCS 2026: First Call for Contributions Alejandro Díaz-Caro
• [TYPES/announce] Post-Doctoral Position at University of Konstanz Stefan Leue
• [TYPES/announce] Nitro Isolation Engine: a formally verified hypervisor for AWS EC2 Graviton5 instances Mulligan, Dominic
• [TYPES/announce] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events ICFP Publicity
• [TYPES/announce] CfP: CONCUR 2026 – 37th Intl Conference on Concurrency Theory, 1-4 Sep 2026, Liverpool (UK) Hausmann, Daniel
• [TYPES/announce] POPL 2026 Second Call for Participation - Early registration: 12 December Ningning Xie
• [TYPES/announce] Funded PhD positions at the University of Strathclyde Fredrik Nordvall Forsberg
• [TYPES/announce] CS@max planck doctoral program applications by 15 December Catalin Hritcu
• [TYPES/announce] PLS 15 First Call for Papers Antonios Achilleos
• [TYPES/announce] RTFM 2026: A Faculty Mentoring Workshop -- Call for Participation Derek Dreyer
• [TYPES/announce] Proof Society seminar: Anton Freund, 15 December 2025 Marianna Girlando
• [TYPES/announce] Professorship on Practice and Theory of Programming in Wiesbaden / Germany David Sabel
• [TYPES/announce] PhD position in Formal Verification in Leiden, Netherlands (Emily Yu) Emily Yu
• [TYPES/announce] Vacancy: Head of School of Computing Science, University of Glasgow, UK Simon Gay
• [TYPES/announce] [PLDI’26] Artifact Evaluation Committee: Call for nominations Jenna DiVincenzo
• [TYPES/announce] Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops Shibashis Guha
• [TYPES/announce] Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8) Michael Sperber
• [TYPES/announce] FICS 2026 - Call for Contributions Florian Bruse
• [TYPES/announce] PhD position at University of New South Wales (UNSW) Sydney Vineet Rajani
• [TYPES/announce] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom Andrei Popescu
• [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] 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] SPIN 2026: The 32nd International Symposium on Model Checking Software Arnd Hartmanns
• [TYPES/announce] PhD positions in Automated and Foundational Verification at ISTA Michael Sammler
• [TYPES/announce] 1st Call for Papers - Women in Logic 2026 Elaine Pimentel
• [TYPES/announce] ICALP 2026 Call for *Papers* Michael Benedikt
• [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] ICALP 2026: Call for Workshops Matthew Hague
• [TYPES/announce] FMBC 2026 - First Call for Papers Marmsoler, Diego
• [TYPES/announce] Four Assistant/Associate Professor positions in Computing at Imperial College London - deadline 15th December Donaldson, Alastair F
• [TYPES/announce] PhD Studentships in Programming Languages at the University of Glasgow Simon Fowler
• [TYPES/announce] 1st call for papers: SLALM 2026 Elaine Pimentel
• [TYPES/announce] TYPES 2025: Post-proceedings Final Call for Papers Fredrik Nordvall Forsberg
• [TYPES/announce] 2026 Dutch Winter School on Logic and Verification, January 20-23 Robbert Krebbers
• [TYPES/announce] Computability in Europe - CiE 2026, July 27-31. First Call for Papers acie
• [TYPES/announce] International School on Rewriting (ISR) 2026 -- pre-registration Cynthia Kop
• [TYPES/announce] 4 PhD positions in Automated Reasoning at TU Wien, Austria Weissenbacher, Georg
• [TYPES/announce] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) - Third call Catherine DUBOIS
• [TYPES/announce] DisCoTec 2026 - Urbino, Italy [Preliminary Call] Claudio Mezzina
• [TYPES/announce] CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy Clément Aubert
• [TYPES/announce] ICFP 2026: Call for Papers ICFP Publicity
• [TYPES/announce] Deadline Extension & Final Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026) Uli Fahrenberg
• [TYPES/announce] 32nd WoLLIC 2026 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Funded PhD Position(s) on the Intersection of PL & AI in Darmstadt, Germany David Richter
• [TYPES/announce] TYPES 2025: Post-proceedings 2nd Call for Papers Fredrik Nordvall Forsberg
• [TYPES/announce] FSCD 2026: First Call for Papers Carsten Fuhs
• [TYPES/announce] Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM Nima Rasekh
• [TYPES/announce] Proof Society Seminar: Juliette Kennedy, 17 November 2025 Anupam das
• [TYPES/announce] Full Professor position in Programming Languages at the University of Tartu Danel Ahman
• [TYPES/announce] 1st CfPart: AQUARIUM 2026 - Workshop on Automated QUAntification of Risk In Uncertain Models Tobias Meggendorfer
• [TYPES/announce] 3-year postdoc in Freiberg connected to Lean Nicolai Kraus
• [TYPES/announce] 2025 Midwest Programming Languages Summit in Minneapolis, December 13, 2025 Eric Van Wyk
• [TYPES/announce] 2nd Call for Abstracts WITS'26 Niki Vazou
• [TYPES/announce] Assistant/associate professor opening at Université de Montréal Stefan Monnier
• [TYPES/announce] POPL 2026 Call for Participation - Early registration: 12 December Ningning Xie
• [TYPES/announce] 2nd Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
• [TYPES/announce] ISSTA/SPLASH call for co-located workshops Ellen Arteca
• [TYPES/announce] Lectureships at Bath Thomas Powell
• [TYPES/announce] Applied Category Theory 2026: First Call for Papers Priyaa Varshinee Srinivasan
  • [TYPES/announce] Applied Category Theory 2026: First Call for Papers Priyaa Varshinee Srinivasan
• [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] PLMW@POPL 26 Call for scholarship applications Ningning Xie
• [TYPES/announce] TPSA26 - Deadline extension Ayoun, Sacha-Elie
• [TYPES/announce] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025 Claudio MENGHI
• [TYPES/announce] Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec Tom de Jong
• [TYPES/announce] Two junior positions in quantum programming languages Robin Kaarsgaard Sales
• [TYPES/announce] PSSL 112 — 1st Call for Contributions Tom de Jong
• [TYPES/announce] Workshop on higher structures, 19 Nov, Nottingham Nicolai Kraus
• [TYPES/announce] Full professorship at FAU Erlangen-Nürnberg Lutz Schröder
• [TYPES/announce] Final Call for Papers: PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
• [TYPES/announce] CSL’26 -- CALL FOR WORKSHOPS Elaine Pimentel
• [TYPES/announce] VERIFAI workshop on the Interplay between Artificial Intelligence and Software Verification -- Villebrumier, March 2026 -- CFP Bertrand Meyer
• [TYPES/announce] TYPES 2026 Call for Contributions Christian Sattler
• [TYPES/announce] Asst., Assoc., Full professor openings at Aarhus University, Denmark Lars Birkedal
• [TYPES/announce] 2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8) Michael Sperber
• [TYPES/announce] CT2026 + DV60, July 2026, Baltimore Jonathan Weinberger
• [TYPES/announce] Fully funded postdoc and PhD positions at UMass Lowell Gollamudi, Anitha
• [TYPES/announce] Deadline Extension - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
• [TYPES/announce] POPL 2026 Call for Student Volunteers Ningning Xie
• [TYPES/announce] Graduate School Application Mentorship Pedro Abreu
• [TYPES/announce] PhD position (or internship) - Provable Hardware-Software Security @ EURECOM Lesly-Ann Daniel
• [TYPES/announce] FoSSaCS 2026: 2nd call for papers Stefan Milius
• [TYPES/announce] LAST CFP: SAC 2026 -- Programming Languages Track Marco Giunti
• [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • Re: [TYPES/announce] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • 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
  • [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] POST-DOCTORAL POSITION within the SmartCloud INRIA project at Sophia-Antipolis or Lille, France Saverio Giallorenzo
• [TYPES/announce] ANU 33rd Logic Summer School, 1–12 December 2025 Michael Norrish
• [TYPES/announce] Call for interest: Formalizing Higher Categories, June 8–12 2026, Mittag-Leffler Institute Nima Rasekh
• [TYPES/announce] CFP: SAC 2026 -- Programming Languages Track Marco Giunti
• [TYPES/announce] Last call for registration, deadline 9 October: QCOMICAL School 2025 Alejandro Díaz-Caro
• [TYPES/announce] [PLDI 2026] Call for Papers, 47th ACM SIGPLAN Conference on Programming Language Design and Implementation Jenna DiVincenzo
• [TYPES/announce] Göteborgs universitet | Researcher in type theory for mathematics and computer science Ana Bove
• [TYPES/announce] 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026) Uli Fahrenberg
• [TYPES/announce] [PLDI'26] Call for Workshops and Tutorials Jenna DiVincenzo
• [TYPES/announce] PEPM 2026: Second Call for Papers Ningning Xie
• [TYPES/announce] PhD positions in Mathematical Foundations of Computation Group at Bath Thomas Powell
• [TYPES/announce] Call for Papers: FormaliSE 2026 (submission deadline approaching) Claudio MENGHI
• [TYPES/announce] [2nd Call for Presentations] TPSA 2026 Ayoun, Sacha-Elie
• [TYPES/announce] TYPES 2025: Post-proceedings Call for Papers Fredrik Nordvall Forsberg
• [TYPES/announce] Call for Abstracts WITS'26 Niki Vazou
• [TYPES/announce] (3rd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17) Michael Sperber
• [TYPES/announce] Postdoc positions available at IRIF Giuseppe Castagna
• [TYPES/announce] OOPSLA 2026 Round 1 Call for papers Ellen Arteca
• [TYPES/announce] Tenure-Track Assistant Professor in the School of Computer Science, McGill University Brigitte Pientka
• [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] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026 Peter Achten
• [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] LAFI 2026: Call for Extended Abstracts Hugo Paquet
  • [TYPES/announce] LAFI 2026: Final Call for Extended Abstracts Hugo Paquet
• [TYPES/announce] LICS 2026 Call for Workshops and First Call for Papers Sam Staton
• [TYPES/announce] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• [TYPES/announce] ETAPS 2026 Second Joint Call for Papers Jan Kofron
• [TYPES/announce] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems Taro Sekiyama
• [TYPES/announce] [2nd Call] Seeking nominations: POPL 2026 Artifact Evaluation Committee Calvin Beck
• [TYPES/announce] 32nd WoLLIC 2026 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Agda Implementors' Meeting XLI: First Call for Participation Jesper Cockx
• [TYPES/announce] Haskell Symposium 2025 Last Call for Talks (deadline Sept 15th) Ningning Xie
• [TYPES/announce] CFS - PLanQC 2026 - Programming Languages for Quantum Computing Vladimir Zamdzhiev
• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] PADL 2026 Call for Papers Nada Amin
• [TYPES/announce] Open PhD positions Kaushik Mallik
  • [TYPES/announce] Open PhD positions Kaushik Mallik
• [TYPES/announce] Call for Presentation - Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Lesly-Ann Daniel
• [TYPES/announce] 7 Associate Professors/Professors at Department of Computer Science, University of Oxford Nobuko Yoshida
• [TYPES/announce] RocqPL 2026: Call for Presentations Benjamin J Delaware
  • Re: [TYPES/announce] RocqPL 2026 CfP: deadline extended to Oct 31st AoE Frederic Besson
• [TYPES/announce] [Call for Presentations] TPSA @POPL2026 Ayoun, Sacha-Elie
• [TYPES/announce] Assistant/associate professor at University of Birmingham, UK (apply by September 30, 2025) vincent rahli
• [TYPES/announce] PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam Benno van den Berg
• [TYPES/announce] Haskell Symposium 2025 Call for Talks (deadline Sept 15th) Ningning Xie
• [TYPES/announce] Call for nominations: POPL 2026 AEC Vadim Zaliva
• [TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark Lars Birkedal
• [TYPES/announce] Call for Papers: BENEVOL 2025 (17-18 Nov, Enschede, the Netherlands) Vadim Zaytsev
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2025 Ryan Kavanagh
• [TYPES/announce] Call for Papers: FORMALISE 2026 Claudio MENGHI
• [TYPES/announce] S-REPLS (Amazon, 29 Oct) - Call for talks and registration Zetzsche, Stefan
• [TYPES/announce] DataMod 2025 - Final Call for Papers, Extended Deadline Ouadie Khebbeb
• [TYPES/announce] Tribute to Gilles Dowek Catherine DUBOIS
• [TYPES/announce] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia Serge Autexier
• [TYPES/announce] Ph.D. position in PL and quantum computing Charles Yuan
• [TYPES/announce] CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan) Michael Sperber
• [TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University Derek Dreyer
• [TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025) Giuliano Losa
• [TYPES/announce] PEPM 2026 - Call for papers Yukiyoshi Kameyama
• [TYPES/announce] Postdoctoral position in logical methods and machine learning (2 years) Jamie Vicary
• [TYPES/announce] (CfP) Dafny Workshop at POPL 2026 Stefan Zetzsche
• [TYPES/announce] VMCAI 2026: second call for papers Thomas Jensen
• [TYPES/announce] PSSL111 in Bologna Matteo Capucci
• [TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation Tarmo Uustalu
• [TYPES/announce] FMCAD 2025 - Call for Participation Daniela Kaufmann
• [TYPES/announce] POPL 2026 Call For Tutorials Ningning Xie
• [TYPES/announce] ICFP 2025 (Co-Located with SPLASH!): Call for Participation ICFP Publicity
• [TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium Radu Iosif
• [TYPES/announce] Post-doc position at ETH Zurich in formal semantics and verification (with a focus on Rust) Ralf Jung
• [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] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Manuel Alejandro Borroto Santana
• [TYPES/announce] CfP: MathCompLing for Proofs (MCLP) 2025 Axel Ljungström
• [TYPES/announce] Call for Partecipation - GandALF 2025 Giorgio Bacci
• [TYPES/announce] Call for Participation – RADICAL 2025: Concurrency & Logic, Aarhus (Denmark) - co-located with CONCUR 2025 Najib, Muhammad
• [TYPES/announce] Save the Date: Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal! Caterina Urban
• [TYPES/announce] Call for Nominations: SIGPLAN Research Highlights for 2024. Ilya Sergey
• [TYPES/announce] Professorship in Quantum Computing @ Innsbruck Georg Moser
• [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] CFP: APLAS 2025 SRC & Posters: The 23rd Asian Symposium on Programming Languages and Systems - Student Research Competition and Posters Pritam Gharat
• [TYPES/announce] Undone Computer Science 2026: First call for presentations Guillaume Munch-Maccagnoni
• [TYPES/announce] Scheme 2025 - Call for Papers (extended deadline: July 24th) Youyou Cong
• [TYPES/announce] IEEE CSF 2026: CFP Summer Cycle - Deadline July 24, 2025, AoE Ralf Kuesters
• [TYPES/announce] VMCAI 2026: first call for papers Thomas Jensen
• [TYPES/announce] WebAssembly Workshop @ ICFP / SPLASH 2025 - Call for Presentations Conrad Watt
• [TYPES/announce] Doctoral / Post-Doctoral Position at University of Konstanz Stefan Leue
• [TYPES/announce] FSCD 2025: Free online participation, 15 - 18 July 2025 Carsten Fuhs
• [TYPES/announce] CSL 2026 - Second Call for Papers Barbara König
• [TYPES/announce] Postdoc positions in type theory, closing date: 25 July Nicolai Kraus
• [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] POPL 2026 Last Call for Papers Ningning Xie
• [TYPES/announce] CfP 5th IEEE International Conference on Code Quality (ICCQ'25) Yegor Bugayenko
• [TYPES/announce] ICFP/SPLASH 2025: call for volunteers ICFP Publicity
• [TYPES/announce] Two Assistant/Associate Professor Positions in Lisbon Vasco T. Vasconcelos

• Earlier messages
• Later messages