Home Joint Programme ICGT 2010 Web Site SPIN 2010 Web Site
Venue and Hotels Registration
Sitemap
Printversion

Joint ICGT/SPIN Conference

This event combines two outstanding conferences in different but related fields within Formal Methods:

  • ICGT 2010, the fifth occurrence of the biannual conference on Graph Transformation.
  • SPIN 2010, the seventeenth occurrence of the annual workshop on Software Model Checking.

In addition, a number of satellite workshops will take place, notably:

  • PDMC+HiBi, the first joint workshop on Parallel and Distributed Model Checking and High Performance Computational Systems Biology.

More information can be found on the web pages of the individual events.

You may register for the joint event via this web site. The joint programme will also be published here.