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
Speaker: Dr. Duygu Dikicioglu, Dept. Biochemistry & Cambridge Systems Biology Centre, Univ. of Cambridge.
At 11:00 in Seminario del Departamento de Informática e Ingeniería de Sistemas. Edificio Ada Byron. Campus Río Ebro.
At 11:00 in Salón de Actos del Edificio Ada Byron.
CFPs on Distributed Systems (WikiCFP)
- SSS 2014 : Symposium on tabilization, Safety, and Security of Distributed Systems
- IDCS 2014 : 7th International Conference on Internet and Distributed Computing Systems (IDCS 2014)
- UCC 2014 : IEEE/ACM International Conference on Utility and Cloud Computing
- Renewable Power Generation 2014 : 3rd Renewable Power Generation Conference (RPG)
- PDGC 2014 : 3rd International Conference on Parallel, Distributed and Grid Computing
CFPs on Concurrency (WikiCFP)
- 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
- Petri Nets 2013 : 34th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
