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

Helmut Veith Stipend Award Ceremony

The Vice Rector for Academic Affairs of TU Wien, Kurt Matyas, will award the scholarship recipient of the Helmut Veith Stipend at the award ceremony on Friday, April 06, 2018 in the Kontaktraum, starting at 17:05.

Continue reading

Helmut Veith Stipend 2017

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

Continue reading

Full news archive