[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Hybrid Autonomous Systems Workshop - CfPart



* Apologies in case receiving multiple copies of this call! *
* Please note the quickly approaching deadline for early registration!*

================HAS 2012===============================

                Workshop on Hybrid Autonomous Systems
                     Tallinn, Estonia, 31st of March
                              2nd edition
                     Satellite event of ETAPS 2012

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

================ORGANISATION============================

Tutorial and 8 lectures

Early registration ( including discounted hotel bookings): 29 January 2012
Registration fee: 30 euro
On-line registration link: https://purchase.ioc.ee/etaps12/

Organisers
Manuela Bujorianu (University of Manchester, UK)
Emilio Frazzoli (MIT, US)
Joost-Pieter Katoen (RWTH Aachen, DE)

==================INFO================================

Tutorial on  Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems
   by Pieter Mosterman  (MathWorks, US and McGill University, CA)


Plenary Lectures

* Hard Real-Time. Probably Provable
     by Holger Hermanns (University of Saarlandes, DE)

* Hybrid Behaviour of Continuous Time Markov Chains
     by Luca Bortolussi (University of Trieste, IT)

* Verifying Reasoning within Agent-based Hybrid Control Systems
      by Louise Dennis (University of Liverpool, UK)

* Towards a formal basis of robust behaviour
       by Martin Fraenzle (Oldenburg University, DE)

* The Challenge of Developing Autonomic Space-exploration Systems
        by Mike Hinchey (LERO and NASA, IE)

* Efficient Computing in Cyber-Physical Systems
         by Peter Marwedel (University of Dortmund, DE)


* Arenas of Finite State Machines and their application to the Modelling and Analysis of Air Traffic Management Systems
         by Giordano Pola (University of L’Aquila, IT)

* A Resource-Aware Framework for Embedded System Design and Its Extension Towards Adaptivity
         by Cristina Seceleanu (Malardalen University, SE)


===================SCOPE==============================

This workshop gathers together experts from formal methods, software 
engineering, control engineering, aerospace, multi-agent technology 
and synthetic biology to explore the potential applications of the hybrid 
discrete/continuous models to autonomous systems engineering. 
Comprising a tutorial and seven lectures, the workshop constitutes
a suitable venue for every one interested in interdisciplinary research 
methods for autonomous systems. The workshop is intended to be highly 
interactive. For this purpose a panel discussion will take place where the 
participants will be invited to express their remarks and suggestions for
the future editions. The workshop will be followed up by a call for papers 
for a dedicated journal issue.
The first edition of HAS took place in 2011 in Saarbrucken, Germany.
The next edition will take place in Rome, Italy.


===================ETAPS===============================

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the
primary European forum for academic and industrial researchers working on topics
related to Software Science. It is a confederation of five conferences, and embedded
in associated events, satellite workshops and other events.

================TALLINN================================

Tallinn's medieval Old Town is known around the world for its well-preserved
completeness and authentic Hanseatic architecture. Enchanting atmosphere, rich
cultural scene, beautiful surroundings and plenty of galleries, cafes and
restaurants to choose from. In 2011, Tallinn takes on its role as European
Capital of Culture, giving the city a chance to showcase the best of its
creative spirit to the rest of the world.