March 2025 Archives by author

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

Starting: Mon Mar 10 19:30:42 CET 2025
Ending: Thu Mar 20 20:40:05 CET 2025
Messages: 6

• [Proof Complexity] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Call for Informal Presentations   Arnold Beckmann
• [Proof Complexity] MIAO seminar Tue Mar 18 at 14:00 CET with Haniel Barbosa: SMT proof production, checking and reconstruction   Jakob Nordström
• [Proof Complexity] Second call for papers for SAT 2025   Jakob Nordström
• [Proof Complexity] MIAO seminar Wed Mar 19 at 15:30 CET with Antonina Kolokolova: Learning from proofs   Jakob Nordström
• [Proof Complexity] Deadline extension for SAT 2025 submissions   Jakob Nordström
• [Proof Complexity] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity

Last message date: Thu Mar 20 20:40:05 CET 2025
Archived on: Thu Mar 20 21:36:18 CET 2025

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