VCLA 10-year-anniversary celebration during MFCS 2022
Tuesday, August 23, 2022 at 16:10
LogicLounge 2022 with Stuart J. Russell – free public event
Thursday, July 28, 2022 at 4pm
Talk: Hans van Ditmarsch
Reasoning about Gossip
Wednesday, May 25, 2022 at 17:00
World Logic Day Lecture: Moshe Y. Vardi
From Greek Paradoxes to Political Paradoxes
Friday, January 14, 2022 at 17:00
Call for Applications: Helmut Veith Stipend for Women in Computer Science
Tuesday, November 30, 2021
Talk: Lutz Strassburger
Combinatorial Proofs and Decomposition Theorems for First-order Logic
Wednesday, October 20, 2021 at 17:00
Apply Now: 20 PhD Positions for LogiCS@TUWien!
Thursday, December 30, 2021
Logic Lounge with Joscha Bach
Thursday, July 22, 2021 at 11am-12pm PDT – 8pm – 9pm CEST (Vienna)
CPAIOR 2021 – 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Monday, July 5, 2021 – Thursday, July 8, 2021
5th Women in Logic Workshop (WiL) 2021 {re-arranged to virtual}
Sunday, June 27, 2021
