February 2015 Archives by subject

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

Starting: Fri Feb 13 09:50:58 CET 2015
Ending: Fri Feb 27 18:43:24 CET 2015
Messages: 6

• [Proof Complexity] a new paper   Alexander Razborov
• [Proof Complexity] Encyclopaedia of Proof Systems (fwd)   Jan Krajicek
• [Proof Complexity] New preprint   Michal Garlik
• [Proof Complexity] PhD positions in the Mathematical Institute in Prague   Pavel Pudlak
• [Proof Complexity] PhD scholarships at the University of Leeds   Olaf Beyersdorff
• [Proof Complexity] postdoc at the Charles U.   Jan Krajicek

Last message date: Fri Feb 27 18:43:24 CET 2015
Archived on: Fri Feb 27 18:43:30 CET 2015

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