CONCERTOControllo e certificazione dell'uso delle risorse |
|
| ::
Home
:: Kickoff Schedule :: Kickoff Participants :: Kickoff Accommodation :: Final meeting |
Invited speakers and guests Hans-Wolfgang Loidl, Munich: A Multi-layered Logics Approach to Proof-Carrying-CodeGianluigi Zavattaro, Bologna: On the computational strength of calculi for (bio)chemistry V. Michele Abrusci, Roma Ulrich Schöpp, Munich and Bologna Christine Tasson, Paris Stéphane Zimmermann, Paris Project participants (as of February 14, 2009) Beniamino Accattoli, RomaFabio Alessi, Udine Alberto Carraro, Venezia Pietro Cenciarelli, Roma Ugo Dal Lago, Bologna Daniel De Carvalho, Roma Paolo Di Giamberardino, Roma Marco Gaboardi, Torino Stefano Guerrini, Roma Roberto Maieli, Roma Giulio Manzonetto, Venezia(-Parigi) Andrea Masini, Verona Simone Martini, Bologna Damiano Mazza, Paris Michele Pagani, Torino Luca Paolini, Torino Marco Pedicini, Roma Mauro Piccolo, Torino Simona Ronchi della Rocca, Torino Luca Roversi, Torino Antonino Salibra, Venezia Alexis Saurin, Torino Ugo Solitro, Verona Lorenzo Tortora de Falco, Roma Paolo Tranquilli, Roma Margherita Zorzi, Verona |