25th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2015
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
DEADLINES
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
============================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 25th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2015) will be held at the University of Siena,
Siena, Italy; previous symposia were held in Canterbury, Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2015 will be co-located with PPDP 2015 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
Notification: May 25, 2015
Camera-ready (for electronic pre-proceedings): June 15, 2015
Symposium: July 13-15, 2015
Submission Guidelines
Authors should submit an electronic copy of the paper (written in English)
in PDF, formatted in the Lecture Notes in Computer Science style.
Each submission must include on its first page the paper title; authors
and their affiliations; contact author's email; abstract; and three to
four keywords which will be used to assist the PC in selecting appropriate
reviewers for the paper. Page numbers should appear on the manuscript to
help the reviewers in writing their report. Submissions cannot exceed 15
pages including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices, and thus
papers should be intelligible without them.
Papers should be submitted via the Easychair submission website for LOPSTR
2015, which you can access through the website of LOPSTR 2015.
Proceedings
The formal post-conference proceedings will be published by Springer in the
Lecture Notes in Computer Science series (to be confirmed).
Full papers can be directly accepted for publication in the formal proceedings,
or accepted only for presentation at the symposium and inclusion in informal
proceedings. After the symposium, all authors of extended abstracts and full
papers accepted only for presentation will be invited to revise and/or extend
their submissions in the light of the feedback solicited at the symposium.
Then, after another round of reviewing, these revised papers may also be
published in the formal proceedings.
Special journal issue
After the symposium, a selection of the best papers will be invited to
a special
issue of a primary computer science journal. The submissions to the
special issue
must be substantial extensions of the proceedings versions and will
undergo the
usual journal reviewing process.
Program Committee
Slim Abdennadher German University of Cairo, Egypt
Maria Alpuente Universitat Politecnica de Valencia, Spain
Demis Ballis University of Udine, Italy
Olaf Chitil University of Kent, UK
Michael Codish Ben-Gurion University, Israel
Moreno Falaschi University of Siena, Italy (Program Chair)
Jerome Feret INRIA and ENS, France
Maurizio Gabbrielli University of Bologna, Italy
Jurgen Giesl RWTH Aachen University, Germany
Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
Arnaud Gotlieb SIMULA Research Laboratory, Norway
Gopal Gupta University of Texas at Dallas, USA
Manuel Hermenegildo IMDEA, Spain
Viktor Kuncak EPFL Lausanne, Switzerland
Alexei Lisitsa University of Liverpool, UK
Narciso Marti-Oliet Universidad Complutense de Madrid, Spain
Jorge Navas NASA, USA
Kazuhiro Ogata JAIST, Japan
Carlos Olarte ECT, Universidade Federal do Rio Grande do Norte, Brasil
Catuscia Palamidessi INRIA and Ecole Polytechnique, France
Maurizio Proietti IASI-CNR, Italy
Albert Rubio Universitat Politecnica de Catalunya, Barcelona, Spain
Wim Vanhoof University of Namur, Belgium
Program and Symposium Chair:
Moreno Falaschi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
(moreno.falaschi@unisi.it)
Organizing Committee
Monica Bianchini, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
Sara Brunetti, Dept. of Information Engineering and Mathematics, Univ.
of Siena, Italy
Simone Rinaldi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
Elisa Tiezzi, Dept. of Information Engineering and Mathematics, Univ.
of Siena, Italy

