December 2013 Archives by thread

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

Starting: Mon Dec 2 17:26:37 CET 2013
Ending: Tue Dec 24 12:56:11 CET 2013
Messages: 5

• [Proof Complexity] revised preprint   Jan Krajicek
• [Proof Complexity] Subject: Subject: 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014   CiE Conference Series
• [Proof Complexity] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014   S B Cooper
• [Proof Complexity] Tenure-track position at KTH Royal Institute of Technology   Jakob Nordstrom
• [Proof Complexity] Happy New Year   achubaryan

Last message date: Tue Dec 24 12:56:11 CET 2013
Archived on: Tue Dec 24 12:56:30 CET 2013

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