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

[PVS] CfP: HAS'2011 - Hybrid Autonomous Systems



[ 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 Frnzle,     Carl von Ossietzky Universitt 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

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