-
CALCO 2023,
CALCO 2021
- Conference on Algebra and Coalgebra in Computer
Science
-
Petri nets 2023,
Petri nets 2022,
Petri nets 2021,
Petri nets 2020,
Petri nets 2019
- International Conference on Application and Theory of Petri
Nets and Concurrency
-
ICGT 2022,
ICGT 2021,
ICGT 2020,
ICGT 2018,
ICGT 2017,
ICGT 2015,
ICGT 2014
ICGT 2012,
ICGT 2010,
ICGT 2008,
ICGT 2006 -
International Conference on Graph Transformation
-
CONCUR 2021,
CONCUR 2017,
CONCUR 2014,
CONCUR 2013,
CONCUR 2011 -
International Conference on Concurrency Theory
-
MFCS 2020
- International Symposium on
Mathematical Foundations of Computer Science
-
FoSSaCS 2020
- International Conference on Foundations of Software Science and Computation Structures
-
WADT 2018
- Workshop on Algebraic Development Techniques
-
CILC 2017,
CILC 2015 - Convegno
Italiano di Logica Computazionale
-
CMCS 2016 -
International Workshop on on Coalgebraic Methods in Computer Science
-
ICALP 2014 -
International Colloquium on Automata, Languages, Programming
-
ICTCS 2014
- Italian Conference on Theoretical Computer Science
-
GT-VMT 2014.
GT-VMT 2013,
GT-VMT 2012,
GT-VMT 2011,
GT-VMT 2010,
GT-VMT 2009,
GT-VMT 2008,
GT-VMT 2007,
GT-VMT 2006
- International Workshop on Graph Transformation and
Visual Modeling Techniques
-
TERMGRAPH 2013,
TERMGRAPH 2011 - International Workshop on Computing with Terms and Graphs
-
RTA 2012 - International Conference on Rewriting Techniques and Applications
-
PNGT 2012, PNGT 2008, PNGT 2006 -
Workshop on Petri nets and Graph Transformation
-
GCM 2012 - Workshop on Graph Computational Models
-
CALCO-Tools 2011 - Satellite of CALCO 2011 - Conference on Algebra and Coalgebra
-
AMAST
2010 -
13th International Conference on Algebraic Methodology
And Software Technology
-
ICGT-DS 2010,
ICGT-DS 2008 -
Doctoral symposium of ICGT
-
ICE
2010 -
Interaction and Concurrency Experience
-
GT-VC 2007, GT-VC 2006,
GT-VC 2005
- Graph Transformation for Verification and Concurrency
-
SBMF 2006 -
Brazilian Symposium on Formal Methods
-
3rd Workshop on the Rho-calculus (2006)
