Number of cases campus Koblenz: 1 (warning level Gelb until 02.12.2020) Action plan

Organisations/Programkomitee

 

  • Serge Autexier (DFKI Bremen)
  • Peter Baumgartner (NICTA, Canberra & ANU, CECS)
  • Bernhard Beckert (Karlsruher Institut für Technologie)
  • Christoph Benzmueller (FU Berlin)
  • Ulrich Furbach (Universität Koblenz-Landau)
  • Jürgen Giesl (RWTH Aachen)
  • Reiner Hähnle (TU Darmstadt)
  • Dieter Hutter (DFKI Bremen)
  • Sebastian Rudolph (Karlsruher Institut für Technologie)
  • Renate Schmidt (U. Manchester)
  • Gert Smolka (Universität des Saarlandes)
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau & Max-Planck-Institut für Informatik)
  • Christoph Weidenbach (Max-Planck-Institut für Informatik)