January 2020 Archives by date

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

Starting: Sun Jan 12 17:12:25 CET 2020
Ending: Tue Jan 28 06:59:55 CET 2020
Messages: 5

• [Proof Complexity] TALENT PhD positions at the University of Copenhagen (deadline Feb 13)   Jakob Nordström
• [Proof Complexity] Four Associate Professors Positions in St.Petersburg   Edward A. Hirsch
• [Proof Complexity] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain   Rozman, Mihaela
• [Proof Complexity] 5 days to go: DCOSS 2020 - 1 February 2020 - Call for Papers - Los Angeles - Marina del Rey   Theofanis Raptis
• [Proof Complexity] Krajíček's Fest   Jan Pich

Last message date: Tue Jan 28 06:59:55 CET 2020
Archived on: Tue Jan 28 07:00:16 CET 2020

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