November 2012 Archives by subject

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

Starting: Mon Nov 12 14:41:16 CET 2012
Ending: Thu Nov 29 23:29:25 CET 2012
Messages: 7

• [Proof Complexity] 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13)   S B Cooper
• [Proof Complexity] CALL FOR PAPERS CiE 2013: The Nature of Computation   CiE Conference Series
• [Proof Complexity] CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013   S B Cooper
• [Proof Complexity] Legacy of Reuben Goodstein, Friday 14th December, 2012   S Barry Cooper
• [Proof Complexity] PhD and postdoc positions at KTH Royal Institute of Technology   "Jakob Nordström"
• [Proof Complexity] Post-doc position in Prague   Pavel Pudlak
• [Proof Complexity] Post-doc position in Prague   Pavel Pudlak

Last message date: Thu Nov 29 23:29:25 CET 2012
Archived on: Thu Nov 29 23:32:13 CET 2012

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