[TYPES/announce] SEFM 2014: Second Call for Papers and Workshop Proposals

lina.ye at inria.fr lina.ye at inria.fr
Tue Jan 14 02:32:31 EST 2014


Our apologies if you have received multiple copies.

####################################################################
SECOND CALL FOR PAPERS AND WORKSHOP PROPOSALS

12th International Conference on 
Software Engineering and Formal Methods
(SEFM 2014)

http://sefm2014.inria.fr/

Grenoble, France
September 1-5, 2014

####################################################################

IMPORTANT DATES

* Papers (research and tool)

Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
Notification: May 19, 2014
Camera Ready: June 13, 2014
Main conference: September 3-5, 2014

* Workshops

Proposal Submission: January 31, 2014
Notification: February 7, 2014
Workshops: September 1-2, 2014

--------------------------------------------------------------------

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
the software industry and to encourage their integration with
practical engineering methods. Papers that apply formal methods to
software engineering are especially welcome.
 
Satellite workshops provide further opportunities for collaborating 
and exchanging ideas about specific topics of Formal Methods and 
Software Engineering, from conceptual to practical aspects. 
To this end, researchers and practitioners are invited to submit 
proposals for workshops on topics in the fields of the conference.

--------------------------------------------------------------------

TOPICS OF INTEREST

The topics of this conference include, but are not limited to:

- Formal requirement analysis, modeling, specification and design
- Abstraction and refinement
- Formal methods for probabilistic verification and synthesis
- Programming languages, program analysis and type theory
- Formal methods for self-adaptive systems, 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
- Software verification and validation
- 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
- Interactive systems and human error analysis
- Formal methods for HCI
- Formal analysis of human behaviour

--------------------------------------------------------------------

SUBMISSION AND PUBLICATION 

Submissions will be peer-reviewed by at least three members of the
program committee. They will be evaluated on the basis of originality,
contribution to the field, technical and presentation quality, and
relevance to the conference.

Papers should conform to the Springer LNCS style and should describe,
in English, original work that has not been published or submitted for
publication elsewhere. PDF versions of papers should be submitted
electronically via EasyChair:

https://www.easychair.org/account/signin.cgi?conf=sefm2014  

We solicit two categories of papers:  

- Research papers should describe fully developed work and should not
exceed 15 pages. Authors of papers reporting experimental work are 
strongly encouraged to make their experimental results available to 
reviewers. Case study papers should describe significant case studies 
and lessons learned.

- Tool papers should describe an operational tool and its
contributions. Tool papers should not exceed 6 pages. Please include
the URL of the tool (if available).

Two additional pages of appendices are allowed that will not be
included in the proceedings. The proceedings of SEFM'14 will be
published by Springer Verlag in the LNCS series. 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 relevant
journal.

--------------------------------------------------------------------

WORKSHOP PROPOSAL SUBMISSION GUIDELINES

Workshop proposals should consist of the following items: 
- name and acronym of the workshop
- motivations: short (up to 1 page) scientific justification of the 
proposed topic and scope, its significance and relevance to SEFM, 
and the particular benefits of the workshop to both Formal Methods 
and Software Engineering communities
- name, affiliation, and short (up to 10 lines) bio of the workshop 
organizers 
- contact organizer 
- desired length of the workshop, (half day, full day, 2 days) 
- estimate of the audience size
- proposed format and agenda (e.g., demo sessions, tutorials, etc.) 
- potential invited speakers
- any specific requirement the workshop may have
- procedures for selecting papers and participants
- plans for dissemination, if any (e.g., workshop proceedings, or special 
issues of journals)
- preliminary call for papers (list of topics, preliminary PC, deadlines, etc.) 
and link to the workshop website (if possible)
- information about previous editions (if applicable)

Workshop proposals should consist of one pdf file and should be submitted 
by email at sefm14-workshops at inria.fr by the end of January, 2014.

--------------------------------------------------------------------

WORKSHOP ORGANISATION DETAILS

In order to make SEFM workshops appealing for participants, we plan to
keep the fares as low as possible. Precise figures have not been
decided yet, but we estimate that the workshop fee will be about 80
euros per day, with a full fee of around 500 euros for the whole week
(SEFM conference + workshops).

We also understand that having a good proceedings publication will 
attract submissions. For that, we plan to organize a joint LNCS 
proceedings volume. Nevertheless, if you have your own agreements 
for proceedings or special issue publication, you can maintain them. 

All accepted workshops would be asked to produce a Webpage and a call 
for papers. Both workshop organizers and participants will be required 
to register through the SEFM 2014 registration Webpage and attend their 
workshop.

--------------------------------------------------------------------

CONFERENCE CHAIR

Radu Mateescu - Inria Grenoble, Rhône-Alpes, France

PROGRAM CHAIRS

Dimitra Giannakopoulou, NASA Ames, USA
Gwen Salaün, Grenoble INP, Inria, France

WORKSHOP CHAIRS

Carlos Canal, University of Malaga, Spain
Marc Frappier, Sherbrooke University, Canada
Akram Idani, Grenoble INP, France

PROGRAM COMMITTEE

Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Bernhard K. Aichernig, TU Graz, Austria
Dalal Alrajeh, Imperial College, London, UK
Farhad Arbab, CWI, The Netherlands
Luis Barbosa, Universidade do Minho, Portugal
Howard Barringer, The University of Manchester, UK
Domenico Bianculli, University of Luxembourg 
Jonathan P. Bowen, Birmingham City University, UK
Mario Bravetti, Università di Bologna, Italy
Tevfik Bultan, UC Santa Barbara, USA
Hung Dang Van, Vietnam National University, Vietnam
Francisco Duran, University of Malaga, Spain
George Eleftherakis, CITY College of Thessaloniki, Greece
José Luiz Fiadeiro, Royal Holloway, University of London, UK
Mamoun Filali, IRIT CNRS Université de Toulouse, France
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany
Marc Frappier, Sherbrooke University, Canada
Hubert Garavel, Inria, France
Stefania Gnesi, ISTI-CNR, Italy
Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
Rob Hierons, Brunel University, UK
Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland
Falk Howar, Carnegie Mellon University, USA
Florentin Ipate, University of Bucharest, Romania
Martin Leucker, University of Lübeck, Germany
Peter Lindsay, The University of Queensland, Australia
Antónia Lopes, University of Lisbon, Portugal
Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Stephan Merz, Inria, France
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology, Japan
Fernando Orejas, Universitat Politècnica de Catalunya, Spain
Gordon Pace, University of Malta, Malta
Dave Parker, University of Birmingham , UK
Corina Pasareanu, NASA Ames, USA
Anna Philippou, University of Cyprus, Cyprus
Sanjiva Prasad, Indian Institute of Technology Delhi, India
Jakob Rehof, Fraunhofer ISST, Germany
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
Bernhard Rumpe, RWTH Aachen University, Germany
Augusto Sampaio, Federal University of Pernambuco, Brazil
Gerardo Schneider, Chalmers | University of Gothenburg, Sweden
Marjan Sirjani, Reykjavik University, Iceland
Matthew Staats, University of Luxembourg 
Martin Steffen, Olso University, Norway
Jing Sun, University of Auckland, New Zealand
Jun Sun, Singapore University of Technology and Design
Serdar Tasiran, Koc University, Turkey 
Massimo Tivoli, University of L'Aquila, Italy
Dongmei Zhang, Microsoft Research, China
Jianjun Zhao, Shanghai Jiao Tong University, China


More information about the Types-announce mailing list