2026 Archives by thread

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

Starting: Sun Jan 18 18:56:32 MST 2026
Ending: Tue Mar 31 12:26:39 MDT 2026
Messages: 3

• [Alta-Logic] Graduate course on proof theory this term   Richard Zach
• [Alta-Logic] My final thesis seminar   Florian Schwarz
  • [Alta-Logic] My final thesis seminar   Kristine Bauer

Last message date: Tue Mar 31 12:26:39 MDT 2026
Archived on: Tue Mar 31 12:26:43 MDT 2026

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