[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==============================================================
*** Call for Participation ***
ICGT 2010
Fifth International Conference on Graph Transformation
29 Sep - 1 Oct 2010
http://www.utwente.nl/icgt2010/
SPIN 2010
17th International SPIN Workshop on Model Checking of Software
27 Sep - 29 Sep 2010
http://www.utwente.nl/spin2010/
University of Twente, Enschede, The Netherlands
==============================================================
PROGRAMME AND REGISTRATION
Programme at: http://www.utwente.nl/icgt-spin/programme
Registration: http://www.utwente.nl/icgt-spin/registration
--------------------------------------------------------------
JOINT ICGT/SPIN INVITED SPEAKER:
- Javier Esparza, University of Munich
ICGT 2010 INVITED SPEAKERS:
- Krzysztof Czarnecki, University of Waterloo
- Christoph Brandt, University of Luxembourg
SPIN 2010 INVITED SPEAKERS:
- Alessandro Cimatti, FBK-IRST, Italy
- Darren Cofer, Rockwell Collins, USA
--------------------------------------------------------------
SATELLITE EVENTS:
- PDMC: 9th International Workshop on Parallel and Distributed
Methods in Verification
- HiBi: 2nd International Workshop on High Performance
Computational Systems Biology
- GCM: 3rd Workshop on Graph Computation Models
- GraBaTs: 4th International Workshop on Graph-Based Tools
- PNGT: 4th Workshop on Petri Nets and Graph Transformations
- WTNC: Workshop and Tutorial on Natural Computing
- ICGT Doctoral Symposium
--------------------------------------------------------------
