Thursday, December 18, 2014

The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)


                   TASE 2015 - Preliminary CALL FOR PAPERS

******************************************************************
                The 9th International Symposium on
           Theoretical Aspects of Software Engineering
                           (TASE 2015)
                12-14 September 2015, Nanjing, China
                  http://tase2015.nuaa.edu.cn

        For more information email: tase2015@easychair.org
******************************************************************

--------
OVERVIEW
--------
The 9th Theoretical Aspects of Software Engineering Conference (TASE
2015) will be held in Nanjing, China in September, 2015.

Modern society is increasingly dependent on software systems that are
becoming larger and more complex. This poses new challenges to the
various aspects of software engineering, for instance, software
dependability in trusted computing, interaction with physical
components in cyber physical systems, distribution in cloud computing
applications, etc. Hence, new concepts and methodologies are required
to enhance the development of software engineering from theoretical
aspects. TASE 2015 aims to provide a forum for people from academia
and industry to communicate their latest results on theoretical
advances in software engineering.

TASE 2015 is the 9th in the TASE series. The past TASE symposiums were
successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09),
Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13),
Changsha('14).The proceedings of the TASE 2015 symposium are planned
to be published by the IEEE Computer Society Press.

------
TOPICS
------
The symposium is devoted to theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability
* Reverse Engineering and Software Maintenance
* Service-Oriented and Cloud Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Probability in Software Engineering

----------
SUBMISSION
----------
Submission should be done through the TASE 2015 submission page,
handled by the EasyChair conference system:

https://www.easychair.org/conferences/?conf=tase2015

As in previous years, the proceedings of the conference are planned to
be published by the IEEE Computer Society Press. Papers must be
written in English and not exceed 8 pages in Two-Column IEEE format

---------------
IMPORTANT DATES
---------------
Abstract submission:  7  March 2015 (23h59 GMT)
Paper submission:    14  March 2015 (23h59 GMT)
Notification:        23  May   2015
Camera-ready:        13  June  2015
Conference:          12-14 September 2015


-------------
GENERAL CHAIR
-------------
Jifeng He         (East China Normal University, China)

-----------------
PROGRAM CO-CHAIRS
-----------------
Zhiqiu Huang      (Nanjing University of Aeronautics and Astronautics, China)
Jun Sun           (Singapore University of Technology and Design)

-----------------
STEERING COMMITTE
-----------------
Keijiro Araki     (Kyushu University, Japan)
Shengchao Qin     (Teesside University, UK)
Jifeng He         (East China Normal University, China)
Huibiao Zhu       (East China Normal University, China)
Michael Hinchey   (Lero, Ireland)

-----------------
PROGRAM COMITTIEE
-----------------
TBA

----------------
ORGANIZING CHAIR
----------------
Ou Wei            (Nanjing University of Aeronautics and Astronautics, China)

----------------
PUBLICITY CHAIRS
----------------
Jun Hun           (Nanjing University of Aeronautics and Astronautics, China)
Jun Pang          (University of Luxembourg)
Yu Zhou           (Nanjing University of Aeronautics and Astronautics, China)

25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015

   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

SETTA 2015 Symposium on Dependable Software Engineering: Theories, Tools and Applications

SETTA 2015

Symposium on Dependable Software Engineering: Theories, Tools and
Applications

Nanjing University
November 4-6, 2015


IMPORTANT DATES

June 12,2015  Abstracts
June 19,2015  Submission of papers
August 21,2015  Notification to authors
September 4,2015  Camera-ready versions


KEYNOTE SPEAKERS
Sanjoy Baruah, University of North Carolina at Chapel Hill, USA
David Harel,   Weizmann Institute of Science, Israel
Huimin Lin,    Institute of Software, CAS, China

BACKGROUND AND OBJECTIVES

The aim of the symposium is to bring together international researchers and
practitioners in the field of software technology. Its focus is on formal
methods and advanced software technologies, especially for engineering
complex, large-scale artifacts like cyber-physical systems, networks of
things, enterprise systems, or cloud-based services. Contributions relating
to formal methods or
integrating them with software engineering, as well as papers advancing
scalability or widening the scope of rigorous methods to new design goals
are especially welcome.

Being hosted in China, the symposium will also provide a platform for
building up research collaborations between the rapidly growing Chinese
computer science community and its international counterpart. The symposium
will support this process through dedicated events and therefore welcomes
both young researchers considering international collaboration in formal
methods and established researchers looking for international cooperation
and willing to attract new colleagues to the domain.

Authors are invited to submit papers on original research, industrial
applications, or position papers proposing challenges in fundamental
research and technology. The latter two types of submissions are expected
to contribute to the development of formal methods either by substantiating
the advantages of integrating formal methods into the development cycle or
through delineating need for research by demonstrating weaknesses of
existing technologies, especially when addressing new application domains.

Submissions can take the form of either normal or short papers. Short
papers can discuss ongoing research at an early stage, including PhD
projects. Papers should be written in English. Regular Papers should not
exceed 15 pages and Short Papers should not exceed 6 pages in LNCS format
(seehttp://www.springer.de/comp/lncs/authors.html for details). The
proceedings will be published as a volume in Springer's LNCS series. The
authors of a selected subset of accepted papers will be invited to submit
extended versions of their papers to appear in a special issue of the
Formal Aspect Computing journal.

TOPICS

Topics of interest include, but are not limited to:

 * Requirements specification and analysis
 * Formalisms for modeling, design and implementation
 * Model checking, theorem proving, and decision procedures
 * Scalable approaches to formal system analysis
 * Formal approaches to simulation and testing
 * Integration of formal methods into software engineering practice
 * Contract-based engineering of components, systems, and systems of systems
 * Formal and engineering aspects of software evolution and maintenance
 * Parallel and multicore programming
 * Embedded, real-time, hybrid, and cyber-physical systems
 * Mixed-critical applications and systems
 * Formal aspects of service-oriented and cloud computing
 * Safety, reliability, robustness, and fault-tolerance
 * Empirical analysis techniques and integration with formal methods
 * Applications and industrial experience reports
 * Tool integration

GENERAL CHAIR
  Jian Lv, Nanjing University, China

PROGRAMME CO-CHAIRS
  Xuandong Li, Nanjing University, China
  Zhiming Liu, Birmingham City University, UK
  Yi Wang, Uppsala University, Sweden


PUBLICITY CHAIRS
  Jonathan Bowen, Birmingham City University, UK
  Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China

PUBLICATION CHAIR
  Martin Fränzle, University of Oldenburg, Germany

LOCAL ORGANIZATION CHAIR
  Xin Chen, Nanjing University, China

PROGRAM COMMITTEE
* Farhad Arbab,  CWI and Leiden University,The Netherlands
* Luis Barbosa,  Universidade do Minho,Portugal
* Jonathan Bowen,  Birmingham City University,UK
* Nikolaj Bjorner,  Microsoft Research,USA
* Michael Butler,  University of Southampton,UK
* Van Hung Dang,  Vietnam National University,Vientam
* Martin Fränzle,  University of Oldenburg,Germany
* Goran Frehse,  Universite Joseph Fourier Grenoble 1–Verimag, France
* Lindsay Groves,  Victoria University of Wellington,New Zealand
* Tei-Wei Guo, National Taiwan University, TW, China
* Holger Hermanns,  Saarland University,Germany
* Ian J. Hayes,  University of Queensland,Australia
* Gerwin Klein,  NICTA and UNSW,Australia
* Insup Lee,  University of Pennsylvania,USA
* Xuandong Li, Nanjing University, China
* Shaoying Liu,  Hosei University,Japan
* Zhiming Liu, Birmingham City University, UK
* Mingsong LU, North Eastern University, China

* Xiaoguang Mao,  National University of Defense Technology,China
* Jun Pang,  University of Luxembourg,Luxembourg
* Paritosh Pandya,  Tata Institute of Fundamental Research Research,India
* Paul Pettersson,  Mälardalen University, Sweden
* Zongyan Qiu,  Peking University,China
* Shengchao Qin,  Teesside University,UK
* Jean-Francois Raskin,  Université Libre de Bruxelles,Belgium
* Stefan Ratschan,  Czech Academy of Sciences,CZ
* Martin Steffen,  University of Oslo,Norway
* Cesare Tinelli,  The University of Iowa,USA
* Tarmo Uustalu,  Tallinn University of Technology,Estonia
* Irina Virbitskaite,  Ershov Institute of Informatics Systems,Russian
* Farn Wang, National Taiwan University, TW, China
* Qixin Wang, The Hong Kong Polytechnic University, HK, China
* Yi Wang, Uppsala University, Sweden
* Lijun Zhang,  Institute of Software, Chinese Academy of Sciences,China
* Jianhua Zhao,  Nanjing University,China
* Huibiao Zhu,  East China Normal University,China


STEERING COMMITTEE
* Zhenhua Duan, Xi’dian University, China
* Martin Fränzle, University of Oldenburg, Germany
* Kim Larsen, Aalborg University, Denmark
* Xuandong Li, Nanjing University China
* Zhiming Liu, Birmingham City University,UK
* Sriram Rajamani, Microsoft Research India
* Ji Wang, National University of Defense Science and Technology, China
* Kwangkeun Yi, Seoul National University, Korea
* Naijun Zhan (Chair), Software Institute, Chinese Academy of Sciences,
China

FormaliSE 2015, 3rd FME Workshop on Formal Methods in Software Engineering

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

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 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)

 TASE 2015 - CALL FOR PAPERS

******************************************************************
                The 9th International Symposium on
           Theoretical Aspects of Software Engineering
                           (TASE 2015)
                12-14 September 2015, Nanjing, China
                  http://tase2015.nuaa.edu.cn

        For more information email: tase2015@easychair.org
******************************************************************

--------
OVERVIEW
--------
The 9th Theoretical Aspects of Software Engineering Conference (TASE
2015) will be held in Nanjing, China in September, 2015.

Modern society is increasingly dependent on software systems that are
becoming larger and more complex. This poses new challenges to the
various aspects of software engineering, for instance, software
dependability in trusted computing, interaction with physical
components in cyber physical systems, distribution in cloud computing
applications, etc. Hence, new concepts and methodologies are required
to enhance the development of software engineering from theoretical
aspects. TASE 2015 aims to provide a forum for people from academia
and industry to communicate their latest results on theoretical
advances in software engineering.

TASE 2015 is the 9th in the TASE series. The past TASE symposiums were
successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09),
Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13),
Changsha('14).The proceedings of the TASE 2015 symposium are planned
to be published by the IEEE Computer Society Press.

------
TOPICS
------
The symposium is devoted to theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability
* Reverse Engineering and Software Maintenance
* Service-Oriented and Cloud Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Probability in Software Engineering

----------
SUBMISSION
----------
Submission should be done through the TASE 2015 submission page,
handled by the EasyChair conference system:

https://www.easychair.org/conferences/?conf=tase2015

As in previous years, the proceedings of the conference are planned to
be published by the IEEE Computer Society Press. Papers must be
written in English and not exceed 8 pages in Two-Column IEEE format

---------------
IMPORTANT DATES
---------------
Abstract submission:  7  March 2015 (23h59 GMT)
Paper submission:    14  March 2015 (23h59 GMT)
Notification:        23  May   2015
Camera-ready:        13  June  2015
Conference:          12-14  September 2015


-------------
GENERAL CHAIR
-------------
Jifeng He          (East China Normal University, China)

-----------------
PROGRAM CO-CHAIRS
-----------------
Zhiqiu Huang       (Nanjing University of Aeronautics and Astronautics, China)
Jun Sun            (Singapore University of Technology and Design)

-----------------
STEERING COMMITTE
-----------------
Keijiro Araki      (Kyushu University, Japan)
Jifeng He          (East China Normal University, China)
Michael Hinchey    (Lero, Ireland)
Shengchao Qin      (Teesside University, UK)
Huibiao Zhu        (East China Normal University, China)

------------------
PROGRAM COMMITTIEE
------------------
Luciano Baresi     (Politecnico di Milano, Italy)
Earl Barr          (University College London, UK)
Nikolaj Bjorner    (Microsoft Research, USA)
Lubos Brim         (Masaryk University, Czech Republic)
Zining Cao         (Nanjing University of Aeronautics and Astronautics, China)
Taolue Chen        (Middlesex University, UK)
Zhenhua Duan       (Xidian University, China)
Wei Dong           (National University of Defense Technology, China)
Joaquim Gabarro    (Universitat Politecnica de Catalunya, Spain)
Jaco Geldenhuys    (University of Stellenbosch, South Africa)
Peter Habermehl    (Liafa, Paris 7, France)
Ian J. Hayes       (University of Queensland, Australia)
Dang Van Hung      (Vietnam National University, Vietnam)
Jason Lee          (University of Melbourne, Australia)
Karl Leung         (VTC, Hong Kong)
Bixin Li           (Southeast University, China)
Xiaoshan Li        (University of Macau, Macau)
Xuandong Li        (Nanjing University, China)
Zhoujun Li         (Beihang University, China)
Shaoying Liu       (Hosei University, Japan)
Martin Leucker     (University of L®πbeck, Germany)
Xiaoqing(Frank) Liu(Missouri University of Science and Technology, USA)
Antoine Min®¶       (Ecole Normale Sup®¶rieure Paris, France)
Fernando Orejas    (Universitat Politecnica de Catalunya, Spain)
Paritosh K. Pandya (Tata Institute of Fundamental Research, India)
Jun Pang           (University of Luxembourg)
Xin Peng           (Fudan University, China)
Geguang Pu         (East China Normal University, China)
Shengchao Qin      (Teesside University, UK)
Zongyan Qiu        (Peking University, China)
Cesar Sanchez      (IMDEA Software Institute, Spain)
Klaus Schneider    (University of Kaiserslautern, Germany)
Axel Simon         (Technical University of Munich, Germany)
Graeme Smith       (University of Queensland, Australia)
Colin Snook        (University of Southampton, UK)
Volker Stolz       (University of Oslo, Norway)
Kaile Su           (Griffith University, Australia)
Jing Sun           (University of Auckland, New Zealand)
Jean Pierre Talpin (INRIA, France)
Yih-Kuen Tsay      (National Taiwan University, Taiwan)
Viktor Vafeiadis   (MPI-SWS, Germany)
Margus Veanes      (Microsoft Research, USA)
Tomas Vojnar       (Brno University of Technology, Czech Republic)
Yi Wang            (Uppsala University, Sweden)
Hongji Yang        (Bath Spa University, UK)
Hongli Yang        (Beijing University of Technology, China)
Hongwei Xi         (Boston University, USA)
Yingfei Xiong      (Peking University, China)
Naijun Zhan        (Chinese Academy of Sciences, China)
Hao Zhong          (Shanghai Jiaotong University, China)
Huibiao Zhu        (East China Normal University, China)

----------------
ORGANIZING CHAIR
----------------
Ou Wei             (Nanjing University of Aeronautics and Astronautics, China)

----------------
PUBLICITY CHAIRS
----------------
Jun Hun            (Nanjing University of Aeronautics and Astronautics, China)
Jun Pang           (University of Luxembourg)
Yu Zhou            (Nanjing University of Aeronautics and Astronautics, China)

The 13th Overture Workshop (VDM)


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_Workshop This 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 Papers Our 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 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:workshop-oc@overturetool.org Program Committee K Araki, Kyushu University, Japan N Battle, Fujitsu, UK J S Fitzgerald, Newcastle University, UK T Oda, Software Research Associates, Inc., Japan JN Oliveira, Minho University, Portugal N Plat, West Consulting, Netherlands V Stolz, Oslo University, Norway M Verhoef, CHESS WISE, Netherlands Peter 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

Friday, November 14, 2014

APCB, Association de Pilotage des Conférences Internationales B (International B Conferences Steering Comittee)

Le nouveau bureau de l'association élu par l'AG de Toulouse le 6 juin 2014 est composé de :

Dominique Méry, Président, professeur des universités, Université de Nancy (France)

Jean-Raymond Abrial, Vice-Président, consultant,Marseille (France)

Jérémie Christian Attiogbé, secrétaire, professeur des universités, Université de Nantes (France)

Henri Habrias, trésorier, professeur des universités retraité, Université de Nantes (France)

Yamine Ait Ameur, documentaliste,  professeur des universités, Toulouse (France)

Michael Butler, Professor of Computer Sciences, University of Southampton (U.K.)

Thursday, July 24, 2014

Formal Methods 2015 (FM 2015), Oslo, June 22-26, 2015


--------------------------=== FM 2015 ===---------------------------- 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers --------------------------------------------------------------------- IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference ------------------------------------------------------------------------- CALL FOR PAPERS FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2015 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, empirical and experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2015 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. CONFIRMED KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, Spain Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, France Leslie Lamport, Microsoft Research, US PAPER SUBMISSION Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available at the time of review. In other words, the usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, evaluation, with screen shots and examples. Authors of tool papers should make their tool available for use by reviewers. Papers should be submitted through the FM 2015 EasyChair web site: http://www.easychair.org/conferences/?conf=fm2015. We solicit two categories of papers: Regular Papers should not exceed 15 pages in LNCS format, not counting references. Short papers, including tool papers, should not exceed 6 pages, not counting references. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no "demotions" from a regular to a short paper. BEST PAPER AWARD FM 2015 will as a new feature have a best paper award. A best paper will be selected among accepted papers, and the award will be presented at the conference. PUBLICATION Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. GENERAL CHAIR Einar Broch Johnsen, University of Oslo, NO PC CHAIRS Nikolaj Bjorner, Microsoft Research, US Frank S. de Boer, CWI, NL PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University Bernhard K. Aichernig, TU Graz Gilles Barthe, IMDEA Software Institute Nikolaj Bjorner, Microsoft Research Marcello Bonsangue, Leiden University Michael Butler, University of Southampton Andrew Butterfield, Trinity College Dublin Ana Cavalcanti, University of York David Clark, University College London Frank S. de Boer, CWI Jin Song Dong, National University of Singapore Michael Emmi, IMDEA Software Institute John Fitzgerald, Newcastle University Nate Foster, Cornell University Vijay Ganesh, IMDEA Software Institute Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires Dimitra Giannakopoulou, NASA Ames Research Center Stefania Gnesi, ISTI-CNR Ganesh Gopalakrishnan, University of Utah Orna Grumberg, Technion, Israel Institute of Technology Arie Gurfinkel, Carnegie Mellon University Reiner Haehnle, Technical University of Darmstadt Klaus Havelund, NASA Jet Propulsion Laboratory Anne E. Haxthausen, Technical University of Denmark Ian J. Hayes, University of Queensland Gerard Holzmann, NASA Jet Propulsion Laboratory Daniel Jackson, MIT Cliff Jones, Newcastle University Gerwin Klein, NICTA and UNSW Laura Kovacs, Chalmers University of Technology Marta Kwiatkowska, University of Oxford Peter Gorm Larsen, Aarhus University Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier Rustan Leino, Microsoft Research Martin Leucker, University of Luebeck Shaoying Liu, Hosei University Tom Maibaum, McMaster University Dominique Mery, Universite de Lorraine, LORIA Peter Mueller, ETH Zuerich Cesar Munoz, National Aeronautics and Space Administration David Naumann, Stevens Institute of Technology Tobias Nipkow, TU Muenchen Jose Oliveira, Universidade do Minho Olaf Owe, University of Oslo Sam Owre, SRI International Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, NASA Ames Research Center Sanjit A. Seshia, UC Berkeley Natasha Sharygina, Universita' della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design Kenji Taguchi, AIST Margus Veanes, Microsoft Research Ji Wang, National Lab. for Parallel and Distributed Processing Alan Wassyng, McMaster University Heike Wehrheim, University of Paderborn Michael Whalen, University of Minnesota Jim Woodcock, University of York Gianluigi Zavattaro, University of Bologna Pamela Zave, AT&T PUBLICITY CHAIR Martin Steffen, University of Oslo, Norway

Saturday, May 31, 2014

Titre du cours 2014-2015 de G. Berry au Collège de France

La preuve de programmes: 
pourquoi, quand, comment 
(première saison)

Réponses aux questions sur le cours de Gérard Berry au Collège de France

http://www.college-de-france.fr/media/gerard-berry/UPL2163313892198827163_2014_Berry_Cours_9_Re__ponseAuxQuestions.p

The B International Conferences

*Conference Z2B, Nantes, France,oct. 10-12 1995
*First B Conference, Nantes, France,nov. 25-27 1996
*Second B Conference,Montpellier, France, ap. 22-24 1998,
*ZB'2000, York, U.K. 28 aug, 2 sept. 2000,
*ZB'2002, Grenoble, France, 23-25 jan. 2002,
*ZB'2003, Turku, Finlande, 4-6 jun. 2003
*ZB'05, Guildford, U.K., 2005
*B'2007, Besançon, France, 2007
*B, from research to teaching, Nantes,France, 16 juin 2008
*B, from research to teaching, Nantes,France, 8 juin 2009
*B, from research to teaching, Nantes,France, 7 juin 2010
*ABZ conference: ABZ 2008, British Computer Society, London, UK, 16-18 September 2008
*ABZ conference: ABZ 2010,Oxford, Québec, Canada, 23–25 February 2010
*ABZ conference: ABZ  2012, Pisa, Italy, 18-22 June 2012
*ABZ coference: ABZ 2014, Toulouse, France, 2-6 June 2014

Monday, May 12, 2014

Dr Ib Holm Sørensen died January 2012

Nous venons d'apprendre :

http://www.cs.ox.ac.uk/news/448-full.html

Le code du Btoolkit est déposé en ligne.
The source code to the B-Toolkit has been posted 
B-Core no longer supports or maintains the B-Toolkit.
https://github.com/edwardcrichton/BToolkit

Saturday, May 3, 2014

Predicate B++

http://www.data-validation.fr/predicateb-a-predicate-animator/

BMotion Studio, a visual editor

http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/BMotion_Studio:About

"BMotion Studio, a visual editor which enables the developer of a formal model to set-up easily a domain specific visualization for discussing it with the domain expert. BMotion Studio frees the user from writing code and allows to create the visualization on the "look and feel" principle.
BMotion Studio is based on ProB and integrated into the Rigorous Open Development Environment for Complex Systems (RODIN). It supports creating visualizations for Event-B specifications. However, BMotion Studio is open for other formal languages.
Commercial support is provided by the spin-off company Formal Mind"

Le site methode-b.com

http://www.methode-b.com/
http://www.erts2014.org/

"The ERTS2 Congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientific with representatives from universities, research centers and industries.
The 2014 edition has gathered more than 100 talks, 500 participants and 80 exhibitors"

AFADL 2014

http://afadl2014.lacl.fr/http://afadl2014.lacl.fr/
http://afadl2014.lacl.fr/programme.html

Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie

https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry

Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie

The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. Talks will be in French.

Brama V0.0.22

http://www.brama.fr/
http://www.brama.fr/index-en.php

"Objective : to put in scene your models developed starting enom the language B."

Brama V0.0.22
Brama is now available in beta version.
Discover this new version.

Thursday, April 3, 2014

Event B TV

https://www.youtube.com/user/EventBTv

Case study, the landing system (suite)

ABZ'2014 Case study Track 
Accepted Papers 

Wen Su and Jean-Raymond Abrial. 
"Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System"

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto and Michael Leuschel. 
"Validation of the ABZ Landing Gear System using ProB"

Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. 
"Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module"

Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene. 
"Modeling and Analyzing using ASMs: the Landing Gear System case study"

Amel Mammar and Régine Laleau. 
"Modeling a Landing Gear System in Event-B"

Philippe Dhaussy and Ciprian Teodorov. 
"Context-aware Verification of a Landing Gear System"

Bernard Berthomieu, Silvano Dal Zilio and Lukasz Fronc. 
"Model-Checking Real-Time Properties of an Airplane Landing Gear System Using Fiacre"

Richard Banach. 
"The Landing Gear Case Study in Hybrid Event-B"

Felix Kossak. 
"Landing Gear System: An ASM-based Solution for the ABZ Case Study"

Dominique Mery and Neeraj Singh. 
"Modelling an Aircraft Landing System in Event-B"

Vitaly Savicks, Michael Butler and John Colley. 
"Co-simulation Environment for Rodin: Landing Gear Case Study"

Event B / B événementiel, web site

http://www.event-b.org/

Tutorials on B

http://deploy-eprints.ecs.soton.ac.uk/view/type/teaching=5Fresource.html

Formations à l'Atelier B 2014

http://www.atelierb.eu/formation-b/

Friday, February 21, 2014

MUSCADET 2.3, A Knowledge-Based Theorem Prover Based on Natural Deduction

D. Pastre

http://www.math-info.univ-paris5.fr/~pastre/muscadet/muscadet.html

http://link.springer.com/chapter/10.1007/3-540-45744-5_56#page-1

"Automatisation des preuves pour la vérification des règles de l'Atelier B"

Thèse de doctorat, 23 avril 2013, CNAM, Paris
Mélanie Jacquel
http://cedric.cnam.fr/fichiers/art_2850.pdf



1st International Workshop about Sets and Tools (SETS 2014)


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

                          CALL FOR PAPERS -- SETS 2014

********************************************************************************
          1st International Workshop about Sets and Tools (SETS 2014)
                         June 2, 2014, Toulouse, France
                             Affiliated to ABZ 2014
                            http://sets2014.cnam.fr/
********************************************************************************

AIM

Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of theorem proving, there is an increasing interest to automate set
theory (which is known to be a difficult problem), with some concrete
realizations, such as mp (the "main prover" of Atelier B) or Muscadet (an
automated theorem prover for natural deduction, which gives some good
performances in set theory). Sets are also the main features of some
programming languages like the former SetL language or the more recent {log}
language (pronounced as setlog).

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.

TOPICS

Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

 * Proof tools for sets
 * Constraint solvers for sets
 * Set-based programming languages
 * Automated deduction in set theory
 * Set theories for SMT solvers
 * Encoding of sets in provers
 * Use of set-based tools in formal methods
 * Use of set-based tools in mathematics
 * Comparison of set-based tools
 * Comparison between set and type theories
 * Experience reports

CONTRIBUTIONS AND PROCEEDINGS

Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

 * Research papers providing new concepts and results
 * Position papers and research perspectives
 * Experience reports
 * Tool presentations

Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.

PAPER SUBMISSION

Contributions must be submitted electronically in PDF using the SETS 2014
EasyChair web site at the following address:

https://www.easychair.org/conferences/?conf=sets2014

IMPORTANT DATES

Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
Paper notification:  April 7, 2014
Revised/final paper: April 21, 2014
Workshop:            June 3, 2014

PROGRAMME CO-CHAIRS

David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)

PROGRAMME COMMITTEE

Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Mamoun Filali (CNRS, IRIT, France)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Dominique Pastre (Université Paris Descartes, France)
Gianfranco Rossi (Università di Parma, Italy)
Mark Utting (University of Waikato, New Zealand)
Benjamin Werner (Inria Saclay - Île-de-France, École Polytechnique, France)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)


_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events