September 2016 Archives by subject

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

Starting: Tue Sep 6 13:10:09 CEST 2016
Ending: Thu Sep 15 23:21:25 CEST 2016
Messages: 4

• [Proof Complexity] Lecturer position in Leeds   Olaf Beyersdorff
• [Proof Complexity] paper (Expander Constructions in VNC-1)   Sam Buss
• [Proof Complexity] postdoc in proof complexity at Leeds   Olaf Beyersdorff
• [Proof Complexity] STACS - call for papers   Olaf Beyersdorff

Last message date: Thu Sep 15 23:21:25 CEST 2016
Archived on: Thu Sep 15 23:21:32 CEST 2016

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