I meeting di Infq

I nostri eventi annuali

la vita di una comunità scientifica nazionale

Il workshop InfQ è il principale forum italiano sulla modellazione, valutazione e verifica quantitativa di sistemi digitali e di informazione, reti di calcolatori, sistemi di telecomunicazione e classi più generali di sistemi artificiali, sociali o naturali.
Il Workshop sui Metodi Quantitativi per l’Informatica (InfQ) è un evento che si tiene a cadenza annuale. Le 9 edizioni precedenti si sono tenute a Pisa (2010), Lipari (2011), Lucca (2012), Sorrento (2013), Torino (2014), Taormina (2016), Venezia (2017), Milano (2018) e Caserta (2019), a volte come eventi colocati con prestigiose conferenze e scuole internazionali (Scuola Dottorato GII 2012, Performance 2014, ValueTools 2016, PASM 2018).
Il workshop InfQ accoglie sia contributi metodologici che applicativi con contenuti sia teorici che pratici. Gli argomenti della conferenza includono, ma non sono limitati a:
  • formalismi di modellazione quantitativa, tecniche di soluzione e strumenti per sistemi probabilistici o stocastici che possono combinare non determinismo, reti di code, soluzioni analitiche numeriche o statistiche, comportamenti fluidi e ibridi, comportamenti emergenti e sistemi collettivi, teoria dei giochi, composizione gerarchica o multiformalismo e ingegneria basata su modelli, soft computing;
  • applicazioni di metodi quantitativi in ​​una varietà di contesti, tra cui in particolare Industria 4.0, Blockchain, cloud/edge/fog computing, Internet of Things, cyberphysical systems, smart cities, smart energy, e-healthcare, ambient assisted living, social and urban computing, computational virology and epidemiology, bioinformatics, software defined networks, quantum computing, capacity planning, load characterization, self adaptive systems.
Stiamo organizzando la nuova edizione del workshop InfQ, InfQ10, un'edizione piena di sorprese!

I workshop InfQ

ANNO DOVE Organizzatori LINK
2010 Pisa Luciano Lenzini (Università degli Studi di Pisa), Giorgio Ventre (Università degli Studi di Napoli Federico II) Call for papers
2011 Lipari Antonio Puliafito (Università degli Studi di Messina), Enrico Vicario (Università degli Studi di Firenze) Call for papers
2012 Lucca Bruno Ciciani (Università “La Sapienza”, Roma), Giuliana Franceschinis (Università del Piemonte Orientale) Call for papers
2013 Sorrento Giorgio Ventre, Simon Pietro Romano (Università degli Studi di Napoli Federico II), Vittorio Cortellessa (Università degli Studi dell’Aquila) Call for papers
2014 Torino Michele Colajanni (Università degli Studi di Modena e Reggio Emilia), Francesco Lo Presti (Università di Roma "Tor Vergata"),
Giovanni Stea (Università di Pisa)
Programma
2016 Taormina Salvatore Distefano (Università degli Studi di Messina), Emiliano Casalicchio (Blekinge Institute of Technology, Svezia) Call for papers
2017 Venezia Simonetta Balsamo (Università "Ca' Foscari" Venezia), Enrico Vicario (Università degli Studi di Firenze) Sito web
2018 Milano Marco Gribaudo, Danilo Ardagna, Giuseppe Serazzi (Politecnico di Milano), Gianfranco Balbo (Università degli Studi di Torino) Sito web
2019 Caserta Mauro Iacono (Università degli Studi della Campania "Luigi Vanvitelli"), Marco Gribaudo (Politecnico di Milano) Sito web