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.
Ponente: Santiago Pérez (Universidad Tecnológica Nacional, Mendoza, Argentina)
Speaker: Dr. Duygu Dikicioglu, Dept. Biochemistry & Cambridge Systems Biology Centre, Univ. of Cambridge.
At 11:00 in Seminario del Departamento de Informática e Ingeniería de Sistemas. Edificio Ada Byron. Campus Río Ebro.