Sixth Meeting

The meeting took place in Edinburgh on March 21st and 22nd, 2002. The following talks were presented here:

Colin Stirling (Edinburgh): Decidability of Higher-Order Matching
Ian Stark (Edinburgh): Name-Passing and Models for Mobility
Julian d'Orso (Uppsala): On Regular Model Checking
Marc Boyer (Paris): Experiments on the PGM Protocol
Marius Bozga (Grenoble): Experiments on the PGM Protocol
Sebastien Jodogne (Liege): Orthogonal Finite-State Representations
Tomas Vojnar (Paris): Results on Analyzing Systems with Shared Resources
Monika Maidl (Edinburgh): Determining a Cut-off Size for the PGM Example (The mentioned model is accessible here.)
Yves-Marie Quemener (France Telecom): Techniques for Abstracting IF Specifications
Ahmed Bouajjani (Paris): Abstract Symbolic Analysis of Unbounded Timed Petri Nets with Urgent Transitions