==================================================* The 3rd IEEE International Workshop on Formal Methods Integration – FMi 2015 In conjunction with the 16th IEEE IRI 2015 http://www.ieee-iri.org San Francisco, USA, August 13-15, 2015 *==================================================* *Important dates * Abstract Submission deadline: April 7, 2015 Paper submission deadline: April 15, 2015 Paper notification: May 20, 2015 Camera-ready paper due: May 30, 2015 Registration due: May 30, 2015 *Scope and topics* Formal methods seek to contribute to the engineering of dependable systems by applying sound techniques based on computer science fundamentals. Complex systems often involve different formalisms to deal with the modeling of their different aspects, as each formalism is specific to only some system aspects and none is perfectly supporting all aspect constructs and their related semantics. Accordingly, different analysis techniques are required to check the different system views and verify different kinds of properties. Formalism integration is intended to support coherent specification and analysis of different aspects of a system. The FMi workshop aims at further research into hybrid approaches to formal modeling and analysis. It seeks contributions from researchers and practitioners interested in all aspects of integrating methods, either formal or semi-formal, for system development, covering all engineering development phases from user requirements through design and analysis techniques to tools. The workshop also encourages new initiatives of building bridges between informal, semi-formal, and formal notations. Authors are invited to submit both research and tool papers. Topics of interest include, but are not limited to: - scalable formal methods, - component-based specification and analysis, - integrated software/hardware specification and analysis, - hybrid and embedded systems modeling and analysis, - object and multi-agent systems modeling and analysis, - requirement specification and analysis, - software and hardware specification, verification, and validation, - theorem proving and decision procedures, - formal aspects of software evolution and maintenance, - formal methods for re-engineering and reuse, - formal languages integration, - semi-formal (UML, SysML, …) and formal model integration, - informal and formal language integration, - integration of formal methods into software engineering practice, - integrated analysis techniques, - tools integration, - integration of formal methods in education, - integration of formal methods in health, - integration of formal methods in industry, - integration of formal methods in security. *Paper submission * Submitted papers must be unpublished and not considered elsewhere for publication. Submissions will undergo a rigorous review process handled by the Technical Program Committee. Papers will be selected based on their originality, significance, relevance, and clarity of presentation. Only electronic submissions in PDF format through the EasyChair submission site: *https://easychair.org/conferences/?conf=fmi2015 <https://easychair.org/conferences/?conf=fmi2015>* will be considered. Papers must be in English, up to 8 pages in IEEE format, including references and appendices. The IEEE LaTeX and Microsoft Word templates, as well as formatting guidelines, can be found on the paper submission instructions available at the main conference website. *Paper publication * At least one of the authors must register and present the paper, if accepted. Registered papers will be published as workshop papers in the IEEE IRI conference proceedings published by IEEE Computer Society Press. Presented papers will be invited to be extended and considered for publication in a special issue of Advances in Intelligent Systems and Computing, edited by Springer. *Workshop Chair* Thouraya Bouabana Tebibel, LCSI Laboratory, Ecole Nationale Supérieure d’Informatique – ESI, Alger, Algeria *Program Committee* Alessandro Abate, University of Oxford, UK Erika Ábrahám, RWTH Aachen University, Germany Wolfgang Ahrendt, Chalmers University of Technology, Sweden Yamine Ait Ameur, University of Toulouse, France Keijiro Araki, Kyushu University, Japan Cyrille Artho, AIST, Japan Kyungmin Bae, Carnegie Mellon University, USA Luis Barbosa, Universidade do Minho, Portugal Kamel Barkaoui, CNAM, France Marcello Bonsangue, Leiden University, The Netherlands Phillip J Brooke, Teesside University, UK Andrew Butterfield, Trinity College Dublin, Ireland Radu Calinescu, University of York, UK Allaoua Chaoui, University of Constantine, Algeria Krishnendu Chatterjee, Institute of Science and Technology, Austria Hung Dang-Van, UET, Vietnam National University, Vietnam John Derrick, University of Sheffield, UK Bernd Finkbeiner, Saarland University, Germany Alex Groce, Oregon State University, USA Reiner Hähnle, Technical University of Darmstadt, Germany René Rydhof Hansen, Aalborg University, Denmark Klaus Havelund, JPL, California Institute of Technology, USA Rolf Hennicker, Ludwig-Maximilians University, Germany Nadjet Kamel, University of Sétif, Algeria Ferhat Khendek, Concordia University, Canada Peter Gorm Larsen, Aarhus University, Denmark Michele Loreti, University of Florence, Italy José Merseguer, University of Zaragoza, Spain Bruno Monsuez, Ensta, France Wojciech Mostowski, University of Twente, The Netherlands Alexandre Mota, Centre of Informatics, Brazil John Mullins, École polytechnique de Montréal, Canada Brina Nielsen, Aalborg University, Denmark Gordon J. Pace, University of Malta, Malta Luigia Petre, Åbo Akademi University, Finland Alexandre Petrenko, Centre de Recherche Informatique de Montréal, Canada Erik Poll, Radboud University Nijmegen, The Netherlands Matteo Rossi, Politecnico di Milano, Italy Kristin Yvonne Rozier, NASA Ames Research Center, USA Stuart H. Rubin, SSC-Pacific, USA Philipp Ruemmer, Uppsala University, Sweden Djamel Eddine Saidouni, University of Constantine, Algeria Augusto Sampaio, Federal University of Pernambuco, Brazil Steve Schneider, University of Surrey, UK Christophe Sibertin Blanc, University of Toulouse 1, France Jiri Srba, Aalborg University, Denmark Shuling Wang, Chinese Academy of Sciences, China Gianluigi Zavattaro, University of Bologna, Italy *Contact* Thouraya Bouabana Tebibel at t_tebibel@esi.dz
Monday, March 2, 2015
The 3rd IEEE International Workshop on Formal Methods Integration – FMi 2015
The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)
******************************************************************
F-IDE 2015 - CALL FOR PAPERS
******************************************************************
The 2nd Formal Integrated Development Environment Workshop
(F-IDE 2015)
22 June 2015, Oslo, Norway
http://www.eecs.qmul.ac.uk/~masci/fide2015
******************************************************************
--------
OVERVIEW
--------
The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held
in Oslo, Norway, in June, 2015.
High levels of safety, security and also privacy standards require the use of formal
methods to specify and develop compliant software (sub)systems. Any standard comes
with an assessment process, which requires a complete documentation of the
application in order to ease the justification of design choices and the review of
code and proofs.
Ideally, an F-IDE dedicated to such developments should comply with several
requirements. The first one is to associate a logical theory with a programming
language, in a way that facilitates the tightly coupled handling of specification
properties and program constructs. The second one is to offer a language/environment
simple enough to be usable by most developers, even if they are not fully acquainted
with higher-order logics or set theory, in particular by making development of
proofs as easy as possible. The third one is to offer automated management of
application documentation. It may also be expected that developments done with such
an F-IDE are reusable and modular. Moreover, tools for testing and static analysis
may be embedded in this F-IDE, to help address most steps of the assessment
process.
------
TOPICS
------
The workshop is opened to contributions on all aspects of a system development
process, including specification, design, implementation, analysis and
documentation. It should allow the presentation of tools, methods, techniques and
experiments. Topics of interest include, but are not limited to, the following:
– F-IDE building: design and integration of languages, compilation
– How to make high-level logical and programming concepts palatable to industrial
developers
– Integration of Object-Oriented and modularity features
– Integration of static analyzers
– Integration of automatic proof tools, theorem provers and testing tools
– Documentation tools
– Impact of tools on certification
– Experience reports of developing F-IDE
– Experience reports of using F-IDE
– Experience reports of formal methods-based assessments of industrial applications
----------
SUBMISSION
----------
Papers must be written in English, not exceed 15 pages in LNCS format, not counting
references, and follow the FM 2015 Format and Submission Guidelines.
They can be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations
Papers can be submitted through Easychair:
https://easychair.org/conferences/?conf=fide2015
-----------
PROCEEDINGS
-----------
- Preliminary proceedings, including all the papers selected for the workshop, will
be available electronically at the workshop.
- Post proceedings are under consideration as Electronic Proceedings in Theoretical
Computer Science (ETPCS) proceedings.
---------------
IMPORTANT DATES
---------------
Abstract submission: March 24, 2015 (23h59 GMT)
Paper submission: March 31, 2015 (23h59 GMT)
Notification: April 30, 2015
Camera-ready: May 15, 2015
Workshop: June 22, 2015
-----------------
PC CO-CHAIRS
-----------------
Catherine Dubois ENSIIE, Cedric, catherine (dot) dubois (at) ensiie (dot) fr
Paolo Masci Queen Mary University of London, paolo (dot) masci (at) eecs
(dot) qmul (dot) ac (dot) uk
Dominique Mery Université de Lorraine, dominique (dot) mery (at) loria (dot) fr
-----------------
PC MEMBERS (to be completed)
-----------------
Bernhard Beckert Karlsruhe Institute of Technology
Jose Campos Universidade do Minho
Paul Curzon Queen Mary University of London
Carlo Alberto Furia ETH Zurich
Therese Hardin UPMC
Rustan Leino Microsoft Research
Michael Leuschel University of Dusseldorf
Claude Marche INRIA
Stefan Mitsch Carnegie Mellon University
Patrick Oladimeji Swansea University
Suzette Person NASA Langley Research Center
Francois Pessaux ENSTA ParisTech
Marie-Laure Potet Laboratoire Verimag
Steve Reeves Waikato University
John Rushby SRI International
Rene Thiemann University of Innsbruck
Boris Yakobowski CEA LIST
5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z)
Call for Papers, Answers to the case study, Workshops, Tutorials 5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) ========================================== May 23-27, 2016 -- Linz, Austria http://www.cdcc.faw.jku.at/ABZ2016/ The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. It builds on the success of the first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event, the second ABZ 2010 conference held in Orford (Canada), where the Alloy community joined the event, the ABZ 2012 held in Pisa (Italy), which saw the inclusion of the VDM community, and ABZ 2014 held in Toulouse (France), which brought the inclusion of the TLA community into the ABZ conference series. The ABZ 2016 conference will be held in Linz, Austria. Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions. As successfully practiced at ABZ 2014, the 5th edition of ABZ will again include special sessions dedicated to a shared real-life case study among all the methods addressed in ABZ 2016. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. After the success of the "Landing Gear" case study at ABZ 2014 in the aeronautical context this time the organizers defined a real-life case study issued from the medical domain with challenging safety requirements. The ABZ 2016 case study concerns the control of a hemodialysis machine. See http://www.cdcc.faw.jku.at/ABZ2016/ for a detailed description of this case study. Proposals are invited for workshops and tutorials to take place before the main conference. Four kinds of contributions are invited: -- Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere. -- Short presentations of work in progress, and tool demonstrations. This is an excellent opportunity for Ph.D. students to present and validate their work in progress. An extended abstract of not more than 4 pages is expected and will be reviewed. -- Answers to case study papers: full papers of not more than 14 pages in LNCS format reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2014. -- Application in industry papers reporting on work or experiences on the application of state based formal methods in industry. An extended abstract of not more than 4 pages is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper. Submissions: ======== Research, short and industry papers must be prepared using the SPRINGER LNCS style and submitted electronically in PDF at the ABZ 2016 conference submission website (Easy Chair). Programm Committee Chairs: Michael BUTLER, University of Southampton, Southampton, UK Klaus-Dieter SCHEWE, Johannes-Kepler-University Linz and Software Competence Center Hagenberg, Linz/Hagenberg, Austria Program Committee: tba Answers to the case study must be prepared using the SPRINGER LNCS style and submitted electronically in PDF at the ABZ 2016 conference submission website (Easy Chair). Case study Chairs: Atif Mashkoor, Software Competence Center Hagenberg, Hagenberg, Austria (atif.mashkoor@scch.at) Miklos Biro, Software Competence Center Hagenberg, Hagenberg, Austria (miklos.biro@scch.at) The submission system for the conference can be accessed at https://easychair.org/conferences/?conf=abz2016 The deadline for submissions is January 15, 2016. Notifications will be sent by February 22, 2016. Publication: ======= All research and short accepted papers will be published in a volume of Springer's LNCS series. The answers to case study papers and the application in industry papers shall be published in a volume of Springer's CCIS series (tbc). The two volumes will be distributed at the conference. Journal Special Issues: It is planned that an improved version of a selected number of contributions will be published in a special issue of the journal Science of Computer Programming for the research papers and in a special issue of the Software Tools and Technology Transfer journal for the answers to case study papers (to be confirmed). Workshops and Tutorials: ================ Workshops and tutorials will be associated to the main event ABZ. Proposals are solicited in areas related to the conference topics. Workshop proposal should be sent to the workshop chairs: Yamine Ait-Ameur, Institut National Polytechnique de Toulouse, France (yamine@enseeiht.fr) Stephan Merz, INRIA Nancy, Nancy, France (stephan.merz@loria.fr) Alexander Raschke, University of Ulm, Ulm, Germany (alexander.raschke@uni-ulm.de) The deadline for submissions is October 16, 2015. Notifications will be sent by November 6, 2015. Tutorial proposal should be sent to the tutorial chairs (tbc): Vincenzo Gervasi, University of Pisa, Pisa, Italy (gervasi@di.unipi.it) Michael Leuschel, University of Duesseldorf, Duesseldorf, Germany (leuschel@cs.uni-duesseldorf.de) The deadline for submissions is February 15, 2016. Notifications will be sent by March 14, 2016. Important Dates: ========== Workshop proposal submission: October 16, 2015 Workshop proposal notification: November 6, 2015 Research paper submission: January 15, 2016 Answers to case study submission: January 15, 2016 Short and industry paper submission: February 4, 2016 Acceptance notification: February 22, 2016 Final Version due: March 14, 2016 Tutorial proposal submissions: February 15, 2016 Tutorial proposal notifications: March 14, 2016 ABZ 2016 conference: May 23-27, 2016 For questions concerning ABZ 2016, contact Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at).
Thursday, December 18, 2014
The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)
|
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
Subscribe to:
Posts (Atom)
