Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Final CfP: 10th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2012)
5 views
Skip to first unread message
Jonathan Bowen
Mar 28, 2012, 2:29:06 PM3/28/12
to George Eleftherakis
=========================================================
CALL FOR PAPERS - SEFM 2012
10th International Conference on SOFTWARE ENGINEERING AND FORMAL
METHODS (SEFM 2012)
1-5 October 2012
Thessaloniki, Greece
URL: http://sefm2012.city.academic.gr
For any query/comment contact SEFM 2012 Organizing Committee
sef...@gmail.com
+++++++++++++++++++++++++++++++++++++++++++++++++++
IMPORTANT DATES
* 04/04/2012 Abstract submission
* 19/04/2012 Full paper submission
* 24/05/2012 Notification of acceptance
* 15/06/2012 Final (camera ready) paper
* 1-5/10/2012 10th SEFM Conference
+++++++++++++++++++++++++++++++++++++++++++++++++++
KEYNOTE SPEAKERS
Three Distinguished Professsors in the field joined SEFM 2012 in
Thessaloniki as keynote speakers:
* Prof. Cliff B. Jones
* Prof. Corrado Priami
* Prof. Wolfgang Reisig
For more information visit the website of the conference
WORKSHOPS AND TUTORIALS
Four satellite workshops joined SEFM 2012! For more information visit
the website of the conference.
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 which are at an early stage of
development and which have not yet been thoroughly evaluated.
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
* education and formal methods
LOCATION
The conference will be held in the beautiful city of Thessaloniki in
Greece. For more information about the city visit
http://en.wikipedia.org/wiki/Thessaloniki
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 15 pages in the LNCS format
while short papers must not exceed 8 pages in the LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details).
All queries on the submissions should be sent to: sef...@gmail.com
Papers must be submitted electronically via the Easychair System:
https://www.easychair.org/conferences/?conf=sefm2012
The proceedings will be published in the Springer Lecture Notes in
Computer Science series (LNCS, http://www.springer.com/lncs).
After the conference, authors of selected papers will be invited to
submit an extended version of their work to be considered for
publication in a special issue of the SoSyM (http://www.sosym.org/)
journal (Software and Systems Modeling, Springer), following the
standard reviewing process of the journal.
COMMITTEES
Conference Chair
* Mike Holcombe (University of Sheffield, UK)
Program Co-Chairs
* George Eleftherakis (CITY College, International Faculty of the
University of Sheffield, Greece)
* Mike Hinchey (Lero-the Irish Software Engineering Research Centre,
Ireland)
Workshop Co-Chairs
* Sara Fernandes, United Nations University (UNU-IIST), Macao
* Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Publicity Chair
* Jonathan Bowen, Museophile Limited, UK
Program Committee
* Bernard K. Aichernig, Austria - TU Graz
* Luis Barbosa, Portugal - Universidade do Minho
* Fevzi Belli, Germany - University of Paderborn
* Alexandre Bergel, Chile - University of Chile
* Jonathan P. Bowen, UK - Museophile Limited
* Christof J. Budnik, USA - Siemens
* Anna Cavalcanti, UK - University of York
* Antonio Cerone, Macao - United Nations University, UNU-IIST
* Benoit Combemale, France - IRISA, Université de Rennes
* Anthony J. Cowling, UK - University of Sheffield
* Van Hung Dang, Vietnam - Vietnam National University
* Dimitris Dranidis Greece - CITY College, Int. Faculty of the
Univ. of Sheffield
* Jose Luiz Fiadeiro, UK - University of Leicester
* Martin Franzle, Germany - Carl von Ossietzky Universitat
Oldenburg
* John Fitzgerald, UK - Newcastle University
* Dimitra Giannakopoulou, USA - NASA Ames
* Stefania Gnesi, Italy - ISTI-CNR
* Klaus Havelund, USA - Jet Propulsion Laboratory, California
Inst. of Technology
* Rob Hierons, UK - Brunel University
* Florentin Ipate, Romania - University of Pitesti
* Jean-Marie Jacquet, Belgium - University of Namur
* Tomasz Janowski, Macao - UNU-IIST Center for Electronic
Governance
* Panagiotis Katsaros, Greece - Aristotle University of
Thessaloniki
* Petros Kefalas, Greece - South-East European Research Centre
(SEERC)
* Joseph Kiniry, Denmark - IT Universtity of Copenhagen
* Martin Leucker, Germany - University of Lubeck
* Peter Lindsay, Australia - The University of Queensland
* Zhiming Liu, Macao - United Nations University
* Antonia Lopez, Portugal - University of Lisbon
* Tiziana Margaria, Germany - University of Potsdam
* Mercedes Merayo, Spain - Univverisad Complutense de Madrid
* Stephan Merz, France - INRIA Lorraine
* Marius Minea, Romania - Politehnica University of
Timisoara
* Mizuhito Ogawa, Japan - Japan Advanced Institute of Science
and Technology
* Olaf Owe, Norway - University of Oslo
* Gordon Pace, Malta - University of Malta
* Anna Philippou, Cyprus - University of Cyprus
* Ernesto Pimentel, Spain - University of Malaga
* Sanjiva Prasad, India - Indian Institute of Technology Delhi
* Anders Ravn, Denmark - Aalborg University
* Wolfgang Reisig, Germany - Humboldt University of Berlin
* Leila Ribeiro, Brazil - Universidade Federal do Rio Grande
do Sul
* Bernhard Rumpe, Germany - RWTH Aachen University
* Augusto Sampaio, Brazil - Federal university of Pernambuco
* Ina Schaefer, Germany - Technical University Braunschweig
* Gerardo Schneider, Sweeden - Chalmers - University of
Gothenburg
* Joseph Sifakis, Switzerland - EPFL
* Massimo Tivoli, Italy - University of L'Aquila
* Viktor Vafeiadis, Germany - MPI-SWS
* Husnu Yenigun, Turkey - Sabanci University
Steering Committee
* Manfred Broy, TU Munich, Germany
* Antonio Cerone, UNU-IIST, Macao SAR, China
* 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, Pisa University, Italy
George Eleftherakis and Mike Hinchey
on behalf of the SEFM 2012 Programme Committee
CALL FOR PAPERS - SEFM 2012
10th International Conference on SOFTWARE ENGINEERING AND FORMAL
METHODS (SEFM 2012)
1-5 October 2012
Thessaloniki, Greece
URL: http://sefm2012.city.academic.gr
For any query/comment contact SEFM 2012 Organizing Committee
sef...@gmail.com
+++++++++++++++++++++++++++++++++++++++++++++++++++
IMPORTANT DATES
* 04/04/2012 Abstract submission
* 19/04/2012 Full paper submission
* 24/05/2012 Notification of acceptance
* 15/06/2012 Final (camera ready) paper
* 1-5/10/2012 10th SEFM Conference
+++++++++++++++++++++++++++++++++++++++++++++++++++
KEYNOTE SPEAKERS
Three Distinguished Professsors in the field joined SEFM 2012 in
Thessaloniki as keynote speakers:
* Prof. Cliff B. Jones
* Prof. Corrado Priami
* Prof. Wolfgang Reisig
For more information visit the website of the conference
WORKSHOPS AND TUTORIALS
Four satellite workshops joined SEFM 2012! For more information visit
the website of the conference.
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 which are at an early stage of
development and which have not yet been thoroughly evaluated.
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
* education and formal methods
LOCATION
The conference will be held in the beautiful city of Thessaloniki in
Greece. For more information about the city visit
http://en.wikipedia.org/wiki/Thessaloniki
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 15 pages in the LNCS format
while short papers must not exceed 8 pages in the LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details).
All queries on the submissions should be sent to: sef...@gmail.com
Papers must be submitted electronically via the Easychair System:
https://www.easychair.org/conferences/?conf=sefm2012
The proceedings will be published in the Springer Lecture Notes in
Computer Science series (LNCS, http://www.springer.com/lncs).
After the conference, authors of selected papers will be invited to
submit an extended version of their work to be considered for
publication in a special issue of the SoSyM (http://www.sosym.org/)
journal (Software and Systems Modeling, Springer), following the
standard reviewing process of the journal.
COMMITTEES
Conference Chair
* Mike Holcombe (University of Sheffield, UK)
Program Co-Chairs
* George Eleftherakis (CITY College, International Faculty of the
University of Sheffield, Greece)
* Mike Hinchey (Lero-the Irish Software Engineering Research Centre,
Ireland)
Workshop Co-Chairs
* Sara Fernandes, United Nations University (UNU-IIST), Macao
* Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
Publicity Chair
* Jonathan Bowen, Museophile Limited, UK
Program Committee
* Bernard K. Aichernig, Austria - TU Graz
* Luis Barbosa, Portugal - Universidade do Minho
* Fevzi Belli, Germany - University of Paderborn
* Alexandre Bergel, Chile - University of Chile
* Jonathan P. Bowen, UK - Museophile Limited
* Christof J. Budnik, USA - Siemens
* Anna Cavalcanti, UK - University of York
* Antonio Cerone, Macao - United Nations University, UNU-IIST
* Benoit Combemale, France - IRISA, Université de Rennes
* Anthony J. Cowling, UK - University of Sheffield
* Van Hung Dang, Vietnam - Vietnam National University
* Dimitris Dranidis Greece - CITY College, Int. Faculty of the
Univ. of Sheffield
* Jose Luiz Fiadeiro, UK - University of Leicester
* Martin Franzle, Germany - Carl von Ossietzky Universitat
Oldenburg
* John Fitzgerald, UK - Newcastle University
* Dimitra Giannakopoulou, USA - NASA Ames
* Stefania Gnesi, Italy - ISTI-CNR
* Klaus Havelund, USA - Jet Propulsion Laboratory, California
Inst. of Technology
* Rob Hierons, UK - Brunel University
* Florentin Ipate, Romania - University of Pitesti
* Jean-Marie Jacquet, Belgium - University of Namur
* Tomasz Janowski, Macao - UNU-IIST Center for Electronic
Governance
* Panagiotis Katsaros, Greece - Aristotle University of
Thessaloniki
* Petros Kefalas, Greece - South-East European Research Centre
(SEERC)
* Joseph Kiniry, Denmark - IT Universtity of Copenhagen
* Martin Leucker, Germany - University of Lubeck
* Peter Lindsay, Australia - The University of Queensland
* Zhiming Liu, Macao - United Nations University
* Antonia Lopez, Portugal - University of Lisbon
* Tiziana Margaria, Germany - University of Potsdam
* Mercedes Merayo, Spain - Univverisad Complutense de Madrid
* Stephan Merz, France - INRIA Lorraine
* Marius Minea, Romania - Politehnica University of
Timisoara
* Mizuhito Ogawa, Japan - Japan Advanced Institute of Science
and Technology
* Olaf Owe, Norway - University of Oslo
* Gordon Pace, Malta - University of Malta
* Anna Philippou, Cyprus - University of Cyprus
* Ernesto Pimentel, Spain - University of Malaga
* Sanjiva Prasad, India - Indian Institute of Technology Delhi
* Anders Ravn, Denmark - Aalborg University
* Wolfgang Reisig, Germany - Humboldt University of Berlin
* Leila Ribeiro, Brazil - Universidade Federal do Rio Grande
do Sul
* Bernhard Rumpe, Germany - RWTH Aachen University
* Augusto Sampaio, Brazil - Federal university of Pernambuco
* Ina Schaefer, Germany - Technical University Braunschweig
* Gerardo Schneider, Sweeden - Chalmers - University of
Gothenburg
* Joseph Sifakis, Switzerland - EPFL
* Massimo Tivoli, Italy - University of L'Aquila
* Viktor Vafeiadis, Germany - MPI-SWS
* Husnu Yenigun, Turkey - Sabanci University
Steering Committee
* Manfred Broy, TU Munich, Germany
* Antonio Cerone, UNU-IIST, Macao SAR, China
* 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, Pisa University, Italy
George Eleftherakis and Mike Hinchey
on behalf of the SEFM 2012 Programme Committee
0 new messages