December 2020 Archives by subject

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

Starting: Tue Dec 1 07:46:23 CET 2020
Ending: Mon Dec 14 21:31:45 CET 2020
Messages: 9

• [Proof Complexity] 37th British Coll. for TCS   Jan Krajicek
• [Proof Complexity] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture   Rozman, Mihaela
• [Proof Complexity] J.Avigad's talk   Jan Krajicek
• [Proof Complexity] PhD fellowships in St.Petersburg   Edward A. Hirsch
• [Proof Complexity] PhD positions in theoretical computer science and/or combinatorial optimization at University of Copenhagen   Jakob Nordström
• [Proof Complexity] Postdoc positions in TCS at University of Copenhagen   Jakob Nordström
• [Proof Complexity] Postdoctoral position in combinatorial optimization (including SAT solving) at University of Copenhagen   Jakob Nordström
• [Proof Complexity] Sam Buss' talk on Monday   thapen
• [Proof Complexity] Tenure-track assistant professorship in complexity theory in Copenhagen   Jakob Nordström

Last message date: Mon Dec 14 21:31:45 CET 2020
Archived on: Mon Dec 14 21:31:53 CET 2020

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