The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysi...
2012-06-05Ciclo di incontri a cura del gruppo "TT in IFC" - Interverranno: Enrica Brigan (IFC), Fabrizio Falchi (ISTI), Vincenzo Ferrari (EndoCAS), Brunella Raco (IGG), Francesca Sernissi (UniPi), Mario Tesconi (ADATEC) - Moderatore: Giovanni Polidori (Pol...
2012-06-04Conferenza speciale del ciclo Areaperta - Nel corso della conferenza sarà dedicata attenzione particolare ai recenti terremoti in Emilia, ai movimenti delle placche che li causano, al rischio sismico nelle nostre zone. Relatore: Dott. Carlo Mele...
2012-05-259:30 - 9:45 D. Latella (ISTI/CNR e USPID), Introduzione 9:45 - 10:30 G.P. Siroli (Univ. Bologna, CERN e USPID), Cyberwar e Infowar: il contesto internazionale L'intervento descriverà l'argomento generale della cyberwar e della infowar, cioè lo sf...
2012-05-22Ciclo di incontri a cura del gruppo "TT in IFC" - Interverranno: Sergio Casciaro, Caterina Cinti, Raffaele Conte, Vincenzo Gemignani, Piero Salvadori, Monica Zoppè - Moderatore: Francesco Mazzini (Toscana Life Sciences)
2012-05-08Il convegno intende far incontrare i principali soggetti coinvolti a vario titolo nell’erogazione e nella fruizione del servizio, nel controllo della qualità del servizio, nella sua promozione e diffusione: governance, provider, fruitori, ri...
2012-03-05The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experie...
2012-01-26Il 26 gennaio 2012 nell'Auditorium dell' Area della Ricerca di Pisa si svolgerà il Workshop BiNet "Business intelligence basata sulle reti sociali" incentrato sulle applicazioni in ambito socio-sanitario. Il worshop da una parte esporrà prodott...
2011-12-13Pisa, Italy, 13-15 December 2011 Paper submission: 31 July, 2011
2011-11-11Convegno: 11-12 novembre 2011 - La Limonaia vicolo del Ruschi 4, Pisa. Mostra: 13 novembre 2011 - 31 marzo 2012 - Museo degli Strumenti per il Calcolo Via Nicola Pisano, 25 (Area dei Vecchi Macelli) - Pisa Convegno e mostra raccontano il percorso ch...