Final CALL FOR PAPERS - SEFM 2008
The 6th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS Cape Town, South Africa, 10-14 November, 2008 URL: http://www.iist.unu.edu/SEFM08 DEADLINE EXTENDED * Title and abstract submission: 31 May 2008 * Paper submission: 7 June 2008 BACKGROUND AND OBJECTIVES The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. Authors are invited to submit both research and tool papers. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials, workshops and a special track on Service Engineering for Next Generation Networks and Converged Telecom and Web 2.0 Services. LOCATION, ACCOMMODATION AND TRANSPORTATION The conference will be held at the Upper Campus of the University of Cape Town. The Campus is about 10km from Cape Town city area and 14km from the airport, and sits on the slopes of Devil's Peak, overlooking the Victorian style Roschenbosch suburb of Cape Town. Accommodation will be available in the city as well as in the Roschenboch area, where most UTC students live. The conference organisation will provide daily safe transportation from the recommanded city/Roschenbosch accommodations to the conference venue. TOPICS Topics of interest include, but are not limited to: * requirement analysis and specification * software specification, verification and validation * component-based development * programming languages and type theory * formal models for service-oriented computing * web and grid computing * formal aspects of security and mobility * model checking for software and hardware systems * theorem proving and decision procedures * program analysis * fault-tolerant computing * embedded systems * real-time and hybrid systems theory * analysis of safety-critical systems * interactive systems and human error analysis * software architectures and their description languages * object and multi-agent systems, aspect oriented development * coordination and feature interaction * formal aspects of software evolution and maintenance * formal methods for testing, re-engineering and reuse * light-weight formal methods * CASE tools and tool integration * applications of formal methods and industrial case studies * socio-economic implications of the use of formal methods. KEYNOTE SPEAKERS * Robert Giacobazzi, Italy * Markus Roggenbach, UK SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers must be written in English and not exceed 10 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. LaTeX document classes can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Detailed information on the submission procedure is available on the conference website. All queries should be sent to: [EMAIL PROTECTED] The proceedings of the conference will be published by the IEEE Computer Society Press. Publication of a selection of the papers in a journal special issue is also under consideration. IMPORTANT DATES * Title and abstract submission deadline: 31 May 2008 (EXTENDED) * Paper submission deadline: 7 June 2008 (EXTENDED) * Acceptance/rejection notification: 16 July 2008 * Camera-ready version due: 16 August 2008 COMMITTEES Conference Chair: Ken MacGregor, South Africa Program Co-chairs : * Antonio Cerone, Macau SAR China * Stefan Gruner, South Africa Finance Chair: * Mike Hinchey, USA Local Arrangement Chair: * Anet Potgieter, South Africa Program Committee: * Marco Aiello, The Netherland * Luis Barbosa, Portugal * Bernhard Beckert, Germany * Jonathan Bowen, UK * Antonio Cerone, Macau SAR China (Co-chair) * Flavio Corradini, Italy * Patrick Cousot, France * Hamdan Z. Dammag, Yemen * Rocco De Nicola, Italy * George Eleftherakis, Greece * Stefania Gnesi, Italy * Valentin Goranko, South Africa * Stefan Gruner, South Africa (Co-chair) * Klaus Havelund, USA * Thomas A. Henzinger, Switzerland * Mike Hinchey, USA * Dang Van Hung, Vietnam * Jean-Marie Jacquet, Belgium * Tomasz Janowski, Macau SAR China * Shmuel Katz, Israel * Padmanabhan Krishnan, Australia * Peter Gorm Larsen, Denmark * Peter Lindsay, Australia * Tiziana Margaria, Germany * Carlo Montangero, Italy * Cecilia Esti Nugraheni, Indonesia * Tunji Odejobi, Nigeria * David von Oheimb, Germany * Philippe Palanque, France * Doron Peled, Israel * Wojciech Penczek, Poland * Alexander K.Petrenko, Russia * Paul Petterson, Sweden * Anet Potgieter, South Africa * Sanjiva Prasad, India * Steve Reeves, New Zealand * Ingrid Rewitzky, South Africa * Djamel Eddine Saidouni, Algeria * Augusto Sampaio, Brazil * Gerardo Schneider, Norway * Siraj Shaikh, UK * Bernhard Steffen, Germany * Sergiy Vilkomir, Ireland * Jim Woodcock, UK * Huibiao Zhu, China Steering Committee: * Manfred Broy, TU Munich, Germany * Antonio Cerone, UNU-IIST, Macao SAR, China * Geoff Dromey, Griffith U., Brisbane, Australia * Mike Hinchey, Loyola College in Maryland, Baltimore, USA * Mathai Joseph, TRDDC, Pune, India * Zhiming Liu, UNU-IIST, Macao SAR, China * Andrea Maggiolo-Schettini, U. of Pisa, Italy ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
