[logic-ml] HAS 2013: Deadline Extended

[Ichiro Hasuo]

みなさま，

東京大学の蓮尾です．あけましておめでとうございます．
以前お知らせした ETAPS 併設ワークショップの HAS，締切が 1/21
に延長になりました．Post-proceeding ですので，論文の preliminary
version でも大歓迎，とのことです．ご投稿を検討いただければ幸いです．

どうかよろしくお願いいたします．それでは！
蓮尾 一郎
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/


===========================
[Apologies for multiple copies]
[Please note: submission deadline extended to January, 12]

************************************************************************************************************
*********
CALL FOR PAPERS

Third Workshop on Hybrid Autonomous Systems (HAS 2013)

A satellite event of European Joint Conferences on Theory and Practice
of Software, ETAPS 2013
March 17, 2013, Rome, Italy

http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/has2013/
************************************************************************************************************
*********

SCOPE:
The interest on autonomous systems is increasing both in industry and academia.
Such systems must operate with limited human intervention in a changing
environment and must be able to compensate for significant system failures
without external intervention. The hybrid discrete-continuous models
constitute appropriate models of
autonomous systems . Hybrid systems have behaviours characterised by
the interaction between
continuous and discrete dynamics and research in the area is driven by
 several school of thoughts. One
approach is mainly focussed on applications to automation systems and
the models and methods are
centred on the concept of hybrid automaton (deterministic or
probabilistic). A distinct school of thought
interprets hybrid systems as control systems with regime change. Such
systems are highly adaptive and
suitable for modelling autonomic behaviours. The most prominent models
of this approach are the
stochastic hybrid systems and the mixed logical and dynamical systems.
There is a clear research
opportunity to combine these approaches for developing models,
methods, techniques, methodologies,
tools and environments for autonomous systems engineering. This
workshop brings together researchers
interested in all aspects
of autonomy and resilience of hybrid systems.

TOPICS:
Topics include (but are not limited to):
Ø new modelling paradigms 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;
Ø interaction between hybrid modelling and complexity science;
Ø reports on case studies and practical experiments;
Ø autonomous systems in natural science (e.g. from biology, ecology, climate).

INVITED SPEAKERS:

* Maria Domenica di Benedetto, L'Aquila University, IT
* Radu Grosu, Vienna University of Technology, AU
* Rafael Wisniewski, Aalborg University, DEN


SUBMISSIONS:

In order to encourage participation and discussion, this workshop solicits
the submission of regular papers, which must contain original work, and
must not have been previously published, nor be under consideration for
publication elsewhere. The accepted submissions should clearly indicate
the membership to one of the following categories:
- technical contributions;
- tutorials on a topic of importance;
- surveys on large extent cross-disciplinary research (e.g., project
outcomes);wor
- reports on early stage or ongoing work.
For each category of submission the novelty of the submission has to
be clearly stated and
the page limit should vary between 6 and 15 pages.

All submissions must be in PDF format and use the EPTCS latex style, see
http://style.eptcs.org/. Submissions can be made on the following website:

   https://www.easychair.org/conferences/login_as_yes.cgi?a=3413468

The workshop PC will review all regular paper submissions to select
appropriate ones, ones for acceptance in each category, based on their
relevance, merit,  originality, and technical content.
The authors of accepted submissions are expected to present and discuss
their work at the workshop. Accepted regular papers will be published
in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
A special issue in a journal is under consideration.




IMPORTANT DATES:
    Submission (regular paper): *extended* January 12, 2013
    Notification: January 24, 2013
    Final version (ETAPS proceedings): February 14, 2013
    Workshop: March 17, 2013
    Final version (EPTCS post proceedings): TBA


ORGANIZATION:

PC Chairs:
* Luca Bortolussi, University of Trieste, IT
* Manuela Bujorianu, University of Warwick, UK
* Giordano Pola,  University of L’Aquila, IT

Program Committee:

* Ezio Bartocci, TU Wien, AU
* Maria Domenica di Benedetto, L'Aquila University, IT
* Luca Bortolussi, University of Trieste, IT (co-Chair)
* Manuela Bujorianu, University of Warwick, UK (co-Chair)
* Alberto Casagrande, Univeristy of Trieste, IT
* Thao Dang, Verimag, FR
* Louise Dennis, University of Liverpool, UK
* Clare Dixon, University of Liverpool, UK
* Alexandre Donzé, UC Berkeley, US
* Martin Fränzle, Carl von Ossietzky Universität, DE
* Ichiro Hasuo, University of Tokio, JP
* Agung Julius, Rensselaer Polytechnic Institute, US
* Toshimitsu Ushio, Osaka University, JP
* Giordano Pola, L'Aquila University, IT (co-Chair)
* Rom Langerak, University of Twente, NL
* David Parker, University of Birmingham, UK
* Guido Sanguinetti, University of Edinburgh, UK
* Olaf Stursberg, University of Kassel, DE