ade Nova de Lisboa, Portugal)
* Kaustuv Chaudhuri (Inria/École Polytechnique, France)
* João Marques Silva (Instituto Superior Técnico, Portugal)
PROGRAMME COMMITTEE
* Vivek Nigam (Universidade Federal de Paraíba) - co-chair
* Mário Florido (Universidade do Porto) - co-chair
* Mau
ecial issue of a journal
after the event.
Programme Committee
---
* Sandra Alves (chair)
* Iliano Cervesato (chair)
* Kaustuv Chaudhuri
* Maribel Fernández
* Mário Florido
* Simon Gay
* Simone Martini
* Luca Paolini
* Simona Ronchi Della Rocca
* Carsten Schue
Proceedings
in Theoretical Computer Science (www.eptcs.org).
Authors and participants will also be invited to submit an article to a
special issue of a Journal.
Programme Committee
---
* Sandra Alves (co-chair)
* Maribel Fernández
* Mário Florido
* Martin Hofmann