Write a Blog >>
Tue 21 Jan 2020 09:30 - 10:00 at St Jerome - Papers 6 Chair(s): Andreas Podelski

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Papers 6 at St Jerome
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2020-papers09:00 - 09:30
Talk
Helmut SeidlTechnische Universität München, Christian MüllerTechnical University of Munich, Bernd FinkbeinerSaarland University
VMCAI-2020-papers09:30 - 10:00
Talk
Ruben LapauwKatholieke Universiteit Leuven, Maurice BruynoogheKatholieke Universiteit Leuven, Marc DeneckerKatholieke Universiteit Leuven