July 7 – 12 , 2019, Dagstuhl Seminar 19281
Last update: December 19 2019

Notional Machines and Programming Language Semantics in Education

Participants

  • Thomas Ball (Microsoft Research – Redmond, US) [dblp]
  • Titus Barik (Microsoft Research – Redmond, US) [dblp]
  • Brett A. Becker (University College Dublin, IE) [dblp]
  • Neil C. C. Brown (King's College London, GB) [dblp]
  • Franziska Carstens (Universität Münster, DE)
  • Luke Church (University of Cambridge, GB) [dblp]
  • Kathryn Cunningham (University of Michigan – Ann Arbor, US) [dblp]
  • Paul Denny (University of Auckland, NZ) [dblp]
  • Brian Dorn (University of Nebraska – Omaha, US) [dblp]
  • Benedict du Boulay (University of Sussex – Brighton, GB) [dblp]
  • Rodrigo Duran (Aalto University, FI) [dblp]
  • Barbara Ericson (University of Michigan – Ann Arbor, US) [dblp]
  • Sally Fincher (University of Kent – Canterbury, GB) [dblp]
  • Kathi Fisler (Brown University – Providence, US) [dblp]
  • Robert L. Goldstone (Indiana University – Bloomington, US) [dblp]
  • Mark J. Guzdial (University of Michigan – Ann Arbor, US) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Matthias Hauswirth (University of Lugano, CH) [dblp]
  • Arto Hellas (University of Helsinki, FI) [dblp]
  • Geoffrey L. Herman (University of Illinois – Urbana Champaign, US) [dblp]
  • Felienne Hermans (Leiden University, NL) [dblp]
  • Matthew C. Jadud (Bates College – Lewiston, US) [dblp]
  • Johan Jeuring (Utrecht University, NL) [dblp]
  • Antti-Juhani Kaijanaho (University of Jyväskylä, FI) [dblp]
  • Philipp Kather (Universität Münster, DE) [dblp]
  • A. J. Ko (University of Washington – Seattle, US) [dblp]
  • Shriram Krishnamurthi (Brown University – Providence, US) [dblp]
  • Thomas D. LaToza (George Mason University – Fairfax, US) [dblp]
  • Colleen Lewis (Harvey Mudd College – Claremont, US) [dblp]
  • Elena Machkasova (University of Minnesota – Morris, US) [dblp]
  • Craig Miller (DePaul University – Chicago, US) [dblp]
  • Andreas Mühling (Universität Kiel, DE) [dblp]
  • Markus Müller-Olm (Universität Münster, DE) [dblp]
  • Greg Nelson (University of Washington – Seattle, US) [dblp]
  • Andrew Petersen (University of Toronto, CA) [dblp]
  • Joseph Gibbs Politz (UC – San Diego, US) [dblp]
  • André L. Santos (University Institute of Lisbon, PT) [dblp]
  • Carsten Schulte (Universität Paderborn, DE) [dblp]
  • Otto Seppälä (Aalto University, FI) [dblp]
  • R. Benjamin Shapiro (University of Colorado Boulder, US) [dblp]
  • Juha Sorva (Aalto University, FI) [dblp]
  • Anya Tafliovich (University of Toronto, CA) [dblp]
  • Jan Vahrenhold (Universität Münster, DE) [dblp]
  • J. Ángel Velázquez Iturbide (Universidad Rey Juan Carlos – Madrid, ES) [dblp]
  • Eugene Wallingford (University of Northern Iowa – Cedar Falls, US) [dblp]
  • David Weintrop (University of Maryland – College Park, US) [dblp]
  • Steven A. Wolfman (University of British Columbia – Vancouver, CA) [dblp]


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