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
Double seminar on Fluid Petri nets & duality, by José Luis García Malacara and Manuel Navarro, presenting part of the results of three months of research stay at our Department
Título: "Fluidization of discrete event models or a marriage between the discrete and the continuous"
Propuesto por la Sección de Ciencias Exactas, el próximo 20 de Octubre leerá el discurso de ingreso
CFPs on Distributed Systems (WikiCFP)
- COSIT 2015 : Second International Conference on Computer Science and Information Technology
- DAIS 2015 : IFIP International Conference on Distributed Applications and Interoperable Systems
- ICE 2015 : 8th Interaction and Concurrency Experience
- CANDAR 2015 : The Third International Symposium on Computing and Networking
- UCC 2015 : IEEE/ACM International Conference on Utility and Cloud Computing
CFPs on Concurrency (WikiCFP)
- ICE 2015 : 8th Interaction and Concurrency Experience
- DISC 2015 : The International Symposium on DIStributed Computing
- Petri Nets 2015 : 36th International Conference on Application and Theory of Petri Nets and Concurrency
- DISC 2014 : International Symposium on Distributed Computing
- ACSD 2014 : International Conference on Application of Concurrency to System Design
