Event | When | Where | Deadline | |
VWLD 2021 |
Vienna World Logic Day Lecture 2021 | |
Jan 14, 2021 - Jan 14, 2021 |
Online |
TBD |
VCLA Student Awards in Logic and CS 2020 |
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) | |
Feb 13, 2020 - Mar 25, 2020 |
AoE |
Mar 25, 2020 |
IWIL 2020 |
14th International Workshop on the Implementation of Logics - IWIL 2020 | |
May 22, 2020 - May 22, 2020 |
Alicante, Spain |
Apr 12, 2020 |
WiL 2020 |
4th Women in Logic Workshop - WiL 2020 | |
Jun 30, 2020 - Jun 30, 2020 |
VIRTUAL |
May 10, 2020 |
SIGLOG/VCLA/ILLC Awards for WiL 2020 |
SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) | |
Jun 30, 2020 - Jun 30, 2020 |
Paris, France |
May 15, 2020 |
RACES 2020 |
Workshop: Reasoning about ACtions and Events over Streams (RACES) held as part of KR 2020 | |
Sep 12, 2020 - Sep 14, 2020 |
Rhodes, Greece |
Jun 22, 2020 |
|