May 2020 Archives by date

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

Starting: Mon May 4 19:33:05 CEST 2020
Ending: Thu May 28 17:21:27 CEST 2020
Messages: 4

• [Proof Complexity] CSL 2021: 2nd CFP   Jean Goubault-Larrecq
• [Proof Complexity] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)   Rozman, Mihaela
• [Proof Complexity] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***   Rozman, Mihaela
• [Proof Complexity] Postdoc in Proof Theory - University of Birmingham, UK   anupamdotdas at gmail.com

Last message date: Thu May 28 17:21:27 CEST 2020
Archived on: Thu May 28 17:21:33 CEST 2020

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