[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] ICGT and SPIN: Call for participation



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

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

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


--
Prof.dr. J.C. van de Pol,  chair Formal Methods and Tools
Universiteit Twente, P.O. Box 217, 7500 AE  Enschede, The Netherlands
tel: +31 53 489 3017  fax: +31 53 489 3247  secr: +31 53 489 3767