Category Archives: Fiere / Convegni

Formal Methods for Intelligent Transportation Systems – A track at ISOLA’12

Posted on 17/01/2013 by Francesco Flammini

http://ercim-news.ercim.eu/en92/jea/formal-methods-for-intelligent-transportation-systems-a-track-at-isola12

Posted in Fiere / Convegni | Tagged , | Leave a comment

SAFECOMP’11 group picture at Castel Dell’Ovo (Naples)

Posted on 25/10/2011 by Francesco Flammini
Posted in Fiere / Convegni | Tagged | Leave a comment

ACM DSP profile

Posted on 25/10/2010 by Francesco Flammini

Association for Computing Machinery, Distinguished Speaker Program profile of Francesco Flammini

Posted in Fiere / Convegni, Learning / Formazione, Ricerca | Leave a comment

SAFECOMP’11 Preliminary CFP

Posted on 20/09/2010 by Francesco Flammini

SafeCompPrelCfP.pdf http://www.safecomp2011.unina.it/

Posted in Fiere / Convegni | Leave a comment

Metro China 2010 (Shanghai)

Posted on 23/05/2010 by Francesco Flammini
Posted in Fiere / Convegni | Leave a comment