December 2023 Archives by thread

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

Starting: Fri Dec 1 16:20:49 CET 2023
Ending: Fri Dec 29 11:43:43 CET 2023
Messages: 9

• [Proof Complexity] DCOSS-IoT 2024 (Abu Dhabi, April 29 to May 1) - Third Call for Papers   Leivadeas, Aris
• [Proof Complexity] Postdoc and PhD positions at University of Copenhagen   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue Dec 19 at 14:00 CET with Anastasia Sofronova: Top-down lower bounds for depth-4 circuits   Jakob Nordström
• [Proof Complexity] Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning   Jakob Nordström
• [Proof Complexity] Professorship at Johannes Kepler University Linz   Jakob Nordström
• [Proof Complexity] Full Professorship in Formal Methods at the Johannes Kepler University Linz   Martina Seidl
• [Proof Complexity] MIAO seminar Fri Jan 12 at 14:00 CET with Ning Luo: Proving UNSAT in zero knowledge   Jakob Nordström
• [Proof Complexity] DCOSS-IoT 2024 (Abu Dhabi, April 29 to May 1) - Call for Papers - Deadline Approaching   Leivadeas, Aris
• [Proof Complexity] Short-term postdoc in Prague   thapen

Last message date: Fri Dec 29 11:43:43 CET 2023
Archived on: Fri Dec 29 11:43:46 CET 2023

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