October 2015 Archives by subject

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

Starting: Mon Oct 5 16:07:10 CEST 2015
Ending: Wed Oct 28 23:05:20 CET 2015
Messages: 3

• [Proof Complexity] 11th International Computer Science Symposium in Russia (CSR 2016): Second Call for Papers   Alexander S. Kulikov
• [Proof Complexity] CiE 2016: Pursuit of the Universal - 1st CfP - Paris, 27/6-1/7/2016   CiE Conference Series
• [Proof Complexity] PhD scholarship in Proof Complexity in Leeds   Olaf Beyersdorff

Last message date: Wed Oct 28 23:05:20 CET 2015
Archived on: Wed Oct 28 23:06:48 CET 2015

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