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)
- MIDDLEWARE 2019 : ACM/IFIP International Middleware Conference
- SNTA 2019 : Second International Workshop on Systems and Network Telemetry and Analytics
- UKSystems 2019 : Fourth Annual UK Systems Research Challenges Workshop
- CLOUD 2019 : IEEE International Conference on Cloud Computing
- eCAS 2019 : 2019 4th eCAS Workshop on Engineering Collective Adaptive Systems
CFPs on Concurrency (WikiCFP)
- ICE 2019 : Interaction and Concurrency Experience
- ACSD 2019 : 19th International Conference on Application of Concurrency to System Design
- Petri Nets 2019 : Applications and Theory of Petri Nets
- ICE 2018 : 11th Interaction and Concurrency Experience
- DCM 2018 : 12th International Workshop on Developments in Computational Model
Actividades de investigación subvencionadas |
Construyendo Europa desde Aragón |