2026 Archives by author

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

Starting: Fri Jan 2 11:54:04 EST 2026
Ending: Mon Jan 5 10:00:04 EST 2026
Messages: 6

• [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] Agda Implementors' Meeting XLII: Call for talks and participation   Andreas Nuyts
• [TYPES/announce] Programming Language Implementation Summer School (PLISS) 2026   Laurence Tratt
• [TYPES/announce] (Post-)Doctoral positions at Chapman U 2026   Jonathan Weinberger
• [TYPES/announce] Computability in Europe CiE 2026: 2nd Call for Papers   acie at acie.eu

Last message date: Mon Jan 5 10:00:04 EST 2026
Archived on: Mon Jan 5 15:59:07 EST 2026

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