February 2020 Archives by date

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

Starting: Sun Feb 2 19:38:26 CET 2020
Ending: Fri Feb 14 10:57:29 CET 2020
Messages: 8

• [Proof Complexity] CSR-2020 Call for Papers: New Deadline Feb 13   Edward A. Hirsch
• [Proof Complexity] postdoc - Charles University   Jan Krajicek
• [Proof Complexity] Fwd: Call for programs 2021 -- Leonhard Euler International Mathematical Institute (EIMI)   Edward A. Hirsch
• [Proof Complexity] Caleidoscope Complexity School: Call for Participation   Thomas Seiller
• [Proof Complexity] CSL 2021 first call for papers   Jean Goubault-Larrecq
• [Proof Complexity] CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)   Mihaela Rozman
• [Proof Complexity] LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts   Mihaela Rozman
• [Proof Complexity] SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)   Mihaela Rozman

Last message date: Fri Feb 14 10:57:29 CET 2020
Archived on: Fri Feb 14 11:16:48 CET 2020

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