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: Fri Mar 28 15:35:21 CET 2025
Messages: 8

• [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] Position in Formal Verification of AI at Glasgow   Jakob Nordström
• [Proof Complexity] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [Proof Complexity] JAF44 In Prague this September   thapen

Last message date: Fri Mar 28 15:35:21 CET 2025
Archived on: Fri Mar 28 15:35:23 CET 2025

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