March 2024 Archives by author

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

Starting: Tue Mar 12 09:13:23 CET 2024
Ending: Tue Mar 26 20:13:00 CET 2024
Messages: 3

• [Proof Complexity] A new preprint   Azza Gaysin
• [Proof Complexity] 2nd CFP: DCFS 2024 (Santa Clara, June 25-27, deadlines updated)   Nelma Moreira
• [Proof Complexity] 1st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das

Last message date: Tue Mar 26 20:13:00 CET 2024
Archived on: Tue Mar 26 20:13:09 CET 2024

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