PLEASE DISTRIBUTE THIS CALL FOR PARTICIPATION AS BROADLY AS POSSIBLE


                    CALL FOR PARTICIPATION


               The 10th Anniversary Colloquium
                          of the
                 United Nations University
        International Institute for Software Technology
                         (UNU/IIST)

              Formal Methods at the Crossroads
            from Panacea to Foundational Support

                     Lisbon - Portugal
                     March 18-21, 2002


For details visit the Colloquium site at www.colloquium-iist-unu.org.pt
Participation restricted to 60 participants apart from the keynote invitees

*****************************************
MOTIVATION
Over at least three decades of development, influenced by both advocates
and detractors, the conception of what role formal methods should play in
software engineering seems to have changed dramatically. Beginning with a
fundamentalist view that contested the genuineness of any 'non-formal'
practice, dismissing it as an inappropriate contribution to the as yet ill
defined corpus of so called software engineering, the conception of what
this role should be has apparently evolved to a less naive, engineering
viewpoint. Today, as these methods acquire a new maturity and breadth of
use, many of their advocates appear to be questioning their direct
application by software practitioners, often considering it to be
non-mandatory, and sometimes even non-advisable. It appears that, together
with the said maturation of the theoretical results and constructions, the
perspective of their role within a far more complex picture of the software
development activity has also matured. Today,!
  m!
any specialists and advocates of formal methods consider them as the
framework that, by underlying the corpus of the software development
praxis, lifts its status from craftsmanship to engineering, as happens in
more classical branches of technology. Availing themselves of the
opportunity occasioned by the 10th anniversary celebration of the United
Nations University International Institute for Software Technology, a group
of eminent researchers form 15 countries on four continents will gather in
a Colloquium in Lisbon on March 18-21, 2002 to cross swords and initiate
the arduous task of assembling such a framework.
*****************************************
STRUCTURE OF THE COLLOQUIUM
The Colloquium will be separated into two parts. A first day, March 18,
will be devoted to presentations of the UNU/IIST Research Fellows, its
present Director Prof. Zhou Chaochen, and its past Director Prof. Dines
Bjorner. There will be also a discussion session whose aim will be to
assess the research focus and accomplishments of UNU/IIST.

The following three days will be devoted to presentations by the keynote
participants and well prepared discussions, together with some social
events, such as an excursion, a banquet and a concert.

*****************************************
KEYNOTE PARTICIPANTS
The list of invited participants includes some of the most well-known
researchers in the area of formal methods and their applications. They are:

-Egidio Astesiano (University of Genoa, Italy)
-Paul Bailes (University of Queensland, Australia)
-Dines Bjorner (Technical University of Denmark, Denmark) -Dominique
Bolignano (Trusted Logic, France) -Manfred Broy (Technische Universit?t
M?nchen, Germany) -Ed Clarke (Carnegie Mellon University, USA) -Fu Yuxi
(Department of CS, Shanghai JiaoTong University, People's Republic of
China) -Jose Fiadeiro (ATX - University of Lisbon, Portugal) -Carlo Ghezzi
(Politecnico di Milano, Italy) -Constance Heitmeyer (U.S. Naval Research
Laboratory, USA) -Tom Henzinger (University of Berkeley, USA) -C. A. R.
Hoare (Microsoft Research, Cambridge, UK) -Michael Jackson (Open
University, UK) -Cliff Jones (University of Newcastle upon Tyne, UK)
-Gilles Kahn (INRIA, France) -Naoki Kobayashi (Tokyo Institute of
Technology, Japan) -Lin Huimin (Chinese Academy of Sciences, Beijing,
People's Republic of China) -Tom Maibaum (King's College London, UK)
-Jayadev Misra (University of Texas at Austin) -Ugo Montanari (Universit?
di Pisa, Italy) -J. Strother Moore (University of Texas at Austin) -Jose !
Ol!
iveira (Universidade do Minho, Portugal) -David Parnas (McMaster
University, Canada) -Amir Pnueli (Weizmann Institute of Science, Israel)
-Natarajan Shankar (SRI International, USA) -Doug Smith (Kestrel Institute,
USA) -P S Thiagarajan (Chennai Mathematical Institute, India) -Wang Yi
(Chinese Academy of Sciences and Uppsala University, People's Republic of
China and Sweden)

UNU/IIST RESEARCH FELLOWS
-He Jifeng
-Chris George
-Dang van Hung
-Tomasz Janowski

*****************************************
COLLOQUIUM PARTICIPATION
Attendance at the colloquium will be open to any researcher in areas
related to formal methods and rigorous development of software and hardware
systems. Young researchers and graduate students are encouraged to
participate so as to take advantage of the presence of many prominent
people in the field and so as to have an opportunity of discussing issues
at the heart of modern SE with them. The achievement of the Colloquium's
goals is something that will only be measurable in the long run. Moreover,
the protagonists of both such achievement and its measure will obviously be
the 'young researchers' of today and surely not the Colloquium's keynote
invitees. This is the reason by which the organisers of this event will
spare no efforts to succeed in having significant young researchers
attendance. The support of the European Commission to the participation of
50 European young researchers was requested by means of the submission to
the High Level Scientific Events Programme, und!
er!
  the modality of EuroConferences. Thus, it is possible that some funding
will be available for supporting the attendance of young researchers (young
Ph.D.'s and graduate students).

*****************************************
If you are interested to participate, please send a message to:

Prof. Armando Haeberer
Chairman of the Board of the
United Nations University
International Institute for Software Technology (UNU/IIST)

Alameda Antonio Sergio 7 - 1A
2795-023 Linda-A-Velha
Portugal

E-mail: [log in to unmask]
Fax. +351 214144125

In case you are a young researcher and are interested in obtaining funding
for your participation (if available), attach to your message a short CV
and a letter (can be electronic) of recommendation of a senior researcher.

*****************************************
COLLOQUIUM ORGANISATION

Program Committee:
Chairman
Armando Haeberer -ATX Software and King's College London (Portugal and UK),

Vice-Chairman
Mathai Joseph -Tata Institute (India),

Members
Ibrahim Eissa -University of Cairo (Egypt),
H. van Ginkel -Rector of UNU (Japan),
Gerard Huet -INRIA (France),
Iu Vai Pan -University of Macau (People's Republic of China), Zohar Manna
-Stanford University (USA), Pedro Manuel Barbosa Veiga -University of
Lisbon (Portugal), Wu Ying Jian -Ministry of Science and Technology,
(People's republic of China), Zhou Chaochen -Director of UNU/IIST (People's
Republic of China).

LOCAL ORGANISATION
Jos? Lu?z Fiadeiro
Armando Haeberer
Cristina Teles
Miguel Costa
Sofia Duarte

ADMINISTRATIVE AND TECHNICAL SUPPORT
Wendy Hoi
Alice Pun
Tang Xinbei
Tian Siyuan


*****************************************
SPONSORSHIP

-UNU/IIST

-Instituto de Cooperacao Cientifica e Tecnologica Internacional (ICCTI) do
Ministerio de Ciencia e da Tecnologia de Portugal

-Fundacao para a Ciencia e a Tecnologia do Ministerio de Ciencia e da
Tecnologia de Portugal

-Faculdade de Ciencias da Universidade de Lisboa

-ATX Software SA