Events (co-)organized by our group

 

FMCAD 2017: Conference on Formal Methods in Computer-Aided Design, October 2-6, 2017
(Vienna, Austria)

LAIVe 2017: LogiCS & RiSE Summer School on Logic, Artificial Intelligence and Verification
July 3-5 (Vienna, Austria)

FMCAD 2016: Conference on Formal Methods in Computer-Aided Design, October 3-6, 2016
(Mountain View, CA, USA)

Dagstuhl-Seminar “Resource-Bound Analysis” (51-0116)
July 16-21,  2017 (Schloss Dagstuhl, Germany)

LOVE 2016: RiSE & LogiCS Spring School on Logic and Verification
April 15-17 (Vienna, Austria)

Logo ARiSE    LogiCS

FRIDA 2016: Workshop on Formal Reasoning in Distributed Algorithms
May 16-17, 2016 (Marrakech, Morocco)
Satellite workshop of NETYS 2016

Austrian Computer Science Day 2015
October 15, 2015 (Vienna, Austria)

iPRA 2015: Third Workshop on Interpolation
July 18, 2015 (San Francisco, USA)
Co-located with CAV 2015

FRIDA 2015: 2nd Workshop on Formal Reasoning in Distributed Algorithms
June 5, 2015 (Grenoble, France)
Co-located with FORTE at DisCoTec 2015

AAA90: 90th Workshop on General Algebra
June 5-7, 2015 (Novi Sad, Serbia)

VSL 2014: Vienna Summer of Logic
July 9-24, 2014 (Vienna, Austria)
vsl

FLoC 2014: Federated Logic Conference
July 12-24, 2014 (Vienna, Austria)
FLoC Logo

FRIDA 2014: Workshop on Formal Reasoning in Distributed Algorithms
July 23-24, 2014 (Vienna, Austria)
Co-located with CAV 2014, co-located with FLoC 2014 / Vienna Summer of Logic

iPRA 2014: Second Workshop on Interpolation
July 17-18, 2014 (Vienna, Austria)
Co-located with CAV 2014

SAT/SMT Summer School 2014
July 10-12, 2014 (Semmering, Austria)

Austrian Computer Science Day 2014
June 6, 2014

PETShop 2013: Workshop on Language Support for Privacy Enhancing Technologies
November 4, 2013 (Berlin, Germany)
Co-located with CCS 2013

CAV 2013: 25th International Conference on Computer Aided Verification
July 13-19, 2013 (Saint Petersburg, Russia)

iPRA 2013: First Workshop on Interpolation
July 13-14 2013 (Vienna, Austria)
Co-located with CAV 2013

Dagstuhl Seminar 13141: Formal Verification of Distributed Algorithms
April 1-5, 2013 (Schloss Dagstuhl, Germany)

(EC)2 2012: Workshop on Exploiting Concurrency Efficiently and Correctly
July 7-8, 2012 (Berkeley, USA)
Co-located with CAV 2012

Austrian Computer Science Day 2012
June 28, 2012 (Vienna, Austria)

Symposium »Logic and Algorithms: A Scientific Perspective«
January 25, 2012 (Vienna, Austria)

 

 

 

Latest News

Florian Zuleger winning WWTF grant

Florian Zuleger was awarded a grant by WWTF for his research project “Automated Program Analysis for Bounds on Resource Consumption”. Florian’s project will develop new methods to extract bounds for loops, memory and bandwidth from imperative programs.

Continue reading

Welcome Georg Weissenbacher

Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems. See a newspaper article on his work in “Der Standard”.

Continue reading

Uni-Finanzierung als Absurdes Theater (Der Standard)

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. […]

Continue reading

Full news archive