January 2013 Archives by date

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

Starting: Thu Jan 3 02:20:25 CET 2013
Ending: Wed Jan 23 18:47:48 CET 2013
Messages: 5

• [Proof Complexity] CiE13 call for papers and special awards   CiE Conference Series
• [Proof Complexity] manuscript   Pavel Pudlak
• [Proof Complexity] CiE 2013: The Nature of Computation - final submission by *February 2nd 2013*   CiE Conference Series
• [Proof Complexity] Fwd: [DL] European Master's Program in Computational Logic   Camilo Thorne
• [Proof Complexity] Fwd: PhD opening in cognitive modeling and logic at ILLC, UvA   Camilo Thorne

Last message date: Wed Jan 23 18:47:48 CET 2013
Archived on: Wed Jan 23 18:48:11 CET 2013

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