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
Ponente: Santiago Pérez (Universidad Tecnológica Nacional, Mendoza, Argentina)
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.
CFPs on Distributed Systems (WikiCFP)
- FedICI 2014 : The second international workshop on Federative and interoperable cloud infrastructures
- ICDCN 2015 : 16th International Conference on Distributed Computing and Networking
- ICPADS 2014 : 20th IEEE International Conference on Parallel and Distributed Systems
- DIDC hot topics 2014 : Hot Topics Session: DIDC 2014 (held in conjunction with HPDC 2014): Hot Topics in Data Intensive Distributed Computing (DIDC 2014)
- Netsys 2015 : 2nd International Conference on Networked Systems
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
