October 2019 Archives by subject

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

Starting: Wed Oct 2 07:31:22 CEST 2019
Ending: Wed Oct 23 15:16:30 CEST 2019
Messages: 5

• [Proof Complexity] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien   Mihaela Rozman
• [Proof Complexity] Call for Postocs: Euler Institute   Edward A. Hirsch
• [Proof Complexity] Medium-Term Research Visit - Algorithmic Aspects of Automated Theorem Proving - University of Bergen - Norway - Soft Deadline: November 8   Mateus de Oliveira Oliveira
• [Proof Complexity] Short-Term Programming Internship - Algorithms Group - University of Bergen - Norway - Soft Deadline: 15 October   Mateus de Oliveira Oliveira
• [Proof Complexity] visiting prof   Jan Krajicek

Last message date: Wed Oct 23 15:16:30 CEST 2019
Archived on: Wed Oct 23 15:16:38 CEST 2019

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