Tue 9 Jan 2018 15:00 - 15:30 at Watercourt - Types and Analysis Chair(s): Tachio Terauchi

Tue 9 Jan

VMCAI-2018
14:00 - 15:30: VMCAI 2018 - Types and Analysis at Watercourt
Chair(s): Tachio TerauchiWaseda University
VMCAI-2018151550280000014:00 - 14:30
Talk
Tomas FiedorVUT Brno, Lukas HolikBrno University of Technology, Adam RogalewiczBrno University of Technology , Moritz SinnSt. Polten University of Applied Sciences, Tomas VojnarBrno University of Technology, Florian ZulegerTU Vienna
VMCAI-2018151550460000014:30 - 15:00
Talk
Andreas HumenbergerVienna University of Technology, Maximilian JaroschekVienna University of Technology, Laura KovacsChalmers University of Technology
VMCAI-2018151550640000015:00 - 15:30
Talk
Milod Kazerounian, Niki VazouUniversity of Maryland, Austin BourgerieUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Emina TorlakUniversity of Washington