December 2015 Archives by date

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

Starting: Sun Dec 6 00:01:16 CET 2015
Ending: Mon Dec 21 13:54:31 CET 2015
Messages: 10

• [Proof Complexity] SAT 2016 call for papers   Jakob Nordström
• [Proof Complexity] CiE 2016: Pursuit of the Universal - final CfP - Paris, 27/6-1/7/2016   CiE Conference Series
• [Proof Complexity] Postdoc position in computational complexity 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] Complexity Workshops - St Petersburg/Moscow - US Student Travel Support   Sam Buss
• [Proof Complexity] new preprint   Pavel Pudlak
• [Proof Complexity] preprint   Emil Jerabek
• [Proof Complexity] CiE 2016: final CfP EXTENDED DEADLINE   CiE Conference Series
• [Proof Complexity] PhD scholarship at the University of Leeds   Olaf Beyersdorff
• [Proof Complexity] open postdoctoral positions   Pavel Pudlak

Last message date: Mon Dec 21 13:54:31 CET 2015
Archived on: Mon Dec 21 13:54:35 CET 2015

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