March 18 – 23 , 2018, Dagstuhl Seminar 18121
Last update: July 25 2018

Machine Learning and Model Checking Join Forces

Participants

  • Alessandro Abate (University of Oxford, GB) [dblp]
  • Erika Abraham (RWTH Aachen, DE) [dblp]
  • Ezio Bartocci (TU Wien, AT) [dblp]
  • Roderick Bloem (TU Graz, AT) [dblp]
  • Luca Bortolussi (University of Trieste, IT) [dblp]
  • TomᚠBrázdil (Masaryk University – Brno, CZ) [dblp]
  • Marc Brockschmidt (Microsoft Research UK – Cambridge, GB) [dblp]
  • Rudy Bunel (University of Oxford, GB) [dblp]
  • Michael Carbin (MIT – Cambridge, US) [dblp]
  • Rayna Dimitrova (University of Leicester, GB) [dblp]
  • Krishnamurthy Dvijotham (Google UK – London, GB) [dblp]
  • Rüdiger Ehlers (Universität Bremen, DE) [dblp]
  • Andreas Berre Eriksen (Aalborg University, DK) [dblp]
  • Radu Grosu (TU Wien, AT) [dblp]
  • Arnd Hartmanns (University of Twente, NL) [dblp]
  • Laura Humphrey (AFRL – Wright Patterson, US) [dblp]
  • Manfred Jaeger (Aalborg University, DK) [dblp]
  • Nils Jansen (Radboud University Nijmegen, NL) [dblp]
  • Sebastian Junges (RWTH Aachen, DE) [dblp]
  • Joost-Pieter Katoen (RWTH Aachen, DE) [dblp]
  • Pushmeet Kohli (Google DeepMind – London, GB) [dblp]
  • Jan Kretinsky (TU München, DE) [dblp]
  • Kim Guldstrand Larsen (Aalborg University, DK) [dblp]
  • Alexis Linard (Radboud University Nijmegen, NL) [dblp]
  • Tobias Meggendorfer (TU München, DE) [dblp]
  • Daniel Neider (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Guillermo A. Pérez (Free University of Brussels, BE) [dblp]
  • Ruzica Piskac (Yale University – New Haven, US) [dblp]
  • Hasan Poonawala (Univ. of Texas at Austin, US) [dblp]
  • Pavithra Prabhakar (Kansas State University – Manhattan, US) [dblp]
  • Jean-Francois Raskin (Free University of Brussels, BE) [dblp]
  • Guido Sanguinetti (University of Edinburgh, GB) [dblp]
  • Daniel Selsam (Stanford University, US) [dblp]
  • Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
  • Armando Solar-Lezama (MIT – Cambridge, US) [dblp]
  • Ufuk Topcu (University of Texas – Austin, US) [dblp]
  • Jana Tumova (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Jonathan Uesato (Google DeepMind – London, GB) [dblp]
  • Frits Vaandrager (Radboud University Nijmegen, NL) [dblp]
  • Min Wen (University of Pennsylvania – Philadelphia, US) [dblp]
  • Leonore Winterer (Universität Freiburg, DE) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner