June 2026 Archives by author

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

Starting: Mon Jun 1 11:26:06 CEST 2026
Ending: Fri Jun 12 10:13:14 CEST 2026
Messages: 3

• [Proof Complexity] ESSLLI 2026 - Second Call for Participation (Early-bird extension)   Dusan Varis
• [Proof Complexity] Reminder - JAF Warsaw September 16-18   thapen
• [Proof Complexity] New preprint   thapen

Last message date: Fri Jun 12 10:13:14 CEST 2026
Archived on: Fri Jun 12 10:13:17 CEST 2026

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