CfP: HAS'2011 - Hybrid Autonomous Systems

[Manuela Bujorianu]

[ Apologies for cross-postings! Please help us by distributing the  
advert in your department! ]


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

                                                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
_______________________________________________________________________

			          Preliminary Call for Papers
_______________________________________________________________________

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

_______________________________________________________________________

Chairs

     Manuela Bujorianu,  University of Manchester, UK

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

     Antonios Tsourdos,  Cranfield University, UK

_______________________________________________________________________

Topics of interest

	Ø      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 deadline:  25th October 2011
_______________________________________________________________________

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,      Politecnico di Milano, IT
	Joerg Raisch,        Technische Universitaet Berlin, DE
	Sandeep Shukla,      Virginia Tech, USA
	Olaf Stursberg,      University of Kassel, DE
	Janan Zaytoon,       CReSTIC, Reims, FR

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