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 (University of Waterloo)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

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 (University of Waterloo)

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)

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 (University of Waterloo)

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)

Radu Grosu (TU Wien)

Ras Bodik (University of Washington)

Ruzica Piskac (Yale University)

Sanjit Seshia (UC Berkeley)

Theoretical Foundations of Computer Systems