Call for Papers: FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with
ICSE 2015 (May 16th?May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the?success of software projects with the current technologies cannot be
assured. For large complex projects, many approaches have proven inadequate to
assure the correct behaviour of the delivered software, despite the efforts of
the (often very skilled) software engineers involved. The lack of formalization
in key places makes software engineering overly sensitive to the weaknesses
that are inevitable in the complex activities behind software creation. It is
an increasingly complex task to develop?large software systems because the
systems are huge, with very complex behaviour, and many algorithms employed
today are ?pushing the limits? of what people can comprehend. This is where
formal methods (FMs) have a huge opportunity. The main goal of the workshop is
to foster integration between the formal methods and the software engineering
communities.
AREAS OF INTEREST include but are not limited to:
* integration of FMs in the software development life cycle
* ability of formal methods to handle real-world problemsÿ
* prescriptive/objective guidance in the use of FMs
* performance analysis based on formal approaches;
* formal methods in a certification context
* "lightweight" or usable FMs
* application experiences
* formal approaches to safety and security related issues
* cyber physical systems
* scalability of FM applications
* experimental validation
* rigorous software engineering approaches and their tool support
* formal approaches to safety and security related issues
* case studies developed/analyzed with formal approaches
The PROGRAM will start with an invited speaker, followed by presentations of
submitted papers. The workshop will end with a round table discussion (PC
members and workshop audience), focusing on the subjects that came up during
the workshop.
SUBMISSIONS are limited to 7 pages in ACM Formatting Guidelines(*) (LaTeX
users, please use the "Option 2" style). They will be published as part of the
(electronic) proceedings of ICSE 2013. All papers submitted to the workshop
must be unpublished original work and should not be under review or submitted
elsewhere while being under consideration. All submissions must be in English
and in PDF format through online upload to the workshop submission website at
the following URL:
https://www.easychair.org/conferences/?conf=formalise2015
Three or four PC members will review all submissions. Papers will be judged on
the basis of their clarity, relevance, originality, and contribution to the
field.
PROCEEDINGS will be published by IEEE Computer Society. At least one of the
authors of an accepted paper is expected to register and be present at the
workshop.
IMPORTANT DATES are as follows:
- 23 January 2015: submission deadline for workshop papers
- 18 February 2015: notification of acceptance/rejection to authors
- 27 February 2015: camera-ready copy deadline for workshop papers
- 18 May 2015: FormaliSE workshop held in Florence, Italy
OC/PC Chairs are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
Consulting BV, The Netherlands). The OC/PC Chairs can be reached via e-mail:
oc@formalise.org. If you intend to submit a paper you are invited to inform us
in advance.
The PROGRAM COMMITTEE consists of:
- Keijiro Araki (Kyushu University, Japan)
- Andreas Bollinn (Klagenfurt University, Austria)
- Ana Cavalcanti (York University, UK)
- Manfred Broy (Technical University of Munich, Germany)
- Roderick Chapman (Protean Code Ltd., UK)
- Nancy Day (University of Waterloo, Canada)
- Ewen Denney (SGT/NASA Ames, USA)
- Nicolas D'Ippolito (Universidad de Buenos Aires, Argentina)
- Cindy Eisner (IBM Haifa Research Laboratory, Israel)
- Alessandro Fantechi (University of Florence, Italy)
- Antonio Filieri (University of Stuttgart, Germany)
- Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
- Mats P.E. Heimdahl (University of Minnesota, USA)
- Claire Ingram (Newcastle University, UK)
- Peter Gorm Larsen (Aarhus University, Denmark)
- Marc Lawford (MacMaster University, Canada)
- Thierry Lecomte (ClearSy, France)
- Yves Ledru (IMAG, France)
- Axel Legay (INRIA Rennes, France)
- Antonia Lopes (University of Lisbon, Portugal)
- Tiziana Margaria (Potsdam University, Germany)
- Ravindra Metta (Tata Consultancy Services, India)
- Henry Muccini (Universita degli Studi dell?Aquila, Italy)
- Matteo Rossi (Politecnico di Milano, Italy)
- Thomas Santen (Microsoft, UK)
- Laura Semini (Pisa University, Italy)
- Marjan Sirjani (Reykjavik University, Iceland)
(*) Exact formatting guidelines are to be confirmed by ICSE. Please see our
website for the latest information.

