November 2015 Archives by thread

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

Starting: Fri Nov 13 01:30:28 CET 2015
Ending: Wed Nov 25 14:49:19 CET 2015
Messages: 3

• [Proof Complexity] Workshop on Efficient and Natural Proof Systems: Call for participation. 14-16 December, Bath.   Anupam Das
• [Proof Complexity] CiE 2016: Pursuit of the Universal - 2nd CfP - Paris, 27/6-1/7/2016   CiE Conference Series
• [Proof Complexity] Workshop on Efficient and Natural Proof Systems: 14-16 December, Bath (final call for participation)   Paola Bruscoli

Last message date: Wed Nov 25 14:49:19 CET 2015
Archived on: Wed Nov 25 14:49:25 CET 2015

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