2026 Archives by thread

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

Starting: Fri Jan 2 11:54:04 EST 2026
Ending: Thu Jan 29 21:33:32 EST 2026
Messages: 52

• [TYPES/announce] Computability in Europe CiE 2026: 2nd Call for Papers   acie at acie.eu
• [TYPES/announce] FICS 2026 - final CfP (deadlines extended)   Florian Bruse
• [TYPES/announce] Book Announcement--Proof Theory and Logic Programming: Computation as Proof Search   Dale Miller
• [TYPES/announce] Programming Language Implementation Summer School (PLISS) 2026   Laurence Tratt
• [TYPES/announce] (Post-)Doctoral positions at Chapman U 2026   Jonathan Weinberger
• [TYPES/announce] Agda Implementors' Meeting XLII: Call for talks and participation   Andreas Nuyts
• [TYPES/announce] (Call for Participation) Dafny Workshop at POPL 2026   Stefan Zetzsche
• [TYPES/announce] 32nd WoLLIC 2026 - 3rd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] CMCS 2026: Call for Papers   Thorsten Wissmann
• [TYPES/announce] PhD Opening in Quantitative Reasoning at FAU Erlangen-Nürnberg   Henning Urbat
• [TYPES/announce] Security Foundations - a new volume of Software Foundations   Benjamin Pierce
• [TYPES/announce] New Software Foundations release for Rocq 9   Benjamin Pierce
• [TYPES/announce] [PLDI'26] Call for Self-nominations for the PC of the Student Research Competition   Jenna DiVincenzo
• [TYPES/announce] TYPES 2026: Deadline Extension and Final Call for Contributions   Christian Sattler
• [TYPES/announce] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, co-located with ETAPS)   Arnd Hartmanns
• [TYPES/announce] FSCD 2026: Second Call for Papers   Carsten Fuhs
• [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] World Logic Day at Swansea University on 14th January 2026: 3 talks: Arnold Beckmann, Ulrich Berger and John Tucker   Monika Seisenberger
• [TYPES/announce] Postdoc Position in Software Verification at Royal Holloway, University of London (UK)   Lange, Julien
• [TYPES/announce] postdoc ad   Nate Foster
• [TYPES/announce] 2nd Call for Participation: BOB 2026 (Berlin, Mar 13)   Michael Sperber
• [TYPES/announce] [Places 2026] Second Call for Papers   Kirstin Peters
• [TYPES/announce] [Call for Papers] Women in Logic 2026   Elaine Pimentel
• [TYPES/announce] Call for Bids to Host TABLEAUX-FroCoS 2027   Elaine Pimentel
• [TYPES/announce] SD'26 Call for Papers   Lutz Strassburger
• [TYPES/announce] FTfJP 2026 call for papers   Gidon Ernst
• [TYPES/announce] Call for Papers: Rust Verification Workshop (RW2026) at ETAPS 2026 (Turin, Italy)   Summers, Alexander
• [TYPES/announce] [BCTCS 2026] Call for Abstracts   Paul Levy
• [TYPES/announce] Call For Papers: 6th Workshop on Program Equivalence and Relational Reasoning (PERR2026 @ CAV/FLOC)   Milovancevic, Dragana
• [TYPES/announce] Applied Category Theory 2026: First Call for Papers   Priyaa Varshinee Srinivasan
• [TYPES/announce] Open PhD positions   Kaushik Mallik
• [TYPES/announce] Lectureship in PL at University of Kent, UK. Deadline: 06 February 2026   Marco Paviotti
• [TYPES/announce] Two postdoctoral positions in Reactive Synthesis   Shibashis Guha
• [TYPES/announce] CfP - Intersection Types and Related Systems (ITRS 2026)   Andrej Dudenhefner
• [TYPES/announce] SoCal PLS 2026 call for contributions   Mukund Raghothaman
• [TYPES/announce] DisCoTec 2026 CFP   Claudio Mezzina
• [TYPES/announce] 4th ECUMENICAL meeting @ Stockholm   Elaine Pimentel
• [TYPES/announce] Call for Contributions: [CP at PLDI 2026] 2nd Workshop on Choreographic Programming   Dan Plyukhin
• [TYPES/announce] PSSL 112 - Last CfC   Tom de Jong
• [TYPES/announce] [Places 2026] CfP updated: Extended Deadlines and Special Issue   Kirstin Peters
• [TYPES/announce] MFCS 2026 - First Call for Papers   Sarah Winter
• [TYPES/announce] Homotopy Type Theory and Univalent Foundations 2026 First CfC   Daniel Gratzer
• [TYPES/announce] LSFA 2026 Announcement and First Call for Papers   Alexandre Madeira
• [TYPES/announce] Computability in Europe (CiE) 2026: Last Call for Papers   acie at acie.eu
• [TYPES/announce] MFPS XLII: Second call for papers   Danel Ahman
• [TYPES/announce] Logic Colloquium 2026, Swansea, UK, Call for contributed talks   Monika Seisenberger
• [TYPES/announce] reminder: ICALP 2026 Call for Papers (deadline in early February)   Michael Benedikt
• [TYPES/announce] CCC 2026: Call For Contributions   Holger Thies
• [TYPES/announce] RAMiCS'26: Call for Presentations & Tutorials   Uli Fahrenberg
• [TYPES/announce] CMCS 2026: Second Call for Papers and Deadline Extension   Thorsten Wissmann
• [TYPES/announce] 2nd Call for Papers of QEST+FORMAT 2026   Marco Paolieri
• [TYPES/announce] OPLSS 2026   Zena Matilde Ariola

Last message date: Thu Jan 29 21:33:32 EST 2026
Archived on: Thu Jan 29 21:57:41 EST 2026

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