Workshops

Moshe Vardi (Rice University; chair)

Marta Kwiatkowska (University of Oxford)

Ruzica Piskac (Yale University)

Radu Grosu (TU Wien)

Ras Bodik (University of Washington)

Ruzica Piskac (Yale University)

Sanjit Seshia (UC Berkeley)

Antonina Kolokolova (Memorial University of Newfoundland; co-chair)

Moshe Vardi (Rice University; co-chair)

María Luisa Bonet Carbonell (Universitat Politècnica de Catalunya)

Vijay Ganesh (Georgia Institute of Technology)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

Rajeev Alur (University of Pennsylvania)

Rupak Majumdar (Max Planck Institute for Software Systems; International Computer Science Institute)

Michael Wooldridge (University of Oxford)

Theoretical Foundations of Computer Systems