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

Winter School on Verification

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students. Details are available from the VCLA website.

Continue reading

CfP: Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2 2010)

The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.

Continue reading

Full news archive