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: Fri Jan 9 10:20:50 EST 2026
Messages: 15

• [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

Last message date: Fri Jan 9 10:20:50 EST 2026
Archived on: Fri Jan 9 10:34:15 EST 2026

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