March 2016 Archives by thread

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

Starting: Tue Mar 1 06:28:53 CET 2016
Ending: Thu Mar 31 17:35:18 CEST 2016
Messages: 4

• [Proof Complexity] Preprint for proof complexity (NP Search Problems for Frege and Extended Frege Proofs)   Sam Buss
• [Proof Complexity] Workshop Mathematics for Computation (M4C) - call for participation   Olaf Beyersdorff
• [Proof Complexity] CiE 2016: Pursuit of the Universal - Call for Informal Presentations - Paris, 27/6-1/7/2016   CiE Conference Series
• [Proof Complexity] PhD Scholarship at Royal Holloway, University of London   Iddo Tzameret

Last message date: Thu Mar 31 17:35:18 CEST 2016
Archived on: Thu Mar 31 17:35:24 CEST 2016

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