From: Mario Bravetti <bravetti@cs.unibo.it>
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
Subject: [Caml-list] CfPart HATS International School on Formal Models for Objects and Components
Date: Thu, 08 Mar 2012 15:04:18 +0100 [thread overview]
Message-ID: <4F58BC62.4080501@cs.unibo.it> (raw)
In-Reply-To: <48DCACFE.6000908@cs.unibo.it>
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
next prev parent reply other threads:[~2012-03-08 14:04 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-26 9:35 CONCUR 2009: Call for Affiliated Workshops Mario Bravetti
2009-01-15 10:34 ` CONCUR 2009: Call for Papers Mario Bravetti
2009-03-06 9:44 ` CONCUR 2009: 2nd " Mario Bravetti
2009-03-24 14:51 ` CONCUR 2009: Final " Mario Bravetti
2009-06-12 15:21 ` CONCUR 2009: Call for Participation Mario Bravetti
2009-07-16 9:15 ` CONCUR 2009: Second " Mario Bravetti
2010-03-16 6:25 ` CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing Mario Bravetti
2010-05-06 8:27 ` 2nd " Mario Bravetti
2010-05-24 11:08 ` Final " Mario Bravetti
2010-07-16 17:45 ` Call for Participation " Mario Bravetti
2011-03-01 17:26 ` [Caml-list] INTRUSO 2011 CFP Mario Bravetti
2011-03-31 9:51 ` [Caml-list] INTRUSO 2011 - Second CFP Mario Bravetti
2011-04-17 18:41 ` [Caml-list] LAM'11: 2nd Call for Paper "Dr. Michael Köhler-Bussmeier"
2012-03-08 14:04 ` Mario Bravetti [this message]
2013-07-16 13:23 ` [Caml-list] 2nd CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing Mario Bravetti
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F58BC62.4080501@cs.unibo.it \
--to=bravetti@cs.unibo.it \
--cc=Concurrency@listserver.tue.nl \
--cc=FMxSOCandBPM@cs.unibo.it \
--cc=SECURITY@FOSAD.ORG \
--cc=Sensoria@lists.tcs.ifi.lmu.de \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=appsem@disi.unige.it \
--cc=behavior@cs.ucsd.edu \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=comlab@comlab.ox.ac.uk \
--cc=concurrency@cwi.nl \
--cc=concurrency@tue.nl \
--cc=csl@dbai.tuwien.ac.at \
--cc=dbworld@cs.wisc.edu \
--cc=dipartimento@di.unipi.it \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it-l@unifi.it \
--cc=ecoop-info@ecoop.org \
--cc=etalle@cs.utwente.nl \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=generative@rz.tu-ilmenau.de \
--cc=gragra@i3.informatik.rwth-aachen.de \
--cc=grin@di.unipi.it \
--cc=gulp-all@yahoogroups.com \
--cc=haskell@haskell.org \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=ic.eatcs@di.unipi.it \
--cc=idss@socs.uts.EDU.AU \
--cc=ifip@ifip.or.at \
--cc=ifmsig@cs.tcd.ie \
--cc=lics@informatik.hu-berlin.de \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=lprolog@cs.umn.edu \
--cc=m4m@science.uva.nl \
--cc=maude-users@dcs-cpanel1.cs.illinois.edu \
--cc=members@fmeurope.org \
--cc=moca-announce@list.it.uu.se \
--cc=nvti-list@cwi.nl \
--cc=oose@uni-paderborn.de \
--cc=papm@inf.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=resist@laas.fr \
--cc=rewriting@ens-lyon.fr \
--cc=sensoria-core@di.unipi.it \
--cc=seworld@cs.colorado.edu \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=theory-a@listserv.nodak.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=tocai@dis.uniroma1.it \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).