MBT 2015
10th Workshop on Model-Based Testing
April 18, 2015, London, UK
http://mbt-workshop.org/
Satellite workshop of ETAPS 2015
CALL FOR PAPERS
*MBT workshop 2015 celebrates its 10th anniversary. We invite you to *
*join academicians and MBT practitioners to share the *
*vision of the challenges that MBT faces, new directions in model-based *
*verification and testing, and the ways to integrate MBT and advanced *
*verification techniques in engineering and industrial practice.*
The workshop is devoted to model-based testing of both software and
hardware. Model-based testing uses models describing the required behavior
of the system under consideration to guide such efforts as test selection
and test results evaluation. Testing validates the real system behavior
against models and checks that the implementation conforms to them, but is
capable also to find errors in the models themselves.
Model-based testing has gained attention with the popularization of models
in software/hardware design and development. Of particular importance are
formal models with precise semantics, such as state-based formalisms,
algebraic specifications, or other mathematical descriptions of possible
system behavior. Testing with such models allows one to detect subtle bugs
and at the same time to measure the degree of the product's conformance with
the model. Recently model-based testing get particular importance in such
domains as security testing and testing of hybrid systems due to their
inherent complexity.
Techniques to support model-based testing are drawn from diverse areas, like
deductive verification, model checking, constraint solving, control and data
flow analysis, grammar analysis, Markov processes, etc.
The intent of this workshop is to bring together researchers and users of
model-based testing techniques and tools to discuss the state of the art in
theory, applications, tools, and industrialization of model-based testing
and related domains.
The workshop proceedings will appear in EPTCS.
SUBMISSION TOPICS
Original submissions are solicited from representatives of both industry and
academia. They are invited to present their work, plans, and views related
to model-based testing. The topics of interest include but are not limited
to:
* Online and offline test sequence generation methods and tools
* Test data selection methods and tools
* Model-based test coverage metrics
* Automatic domain/partition analysis
* Combination of formal verification and testing
* Test oracle construction techniques
* Scenario based test generation
* Language/technology support for testing, domain-specific testing languages
* Formalisms and theories of model-based testing
* Using high-level models (in SysML, AADL, etc.) for testing
* Runtime verification and model-based testing
* Application of model checking techniques in testing
* Use of constraint solving and constraint inference in testing
* Game-theoretic and probabilistic approaches to test selection
* Model-based security testing, testing of other non-functional requirements
* Model-based testing of hybrid and cyber-physical systems
* Model-based testing of product lines
* Problems and achievements of model-based testing in industry
Positional papers on advances in model-based testing, verification,
modelling of software systems are higly appreciated.
IMPORTANT DATES
Paper submissions: December 31, 2014
Notification of acceptance: January 23, 2015
Final versions: February 6, 2015
PAPER SUBMISSION
Research papers should be limited to 15 pages in EPTCS format, describing
significant research results based on sound theory or experimental
assessment.
We also solicit industry experience papers and presentations on the use of
model-based testing in industrial environments and analysis of results
obtained. Industrial papers should be limited to 15 pages. Industrial
presentations may be submitted as annotations only.
Paper submission is now open at
http://www.easychair.org/conferences/?conf=mbt2015
PROGRAM COMMITTEE
Alexander Petrenko (ISPRAS)
Holger Schlingloff (Institut für Informatik)
Nikolay Pakulin (ISPRAS)
Mika Katara (Intel Finland Oy)
Philipp Helle (EADS Deutschland GmbH)
Victor Kuliamin (Institute for System Programming, Russian Academy of
Sciences)
Alexander Kosachev (Institute for System Programming, Russian Academy of
Sciences)
Fabien Peureux (Institut FEMTO-ST (UMR CNRS 6174) and Smartesting)
Bruno Legeard (Smartesting)
Stephan Weissleder (Thales Deutschland)
Alexandre Petrenko (CRIM)
Jonathan P. Bowen (Birmingham City University)
Jan Peleska (TZI, Universitat Bremen, Germany)
Julien Schmaltz (Open University of the Netherlands)
Bernhard K. Aichernig (TU Graz)
John Derrick (Unversity of Sheffield)
Lars Frantzen (Radboud University Nijmegen)
Mounier Laurent (VERIMAG)
Bruno Marre (CEA LIST)
Nina Yevtushenko (Tomsk State University)

