ParaDiSe Seminar
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 Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Spring 2017
The presentation should be about 60 minutes.- February 20, 2017
Semester start
- February 27, 2017 (canceled)
buffer/preparation
- March 6, 2017
TBD
(Viktória Vozárová) - March 13, 2017
From Shape Analysis to Termination Analysis in Linear Time
(Katarína Kejstová) - March 20, 2017
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
(Vladimír Štill) - March 27, 2017
Satisfiability Modulo Heap-Based Programs
(Tadeáš Kučera) - April 3, 2017
Trigger Selection Strategies to Stabilize Program Verifiers
(Zuzana Baranová) - April 10, 2017 (cancelled)
- April 17, 2017 (canceled)
Easters
- April 24, 2017
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances
(Jaroslav Bendík) - May 15, 2017
Symbolic Optimal Reachability in Weighted Timed Automata
(Peter Bezděk) - May 22, 2017
Petangue Closed