Home
Group Members
Publications/Talks
Funding
JML Spec-a-thons
Inaugural Spec-a-thon
Second Spec-a-thon
Local Accommodations
Attendees
Schedule
Third Spec-a-thon
Software
Applied Formal Methods Group
Institute of Technology
University of Washington Tacoma
Second Spec-a-thon Attendees
Organizers:
Joe Kiniry
Dan Zimmerman
Registered Attendees:
Julien Charles
Dermot Cochran
Vieri del Bianco
Fintan Fairmichael
Radu Grigore
Mikoláš Janota
Gary Leavens
Josu Martinez
Rosemary Monahan
Michal Pluska
Erik Poll
Dragan Stošić
Home
/
JML Spec-a-thons
/
Second Spec-a-thon
/
Attendees
/