April 2018 Archives by thread

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

Starting: Mon Apr 9 22:00:30 CEST 2018
Ending: Fri Apr 27 20:15:12 CEST 2018
Messages: 7

• [Proof Complexity] CSR 2018: Call for Participation   Vladimir Podolskii
• [Proof Complexity] Proof Complexity Workshop in Oxford - Call for Presentations   Olaf Beyersdorff
• [Proof Complexity] Proof Complexity Workshop in Oxford   Olaf Beyersdorff
• [Proof Complexity] CFP: AlgoSensors 2018 (deadline June 3)   Theofanis Raptis
• [Proof Complexity] WADT 2018 - 3rd Call for Papers & Leverhulme School   WADT 2018
• [Proof Complexity] PhD position in (mathematical foundations of) SAT solving at KTH   Jakob Nordström
• [Proof Complexity] WADT 2018 - Extension to abstract submission deadline!   WADT 2018

Last message date: Fri Apr 27 20:15:12 CEST 2018
Archived on: Fri Apr 27 20:34:50 CEST 2018

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