DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 23:40 - 00:00 at SPLASH-III - 7 Chair(s): Mihaela Sighireanu
Thu 19 Nov 2020 11:40 - 12:00 at SPLASH-III - 7 Chair(s): Kedar Namjoshi, Tim Felgentreff
Stratified Guarded First-order Transition Systems (main.pdf)393KiB

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: 7SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Kedar NamjoshiNokia Bell Labs, Tim FelgentreffOracle Labs, Potsdam
11:00 - 11:20
Research paper
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
11:20 - 11:40
Talk
DLS 2020
John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Research paper
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
12:00 - 12:20
Talk
DLS 2020
Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:00 - 00:20: 7SAS / DLS 2020 at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
23:00 - 23:20
Research paper
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
23:20 - 23:40
Talk
DLS 2020
John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Research paper
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
00:00 - 00:20
Talk
DLS 2020
Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached