August 2021 Archives by thread

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

Starting: Tue Aug 17 13:04:26 CEST 2021
Ending: Wed Aug 25 13:11:09 CEST 2021
Messages: 4

• [Proof Complexity] Seminar Fri Aug 27 at 10:00 CEST with Dmitriy Traytel: Who is Isabelle, and why is she so picky about my proofs?   Jakob Nordström
• [Proof Complexity] PhD positions in theoretical computer science and/or combinatorial optimization in Lund   Jakob Nordström
• [Proof Complexity] Professorship (tenure-track, associate, or full) in Copenhagen   Jakob Nordström
• [Proof Complexity] TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.   anupamdotdas at gmail.com

Last message date: Wed Aug 25 13:11:09 CEST 2021
Archived on: Wed Aug 25 13:11:19 CEST 2021

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