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)

Who's online

We have 97 guests and no members online

Site Hosted by