[TYPES/announce] CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands

Arend Rensink rensink at cs.utwente.nl
Thu Jul 15 08:36:20 EDT 2010


==============================================================

                *** 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

--------------------------------------------------------------



More information about the Types-announce mailing list