Our apologies if you have received multiple copies. ------------------------------------------------------------------------- FSEN07 Call for Participation International Symposium on Fundamentals of Software Engineering April 17-19 2007, Tehran, Iran http://cs.ipm.ac.ir/FSEN07 In Cooperation with ACM/SigSoft and IFIP/WG2.2 Registration deadline: February 23, 2007 Follow up event: IFIP WG 2.2 Tutorials April 20-21 2007 In the case a visa application by IPM is required February 15 is the deadline. Late Registration: with penalty, up to 5th April For more information check the symposium homepage. FSEN 2007 is an international workshop organized by the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Iran (http://www.ipm.ac.ir). List of accepted papers are available at symposium homepage. Keynote Speakers ---------------- James C. Browne - University of Texas at Austin, USA Masahiro Fujita - University of Tokyo, Japan Davide Sangiorgi - University of Bologna, Italy Peter D. Mosses - Swansea University, UK IFIP WG 2.2 Tutorials ----------------------------------- Peter D. Mosses - Swansea University, UK An introduction to the semantics of programming languages: theory and practice Davide Sangiorgi - University of Bologna, Italy An introduction to the semantics of concurrency: behavioural equivalences and co-induction (more details on Homepage) Symposium goals ---------------- FSEN is an international symposium aiming to bring together researchers, engineers, developers and practitioners from universities and industry working in all the areas of formal methods. This symposium seeks to facilitate the transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN in 2005 a next symposium will be held in April 2007. Topics of Interest ------------------- The topics of this symposium include, but are not restricted to, the following: * Models of programs and systems * Software specification, validation and verification * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based development * Service-oriented development * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Application to industrial cases Committees ----------- General Chairs: Ali Movaghar Sharif University of Technology, Iran IPM, Iran Jan Rutten Centre for Mathematics and Computer Science (CWI) Vrije Universiteit, The Netherlands PC Chairs: Farhad Arbab CWI, Netherlands Leiden University, Netherlands University of Waterloo, Canada Marjan Sirjani Tehran University, Iran IPM, Iran Local Arrangement Chair: Hamidreza Shahrabi IPM, Iran Program Committee ------------------ Gul Agha - University of Illinois at Urbana - Champaign, USA Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada Mohammad Ardeshir - Sharif University of Technology, Iran Christel Baier - University of Bonn, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna James C. Browne - University of Texas at Austin, USA Michael Butler - University of Southampton, UK Nancy Day - University of Waterloo, Canada Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Radu Grosu - State University of New York at Stony Brook, USA Jan Friso Groote - Technical University of Eindhoven, Netherlands Michael Huth - Imperial College of London, UK Joost Kok - Leiden University, Netherlands Mohammad Reza Meybodi - AmirKabir University of Technology, Iran Seyyed Hassan Mirian - Sharif University of Technology, Iran Marta Kwiatkowska - University of Birmingham, UK Ugo Montanari - University of Pisa, Italy Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Andrea Omicini - University of Bologna, Italy George Papadopoulos - University of Cyprus, Cyprus Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands Sandeep Shukla - Virginia Tech, USA Marjan Sirjani - IPM, Iran; Tehran University, Iran Carolyn Talcott - SRI International, USA