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)
- AT 2018 : 6th International Conference on Agreement Technologies
- ACM DADS 2019 : ACM Dependable, Adaptive, and Trustworthy Distributed Systems
- Data Stream Processing in HPC Systems 2018 : New Frameworks and Architectures for High-frequency Streaming (Elsevier Parallel Computing)
- DEBS 2019 : 13th ACM International Conference on Distributed and Event-based Systems
- W-PSDS 2018 : Workshop on Planetary-Scale Distributed Systems
CFPs on Concurrency (WikiCFP)
- ICE 2018 : 11th Interaction and Concurrency Experience
- DCM 2018 : 12th International Workshop on Developments in Computational Model
- 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
|
|
Actividades de investigación subvencionadas |
Construyendo Europa desde Aragón |
