From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4972 Path: news.gmane.org!not-for-mail From: Ana.Cavalcanti@cs.york.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: ICFEM 2009: Last Call for Papers - one month to go before the abstract submission deadline Date: Mon, 15 Jun 2009 02:11:02 +0100 Message-ID: Reply-To: Ana.Cavalcanti@cs.york.ac.uk NNTP-Posting-Host: lo.gmane.org X-Trace: ger.gmane.org 1245102214 2409 80.91.229.12 (15 Jun 2009 21:43:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 15 Jun 2009 21:43:34 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Mon Jun 15 23:43:31 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MGJxh-0007Km-Fy for gsmc-categories@m.gmane.org; Mon, 15 Jun 2009 23:43:29 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MGJKe-00061M-S1 for categories-list@mta.ca; Mon, 15 Jun 2009 18:03:08 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4972 Archived-At: *************************************************************** ICFEM 2009 11th International Conference on Formal Engineering Methods *** Call For Papers *** December 9-12, 2009 Rio de Janeiro, Brazil http://icfem09.inf.puc-rio.br *************************************************************** ICFEM brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit. The topics of the conference include, but are not limited to, the following. Formal model-based development and code generation Abstraction and refinement Specification, verification and validation Formal testing approaches Integrated methods and theories for different programming paradigms Formal methods for object and component systems Tool development and integration Experiments involving verified systems Applications of formal methods There will be a special track on UML (but in the scope of the ICFEM remit as described above). ICFEM'09 will have a five-day technical programme, including two days for tutorials and workshops, and three days for a conference. INVITED SPEAKERS Manfred Broy, Germany - FME Invited Lecture Augusto Sampaio, Brazil SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Authors of a selection of the accepted papers will be invited to submit an extended version of their work to a SPECIAL ISSUE OF SCIENCE OF COMPUTER PROGRAMMING. Papers should be written in English and not exceed 20 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers will be processed through the EasyChair conference management system. To submit your paper, please visit http://www.easychair.org/conferences/?conf=icfem09. All queries should be sent to the e-mail address icfem09@inf.puc-rio.br. IMPORTANT DATES Abstract submission deadline: 13 July, 2009 Full-paper submission deadline: 20 July, 2009 Acceptance notification: 8 September, 2009 Final version due: 21 September, 2009 STEERING COMMITTEE Keijiro Araki, Japan Jin Song Dong, Singapore Chris George, China He Jifeng (Chair), China Mike Hinchey, Republic of Ireland Shaoying Liu, Japan John McDermid, UK Tetsuo Tamai, Japan Jim Woodcock, UK ORGANISING COMMITTEE Karin Breitman, Brazil Paulo Rosa, Brazil Vera Werneck, Brazil Jim Woodcock, UK (Conference chair) PROGRAM COMMITTEE Luca Aceto, Iceland Nazareno Aguirre, Argentina Bernhard Aichernig, Austria Keijiro Araki, Japan Karin Breitman, Brazil (Chair) Michael Butler, UK Andrew Butterfield, Republic of Ireland Ana Cavalcanti, UK (Chair) Rance Cleaveland, USA Jim Davies, UK Jin Song Dong, Singapore Neil Evans, UK Colin Fidge, Australia John Fitzgerald, UK Joaquim Gabarro, Spain Alex Garcia, Brazil Stefania Gnesi, Italy James Harland, Australia Hermann Haeusler, Brazil Mike Hinchey, Republic of Ireland Thierry Jeron, France Steve King, UK Kim Larsen, Denmark K. Rustan M. Leino, USA Michael Leuschel, Germany Shaoying Liu, Japan Zhiming Liu, China Patricia Machado, Brazil Tiziana Margaria, Germany Tom Maibaum, Canada Ana Melo, Brazil Dominique Mery, France David Naumann, USA Ken Robinson, Australia Markus Roggenbach, UK Helen Treharne, UK T.H. Tse, China Mark Utting, New Zealand Marcel Verhoef, The Netherlands Farn Wang, Taiwan Heike Wehrheim, Germany Wang Yi, Sweden Fatiha Zaidi, France [For admin and other information see: http://www.mta.ca/~cat-dist/ ]