May 2014 Archives by date

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

Starting: Thu May 1 09:02:32 CEST 2014
Ending: Wed May 28 21:40:00 CEST 2014
Messages: 6

• [Proof Complexity] postdoc at the Charles U.   Jan Krajicek
• [Proof Complexity] LCC 2014/ImmermanFest: Final Call for Papers   Arnold Beckmann
• [Proof Complexity] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [Proof Complexity] Workshop on Proof Complexity - 2nd call for presentations   Olaf Beyersdorff
• [Proof Complexity] preprint   Emil Jerabek
• [Proof Complexity] Workshop on Proof Complexity in Vienna - Call for Participation   Olaf Beyersdorff

Last message date: Wed May 28 21:40:00 CEST 2014
Archived on: Wed May 28 21:40:06 CEST 2014

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