Talks

(subscribe: list, rss feed, calendar feed)
Aug
23

Iyad Kanj

The complexity of tree partitioning
Wednesday, August 23, 2017 at 11:30 s.t.

Oct
6

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 – Friday, October 6, 2017

May
31

Odile Papini

Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases
Wednesday, May 31, 2017 at 14:10

Mar
22

Vladislav Ryzhikov and Michael Zakharyaschev

Horn fragments of temporal logics and ontology-based access to temporal data
Wednesday, March 22, 2017 at 11:10

Feb
21

Filippo Bonchi

Full Abstraction for Signal Flow Graphs
Tuesday, February 21, 2017 at 17:30

Mar
6

Danny Hermelin

Fractals for Kernelization Lower Bounds
Monday, March 6, 2017 at 11:30

News

Workshop on New Trends in Formal Argumentation

Database and Intelligence Group (DBAI), is organizing 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.

Helmut Veith Stipend for Female Master´s Students

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend.

The stipend is dedicated to the memory of an outstanding computer scientist who worked […]

Parameterized Complexity Summer School (PCSS)

Spend your summer at the 3rd Parameterized Complexity Summer School (PCSS) held in Vienna, Austria, from September 1 – 3. The school is pre-event of ALGO 2017.

ALGO 2017 Congress on Algorithms

Algorithms have become the rulers of the modern world. Join their creators in Vienna, from September 4 – 8, at now already 17th ALGO congress, with a pre-congress Parameterized Complexity Summer School (PCSS).

Helmut Veith Stipend Award Ceremony

The Helmut Veith Stipend for female scientists

The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Helmut Veith, who tragically passed away in March 2016, was a strong advocate and mentor for women in […]

Helmut Veith Stipend Award Ceremony

Tuesday, March 14, 2017 at 17:30