The 13th Overture WorkshopWill be held on the 23rd June 2015 in connection with the Formal Methods 2015 symposiumhttp://wiki.overturetool.org/index.php/13th_Overture_WorkshopThis is the 13th in a series of workshops on the Vienna Development Method (VDM)seen in the open-source Overture setting. Although VDM is one of the oldest formalmethods to have enjoyed a level of industry use, it nevertheless has a lively andyouthful research community, which has grown up around the development of theOverture open tools platform. On top of the Overture platform the Crescendo andSymphony tools from respectively the DESTECS and COMPASS projects, as well as thenew development that will take place in the new INTO-CPS project (seehttp://into-cps.au.dk/). The platform provides a vehicle for activity in modelling
and analysis technology including static analysis, interpreters, test generation and
execution support and model checking. The growth of this community has been greatly
assisted by the Overture workshop series. There is a long tradition for having these
workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did
not collocate with the FM’14 symposium in Singapore since we felt that it would be
hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter
Gorm Larsen delivered a Crescendo tutorial (seeand analysis technology including static analysis, interpreters, test generation andexecution support and model checking. The growth of this community has been greatlyassisted by the Overture workshop series. There is a long tradition for having theseworkshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We didnot collocate with the FM’14 symposium in Singapore since we felt that it would behard to gather enough attendance so instead John Fitzgerald, Ken Pierce and PeterGorm Larsen delivered a Crescendo tutorial (seehttp://crescendotool.org/).
Proceedings of previous workshops may be obtained from Proceedings of previous workshops may be obtained from http://www.overturetool.org/.
Call for Papers
Our workshop aims to provide a forum for discussing and advancing the state of the
art in formal modelling and analysis using VDM and its family of associated
formalisms including extensions for distributed and real-time systems. We strongly
welcome contributions on the development of tools for VDM as well as developments in
foundations and reports of practical experience. The scope of the workshop includes,
but is not restricted to:
* Reports of applications of VDM technology, especially reports of industrial use.
* Papers describing requirements, designs, implementations and case studies of
support tools for VDM, whether or not implemented on the Overture open tools
platform.
* Papers on the foundations and methodology associated with VDM and its
extensions, including the description of real-time and distributed systems.
* Papers combining VDM with other notations and tools.
* Position papers on VDM and its promotion in industry practice.
* Papers on extensions of Overture including Crescendo, Symphony and VDMPad.
Important Dates
* 1st April 2015: Submission deadline for workshop papers
* 1st May 2015: Notification to workshop paper authors
* 1st June 2015: Final version of workshop papers due
Organisers
Fuyuki ISHIKAWA, National Institute of Informatics, Japan
Peter Gorm LARSEN, Aarhus University, Denmark
The organising committee can be reached via the following e-mail address:
Call for PapersOur workshop aims to provide a forum for discussing and advancing the state of theart in formal modelling and analysis using VDM and its family of associatedformalisms including extensions for distributed and real-time systems. We stronglywelcome contributions on the development of tools for VDM as well as developments infoundations and reports of practical experience. The scope of the workshop includes,but is not restricted to: * Reports of applications of VDM technology, especially reports of industrial use. * Papers describing requirements, designs, implementations and case studies ofsupport tools for VDM, whether or not implemented on the Overture open toolsplatform. * Papers on the foundations and methodology associated with VDM and itsextensions, including the description of real-time and distributed systems. * Papers combining VDM with other notations and tools. * Position papers on VDM and its promotion in industry practice. * Papers on extensions of Overture including Crescendo, Symphony and VDMPad.Important Dates * 1st April 2015: Submission deadline for workshop papers * 1st May 2015: Notification to workshop paper authors * 1st June 2015: Final version of workshop papers dueOrganisersFuyuki ISHIKAWA, National Institute of Informatics, JapanPeter Gorm LARSEN, Aarhus University, DenmarkThe organising committee can be reached via the following e-mail address:workshop-oc@overturetool.orgProgram CommitteeK Araki, Kyushu University, JapanN Battle, Fujitsu, UKJ S Fitzgerald, Newcastle University, UKT Oda, Software Research Associates, Inc., JapanJN Oliveira, Minho University, PortugalN Plat, West Consulting, NetherlandsV Stolz, Oslo University, NorwayM Verhoef, CHESS WISE, NetherlandsPeter Gorm LarsenProfessor, PhD (head of software engineering)Telephone: +45 41 89 32 60Mail: pgl@eng.au.dkAarhus University, Department of Engineering, Finlandsgade 22, DK-8200 Aarhus N,Phone: +45 41893000