Write a Blog >>
Mon 20 Jan 2020 12:00 - 12:30 at St Jerome - Papers 3 Chair(s): Dirk Beyer

Mon 20 Jan

VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 3 at St Jerome
Chair(s): Dirk BeyerLMU Munich
VMCAI-2020-papers10:30 - 11:00
Research paper
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Pre-print
VMCAI-2020-papers11:00 - 11:30
Talk
Marc ChevalierENS, CNRS, PSL University, INRIA, Jerome FeretINRIA Paris
VMCAI-2020-papers11:30 - 12:00
Coffee break
VMCAI-2020-papers12:00 - 12:30
Talk
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University