May 2023 Archives by thread

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

Starting: Sun May 14 00:03:50 CEST 2023
Ending: Wed May 31 09:08:58 CEST 2023
Messages: 4

• [Proof Complexity] Prague seminar on Monday - Emil Jerabek   thapen
• [Proof Complexity] MIAO seminar Thu Jun 1 at 14:00 CET with Malte Helmert: Lower bound functions for optimal classical planning   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue Jun 6 at 14:00 CET with Ciaran McCreesh: Is your combinatorial search algorithm telling the truth?   Jakob Nordström
• [Proof Complexity] a book   Jan Krajicek

Last message date: Wed May 31 09:08:58 CEST 2023
Archived on: Wed May 31 09:09:19 CEST 2023

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