September 2018 Archives by thread

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

Starting: Sat Sep 8 12:20:10 CEST 2018
Ending: Thu Sep 27 20:56:47 CEST 2018
Messages: 5

• [Proof Complexity] CSR-2019 1st CfP   Edward A. Hirsch
• [Proof Complexity] CFP: IEEE DCOSS 2019 - 15th International Conference on Distributed Computing in Sensor Systems - deadline January 18, 2019   Theofanis Raptis
• [Proof Complexity] positions available   Pavel Pudlak
• [Proof Complexity] PhD position in (mathematical foundations of) SAT solving at KTH   Jakob Nordström
• [Proof Complexity] preprint   Emil Jerabek

Last message date: Thu Sep 27 20:56:47 CEST 2018
Archived on: Thu Sep 27 20:56:49 CEST 2018

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