Organizers

Serdar Tasiran Koc University
stasiran@ku.edu.tr

Oleg Sokolsky University of Pennsylvania
sokolsky@cis.upenn.edu


Steering Committee

Klaus Havelund NASA Jet Propulsion Laboratory
Gerard Holzmann NASA Jet Propulsion Laboratory
Insup Lee University of Pennsylvania
Grigore Rosu University of Illinois, Urbana-Champaign