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, under! 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: haeberer@atxsoftware.com 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