October 2014 Archives by subject

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

Starting: Wed Oct 15 19:32:18 CEST 2014
Ending: Wed Oct 22 22:42:43 CEST 2014
Messages: 3

• [Proof Complexity] CiE 2015: Evolving Computability - 1st CfP - Bucharest, 29/6-3/7/2015   CiE Conference Series
• [Proof Complexity] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015   S B Cooper
• [Proof Complexity] New preprint   Neil Thapen

Last message date: Wed Oct 22 22:42:43 CEST 2014
Archived on: Wed Oct 22 22:43:09 CEST 2014

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