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
First Vienna Workshop on Computational Social Choice
Friday, September 25, 2020
World Logic Day 2021
Thursday, January 14, 2021 at 17:00
DigitalDays 2020
Wednesday, September 30, 2020 – Thursday, October 1, 2020
Virtual Hackathon for Good Artificial Intelligence
Saturday, October 10, 2020 – Tuesday, November 3, 2020