June 2018 Archives by thread

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

Starting: Sun Jun 3 13:46:15 CEST 2018
Ending: Tue Jun 19 16:13:15 CEST 2018
Messages: 7

• [Proof Complexity] CFP Deadline extension: AlgoSensors 2018 (June 11)   Theofanis Raptis
• [Proof Complexity] Summer School on Proof Theory, Ghent (Belgium), 2-5 Sep 2018   Antonina Kolokolova
• [Proof Complexity] Workshop on Proof Theory and its Applications, Ghent (Belgium), 6-7 Sep 2018   Antonina Kolokolova
• [Proof Complexity] New paper: Polynomial time ultrapowers and the consistency of circuit lower bounds   Jan Bydzovsky
• [Proof Complexity] New paper: A parameterized halting problem, the linear time hierarchy, and the MRDP theorem   Yijia Chen
• [Proof Complexity] International workshop on graphs and constraints   Jakob Nordström
• [Proof Complexity] PhD/postdoc positions in proof complexity at the University of Jena, Germany   Olaf Beyersdorff

Last message date: Tue Jun 19 16:13:15 CEST 2018
Archived on: Tue Jun 19 16:13:33 CEST 2018

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