2026 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• 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: [ thread ] [ subject ] [ author ]
• More info on this list...