Invited Speakers

Unifying speaker

Martin Abadi (Google Research & University of California at Santa Cruz, USA)

FASE invited speaker

Pamela Zave (AT&T Labs, USA)

POST invited speaker

Benjamin C. Pierce (University of Pennsylvania, USA)

ESOP invited speaker

Derek Dreyer (MPI-SWS, Germany)

Tutorial speakers

Armin Biere Johannes Kepler University, Linz, Austria
Fabio Somenzi University of Colorado, Boulder, U.S.A.

Who's online

We have 89 guests and no members online

Site Hosted by