[ 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 Early registration deadline: 1 September 2010 -------------------------------------------------------------- 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 --------------------------------------------------------------