Emilia Oikarinen
Minimum-Width Confidence Bands via Constraint Optimization
Friday, September 29, 2017 at 10:00 c.t.
Matti Järvisalo
The Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability Solving
Friday, September 29, 2017 at 14:00 c.t.
Helmut Veith Symposium
Thank you for joining the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from October 2–6, 2017.
Helmut Veith Symposium
Friday, October 6, 2017 at 9:00
Helmut Veith Stipend for Female Master´s Students (Deadline November 30)
Are you planning or already pursuing your master degree in the field of computer science at TU Wien? Invited to apply for the annually awarded Helmut Veith Stipend.
Iyad Kanj
The complexity of tree partitioning
Wednesday, August 23, 2017 at 11:30 s.t.
LogicLounge in Memoriam Helmut Veith. Logic in Computer Science: A Teaching Perspective
Logic in Computer Science: A Teaching Perspective
Friday, October 6, 2017 at 12:00 s.t.
ALGO 2017 Congress on Algorithms
Monday, September 4, 2017 – Friday, September 8, 2017
Parameterized Complexity Summer School (PCSS)
Friday, September 1, 2017 – Sunday, September 3, 2017
Workshop on New Trends in Formal Argumentation
Database and Intelligence Group (DBAI), organized a Workshop on New Trends in Formal Argumentation supported by VCLA, taking place on August 17, 2017, bringing together researchers from several parts of the diverse field of formal argumentation in order to discuss recent results and ongoing work on the new challenges.