• 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.

    Read More
  • 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 […]

    Read More
  • 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.

    Read More
  • 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).

    Read More

  • Helmut Veith 1971-2016

    With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.

    Read More


(subscribe: list, rss feed, calendar feed)

O-Joung Kwon

Deletion problems regarding graphs of bounded rank-width
Monday, March 14, 2016 at 11:00


Cliff B. Jones

Reasoning about Interference (or Lack Thereof)


Evgenia Ternovska

An Algebra of Modular Systems


Johannes Hölzl

Markov chains and Markov decision processes in Isabelle/HOL


Pierre Bourhis

A Formal Study of Collaborative Access Control in Distributed Datalog


Keren Censor-Hillel

Distributed Algorithms as Combinatorial Structures


New VCLA calendar feature

Subscribe to the VCLA calendar feed

Post-doc position in Applied Logic (1 year)

Application deadline: September 30, 2013
Start of position: November 2013 or later

Lecture by Robert Sedgewick

“If You Can Specify It, You Can Analyze It” —The Lasting Legacy of Philippe Flajolet
May 21st, 2013

Turing Machine Award 2012

On the occasion of Alan Turing’s 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.

Pre-doc position in theoretical computer science

FWF (Austrian Science Fund) project “Algorithms and Complexity of Constraint Languages” at Vienna University of Technology

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions

The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.