DANSAS 2012, Odense, August 24

Participants

Nikolaj Bjørner, Microsoft Research
Claus Brabrand, IT University of Copenhagen
Bor-Yuh Evan Chang, University of Colorado Boulder
Christian Clausen, Aarhus University
Andreas E. Dalsgaard, Aalborg University
Asger Feldthaus, Aarhus University
John Gallagher, Roskilde University
Fritz Henglein, University of Copenhagen
Simon Holm Jensen, Aarhus University
Jacob Johannsen, Aarhus University
Neil Jones, University of Copenhagen
Joe Kiniry, IT University of Copenhagen
Magnus Madsen, Aarhus University
Jan Midtgaard, Aarhus University
Anders Møller, Aarhus University
Kasper Nielsen, Aarhus University
Mads Chr. Olesen, Aalborg University
Jose Quaresma, DTU
Erik Ramsgaard Wognsen, Aalborg University
Mads Rosendahl, Roskilde University
René Rydhof Hansen, Aalborg University
Peter Schneider-Kamp, University of Southern Denmark
Mathias Romme Schwarz, Aarhus University
Ian Zerny, Google / Aarhus University