From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 177B9BC37 for ; Tue, 14 Jul 2009 16:29:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4CANAyXErRVdrdkWdsb2JhbACYcD8BAQEBCQkMBxGlIIEakCwBAwIEhAQFgT2HfQ X-IronPort-AV: E=Sophos;i="4.42,397,1243807200"; d="scan'208";a="33002309" Received: from mail-bw0-f221.google.com ([209.85.218.221]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Jul 2009 16:28:59 +0200 Received: by bwz21 with SMTP id 21so2945775bwz.9 for ; Tue, 14 Jul 2009 07:28:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type:content-transfer-encoding; bh=mTZDvY4DzqkknT+qapinQmqw8QvQFqP8w2t4mCjYHTc=; b=ITWBBDfHHDcTrS8wgoNtfx9PzYvpq0YG/hpdgnRzae1Cp2uv8ViqNJNFHaxy1ykx0j PxAHynx8q1hKc+b9TaLNGckDIQZvtUB98T5/wsgXbnjwAEHXgZr76jaAO8Ld41R/e9ku sAR83FLQqvkj9rM6+KQAnwPtIAAcSjG7pvQnk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=LyUrJLhmcdQyroBn022sualuccmmnZh8+lomTn9yuT+T9+JlVEBZqRPK8f8C8i6758 2yUkzfiPXxgVux/WA0D4pc6xXnb0MLy9k/eqePi+6VpfiT9dJwvIK5cMvz8v+fuANH+w YgmnBDSPtNsHDpZda14Vg68cTjcCN8Qa2Uj8k= MIME-Version: 1.0 Received: by 10.204.62.68 with SMTP id w4mr6446934bkh.93.1247581738971; Tue, 14 Jul 2009 07:28:58 -0700 (PDT) Date: Tue, 14 Jul 2009 16:28:58 +0200 Message-ID: <3906bb8a0907140728s4147dbf9v5f583fe1876db012@mail.gmail.com> Subject: ATVA 2009: Call for participants From: Jun PANG To: petrinet@informatik.uni-hamburg.de, seworld@sigsoft.org, THEORYNT@listserv.nodak.edu, theorem-provers@ai.mit.edu, security , formal-methods@cs.uidaho.edu, facs@lboro.ac.uk, nvti-list@cwi.nl, ipalist@listserver.tue.nl, announcements@lists.artist-embedded.org, eapls@jicsmail.ac.uk, pvs@csl.sri.com, types-announce@lists.seas.upenn.edu, ecoop-info@ecoop.org, om-announce@openmath.org, caml-list@inria.fr, fmics@inrialpes.fr, procos , prog-lang@diku.dk, components@artist-embedded.org Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; iist:01 iist:01 abstraction:01 bounded:01 model:01 model:01 alur:01 kwiatkowska:01 doron:01 natarajan:01 uppsala:01 doron:01 2009:98 pang:98 2009:98 [ATVA 2009 - Early registration: (on or before) 15 August 2009] ************************************************************************ * * ATVA 2009 Call for Participation * * 7th International Symposium on * Automated Technology for Verification and Analysis * 13-16 October 2009, Macao SAR, China * [http://www.iist.unu.edu/atva09] * ************************************************************************ We are pleased to announce the 7th International Symposium on Automated Technology for Verification and Analysis, to be held in Macao SAR, China, in October 2009, at the Main Campus of the Macau Polytechnic Institute. On-line registration for the conference is open at: http://www.iist.unu.edu/atva09/registration_page.html Early Registration deadline: (on or before) 15 August 2009 ******************************************* There are a lot of good reasons to be part of ATVA 2009. This year, the technical program will include 26 papers selected from 84 submissions, 3 excellent invited talks. The keynote speakers will also give tutorials on 13 October, the day before the conference. A post-conference tour to Guiling, China is organized. There is one more reason to visit Macao -- Macanese food, wine and entertainment. Information about registration and hotel is available on the conference website. The list of accepted papers can be found at: http://www.iist.unu.edu/atva09/acceptedpapers.html Invited talks include the following presentations (http://www.iist.unu.edu/atva09/keynote.html): * Verifying VLSI Circuits Mark Greenstreet (U. British Columbia) * 3-Valued Abstraction for (Bounded) Model Checking Orna Grumberg (Technion) * Local Search in Model Checking Bill Roscoe (Oxford University) Invited tutorials include the following presentations (http://www.iist.unu.edu/atva09/tutorials.html) * Mathematics, Models, and Methods for Circuit Verification Mark Greenstreet (U. British Columbia) * The 2-valued and 3-Valued Abstraction-Refinement Frameworks Orna Grumberg (Technion) * Using FDR to Compile and Analyse Shared Variable Programs Bill Roscoe (Oxford University) ******************************************* Program Chairs Zhiming Liu, UNU-IIST, Macao Anders P. Ravn, Aalborg University, DK Organisation Chair Antonio Cerone, UNU-IIST, Macao Publicity Chair Jun Pang, U. Luxembourg Workshop Chair Xu Wang, UNU-IIST, Macao Sponsored by: UNU-IIST, University of Macau Macao Polytechnic Institute Keynote Speakers Mark Greenstreet (U. British Columbia) Orna Grumberg (Technion) Bill Roscoe (Oxford University) PC Members Rajeev Alur (U. Pennsylvania, US) Christel Baier (TU Dresdenn, ED) Jonathan Billington (U. South Australia) Laurent Fribourg ((CNRS, FR) Masahiro Fujita (U. Tokyo, JP) Susanne Graf (VERIMAG, FR) Mark Greenstreet (U. British Columbia) Wolfgang Grieskamp (Microsoft Research, US) Teruo Higashino (U. Osaka, JP) Moonzoo Kim (KAIST, KR) Orna Kupferman (U. Hebrew, IL) Marta Kwiatkowska (Oxford U., UK) Insup Lee (U. Pennsylvania, US) Xuandong Li (U. Nanjing, CN) Shaoying Liu (U. Hosei, JP) Hanne Nielson (DTU, DK) Kedar Namjoshi (Bell Labs, US) Ernst-Ruediger Olderog (U. Oldenburg, DE) Jun Pang (U. Luxembourg ) Doron A. Peled (U. Warwick, UK) Abhik Roychoudhury (National U. Singapore) Natarajan Shankar (SRI, US) Irek Ulidowski (U. Leicester, UK) Mahesh Viswanathan (UIUC, US) Farn Wang (National Taiwan University) Ji Wang (NLPDS, CN Xu Wang (UNU-IIST, Macao) Hsu-Chun Yen (National Taiwan University) Wang Yi (Uppsala University, SE) Tomohiro Yoneda (NII, JP) Wenhui Zhang (CAS, CN) Steering Committee E. Allen Emerson (U. Texas-Austin) Teruo Higashino (Osaka University) Oscar H. Ibarra (U. California-S.Barbara) Insup Lee (U. Pennsylvania) Doron A. Peled (U. Warwick, Univ. Bar Ilan) Farn Wang (National Taiwan University) Hsu-Chun Yen (National Taiwan University)