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 q3J9TP5I009610 for ; Thu, 19 Apr 2012 11:29:25 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUJAI3aj0/Cd8ATmWdsb2JhbABDDrAnBIEKIgEBAQEBCAsLBxQKHYILBgEBGhsEASkCED0TAw8JAwIBAgFKAgwIAQGICwS6ZosChTMElW+Sajk X-IronPort-AV: E=Sophos;i="4.75,445,1330902000"; d="scan'208";a="154694728" Received: from blade3.isti.cnr.it ([194.119.192.19]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Apr 2012 11:29:19 +0200 Received: from macbeek.isti.cnr.it ([146.48.84.229]) by mx.isti.cnr.it (PMDF V6.5-x6 #31988) with ESMTPSA id <01OEI1YXXFSALS8H0M@mx.isti.cnr.it> for caml-list@inria.fr; Thu, 19 Apr 2012 11:28:33 +0200 (MEST) Date: Thu, 19 Apr 2012 11:28:22 +0200 From: Maurice ter Beek 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 Message-id: <4F8FDAB6.1080409@isti.cnr.it> MIME-version: 1.0 Content-type: text/plain; format=flowed; charset=ISO-8859-1 Content-transfer-encoding: 7bit User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:11.0) Gecko/20120327 Thunderbird/11.0.1 X-INSM-ip-source: 146.48.84.229 Auth Done X-Validation-by: maurice.terbeek@isti.cnr.it Subject: [Caml-list] Call for participation iFM & ABZ 2012 - program available 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.