March 2025 Archives by date

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

Starting: Mon Mar 10 19:30:42 CET 2025
Ending: Mon Mar 10 19:46:14 CET 2025
Messages: 2

• [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

Last message date: Mon Mar 10 19:46:14 CET 2025
Archived on: Mon Mar 10 19:50:38 CET 2025

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