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: Thu Jul 9 14:57:33 MDT 2026
Messages: 4

• [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
• [Alta-Logic] peripatetic seminar tomorrow 2pm   Florian Schwarz

Last message date: Thu Jul 9 14:57:33 MDT 2026
Archived on: Thu Jul 9 14:57:51 MDT 2026

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