September 2013 Archives by subject

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

Starting: Wed Sep 4 23:25:26 CEST 2013
Ending: Mon Sep 23 19:27:08 CEST 2013
Messages: 3

• [Proof Complexity] Final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)   Aleksy Schubert
• [Proof Complexity] Logic in Tsinghua University Conference, 14-16 Oct 2013   Iddo Tzameret
• [Proof Complexity] student and post-doc positions   Pavel Pudlak

Last message date: Mon Sep 23 19:27:08 CEST 2013
Archived on: Tue Sep 24 08:09:16 CEST 2013

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