[TYPES/announce] HAS at ETAPS'2011

[Manuela Bujorianu]

Dear all,

We apologize for the inevitable cross-posting!

If you are interested in research topics at the interplay between  
control engineering, computer science, applied mathematics and  
artificial intelligence, then the following event might be of interest  
to you.
HAS, the two days workshop on ``Hybrid Autonomous Systems?, is an  
inter-disciplinary event associated with ETAPS 2011, in Saarbrucken,  
Germany. It promotes the applications of the hybrid  
discrete/continuous models to autonomous systems. These are now mature  
paradigms that still raise many research topics. We are very liberal  
in receiving submissions that deal with any sort of topic in the area,  
especially from inter-disciplinary perspectives.
In addition to publishing quality submissions in a special issue of  
the Elsevier?s ENTCS journal, we are also considering the possibility  
to edit a book after the workshop. Therefore, extended versions that  
exceed the 16 pages limit are welcome, and they will be fully  
reviewed. However, the final versions have to be within the page limit.
All relevant details can be found in the call for papers attached below.

Thank you for your attention!

Best wishes from me and all colleagues involved in the organization,

Manuela



==============================================================================

                                                HAS 2011

                                     HYBRID AUTONOMOUS SYSTEMS

                                        A satellite event of
                     European Joint Conferences on Theory and Practice  
of Software
                                              ETAPS 2011

                                          2-3 April, 2011,
                                        Saarbrucken, Germany
_______________________________________________________________________

                                         2nd Call for Papers
_______________________________________________________________________

URL:  http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS.htm

ETAPS: http://www.etaps.org/workshops

_______________________________________________________________________

CHAIRS

     Manuela Bujorianu,  University of Manchester, UK

     Martin Fränzle,     Carl von Ossietzky Universität Oldenburg, DE

     Antonios Tsourdos,  Cranfield University, UK

_______________________________________________________________________

SCOPE

The variety of autonomous systems is increasing both in industry and
academia. Such systems must operate with limited human intervention in a
changing environment and they must be able to compensate for significant
system failure without external intervention. In highly autonomous systems,
the system behavior is normally so complex that it is either impossible or
inappropriate to describe it with conventional mathematical system models.
The complexity of the system model needed in design depends on both the
complexity of the physical system and on how demanding the design
specifications are. The most appropriate models of autonomous systems can
be find in the class are hybrid systems (which study continuous-state
dynamic processes via discrete-state controllers) that interact with their
environment. The symposium will bring together researchers interested in
all aspects of autonomy and adaptivity of hybrid systems.

_______________________________________________________________________

PLENARY SPEAKERS

     Howard Barringer,     University of Manchester, UK

     Mike Hinchey,         Lero-the Irish Software Engineering  
Research Centre,  IE

     Joost-Pieter Katoen,  RWTH Aachen, DE

     Pieter J. Mosterman,  The MathWorks, CA

     Holger Voos,          University of Luxembourg, LU

_______________________________________________________________________

TOPICS OF INTEREST

These include, but are not restricted to:

         Ø      new modelling paradigms for autonomous systems;
         Ø      extending hybrid systems with autonomous behaviours;
         Ø      formal methods for autonomous systems
         Ø      verification and safety certification techniques
         Ø      modelling, analysis and control of hybrid systems,
         Ø      uncertainty and stochastic modelling;
         Ø      multi-agent systems;
         Ø      algebraic and categorical methods
         Ø      reports on practical experiments
_______________________________________________________________________

SUBMISSION

All submitted papers will undergo a thorough review process; each paper
will be refereed by at least three experts in the field based on
relevance, originality, significance, quality and clarity.


Submissions should:

- contain original contributions that have not been published or
    submitted to other conferences/journals in parallel with this event;

- clearly state the problem being addressed, the goal of the work,
   the results achieved, and the relation to other works;

- be in PS or PDF and formatted according to ENTCS Instructions
   for authors: http://www.entcs.org/prelim.html;

- be in English and in a form that can be immediately included in the
   proceedings  without major revision;

- be with a maximum length of 16 pages

- be attached (if necessary) by an Appendix that contains proofs,
   figures, tables, additional material. The appendix will be reviewed.

- be sent electronically (as a PostScript or PDF file) through the
   submissions link to the conference website:
   https://www.easychair.org/account/signin.cgi?conf=has2011


Submission deadline (NEW!):  21st December 2010

_______________________________________________________________________

PUBLICATION

Accepted papers will be included in HAS 2011 Proceedings. At least one
of the authors will be required to register and attend the symposium to
present the paper in order to include the paper in the proceedings.
All accepted papers will be published by Elsevier in the
Electronic Notes in Theoretical Computer Science journal.

_______________________________________________________________________

PROGRAM COMMITTEE

         Jose Luiz  Fiadeiro, University of Leicester, UK
         Michael Fisher,      University of Liverpool , UK
         Alessandro Giua,     Universita' di Cagliari, IT
         Klaus Havelund,      JPL, NASA, USA
         Michael Hofbaur,     Private University UMIT, AT
         Joost-Pieter Katoen, RWTH Aachen, DE
         Rom Langerak,        University Of Twente, NL
         Corina Pasareanu,    NASA Ames, USA
         Maria Prandini,      Technical University of Milan, IT
         Manuel Silva,        GISED, Zaragoza, SP
         Joerg Raisch,        Technische Universitaet Berlin, DE
         Sandeep Shukla,      Virginia Tech, USA
         Olaf Stursberg,      University of Kassel, DE
         Janan Zaytoon,       CReSTIC, Reims, FR

==============================================================================