FAU Erlangen
University of Klagenfurt
University of Salzburg
TU Wien
Technion - Israel Institute of Technology
University of Innsbruck
Johannes Kepler University Linz
Lutz Schröder Professor, FAU Erlangen
Invited Talk
Talks by attendees of the Helmut Veith Memorial Workshop 2019.
Michael Morak Post-Doctoral Researcher, University of Klagenfurt
Talk: Epistemic Logic Programs
Ana Sokolova Associate Professor, University of Salzburg
Talk: Syntax and Semantics for Probability and Nondeterminism
Harald Woracek ao. Professor, TU Wien
Janos Makowsky Professor, Technion - Israel Institute of Technology
Talk: The Average Complexity of SAT: An Old Paper of Mine Revisited
René Thiemann Associate Professor, University of Innsbruck
Talk: Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL
Laura Kovacs Professor, TU Wien
Talk: Interpolation in the Grey Area of Proofs
Matteo Maffei Professor, TU Wien
Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts
Temur Kutsia Lecturer, Johannes Kepler University Linz
Talk: A Generic Framework for Higher-Order Generalizations
Sibylla Zech Professor, TU Wien
Talk: TBA
Ilina Stoilkovska Doctoral Student, TU Wien
Talk: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Stefan Milius Professor, FAU Erlangen
Talk: Efficient Coalgebraic Partition Refinement
Anna Prianichnikova Scientific Coordinator, TU Wien