Events (co-)organized by our group

FMCAD 2017: Conference on Formal Methods in Computer-Aided Design, October 2-6, 2017
(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

Questions answered by Leslie Lamport

Leslie Lamport is going to answer questions about a Mathematical View of Computer Systems in Informatikhörsaal on Tuesday at 6pm. Check the announcement at the VCLA website and do not forget to watch the lecture beforehand.

Continue reading

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

Continue reading

Full news archive