Hans Hüttel and Vasco Vasconcelos (co-chairs)
Ivan Lanese (vice-chair)
Bogdan Aman, Davide Ancona, Franco Barbanera, Massimo Bartoletti, Giovanni Bernardi, Michele Boreale, Johannes Börgstrom, Mario Bravetti, Roberto Bruni, Marzia Buscemi, Luís Caires, Marco Carbone, Giuseppe Castagna, Ilaria Castellani, Gian Luca Cattani, Samir Chouali, Gabriel Ciobanu, Mario Coppo, Ugo de’Liguoro, Mariangiola Dezani-Ciancaglini, Pietro Di Gianantonio, Cinzia Di Giusto, Adrian Francalanza, Simon Gay, Silvia Ghilezan, Elena Giachino, Matthew Hennessy, Thomas Hildebrandt, Daniel Hirschkoff, Furio Honsell, Cosimo Laneve, Marina Lenisa, Luigi Liquori, Viviana Mascardi, Fabrizio Montesi, Dimitris Mostrous, Hassan Mountassir, Samir Omanovic, Luca Padovani, Jovanka Pantovic, Jorge Perez, Julian Rathke, António Ravara, Jakob Rehof, Davide Sangiorgi, Alceste Scalas, João Seco, Vaclovas Sirius, Bernardo Toninho, Emilio Tuosto, Betti Venneri, Björn Victor, Hugo Vieira, Philip Wadler, Nobuko Yoshida, Gianluigi Zavattaro
The email list for WG1 is betty-foundations@dcs.gla.ac.uk. Messages are only accepted from subscribers, so you have to make sure that you are sending from your subscribed address.
The administrative web site for the email list allows the WG chair to update the list of subscribers, and allows individual subscribers to change their options.
We have a page in the wiki that will help us prepare for the BETTY meeting on 24 March. Please visit the page and contribute.
The state-of-the-art report is due in October.
The report from March 2013 (PDF)
The report from March 2013 (LaTeX source file) - using the bibliography file betty-wg1.bib