The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Mondays at the Faculty of Informatics (room depends on the semester, usually B410 or B411), Masaryk University, starting at 10:00. Presentations are usually one hour in length.
Seminar Programme — Spring 2017The presentation should be about 60 minutes.
- February 20, 2017
- February 27, 2017 (canceled)
- March 6, 2017
- March 13, 2017
From Shape Analysis to Termination Analysis in Linear Time
- March 20, 2017
- March 27, 2017
Satisfiability Modulo Heap-Based Programs
- April 3, 2017
Trigger Selection Strategies to Stabilize Program Verifiers
- April 10, 2017 (cancelled)
- April 17, 2017 (canceled)
- April 24, 2017
- May 15, 2017
Symbolic Optimal Reachability in Weighted Timed Automata
- May 22, 2017