ACM SIGCHI General Interest Announcements (Mailing List)


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
text/plain; charset=UTF-8
Mon, 9 Feb 2015 22:50:10 +0100
Thouraya Bouabana Tebibel <[log in to unmask]>
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Thouraya Bouabana Tebibel <[log in to unmask]>
text/plain (147 lines)

The 3rd IEEE International Workshop on Formal Methods Integration – FMi

In conjunction with the 16th IEEE IRI 2015

San Francisco, USA, August 12-14, 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

-          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: *
<>* 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

*Workshop Chair*

Thouraya Bouabana Tebibel, LCSI Laboratory, Ecole Nationale Supérieure
d’Informatique – ESI, Alger, Algeria

*Program Committee*



Thouraya Bouabana Tebibel at [log in to unmask]

    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see