December 2017 Archives by thread

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

Starting: Wed Dec 13 19:33:12 CET 2017
Ending: Wed Dec 20 12:57:30 CET 2017
Messages: 4

• [Proof Complexity] CSR 2018: Last Call for Papers   Vladimir Podolskii
• [Proof Complexity] Faculty postion at Charles University (fwd)   Jan Krajicek
• [Proof Complexity] Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology   Jakob Nordström
• [Proof Complexity] Postdoc and PhD positions in TCS at KTH Royal Institute of Technology   Jakob Nordström

Last message date: Wed Dec 20 12:57:30 CET 2017
Archived on: Wed Dec 20 12:57:38 CET 2017

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