WG1: Foundations

Members

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

Email List

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.

Topics for 24 March

The 2013 state-of-the-art report

 
wg1-foundations.txt · Last modified: 2013/09/20 17:11 by hans
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki