* 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.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
