SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 2020
Thu 2 Jul 2020 07:05 - 07:10 at SEAMS - Session 5: Design, Verification & Explainability Chair(s): Javier Camara

Thu 2 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

07:00 - 08:20: Session 5: Design, Verification & ExplainabilitySEAMS 2020 at SEAMS
Chair(s): Javier CamaraUniversity of York
07:00 - 07:05
Talk
SEAMS 2020
Joachim HaenselHasso Plattner Institute, University of Potsdam, Germany, Christian Medeiros AdrianoHasso-Plattner-Institute, Potsdam, Johannes DyckHasso Plattner Institute for Software Systems Engineering, Germany, Holger GieseHasso Plattner Institute, University of Potsdam
Pre-print Media Attached
07:05 - 07:10
Talk
SEAMS 2020
Assaf MarronWeizmann Institute of Science, Israel, Lior LimonadIBM Corporation, Israel, Sarah PollackWeizmann Institute of Science, Israel, David HarelWeizmann Institute of Science, Israel
Media Attached
07:10 - 07:15
Talk
SEAMS 2020
Silvan ZellerOmegapoint AB, Sweden, Narges KhakpourLinnaeus University, Danny WeynsKU Leuven, Daniel DeogunOmegapoint AB, Sweden
Media Attached File Attached
07:15 - 07:20
Talk
SEAMS 2020
Lucas SakizloglouHasso Plattner Institute, University of Potsdam, Sona GhahremaniHasso Plattner Institute, University of Potsdam, Thomas Brand, Matthias BarkowskyHasso Plattner Institute, University of Potsdam, Germany, Holger GieseHasso Plattner Institute, University of Potsdam
DOI Pre-print Media Attached
07:20 - 08:20
Other
SEAMS 2020