Welcome to our web site
The Group of Discrete Event Systems Engineering is accredited as "Consolidated Research Group" by the Aragonese Government (Ref. T27), thus partially co-financed by the Aragonese Government and the European Social Fund. It is part of the Department of Computer Science and Systems Engineering at the University of Zaragoza. It is also integrated in the Aragon Institute for Engineering Research (I3A).
Here you will find information about our projects and research work on formal methods in computer science and systems engineering. Hope you find it useful.
News
Events
Estíbaliz Fraca and Xu Wang will present two papers about Fluidization on Petri nets and Model checking on Fault Diagnosis Graph
Ponente. Marius Kloetzer (Technical University of Iasi, Romania)
Ponente: Santiago Pérez (Universidad Tecnológica Nacional, Mendoza, Argentina)
CFPs on Distributed Systems (WikiCFP)
- W-PSDS 2014 : 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014)
- MICAS 2014 : 3rd Workshop on the Management of resources and services in Cloud and Sky computing
- CAIMS 2014 : The First International Workshop on Cloud Automation, Intelligent Management and Scalability
- EuroSys 2015 : European Conference on Computer Systems
- DIHC 2014 : Second Workshop on Dependability and Interoperability in Heterogeneous Clouds
CFPs on Concurrency (WikiCFP)
- DISC 2014 : International Symposium on Distributed Computing
- ACSD 2014 : International Conference on Application of Concurrency to System Design
- ICE 2014 : 7th Interaction and Concurrency Experience
- PLACES 2014 : Programming Language Approaches to Concurrency and communication-cEntric Software
- TGC 2013 : 8th International Symposium on Trustworthy Global Computing
