From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q28E4lHd022043 for ; Thu, 8 Mar 2012 15:04:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EAKS7WE+CiAFm/2dsb2JhbABDDrUQgQeCCwEBBAEBARoVAQUcFw0RLBYPCQMCAQIBRQUCDAgBAYgGC7o4iiOGSwSlXYIsOIFT X-IronPort-AV: E=Sophos;i="4.73,552,1325458800"; d="scan'208";a="148250451" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 08 Mar 2012 15:04:41 +0100 Received: from ssl.cs.unibo.it (ssl.cs.unibo.it [127.0.0.1]) (Authenticated sender: hidden) by leb.cs.unibo.it (Postfix) with ESMTPSA id 0A41224DC ; Thu, 8 Mar 2012 15:04:18 +0100 (CET) Message-ID: <4F58BC62.4080501@cs.unibo.it> Date: Thu, 08 Mar 2012 15:04:18 +0100 From: Mario Bravetti User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, Concurrency@listserver.tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, m4m@science.uva.nl, maude-users@dcs-cpanel1.cs.illinois.edu, members@fmeurope.org, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, petrinet@informatik.uni-hamburg.de, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, SECURITY@FOSAD.ORG, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, formal-methods@cs.uidaho.edu, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, haskell@haskell.org, concurrency@tue.nl, ecoop-info@ecoop.org, coalgebras@iti.cs.tu-bs.de, lprolog@cs.umn.edu, moca-announce@list.it.uu.se, theorynt@listserv.nodak.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr References: <48DCACFE.6000908@cs.unibo.it> In-Reply-To: <48DCACFE.6000908@cs.unibo.it> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: bravetti@cs.unibo.it Subject: [Caml-list] CfPart HATS International School on Formal Models for Objects and Components CALL FOR PARTICIPATION HATS International School on Formal Models for Objects and Components (HATS-FMOC 2012) Bertinoro, Italy September 24-28, 2012 http://www.cs.unibo.it/hats-fmoc/ General Information: -------------------- Modern software systems are complex, and often structured as composition of a high number of components or objects. The school focuses on formal models and programming languages for such system, including methods and tools for specifying and designing them, and for ensuring behavioural and security guatantees. A special emphasis will be given to methods for ensuring the adaptability and evolvability of the systems, with which the systems can cope with changes in the environment as well as with modified and new requirements. The School is organised by the project HATS (Highly Adaptable and Trustworthy Software using Formal Models), a EU Integrated Project within the FET "FOREVER YOURS" programme, in agreement with the EternalS Coordination Action (CA) that coordinates the research among the four projects of the "Forever Yours" initiative: LivingKnowledge, HATS, Connect, and SecureChange. The School will feature lectures by world-renowned experts within the area of formal models for objects and components. Involved working areas are, e.g., type theory, programming languages, formal methods, concurrency and software engineering. Lecturers: --------- Einar Broch Johnsen, University of Oslo, Norway Dave Clarke, Katholieke Universiteit Leuven, Belgium Roberto Di Cosmo, University Paris Diderot, France Fausto Giunchiglia, University of Trento, Italy Reiner Hähnle, Technical University of Darmstadt, Germany Valérie Issarny, INRIA Paris - Rocquencourt, France Fabio Massacci, University of Trento, Italy Arnd Poetzsch-Heffter, Technical University of Kaiserslautern, Germany Germán Puebla, Universidad Politecnica de Madrid, Spain Details: -------- Please see the website for registration fees and instructions, detailed information regarding speakers and topics, and travel details: http://www.cs.unibo.it/hats-fmoc/ Since attendance is limited to 40 students, slots will be allocated on a "first come, first served" basis. The application deadline is June 15, 2012. Venue: ------ The setting for the School is the Centro Residenziale Universitario of the University of Bologna, located in Bertinoro, a small medieval hilltop town of Bertinoro that is an excellent base for various Italian destinations. Bertinoro is about 70 km south-east of Bologna, at an elevation of about 230 m. It can be reached in a couple of hours from the international airport "G. Marconi" of Bologna by shuttle (from the airport to the railway station) + train (from Bologna to Forlì) + bus/taxi (from the railway station to Bertinoro). The closest airport is the "L. Ridolfi" airport of Forlì, which is 13 km away. Steering Committee: ------------------- Einar Broch Johnsen (University of Oslo, Norway) Reiner Hähnle (Technical University of Darmstadt, Germany) Arnd Poetzsch-Heffter (Technical University of Kaiserslautern, Germany) German Puebla (Universidad Politecnica de Madrid, Spain) Davide Sangiorgi (University of Bologna, Italy) Local Organization: ------------------- Mario Bravetti Elena Giachino Davide Sangiorgi