|
Home
Agenda
Call for Papers
Workshops and Tutorials
Important Dates
Invited Speakers
Organization
Venue
Submission
Registration
Sponsors:
|
|
|
Conference Committee
|
Hongjun Zheng
|
Semantics Design, US
|
|
|
Program Committee
|
|
Adnan Aziz
|
University of Texas, USA
|
|
Richard Banach
|
University of Manchester, UK
|
|
Egon Börger
|
University Pisa, Italy
|
|
Jonathan Bowen
|
London South Bank University, UK
|
|
Manfred Broy
|
University of Munich, Germany
|
|
Michael Butler
|
University of Southampton, UK
|
|
Ana Cavalcanti
|
University of Kent, UK
|
|
Dan Craigen
|
ORA, Canada
|
|
Jin Song Dong
|
National University of Singapore, Singapore
|
|
Matthew Dwyer
|
Kansas State University, USA
|
|
John Fitzgerald
|
University of Newcastle upon Tyne, UK
|
|
David Garlan
|
Carnegie Mellon University, Pittsburgh, USA
|
|
Thomas Jensen
|
IRISA/CNRS Campus de Beaulieu, Rennes, France
|
|
Jim Larus
|
Microsoft Research, USA
|
|
Mark Lawford
|
McMaster University, Canada
|
|
Huimin Lin
|
Chinese Academy of Sciences, Bejing, China
|
|
Peter Lindsay
|
University of Queensland, Australia
|
|
Shaoying Liu
|
Hosei University, Japan
|
|
Zhiming Liu
|
United Nations University, Macau SAR, China
|
|
Brendan Mahony
|
Department of Defense, Australia
|
|
Marc Frappier
|
Université de Sherbrooke, Québec, Canada
|
|
William Bradley Martin
|
National Security Agency, USA
|
|
David Notkin
|
University of Washington, USA
|
|
Jeff Offutt
|
George Mason University, USA
|
|
Harald Ruess
|
Computer Science Laboratory , SRI, USA
|
|
Augusto Sampaio
|
Universidade Federal de Pernambuco, Brazil
|
|
Thomas Santen
|
Technical University Berlin, Germany
|
|
Doug Smith
|
Kestrel Institute, USA
|
|
Graeme Smith
|
The University of Queensland, Australia
|
|
Paul A. Swatman
|
University of South Australia, Australia
|
|
Sofiene Tahar
|
Concordia University, Canada
|
|
T.H. Tse
|
The University of Hong Kong,
Hong Kong
|
|
Yi Wang
|
Uppsala University, Sweden
|
|
Farn Wang
|
National Taiwan University, Taiwan
|
|
Jeannette Wing
|
University of Carnegie Mellon, USA
|
|
Jim Woodcock
|
University of Kent, UK
|
|
|
Steering Committee
|
|
Keijiro Araki
|
Kyushu University, Japan
|
|
Jin Song Dong
|
National University of Singapore, Singapore
|
|
Chris George
|
United Nations University, Macau
|
|
Jifeng He (Chair)
|
IIST, United Nations University, Macau
|
|
Mike Hinchey
|
NASA, USA
|
|
Shaoying Liu
|
Hosei University, Japan
|
|
John.McDermid
|
University of York, UK
|
|
Tetsuo Tamai
|
University of Tokyo, Japan
|
|
Jim Woodcock
|
University Kent, UK
|
|
|
