February 2024 Archives by date

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

Starting: Fri Feb 2 17:42:15 CET 2024
Ending: Wed Feb 28 09:01:10 CET 2024
Messages: 3

• [Proof Complexity] MIAO seminar Tue Feb 13 at 16:00 with Oliver Korten: The weak pigeonhole principle and the complexity of explicit constructions   Jakob Nordström
• [Proof Complexity] Final Call for Papers -- ESSLLI 2024 Student Session   Di Cosmo Francesco
• [Proof Complexity] MIAO seminar Fri Mar 1 at 14:00 CET with Ninad Rajgopal: On the power of interactive proofs for learning   Jakob Nordström

Last message date: Wed Feb 28 09:01:10 CET 2024
Archived on: Wed Feb 28 09:01:32 CET 2024

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