March 2025 Archives by thread

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

Starting: Mon Mar 10 19:30:42 CET 2025
Ending: Wed Mar 12 19:16:51 CET 2025
Messages: 3

• [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] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity

Last message date: Wed Mar 12 19:16:51 CET 2025
Archived on: Wed Mar 12 19:17:05 CET 2025

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