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
Discrete Event System Tools for Fault Diagnosis and Collision Prevention
Ponente: Francesco Basile, University of Salerno, Italy
Ponente: Kristofer Bengtsson, Chalmers University of Technology, Gothenburg, Sweden
CFPs on Distributed Systems (WikiCFP)
- VECoS 2017 : 11th International Conference on Verification and Evaluation of Computer and Communication Systems
- SHCIS 2017 : 4th Workshop on Security in highly connected IT systems
- PLACES 2017 : 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
- SASO 2017 : The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017)
- ICE 2017 : 10th Interaction and Concurrency Experience
CFPs on Concurrency (WikiCFP)
- FOCLASA 2017 : 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
- PLACES 2017 : 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
- ICE 2017 : 10th Interaction and Concurrency Experience
- ACSD 2017 : Application of Concurrency to System Design
- Petri Nets 2017 : CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
|
|
Actividades de investigación subvencionadas |
Construyendo Europa desde Aragón |
