|
|
Welcome to our web site.The Group of Discrete Event Systems Engineering is accredited as "Research Group of Excellence" 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. Latest Added EventsLast updated on Tuesday, 21st of April 2009, 10:06:39
14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2009), September 22-26, 2009, Palma de Mallorca, Spain. Event date: 26th of September 2009 Last updated on Thursday, 5th of February 2009, 19:26:43
ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid Systems Event date: 16th of September 2009 Last updated on Thursday, 2nd of July 2009, 10:58:50
Michal Žarnay, Žilinská Univerzita (Slovakia), Visitant researcher at GISED Friday July 3rd 2009, 12:00 h., DIIS Seminar Room at Ada Byron Building Event date: 3rd of July 2009 Last updated on Friday, 24th of April 2009, 09:25:01
Isabel Demongodin, professor, University Aix-Marseille, France Monday, 27th of April 2009 at 12:00, DIIS Seminar Room at Ada Byron Building Event date: 27th of April 2009 
|
February 9, 2010 Call for Papers: Second International Workshop on Abstractions for Petri Nets ... February 8, 2010 Call for Papers: 6th International Workshop on Enterprise & Organizational ... February 7, 2010 Final Call for Papers: 17th International Conference on Analytical and ... CFPs on Distributed Systems : WikiCFP CJACIS 2010 : Canadian Journal on Automation, Control and Intelligent Systems Canadian Journal on Automation, Control and Intelligent Systems... HPCS 2010 : 2010 International Conference on High Performance Computing Systems 2010 International Conference on High Performance Computing Systems [Orlando, ... PDSCbook 2010 : Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions Performance and Dependability in Service Computing: Concepts, Techniques and ... |