http://www.infq.it/ 2012-03-28T11:17:25+02:00 http://www.infq.it/ http://www.infq.it/lib/images/favicon.ico text/html 2010-06-15T00:44:42+02:00 http://www.infq.it/doku.php/alberghimappa?rev=1276555482&do=diff Alberghi nei pressi dell'evento Link ricerca alberghi Il luogo dell'evento text/html 2003-01-11T03:39:27+02:00 http://www.infq.it/doku.php/history?rev=1042252767&do=diff Workshop History InfQ 2011 (Lipari, 27-29 giugno 2011) Workshop Chair * Antonio Puliafito, Università di Messina Steering Committee * Mariacarla Calzarossa, Università di Pavia * Bruno Ciciani, Università di Roma “La Sapienza” * Michele Colajanni, Università di Modena e Reggio Emilia * Gianni Conte, Università di Parma * Vincenzo Grassi, Università di Roma “Tor Vergata” * Giuseppe Iazeolla, Università di Roma “Tor Vergata” * Luciano Lenzini, Università di Pisa * Antonio Pu… text/html 2011-11-09T17:18:05+02:00 http://www.infq.it/doku.php/infq-home?rev=1320855485&do=diff [logo Inf-Q] Il gruppo di Informatica Quantitativa (InfQ) è costituito da ricercatori che svolgono la loro attività nell'ambito delle tecnologie dell'informazione, con interesse e competenze specifiche verso la caratterizzazione quantitativa dei sistemi informatici, tramite metodi analitici, simulativi e sperimentali. text/html 2011-11-11T11:02:57+02:00 http://www.infq.it/doku.php/infq2011?rev=1321005777&do=diff [ ] Informatica Quantitativa 2012 Lucca, 5-6 Luglio 2012, IMT - Institute for Advanced Studies Lucca Scarica il Call for Papers 2012. text/html 2012-03-27T10:32:38+02:00 http://www.infq.it/doku.php/infq2012?rev=1332837158&do=diff [ ] Informatica Quantitativa 2012 Lucca, 5-6 Luglio 2012, IMT - Institute for Advanced Studies Lucca Scarica il Call for Papers 2012. text/html 2010-11-30T16:04:47+02:00 http://www.infq.it/doku.php/links?rev=1291129487&do=diff J. T. Schwartz International School for Scientific Research text/html 2010-02-12T11:58:32+02:00 http://www.infq.it/doku.php/manifesto?rev=1265972312&do=diff Il gruppo di Informatica Quantitativa (Inf-Q) è costituito da ricercatori che svolgono la loro attività nell'ambito delle tecnologie dell'informazione, con interesse e competenze specifiche verso la caratterizzazione quantitativa dei sistemi informatici, tramite metodi analitici, simulativi e sperimentali. text/html 2011-09-30T12:29:53+02:00 http://www.infq.it/doku.php/membri?rev=1317378593&do=diff Coordindatore * Lenzini Luciano (PO) l.lenzini<at>iet.unipi.it Firenze Personale Strutturato * Giacomo Bucci (PO) bucci<at>dsi.unifi.it * Rocco De Nicola (PO) rocco.denicola<at>unifi.it * Alessandro Fantechi (PO) fantechi<at>dsi.unifi.it * Enrico Vicario (PO) enrico.vicario<at>unifi.it text/html 2010-10-11T16:26:31+02:00 http://www.infq.it/doku.php/programma?rev=1286807191&do=diff [ ] Inf-Q 2010 Primo Workshop del Gruppo ING-INF/05 di Informatica Quantitativa (InfQ) 2010 7 - 9 luglio 2010 Facoltà di Ingegneria dell’Università di Pisa Via Diotisalvi, 2 - Pisa [Programma in formato PDF] [Call for Papers InfQ Pisa 2010] text/html 2011-04-21T12:48:49+02:00 http://www.infq.it/doku.php/scuole?rev=1303382929&do=diff Lipari School on Computational Complex Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems 2nd TMA Phd School text/html 2012-03-27T10:32:25+02:00 http://www.infq.it/doku.php/sidebar?rev=1332837145&do=diff * Home * * InfQ 2012 * Call for Papers * Workshop History * Membri * Scuole di Dottorato * Related Links text/html 2010-06-23T13:18:40+02:00 http://www.infq.it/doku.php/workshop?rev=1277291920&do=diff [ ] Informatica Quantitativa 2010 Pisa, 7-9 luglio 2010, Facoltà di Ingegneria dell’Università di Pisa Scarica il [Call for Papers in formato PDF]. Registrati per la sottomissione degli articoli. Registrati per l'evento. Alberghi nei pressi dell'evento e Mappa. text/html 2010-03-02T16:02:58+02:00 http://www.infq.it/doku.php/workshop_infq?rev=1267542178&do=diff Call for Papers [ ] Informatica Quantitativa 2010 Pisa, 7-9 luglio 2010, Facoltà di Ingegneria dell’Università di Pisa Scarica il [Call for Papers in formato PDF]. Scadenze importanti: * Sottomissione articoli workshop: 30 aprile 2010 * Sottomissione abstract PhD Defense Corner: 15 maggio 2010 * Notifica a tutti gli autori: 30 maggio 2010 * Versione definitiva: 15 giugno 2010