April 2024 Archives by subject

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

Starting: Mon Apr 1 12:37:23 CEST 2024
Ending: Mon Apr 29 20:44:34 CEST 2024
Messages: 12

• [Proof Complexity] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.   Anupam das
• [Proof Complexity] CANCELLED [Re: MIAO seminar Wed Apr 17 at 14:00 CE(S)T with Or Meir: Toward better depth lower bounds: A KRW-like theorem for strong composition]   Jakob Nordström
• [Proof Complexity] Fahiem Bacchus PhD Award in Satisfiability 2024: Call for Nominations   Olaf Beyersdorff
• [Proof Complexity] MIAO seminar Fri Apr 26 at 14:00 CEST with Markus Hecher: A crash course in answer-set programming   Jakob Nordström
• [Proof Complexity] MIAO seminar Thu Apr 25 at 16:00 CEST with Mathias Fleury: Verifying a SAT solver from ground up   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue Apr 23 at 14:00 CE(S)T with Daniel Neuen: Compressing CFI graphs and lower bounds for Weisfeiler-Leman refinements   Jakob Nordström
• [Proof Complexity] MIAO seminar Wed Apr 17 at 14:00 CE(S)T with Or Meir: Toward better depth lower bounds: A KRW-like theorem for strong composition   Jakob Nordström
• [Proof Complexity] new preprint   Emil Jerabek
• [Proof Complexity] new preprint (tropical proof systems)   Edward A. Hirsch
• [Proof Complexity] OSNEM Special Issue:AI in Online Social Networks: opportunities and challenges   Andrea Passarella
• [Proof Complexity] PhD and postdoc positions at Ben-Gurion University   Dmitry Itsykson
• [Proof Complexity] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April   Anupam das

Last message date: Mon Apr 29 20:44:34 CEST 2024
Archived on: Mon Apr 29 20:44:41 CEST 2024

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