January 2014 Archives by thread

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

Starting: Fri Jan 3 11:19:38 CET 2014
Ending: Fri Jan 17 07:32:42 CET 2014
Messages: 4

• [Proof Complexity] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP   S B Cooper
• [Proof Complexity] CiE 2014: Language, Life, Limits - extended deadline   CiE Conference Series
• [Proof Complexity] New paper   Iddo Tzameret
• [Proof Complexity] Video from proof complexity workshop at Banff next week   Jakob Nordstrom

Last message date: Fri Jan 17 07:32:42 CET 2014
Archived on: Fri Jan 17 07:32:51 CET 2014

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