January 2021 Archives by subject

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

Starting: Tue Jan 5 14:49:38 CET 2021
Ending: Sat Jan 23 23:20:23 CET 2021
Messages: 4

• [Proof Complexity] 14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI   Rozman, Mihaela
• [Proof Complexity] Olaf Beyersdorff seminar on Monday   thapen
• [Proof Complexity] Opening up UC Berkeley programs "Satisfiability: Theory, Practice, and Beyond" and "Theoretical Foundations of Computer Systems"   Jakob Nordström
• [Proof Complexity] Position in St.Petersburg: Math Logic and/or TCS   Edward A. Hirsch

Last message date: Sat Jan 23 23:20:23 CET 2021
Archived on: Sat Jan 23 23:20:31 CET 2021

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