Talks

(subscribe: list, rss feed, calendar feed)
Mar
14

O-Joung Kwon

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

Mar
8

Cliff B. Jones

Reasoning about Interference (or Lack Thereof)

Mar
3

Evgenia Ternovska

An Algebra of Modular Systems

Feb
23

Johannes Hölzl

Markov chains and Markov decision processes in Isabelle/HOL

Feb
18

Pierre Bourhis

A Formal Study of Collaborative Access Control in Distributed Datalog

Feb
16

Keren Censor-Hillel

Distributed Algorithms as Combinatorial Structures

News

Pre-doc position in theoretical computer science

Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems

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