From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gianpiero.cabodi@polito.it>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id C37247ED7A
	for <caml-list@sympa.inria.fr>; Fri,  7 Sep 2012 11:13:23 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  gianpiero.cabodi@polito.it) identity=pra;
  client-ip=130.192.182.65;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="gianpiero.cabodi@polito.it";
  x-sender="gianpiero.cabodi@polito.it";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  gianpiero.cabodi@polito.it designates 130.192.182.65 as
  permitted sender) identity=mailfrom;
  client-ip=130.192.182.65;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="gianpiero.cabodi@polito.it";
  x-sender="gianpiero.cabodi@polito.it";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mx.polito.it) identity=helo;
  client-ip=130.192.182.65;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="gianpiero.cabodi@polito.it";
  x-sender="postmaster@mx.polito.it";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhACAMG5SVCCwLZBjGdsb2JhbABFFql2AZFnAQEBCgsLBxMogkQPii4LmgihaYsRgxWDHAOVWoVfjSI
X-IronPort-AV: E=Sophos;i="4.80,384,1344204000"; 
   d="scan'208";a="154982321"
Received: from mx.polito.it ([130.192.182.65])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Sep 2012 11:13:23 +0200
Received: from polito.it (frontmail1.polito.it [130.192.180.41])
	by fm2nodo1.polito.it  with ESMTP id q879DNkh021654-q879DNki021654
	for <caml-list@inria.fr>; Fri, 7 Sep 2012 11:13:23 +0200
X-ExtScanner: Niversoft's FindAttachments (free)
Received: from [130.192.16.146] (HELO fmmail.polito.it)
  by frontmail1.polito.it (CommuniGate Pro SMTP 5.4.6)
  with ESMTPS id 58133698 for caml-list@inria.fr; Fri, 07 Sep 2012 11:13:22 +0200
Received: from fmmail.polito.it (fmmail.polito.it [127.0.0.1])
	by fmmail.polito.it (8.13.8/8.13.8) with ESMTP id q879Csvj003976
	for <caml-list@inria.fr>; Fri, 7 Sep 2012 11:12:54 +0200
Received: (from cabodi@localhost)
	by fmmail.polito.it (8.13.8/8.13.8/Submit) id q879CsYd003942
	for caml-list@inria.fr; Fri, 7 Sep 2012 11:12:54 +0200
Date: Fri, 7 Sep 2012 11:12:54 +0200
From: gianpiero.cabodi@polito.it
Message-Id: <201209070912.q879CsYd003942@fmmail.polito.it>
X-Authentication-Warning: fmmail.polito.it: cabodi set sender to gianpiero.cabodi@polito.it using -f
To: caml-list@inria.fr
X-Validation-by: gianpiero.cabodi@polito.it
Subject: [Caml-list] FMCAD'2012: Preliminary Call For Participation

==================================
CALL FOR PARTICIPATION: FMCAD 2012
==================================

Dear colleague,

We put together a very interesting program for FMCAD'12!
 
 http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/

Please register soon. Early registration ends on September 30!
(see http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/registration.html).

FMCAD'12 takes place from October 22 through 25 at Microsoft Research Cambridge, UK 
Beside presentations of 25 accepted papers, we have

  * A keynote by Turing Award Winner Tony Hoare (Microsoft)
    on "Algebra of Concurrent Design"
   
  * An industrial panel organized by Maher Mneimneh (Atrenta),
    on "Model Checking in the Cloud"

  * The fifth Hardware Model Checking Competition (HWMCC'12),
    organized by Armin Biere (Johannes Kepler University Linz)
 
  * and last but not least four tutorials, organized by Rolf Drechsler (University of Bremen), presented by:
    Jasmin Fisher (Microsoft), on "From Theory to Lab Experiments by Formal Verification"  
    Torsten Schaub (University of Potsdam), on "Answer Set Programming"
    Eric Feron (Georgia Tech), on "Formal Methods in Avionics"
    Alessandro Cimatti (Fondazione Bruno Kessler) on "Application of SMT Solvers to Hybrid System Verification"
   
Note again that early registration ends on September 30.

We hope to see you in Cambridge!

Regards,

Gianpiero Cabodi and Satnam Singh (co-chairs)