October 2013 Archives by thread

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

Starting: Mon Oct 21 05:26:34 CEST 2013
Ending: Mon Oct 28 12:36:16 CET 2013
Messages: 3

• [Proof Complexity] TAMC2014 in Chennai, India, April 11-13, 2014   S B Cooper
• [Proof Complexity] PhD and postdoc positions at KTH Royal Institute of Technology   Jakob Nordstrom
• [Proof Complexity] New paper   Albert Atserias

Last message date: Mon Oct 28 12:36:16 CET 2013
Archived on: Mon Oct 28 12:36:29 CET 2013

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