April 2014 Archives by thread

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

Starting: Fri Apr 4 15:11:33 CEST 2014
Ending: Tue Apr 29 18:55:51 CEST 2014
Messages: 8

• [Proof Complexity] CfP: 2nd Workshop on Interpolation, July 17-18, Vienna   list-announcer at dbai.tuwien.ac.at
• [Proof Complexity] Workshop on Proof Complexity, Vienna, July 12/13 2014 -- Call for Presentations   Olaf Beyersdorff
• [Proof Complexity] CiE 2014: Language, Life, Limits - Call for Presentations, Registration   CiE Conference Series
• [Proof Complexity] tenure track in Prague   Jan Krajicek
• [Proof Complexity] possitions in the Mathematical Institute in Prague   Pavel Pudlak
• [Proof Complexity] New paper   Neil Thapen
• [Proof Complexity] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [Proof Complexity] preprint   Emil Jerabek

Last message date: Tue Apr 29 18:55:51 CEST 2014
Archived on: Tue Apr 29 18:55:57 CEST 2014

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