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)
- Erlang 2023 : Erlang 2023
- SRDS 2023 : 42nd International Symposium on Reliable Distributed Systems
- NETYS 2023 : THE 11th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
- PaPoc 2023 : 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoc)
- ApPLIED 2023 : Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, Held in conjunction with PODC-2023
CFPs on Concurrency (WikiCFP)
- Erlang 2023 : Erlang 2023
- CONCUR 2023 : International Conference on Concurrency Theory
- Petri Nets 2023 : 44th International Conference on Application and Theory of Petri Nets and Concurrency
- YR-CONCUR 2022 : 10th Young Researchers Workshop on Concurrency Theory
- ICE 2022 : 15th Interaction and Concurrency Experience
|
|
Actividades de investigación subvencionadas |
Construyendo Europa desde Aragón |
