Talks

(subscribe: list, rss feed, calendar feed)
mira_mezini
Dec
5

Mira Mezini

Posted by · Leave a Comment

From Active to Reactive Objects
Thursday, December 5, 2013 at 17:00

rockai
Dec
6

Petr Rockai

Posted by · Leave a Comment

Explicit State Model Checking with DIVINE; December 6th, 2013

©iStockphoto.com/razihusin
Nov
27

George Metcalfe

Posted by · Leave a Comment

Proof Theory for Lattice-Ordered Groups; November 27, 2013

turunen
Nov
20

Esko Turunen

Posted by · Leave a Comment

Pavelka style fuzzy logic over Chang’s MV-algebra; November 20, 5pm

News

Pre-doc position in theoretical computer science

Posted by · Leave a Comment

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

New VCLA calendar feature

Posted by · Leave a Comment

Subscribe to the VCLA calendar feed

Post-doc position in Applied Logic (1 year)

Posted by · Leave a Comment

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

Lecture by Robert Sedgewick

Posted by · Leave a Comment

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

Turing Machine Award 2012

Posted by · Leave a Comment

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

Posted by · Leave a Comment

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