November 2024 Archives by subject

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

Starting: Fri Nov 1 11:56:59 CET 2024
Ending: Sat Nov 30 22:34:52 CET 2024
Messages: 8

• [Proof Complexity] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - 2nd CfP   Arnold Beckmann
• [Proof Complexity] Complexity as a Kaleidoscope research school (save the date)   Susanna Rezende
• [Proof Complexity] MIAO seminar Thu Dec 5 at 14:00 CET with Shuo Pang: Colouring is hard on average for polynomial calculus and Nullstellensatz   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue Dec 3 at 14:00 CET with George Katsirelos: Relating implicit hitting set and core-guided MaxSAT solvers via linear programming   Jakob Nordström
• [Proof Complexity] MIAO seminar Wed Nov 27 at 14:00 CET with Anastasia Sofronova: Lower bounds beyond DNF of parities   Jakob Nordström
• [Proof Complexity] PhD opening in TCS and/or combinatorial optimization in Lund   Jakob Nordström
• [Proof Complexity] SLOPPY workshop on pseudo-Boolean solving and optimization in Lund (and on Zoom) November 5-7   Jakob Nordström
• [Proof Complexity] Tenure-track assistant professorship at Lund University in foundations of computer science with a focus on logic and automated reasoning   Jakob Nordström

Last message date: Sat Nov 30 22:34:52 CET 2024
Archived on: Sat Nov 30 22:37:55 CET 2024

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