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