Monday, November 11, 2013

EB2ALL - The Event-B To C, C++, Java And C# Code Generator

http://eb2all.loria.fr/

"EB2ALL is a set of translator tools that automatically generates efficient target programming language code (C, C++, Java and C#) from Event-B formal specification related to the analysis of the complex problems. The EB2ALL contains four plugin namely EB2C, EB2C++, EB2J and EBC#. The goal of EB2ALL is to be able to generate a verified source code that satisfies behavioral properties of the develop formal system (abstractly). The EB2ALL tool is developed as a set of plugins for RODIN development tool under the Eclipse framework. RODIN is an integrated development environment (IDE) for developing Event-B models. The RODIN tool is written entirely in Java and build on top of the Eclipse platform."

Courses

http://www.loria.fr/~mery/erasmusmaynooth/

Tuesday, November 5, 2013

First International Workshop on Formal Integrated Development Environments (Satellite event of ETAPS)

Call for Papers - F-IDE 2014 - April 6th, 2014, Grenoble, France

Call for Papers
First International Workshop on Formal Integrated Development Environments
(Satellite event of ETAPS)
April 6th, 2014, Grenoble, France
http://www.ensta-paristech.fr/~etaps/

WORKSHOP AIM

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, code review 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 and as readable  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 andstatic analysis
may be embedded in this F-IDE, to address most steps of the assessment
process.

TOPICS

We encourage submissions presenting and discussing research efforts as
well as experience feedbacks on design, development, use of tools
aiming at making formal methods "easier" for non-specialists.  In this
context, the topics include (but are not limited to):

- 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

We encourage not only mature research results but also submissions
presenting innovative ideas and early results are also of interest.

SUBMISSIONS

Papers  (6-14 pages in length), following EPCTS format are expected.
They can be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations

Submissions will be done via Easychair:
https://www.easychair.org/conferences/?conf=fide2014


PROCEEDINGS

Final versions of accepted papers will be published in a volume of the
Electronic Proceedings in Theoretical Computer Science (EPTCS).

IMPORTANT DATES

- Abstract submission : 18 December, 2013
- Paper Submission : 23 December, 2013
- Notification : 27 January, 2014
- Final version  : 10 February, 2014
- Workshop date:  April 6, 2014


PC CO-CHAIRS

- Catherine Dubois, Cédric / ENSIIE,  (dot)  (at) 
ensiie (dot) fr
- Dimitra Giannakopoulou, NASA Ames,  (dot)  (at) 
nasa (dot) gov
- Dominique Mery, LORIA / Université de Lorraine,  (dot)
 (at) loria (dot) fr

11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania

             CALL FOR PAPERS -- ICTAC 2014

**********************************************************************
   11th International Colloquium on Theoretical Aspects of Computing
               17-20 September 2014, Bucharest, Romania
                    http://fmi.unibuc.ro/ictac2014
**********************************************************************

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects 
of Computing and will bring together practitioners and researchers from 
academia, industry and government to present research and to exchange 
ideas and experience addressing challenges in both theoretical aspects 
of computing and in the exploitation of theory through methods and tools 
for system development. Another aim of ICTAC is to bring together 
researchers working on theoretical aspects of computing in order to 
present their recent results and to discuss new ideas concerning 
computer science.

THEMES AND TOPICS OF PAPERS

ICTAC 2014 calls for regular research papers on theories of computation 
and programming, foundations of software engineering and on formal 
techniques in software design and verification, as well as papers about 
tools that support formal techniques for software modeling, system 
design and verification.
The topical areas of the conference include, but not limited to

  * Automata theory and formal languages;
  * Principles and semantics of programming languages;
  * Theories of concurrency, mobility and reconfiguration;
  * Logics and their applications;
  * Software architectures, their models, refinement and verification;
  * Relationship between software requirements, models and code;
  * Program static and dynamic analysis and verification;
  * Software specification, refinement, verification and testing;
  * Model checking and theorem proving;
  * Models of object and component systems;
  * Coordination and feature interaction;
  * Integration of theories, formal methods and tools for
    engineering computing systems;
  * Service-oriented architectures: models and development methods;
  * Models of concurrency, security, and mobility;
  * Theory of distributed, grid and cloud computing;
  * Real-time, embedded, hybrid and cyber-physical systems;
  * Type and category theory in computer science.

PAPER SUBMISSION

As for the past editions, the proceedings of ICTAC 2014 will be 
published by Springer in the series Lecture Notes in Computer Science 
(LNCS) and will be available at the colloquium. Special issue of few 
journals with extended version of selected papers from ICTAC 2014 is 
under negotiation. Submissions to the colloquium must not have been 
published or be concurrently considered for publication elsewhere. All 
submissions will be judged on the basis of originality, contribution to 
the field, technical and presentation quality, as well as their 
relevance to the conference.

Regular Papers should not exceed 18 pages in LNCS format (see 
http://www.springer.de/comp/lncs/authors.html for details). Papers must 
be submitted by using www.easychair.org/conferences/?conf=ictac2014.

IMPORTANT DATES:

Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification:  30 May 2014
Revised/final paper: 14 June 2014

GENERAL CHAIRS

Gabriel Ciobanu, Romanian Academy, ICS, Iasi
Florentin Ipate, University of Bucharest, Romania

PC CHAIRS

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France

PROGRAM COMMITTEE

Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China

                              STEERING COMMITTEE

Ana Cavalcanti, University of York, United Kingdom
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA

**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014@fmi.unibuc.ro
**********************************************************************