June 2019 Archives by thread

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

Starting: Sat Jun 1 08:27:18 CEST 2019
Ending: Wed Jun 26 22:20:58 CEST 2019
Messages: 8

• [Proof Complexity] new paper   Jan Krajicek
• [Proof Complexity] CFP ALGOSENSORS 2019 (extended deadline June 14 AoE)   Theofanis Raptis
• [Proof Complexity] Postdoc position in TCS at Lund University   Jakob Nordström
• [Proof Complexity] New paper: On Division Versus Saturation in Pseudo-Boolean Solving   Jakob Nordström
• [Proof Complexity] visitor position   Emil Jerabek
• [Proof Complexity] PhD positions in CS at Sapienza, Computer Science, Rome   Nicola Galesi
• [Proof Complexity] Pre-print   Valentin Bura
• [Proof Complexity] P.H. Collapses. Pre-print.   Valentin Bura

Last message date: Wed Jun 26 22:20:58 CEST 2019
Archived on: Wed Jun 26 23:02:12 CEST 2019

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