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)
- PAPP@SAC 2018 : Practical Aspects of High-Level Parallel Programming, track of the 33st ACM/SIGAPP Symposium On Applied Computing
- CloudAM 2017 : 6th INTERNATIONAL WORKSHOP ON CLOUDS AND (ESCIENCE) APPLICATIONS MANAGEMENT
- CCISA 2018 : 6th CLOUD COMPUTING ON INFRASTRUCTURE AS A SERVICE AND ITS APPLICATIONS (CCISA)
- IC2E 2018 : IEEE International Conference on Cloud Engineering
- OPODIS 2017 : OPODIS 2017 Call for Papers
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 |
