Grigore Rosu Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US E-mail: grosu@cs.uiuc.edu
Gabriel Ciobanu Institution: Institute of Computer Science, Romanian Academy E-mail: gabriel@iit.tuiasi.ro
Oana Andrei Institution: Loria Inria Nancy (now at University of Glasgow) E-mail: oandrei@dcs.gla.ac.uk
Raluca Necula Institution: Alexandru Ioan Cuza University, Iasi E-mail: raluca.necula@info.uaic.ro Web Address
Denis Bogdanas Institution: Faculty of Computer Science, Alexandru Ioan Cuza University E-mail: denis.bogdanas@info.uaic.ro Web Address
