Home

Committees

Call for Papers

Submission

Tutorials

Workshop

Program

---

Activities

Invited Speakers

Venue

Transportation

Hotels

Enjoy the area!

Weather

Contact

Committees

Organization committee

• Marc Frappier, Université de Sherbrooke, Québec, Canada (Chair)
• Michel Embe Jiague, UdeS et U. Paris-Est, Canada & France
• Benoît Fraikin, Université de Sherbrooke, Québec, Canada
• Frédéric Gervais, Université Paris-Est, France
• Pierre Konopacki, UdeS et U. Paris-Est, Canada & France
• Régine Laleau, Université Paris-Est, France
• Sylvie Lavoie, Université de Sherbrooke, Québec, Canada
• Lynn Le Brun, Université de Sherbrooke, Québec, Canada
• Jérémy Milhau, UdeS et U. Paris-Est, Canada & France
• Chantal Proulx, Université de Sherbrooke, Québec, Canada
• Richard St-Denis, Université de Sherbrooke, Québec, Canada

---

Program committee

• Marc Frappier, Université de Sherbrooke, Québec, Canada (General Chair)


• Uwe Glaesser, Simon Fraser University, Canada (ASM PC Chair)
• Sarfraz Khurshid, University of Texas at Austin, USA (Alloy PC Chair)
• Régine Laleau, University of Paris-Est, France (B PC Chair)
• Steve Reeves, University of Waikato, New Zealand (Z PC Chair)

• Yamine Ait Ameur, LISI/ENSMA-UP, France
• Rob Arthan, Lemma 1 Ltd., UK
• Richard Banach, University of Manchester, UK
• Juan Bicarregui, STFC Rutherford Appleton Laboratory, UK
• Eerke Boiten, University of Kent, UK
• Egon Börger, University of Pisa, Italy
• Jonathan Bowen, Museophile Limited / King's College London, UK
• Michael Butler, University of Southampton, UK
• Ana Calvacanti, University of York, UK
• Alessandra Cavarra, Oxford University, UK
• John Derrick, University of Sheffield, UK
• Juergen Dingel, Queen's University, Canada
• Daniel Dolle, Siemens Transportation Systems, France
• Andriy Dunets, Universität Augsburg, Germany
• Steve Dunne, University of Teesside, UK
• Neil Evans, AWE plc Aldermaston, UK
• Mamoun Filali, CNRS-IRIT, University of Toulouse, France
• Kathi Fisler, Worcester Polytechnic Institute, USA
• Andreas Friesen, SAP Research, Germany
• Frédéric Gervais, LACL, University of Paris-Est, France
• Susanne Graf, Verimag, France
• Anthony Hall, independent consultant, UK
• Ian Hayes, University of Queensland, Australia
• Martin Henson, University of Essex, UK
• Rob Hierons, Brunel University, UK
• Daniel Jackson, Massachusetts Institute of Technology, USA
• Jonathan Jacky, University of Washington, USA
• Jeremy Jacob, University of York, UK
• Jacques Julliand, LIFC, University of Besançon, France
• Viktor Kuncak, Ecole Polytechnique Federale de Lausanne, Switzerland
• Daniel LeBerre, Universite d'Artois, France
• Thierry Lecomte, Clearsy, France
• Michael Leuschel, University of Düsseldorf, Germany
• Darko Marinov, University of Illinois, USA
• Annabelle McIver, Macquarie University, Sydney, Australia
• Dominique Mery, LORIA, University of Nancy, France
• Anamaria Martins Moreira, UFRN, Natal, Brazil
• Jose Oliveira, University of Minho, Portugal
• Marie-Laure Potet, VERIMAG, Grenoble, France
• Andreas Prinz, Agder University College, Norway
• Burkhardt Renz, University of Applied Sciences Gieben-Friedberg, Germany
• Elvinia Riccobene, University of Milan, Italy
• Ken Robinson, University of New South Wales, Australia
• Thomas Santen, European Microsoft Innovation Center, Germany
• Klaus-Dieter Schewe, Massey Univesity, New Zealand
• Emil Sekerinski, McMaster University, Canada
• Anatol Slissenko, University of Paris 12, France
• Kevin Sullivan, University of Virginia, USA
• Mana Taghdiri, Mathworks, USA
• Helen Treharne, University of Surrey, UK
• Jan Van den Bussche, University of Hasselt, Belgium
• Mandana Vaziri, IBM T.J. Watson Research Center, USA
• Margus Veanes, Microsoft Research, USA
• Laurent Voisin, Systerel, France
• Marina Waldén, Åbo Akademi University, Turku, Finland
• Chuck Wallace, Michigan Technological University, USA
• Pamela Zave, AT&T Laboratories, USA