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)
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)
FLoC 2014: Federated Logic Conference
July 12-24, 2014 (Vienna, Austria)
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)