December 2012 Archives by subject

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

Starting: Tue Dec 11 00:45:46 CET 2012
Ending: Sun Dec 23 22:44:15 CET 2012
Messages: 7

• [Proof Complexity] CiE 2013 in Milan - Awards and 2nd Call for Papers   S B Cooper
• [Proof Complexity] CiE 2013 in Milan - Special Awards and Call for Papers   S B Cooper
• [Proof Complexity] Happy New Year   achubaryan
• [Proof Complexity] new preprint   Jan Krajicek
• [Proof Complexity] New preprint - Buss-Soltys   Sam Buss
• [Proof Complexity] SAT 2013 call for papers --- proof complexity papers welcomed   Jakob Nordstrom
• [Proof Complexity] TAMC 2013 in Hong Kong: Second Call for Papers   S B Cooper

Last message date: Sun Dec 23 22:44:15 CET 2012
Archived on: Sun Dec 23 22:45:16 CET 2012

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