| 查看: 581 | 回复: 3 | |||
| 当前主题已经存档。 | |||
xwnippon至尊木虫 (职业作家)
|
[交流]
【2010-03-22】IEEE SOFTWARE ENGINEERING AND FORMAL METHODS
|
||
|
The 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) Pisa, Italy 13--18 September 2010 URL: http://www.sefm2010.isti.cnr.it 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 facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas that are at an early stage of development. TOPICS Topics of interest include, but are not limited to: * formal requirement analysis, specification and design * programming languages, program analysis and type theory * formal methods for service-oriented and cloud computing * formal aspects of security and mobility * model checking, theorem proving and decision procedures * formal methods for real-time, hybrid and embedded systems * formal methods for safety-critical, fault-tolerant and secure systems * software architecture and coordination languages * component, object and multi-agent systems * formal aspects of software evolution and maintenance * formal methods for testing, re-engineering and reuse * light-weight and scalable formal methods * tool integration * applications of formal methods, industrial case studies and technology transfer KEYNOTE SPEAKERS * Carlo Ghezzi, Italy * Dimitra Giannakopoulou, USA * Dusko Pavlovic, UK/USA LOCATION The conference will be held at the Area della Ricerca CNR, Pisa, Italy (http://www.area.pi.cnr.it) 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. All papers must be written in English. Research and tool papers must not exceed 10 pages in the IEEE format while short papers must not exceed 5 pages in the 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/. All queries on the submissions should be sent to: pc_chair@sefm2010.isti.cnr.it. The IEEE Computer Society Press will publish the proceedings of the conference. Publication of a selection of the papers in a journal special issue is also under consideration. Papers must be submitted electronically via the Easychair System. http://www.easychair.org/conferences/?conf=sefm10 IMPORTANT DATES * Title and abstract submission deadline: 22 March 2010 * Paper submission deadline: 29 March 2010 * Acceptance/rejection notification: 15 May 2010 * Camera-ready version due: 15 June 2010 COMMITTEES Conference Chair * Andrea Maggiolo Schettini, Pisa University, Italy Program Co-chairs * Jos醇P Luis Fiadeiro University of Leicester, UK * Stefania Gnesi, ISTI-CNR, Italy Program Committee * Bernhard Aichernig, Austria * Luis Barbosa, Portugal * Marcello Bonsangue, Netherlands * Jonathan Bowen, UK * Artur Boronat, UK * Antonio Cerone, Macao * Marsha Chechik, Canada * Flavio Corradini, Italy * Jim Davies, UK * Schahram Dustdar, Austria * George Eleftherakis Greece * Stephen Gilmore, UK * Michael Hansen Denmark * Rob Hierons, UK * Klaus Havelund, USA * Dang Van Hung, Vietnam * Jean-Marie Jacquet, Belgium * Shmuel Katz, Israel * Padmanabhan Krishan, Australia * Xuandong Li, China * Zhiming Liu, Macao * Peter Lindsay, Australia * Ant醇pnia Lopes, Portugal * Carlos Lucena, Brasil * Dominique M醇Pry, France * Carlo Montangero, Italy * Franco Mazzanti, Italy * Madhavan Mukund, India * Mizuhito Ogawa, Japan * Jennifer Perez, Spain * Sanjiva Prasad, India * Rosario Pugliese, Italy * Mark Ryan, UK * Markus Roggenbach, UK * Bernhard Sch醇Btz, Germany * Gerardo Schneider, Sweden * Willem Visser. South Africa * Gianluigi Zavattaro, Italy Finance Chair * Alessandro Fantechi, DSI Florence University, Italy Tutorial Chair * Laura Semini Computer Science Department, University of Pisa Workshop Chair * Maurice ter Beek, ISTI-CNR, Italy Organising Committee * Patrizia Asirelli, ISTI-CNR, Italy (Chair) * Gianluca Trentanni, ISTI-CNR, Italy * Maria Luisa Trivella, ISTI-CNR, Italy * Eda Marchetti, ISTI-CNR, Italy Steering Committee * Manfred Broy, TU Munich, Germany * Antonio Cerone, UNU-IIST, Macao SAR, China * Geoff Dromey, Griffith U., Brisbane, Australia * Mike Hinchey, Lero-The Irish Software Engineering Research Centre, Ireland * Mathai Joseph, TRDDC, Pune, India * Zhiming Liu, UNU-IIST, Macao SAR, China * Andrea Maggiolo-Schettini, U. of Pisa, Italy -- ========================================================================== Stefania Gnesi ISTI-CNR tel: +39 050 3152918 +39 050 3152918 VIA G. MORUZZI, 1 fax: +39 050 3152920 I-56124 PISA (Italy) mobile: +39 348 8283128 +39 348 8283128 http://fmt.isti.cnr.it/ e-mail: gnesi@isti.cnr.it ========================================================================== |
回复此楼» 猜你喜欢
为什么网上很多人说本周 12号出结果
已经有4人回复
-
基金中了
已经有15人回复
-
帮忙看看fileCode
已经有8人回复
-
小木虫上这么多卖论文的，真有人买论文么？感觉没必要啊
已经有3人回复
-
FileCode能看出啥？
已经有15人回复
-
filecode
已经有8人回复
-
确定了，国自然21号放榜
已经有7人回复
-
综述论文作为代表作会不会影响评审专家的印象分？
已经有11人回复
-
关于代码变化问题，想知道的进来
已经有24人回复
-
静等基金结果
已经有16人回复
2楼2010-01-26 08:51:11
sunhw_hit
木虫 (正式写手)
永不落地的飞鸟
- 应助: 0 (幼儿园)
- 贵宾: 0.645
- 金币: 1225.1
- 散金: 50
- 红花: 2
- 帖子: 607
- 在线: 48.6小时
- 虫号: 435932
- 注册: 2007-08-25
- 专业: 声学
3楼2010-01-26 19:55:24
visitor958
至尊木虫 (文坛精英)
IEEE杂志与会议专家
- 应助: 2283 (讲师)
- 贵宾: 0.05
- 金币: 17310.5
- 散金: 2544
- 红花: 76
- 帖子: 15735
- 在线: 2926.6小时
- 虫号: 489254
- 注册: 2008-01-01
- 专业: IEEE
4楼2010-01-26 21:40:01
