Welcome to our web site
The Group of Discrete Event Systems Engineering is accredited as "Consolidated Research Group" by the Aragonese Government (Ref. T27). 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
Wed, 29/06/2011
La comunidad de investigadores españoles que organiza desde 1987 las Jornadas de Concurrencia y Sistemas Distribuidos ha constituido la Sociedad de Computación Concurrente y Distribuida.
Fri, 26/11/2010
The PDF of the book "Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques" has been published in our webpages.
Thu, 16/09/2010
Keynote by Manuel Silva at ETFA'2010.
Guggenheim Museum, Bilbao, Spain, September 13, 2010.
Events
Thu, 10/05/2012 - 12:00 - 13:00
Enrique Aguayo, CINVESTAV de Guadalajara (México)
Wed, 09/05/2012 - 12:00 - 13:00
Berenice Gudiño, CINVESTAV de Guadalajara (México)
PeabraiN: a PIPE extension for Performance Estimation, Resource Optimisation and Simulation Analysis
Fri, 27/04/2012 - 11:30 - 12:30
Speaker: Ricardo J. Rodríguez
CFPs on Distributed Systems (WikiCFP)
- MBDS 2012 : International Workshop on Management of Big Data Systems
- CWSN 2012 : Collaborative Wireless Sensor Networks, Special Session at IEEE SMC 2012
- PDCN 2013 : Parallel and Distributed Computing and Networks
- IDC 2012 : 6th International Symposium on Intelligent Distributed Computing - IDC 2012
- NOTERE / CFIP 2012 : New Technologies in Distributed Systems
CFPs on Concurrency (WikiCFP)
- CompoNet 2012 : 2nd workshop on Petri Nets Compositions
- GSHI 2012 : The International Workshop on the Growing Problems with Scalable Heterogeneous Infrastructures
- ACSD 2012 : 12th International Conference on Application of Concurrency to System Design
- CS&P 2011 : International Workshop on Concurrency, Specification and Programming
- EXPRESS 2011 : 18th International Workshop on Expressiveness in Concurrency
