From: Maurice ter Beek <maurice.terbeek@isti.cnr.it>
To: agents@cs.umbc.edu, appsem-discussion@harlequin.co.uk,
appsem@disi.unige.it, cabernet-events@jiscmail.ac.uk,
caml-list@inria.fr, categories@mta.ca, cees-l@sbc.org.br,
cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de,
comlab@comlab.ox.ac.uk, concurrency@cwi.nl, concurrency@tue.nl,
conferences@computer.org, dbworld@cs.wisc.edu,
dipartimento@di.unipi.it, eapls@jiscmail.ac.uk,
easst-members@cs.uni-potsdam.de, eatcs-it-l@unifi.it,
ecoop-info@ecoop.org, fmxsocandbpm@cs.unibo.it,
focs@comlab.ox.ac.uk, generative@rz.tu-ilmenau.de,
gratra@lists.uni-paderborn.de, grin@di.unipi.it,
gulp-all@yahoogroups.com, gulp@di.unipi.it, harning@sigchi.dk,
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,
lfcs-interest@dcs.ed.ac.uk, lics@informatik.hu-berlin.de,
lics@research.bell-labs.com, linear@cs.stanford.edu,
logic-announce@uclink4.berkeley.edu, lprolog@cs.umn.edu,
m4m@science.uva.nl, members@fmeurope.org,
mercury-ads@cs.mu.oz.au, moca-announce@list.it.uu.se,
multi@cs.chalmers.se, nvti-list@cwi.nl, oose@uni-paderborn.de,
papm@inf.ed.ac.uk, petrinet@informatik.uni-hamburg.de,
prog-lang@diku.dk, puml-list@cs.york.ac.uk, pvs@csl.sri.com,
qed@mcs.anl.gov, resist@laas.fr, reus@informatik.uni-muenchen.de,
safety-critical@cs.york.ac.uk, security@fosad.org,
sensoria@lists.tcs.ifi.lmu.de, sicstus-users@sics.se,
stimdi-rek-subscribe@yahoogroups.com,
streicher@mathematik.tu-darmstadt.de, tfsbc-l@sbc.org.br,
theorem-provers@ai.mit.edu, theory-a@listserv.nodak.edu,
theory@cl.cam.ac.uk, theory@cs.bham.ac.uk,
theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it,
types-announce@lists.seas.upenn.edu, webmaster@eatcs.org,
zforum@comlab.ox.ac.uk
Subject: [Caml-list] Call for participation iFM & ABZ 2012 - program available
Date: Thu, 19 Apr 2012 11:28:22 +0200 [thread overview]
Message-ID: <4F8FDAB6.1080409@isti.cnr.it> (raw)
CALL FOR PARTICIPATION iFM & ABZ 2012
**********************************************************************
9th International Conference on Integrated Formal Methods (iFM 2012)
3rd International Conference on ASM, Alloy, B, VDM, and Z (ABZ 2012)
Joint conferences in honour of Egon Boerger's 65th birthday, for his
contribution to state-based formal methods
18 - 21 June 2012
CNR - Pisa, Italy
http://ifm-abz.isti.cnr.it/
**********************************************************************
The iFM and ABZ conferences are co-located in order to host a joint
conference in honour of Egon Boerger's 65th birthday. The conferences
are organized by the Formal Methods && Tools Lab at ISTI-CNR and take
place at the Area della Ricerca CNR in Pisa from 18 to 21 June.
The iFM conference series presents research on the combination of
(formal and semi-formal) methods for system development, regarding
modeling and analysis, and covers all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.
The ABZ conference is dedicated to the cross-fertilization of five
related state- and machine-based formal methods, namely Abstract
State Machines, Alloy, B, VDM and Z, which share a common conceptual
foundation and are widely used in both academia and industry for the
design and analysis of hardware and software systems.
KEYNOTES:
* Egon Boerger (University of Pisa, Italy):
Contribution to a Rigorous Analysis of Web Application Frameworks
* Muffy Calder (University of Glasgow, United Kingdom):
Process Algebra for Event-Driven Runtime Verification: a case study
of wireless network management
* Ian J. Hayes (University of Queensland, Australia):
Integrated operational semantics: small-step, big-step and multi-step
The joint conference is preceded by a full day devoted to two free
TUTORIALS:
* Eric C.R. Hehner and Lev Naiman (University of Toronto, Canada):
Practical Predicative Programming Primer
* Joost-Pieter Katoen, Thomas Noll (RWTH Aachen University, Germany),
Alessandro Cimatti and Marco Bozzano (FBK, Trento, Italy):
Safety, Dependability and Performance Analysis of Extended AADL Models
The full program is available online: http://ifm-abz.isti.cnr.it/
IMPORTANT:
The early registration fee deadline is 18 May. Students get a discount.
The deadline for poster & tool demo submissions is 22 April.
reply other threads:[~2012-04-19 9:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=4F8FDAB6.1080409@isti.cnr.it \
--to=maurice.terbeek@isti.cnr.it \
--cc=agents@cs.umbc.edu \
--cc=appsem-discussion@harlequin.co.uk \
--cc=appsem@disi.unige.it \
--cc=cabernet-events@jiscmail.ac.uk \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cees-l@sbc.org.br \
--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=conferences@computer.org \
--cc=dbworld@cs.wisc.edu \
--cc=dipartimento@di.unipi.it \
--cc=eapls@jiscmail.ac.uk \
--cc=easst-members@cs.uni-potsdam.de \
--cc=eatcs-it-l@unifi.it \
--cc=ecoop-info@ecoop.org \
--cc=fmxsocandbpm@cs.unibo.it \
--cc=focs@comlab.ox.ac.uk \
--cc=generative@rz.tu-ilmenau.de \
--cc=gratra@lists.uni-paderborn.de \
--cc=grin@di.unipi.it \
--cc=gulp-all@yahoogroups.com \
--cc=gulp@di.unipi.it \
--cc=harning@sigchi.dk \
--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=lfcs-interest@dcs.ed.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=lics@research.bell-labs.com \
--cc=linear@cs.stanford.edu \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=lprolog@cs.umn.edu \
--cc=m4m@science.uva.nl \
--cc=members@fmeurope.org \
--cc=mercury-ads@cs.mu.oz.au \
--cc=moca-announce@list.it.uu.se \
--cc=multi@cs.chalmers.se \
--cc=nvti-list@cwi.nl \
--cc=oose@uni-paderborn.de \
--cc=papm@inf.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=resist@laas.fr \
--cc=reus@informatik.uni-muenchen.de \
--cc=safety-critical@cs.york.ac.uk \
--cc=security@fosad.org \
--cc=sensoria@lists.tcs.ifi.lmu.de \
--cc=sicstus-users@sics.se \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=streicher@mathematik.tu-darmstadt.de \
--cc=tfsbc-l@sbc.org.br \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-a@listserv.nodak.edu \
--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 \
--cc=webmaster@eatcs.org \
--cc=zforum@comlab.ox.ac.uk \
/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).