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
"ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
Yamine AIT AMEUR <[log in to unmask]>
Wed, 27 Jun 2007 18:06:59 +0200
text/plain; charset="iso-8859-1"; format=flowed
Yamine AIT AMEUR <[log in to unmask]>
text/plain (149 lines)
ISoLA 2007
2007 ISoLA Workshop on Leveraging 
Applications  of Formal Methods, Validation and Verification
12-14 December 2007
ENSMA, Poitiers-Futuroscope. France

ISoLA is a forum for developers, users, and 
researchers to discuss issues related to the 
adoption and use of rigorous tools for the 
specification analysis, verification, 
certification, construction, test, and 
maintenance of systems from the point of view of 
their different application domains. To bridge 
the gap between designers and developers of 
(formal methods based) rigorous tools, and users 
in engineering and in other disciplines, it 
fosters and exploits synergetic relationships 
among scientists, engineers, software developers, 
decision makers, and other critical thinkers. In 
particular, by providing a venue for the 
discussion of common problems, requirements, 
algorithms, methodologies, and practices, ISoLA 
aims at supporting researchers in their quest to 
improve the utility, reliability, flexibility and 
efficiency of tools for building systems and 
users in their search of adequate solutions to 
their problems. Applications and case studies 
with a conceptual message and experience papers 
with a clear link to tool construction are all encouraged.

Special Workshop Theme: Formal Methods in Avionics, Space and Transport

Nowadays, it is well accepted that the 
development of critical systems involves the use 
of formal methods. One of the major fields where 
these methods made a lot of progress are the 
avionics, aerospace and more generally transport 
areas. Indeed, compared to a previous aircraft 
generation, the amount of code embedded in a new 
aircraft generation is continuously increasing. 
Several methods, tools and techniques have been 
applied for the development of such systems in 
different parts of the world and they have been 
actually put into practice during the development 
of specific aircraft programmes. The aim of this 
ISoLA workshop is to compile the sate-of-the-art 
and current research in formal methods applied to 
the development of avionics and aerospace 
systems. Submission of papers addressing recent 
advances in the use of these methods in this area is encouraged.

The following list is some of the topics that can 
be addressed in the submissions.

·       Interactive 
systems                                     Handling heterogeneity
·       Systems 
Interoperability                                Notations, Languages, Methods
·       Integration 
               Formal Requirements Engineering
·       Validation and Verification                             Data exchange
·       Simulation 
               Use and/or standard developments
·       Real Time, scheduling, 
and  Performance                 Case studies  Analysis
·       Reliability, Safety 
Analysis,  Security                 Quality of Service
·       Ontologies for handling heterogeneity of developments

All accepted papers will be published in local 
proceedings and we plan to have IEEE CS post 
proceedings. Selected papers will appear in the 
International Journal on Software Tools and 
Technology Transfer (STTT). A best paper certificate will be awarded by EASST.

Symposium chairs
T. MARGARIA, U-Postdam, Germany.
B. STEFFEN, U-Dortmund-DE, Germany.

Programme committee chairs
Y. AIT AMEUR, LISI/ENSMA, Poitiers, France.
F. BONIOL, IRIT-Enseeiht, Toulouse, France.
V. WIELS, ONERA,-DTIM, Toulouse, France.

Programme committee (To be Completed)
P. BIEBER, ONERA,-DTIM-Toulouse, France.
P. CASPI, Verimag, Grenoble. France.
E. CONQUET, ESA, France.
B. D'AUSBOURG, ONERA-DTIM, Toulouse, France.
J. SONG DONG, NUS, Singapore, Singapore.
E. GROLLEAU, LISI/ENSMA, Poitiers, France.
M. HEIMDAHL, Univ. Minnesota, USA.
J. HILL, Nasa, USA.
O. LAURENT, AirBus-Toulouse, France.
Y. LEDRU, LIG, Grenoble, France.
D. LESENS, EADS, France.
M. LEUSCHEL, Univ. Dusseldorf, Germany.
P LINDSAY, Queensland University, Australia.
B. LISPER, Mälardalen University, Sweden.
D. MERY, Loria, France.
C. MUNOZ, Nasa, USA.
C. ROUFF, Lockheed Martin, USA.
O. ROUX, IRCYN, Nantes, France.
F. SIMONOT-LION, Loria, France.
R.  STERRITT, University of Ulster, Northern Ireland, UK.
X. XUANDONG LI, Nanjing University, China.

Submission guidelines

Research papers, case studies, lessons learned, 
status reports, and discussions of practical 
problems faced by industry and user domains are 
all welcome submissions. For review, submissions 
are divided into two categories: Technical Papers 
and Experience Reports. Technical papers should 
describe original research, and industrial 
experience should include practical projects or 
lessons learned emphasising outcomes, insights gained, and lessons learned.
All submissions will be reviewed by program 
committee members on the basis of relevance, 
significance, technical quality, and clarity.
Each paper shall not exceed 16 pages in the LNCS 
style (,10735,5-164-2-72376-0,00.html ).
All the submissions shall indicate author names, 
full address, emails, phone and fax numbers. In 
case of multiple authors submissions, a contact author shall be indicated.
Submission shall be sent to [log in to unmask]

Important Dates
•       Paper Submission:                               September 1st 2007
•       Notification of acceptance:                     October 15th 2007
•       Final Version:                                  October 31st 2007
•       Early Registration:                             October 15th 2007

                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see