April 2013 Archives by date

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

Starting: Thu Apr 4 20:07:43 CEST 2013
Ending: Fri Apr 26 00:51:28 CEST 2013
Messages: 3

• [Proof Complexity] preprint   Michal Garlik
• [Proof Complexity] PhD and postdoc positions at KTH Royal Institute of Technology   Jakob Nordstrom
• [Proof Complexity] CiE 2013 - 2nd Call for Informal Presentations   S B Cooper

Last message date: Fri Apr 26 00:51:28 CEST 2013
Archived on: Fri Apr 26 00:52:04 CEST 2013

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