2026 Archives by date

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

Starting: Fri Jan 2 11:54:04 EST 2026
Ending: Wed Jan 7 14:07:05 EST 2026
Messages: 11

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

Last message date: Wed Jan 7 14:07:05 EST 2026
Archived on: Wed Jan 7 14:12:32 EST 2026

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