May 2015 Archives by thread

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

Starting: Mon May 4 17:23:32 CEST 2015
Ending: Fri May 29 11:48:44 CEST 2015
Messages: 5

• [Proof Complexity] new paper   Jan Krajicek
• [Proof Complexity] Paper announcement: A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds   Jakob Nordstrom
• [Proof Complexity] CiE 2015 in Bucharest - Call for Participation   S B Cooper
• [Proof Complexity] Post-doctoral position in proof complexity at Leeds   Olaf Beyersdorff
• [Proof Complexity] New Doctoral Program on Logical Methods in Computer Science (LogiCS)   list-announcer at dbai.tuwien.ac.at

Last message date: Fri May 29 11:48:44 CEST 2015
Archived on: Fri May 29 11:48:49 CEST 2015

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