Write a Blog >>
Mon 20 Jan 2020 15:35 - 16:07 at St Jerome - Papers 5 Chair(s): Nikolaj Bjørner

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

VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 5 at St Jerome
Chair(s): Nikolaj BjørnerMicrosoft Research
VMCAI-2020-papers15:35 - 16:07
Talk
Daniel HausmannFriedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias ZinnerFAU Erlangen-Nürnberg
VMCAI-2020-papers16:07 - 16:40
Talk
Martin BlichaUniversità della Svizzera italiana, Antti HyvärinenUniversità della Svizzera Italiana, Matteo MarescottiUniversità della Svizzera Italiana, Natasha SharyginaUSI Lugano, Switzerland
VMCAI-2020-papers16:40 - 17:12
Coffee break
VMCAI-2020-papers17:12 - 17:45
Talk
Kohei SuenagaGraduate School of Informatics, Kyoto University, Takuya IshizawaKyoto University
Link to publication Pre-print