UPCOMING EVENTS
EPEW 2024 » 20
th
European Performance Engineering Workshop
[PC member].
PAST EVENTS
2023:
BDLT-TW 2023 » 1
st
Teaching Workshop on Blockchain and Distributed Ledger Technology
[organizer].
OPCT 2023 » 4
th
Research Seminar on Open Problems in Concurrency Theory
[director].
EPEW 2023 » 19
th
European Performance Engineering Workshop
[PC member].
2022:
MMIT 2022 » MoodleMoot Italia 2022
[OC member].
EPEW 2022 » 18
th
European Performance Engineering Workshop
[PC member].
ICSOFT 2022 » 17
th
International Conference on Software Technologies
[PC member].
2021:
EPEW 2021 » 17
th
European Performance Engineering Workshop
[PC member].
Causal-ITALY 2021 » 1
st
International AIxIA Workshop on Causality
[PC member].
Scienza, Metodologia e Tecnologia dell’Informazione: Venti Anni di Informatica a Urbino (2001-2021)
[OC chair].
ICSOFT 2021 » 16
th
International Conference on Software Technologies
[PC member].
2020:
ICTCS 2020 » 21
st
Italian Conference on Theoretical Computer Science
[PC member].
PROCEDAMUS 2020 » Procedimenti Amministrativi delle Università degli Studi (edizione di Urbino)
[OC member].
FORTE 2020 » 40
th
International Conference on Formal Techniques for Distributed Objects, Components, and Systems
[PC member].
2019:
EPEW 2019 » 16
th
European Performance Engineering Workshop
[PC member].
PROCEDAMUS 2019 » Procedimenti Amministrativi delle Università degli Studi (edizione di Salerno)
[invited speaker].
2018:
EPEW 2018 » 15
th
European Performance Engineering Workshop
[PC member].
ICTCS 2018 » 19
th
Italian Conference on Theoretical Computer Science
[PC chair].
2017:
EPEW 2017 » 14
th
European Performance Engineering Workshop
[PC member].
2016:
EPEW 2016 » 13
th
European Performance Engineering Workshop
[PC member].
SFM-16:QUANTICOL » 16
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems
[director].
2015:
EPEW 2015 » 12
th
European Performance Engineering Workshop
[PC member].
SFM-15:MP » 15
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming
[director].
WICSA 2015 » 12
th
Working IEEE/IFIP Conference on Software Architecture
[PC member].
QAPL 2015 » 13
th
International Workshop on Quantitative Aspects of Programming Languages and Systems
[PC member].
2014:
INFQ 2014 » 5
th
Workshop of the Italian Group on Quantitative Methods in Informatics
[PC member].
ICTCS 2014 » 15
th
Italian Conference on Theoretical Computer Science
[PC member].
EPEW 2014 » 11
th
European Performance Engineering Workshop
[PC member].
OPCT 2014 » 1
st
Research Seminar on Open Problems in Concurrency Theory
[director].
SFM-14:ESM » 14
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models
[director].
QAPL 2014 » 12
th
International Workshop on Quantitative Aspects of Programming Languages and Systems
[PC member].
WICSA 2014 » 11
th
Working IEEE/IFIP Conference on Software Architecture
[PC member].
2013:
EPEW 2013 » 10
th
European Performance Engineering Workshop
[PC member].
ECSA 2013 » 7
th
European Conference on Software Architecture
[PC member].
SFM-13:DS » 13
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Dynamical Systems
[director].
INFQ 2013 » 4
th
Workshop of the Italian Group on Quantitative Methods in Informatics
[PC member].
IWMBSA 2013 » 3
rd
International Workshop on Model Based Safety Assessment
[PC member].
QAPL 2013 » 11
th
International Workshop on Quantitative Aspects of Programming Languages and Systems
[PC member].
FASE 2013 » 16
th
International Conference on Fundamental Approaches to Software Engineering
[PC member].
2012:
15
th
Summer School on Philosophy of Physics: Centenary Celebration of Alan Turing
[invited speaker].
WICSA/ECSA 2012 » 2
nd
Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
[PC member].
EPEW 2012 » 9
th
European Performance Engineering Workshop
[PC member].
ISARCS 2012 » 3
rd
ACM International Symposium on Architecting Critical Systems
[PC member].
SFM-12:MDE » 12
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering
[director].
QAPL 2012 » 10
th
International Workshop on Quantitative Aspects of Programming Languages and Systems
[PC member].
2011:
EPEW 2011 » 8
th
European Performance Engineering Workshop
[PC member].
MECBIC 2011 » 5
th
Workshop on Membrane Computing and Biologically Inspired Process Calculi
[PC member].
ISARCS 2011 » 2
nd
ACM International Symposium on Architecting Critical Systems
[PC member].
SFM-11:CONNECT » 11
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems
[director].
QAPL 2011 » 9
th
International Workshop on Quantitative Aspects of Programming Languages
[PC member].
2010:
EPEW 2010 » 7
th
European Performance Engineering Workshop
[general chair].
ICTCS 2010 » 12
th
Italian Conference on Theoretical Computer Science
[invited speaker].
ECSA 2010 » 4
th
European Conference on Software Architecture
[PC member].
SFM-10:QAPL » 10
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages
[director].
QAPL 2010 » 8
th
International Workshop on Quantitative Aspects of Programming Languages
[PC member].
2009:
QFM 2009 » 1
st
International Workshop on Quantitative Formal Methods
[invited speaker].
WICSA/ECSA 2009 » 1
st
Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
[PC member].
SFM-09:WS » 9
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services
[director].
TACAS 2009 » 15
th
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
[PC member].
2008:
ECSA 2008 » 2
nd
European Conference on Software Architecture
[PC member].
QEST 2008 » 5
th
International Conference on the Quantitative Evaluation of Systems
[PC member].
SFM-08:Bio » 8
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology
[director].
2007:
ECSA 2007 » 1
st
European Conference on Software Architecture
[PC member].
MTCOORD 2007 » 3
rd
International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
[PC member].
SFM-07:PE » 7
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation
[director and lecturer].
2006:
MTCOORD 2006 » 2
nd
International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
[PC member].
SFM-06:HV » 6
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification
[director].
2005:
QEST 2005 » 2
nd
International Conference on the Quantitative Evaluation of Systems
[tutorialist].
PASM 2005 » 2
nd
International Workshop on Practical Applications of Stochastic Modelling
[PC member].
SFM-05:Moby » 5
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing
[director and lecturer].
2004:
ICTAI 2004 » 16
th
IEEE International Conference on Tools with Artificial Intelligence
[PC member].
QEST 2004 » 1
st
International Conference on the Quantitative Evaluation of Systems
[tutorial chair].
SFM-04:RT » 4
th
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time
[director].
PASM 2004 » 1
st
International Workshop on Practical Applications of Stochastic Modelling
[PC member].
EXPRESS 2004 » 11
th
International Workshop on Expressiveness in Concurrency
[PC member].
WICSA 2004 » 4
th
Working IEEE/IFIP Conference on Software Architecture
[PC member].
2003:
ICTAI 2003 » 15
th
IEEE International Conference on Tools with Artificial Intelligence
[PC member].
SFM-03:SA » 3
rd
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture
[director and lecturer].
2002:
PERFORMANCE 2002 » 22
nd
IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation
[tutorialist].
SFM-02:MC » 2
nd
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking
[director].
PAPM/PROBMIV 2002 » 2
nd
Joint International Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification
[PC member].
FMICS 2002 » 7
th
International Workshop on Formal Methods for Industrial Critical Systems
[PC member].
2001:
PAPM/PROBMIV 2001 » 1
st
Joint International Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification
[tutorialist].
SFM-01:PA » 1
st
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebra
[director and lecturer].
2000:
PAPM 2000 » 8
th
International Workshop on Process Algebra and Performance Modelling
[PC member and OC chair].
1998:
PAPM 1998 » 6
th
International Workshop on Process Algebra and Performance Modelling
[panelist].
1997:
ICALP 1997 » 24
th
International Colloquium on Automata, Languages, and Programming
[OC member].
FMICS 1997 » 2
nd
International Workshop on Formal Methods for Industrial Critical Systems
[OC member].
1996:
COORDINATION 1996 » 1
st
International Conference on Coordination Models and Languages
[OC member].