December 2018 Archives by thread

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

Starting: Wed Dec 5 11:34:16 CET 2018
Ending: Sun Dec 23 20:23:13 CET 2018
Messages: 8

• [Proof Complexity] JAF 2019 in New York   thapen
• [Proof Complexity] CFP: DCOSS 2019 - 15th International Conference on Distributed Computing in Sensor Systems - deadline January 18, 2019   Theofanis Raptis
• [Proof Complexity] CSR 2019: Last Call for Papers   Edward A. Hirsch
• [Proof Complexity] Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science   Mihaela Rozman
• [Proof Complexity] [DEADLINE EXTENSION] 14th International Computer Science Symposium in Russia (CSR-2019)   Edward A. Hirsch
• [Proof Complexity] Postdoc positions in TCS at KTH Royal Institute of Technology   Jakob Nordström
• [Proof Complexity] Postdoc positions in SAT solving at KTH Royal Institute of Technology   Jakob Nordström
• [Proof Complexity] Eight open positions, St.Petersburg State University   Edward A. Hirsch

Last message date: Sun Dec 23 20:23:13 CET 2018
Archived on: Sun Dec 23 20:23:29 CET 2018

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