July 2019 Archives by thread

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

Starting: Mon Jul 1 11:37:49 CEST 2019
Ending: Fri Jul 26 11:36:06 CEST 2019
Messages: 5

• [Proof Complexity] PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems   Mihaela Rozman
• [Proof Complexity] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2019   Beckmann A.
• [Proof Complexity] PhD and postdoc positions   Emil Jerabek
• [Proof Complexity] Charles University: new position   Jan Krajicek
• [Proof Complexity] new preprint   Moritz Müller

Last message date: Fri Jul 26 11:36:06 CEST 2019
Archived on: Fri Jul 26 11:27:43 CEST 2019

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