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=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0B2A2BBC1 for ; Thu, 1 May 2008 14:11:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEALpPGUjAH1kG/2dsb2JhbACsYQ X-IronPort-AV: E=Sophos;i="4.27,422,1204498800"; d="scan'208";a="10291411" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 May 2008 14:11:00 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m41CAwrU013303 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 1 May 2008 14:11:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEALpPGUjAH1kG/2dsb2JhbACsYQ X-IronPort-AV: E=Sophos;i="4.27,422,1204498800"; d="scan'208";a="10291410" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 May 2008 14:11:00 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 9705411FA29; Thu, 1 May 2008 08:08:46 -0400 (EDT) To: caml-list@inria.fr Subject: IJCAR Calls and Awards Message-Id: <20080501120846.9705411FA29@mcclellan.cs.miami.edu> Date: Thu, 1 May 2008 08:08:46 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Miltered: at concorde with ID 4819B352.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; decidability:01 scalable:01 smt:01 solvers:01 bjorner:01 coalgebraic:01 logics:01 miami:98 nikolaj:02 constraints:03 tutorials:03 tutorials:03 tutorial:03 logic:04 workshops:05 ------------------------------------------------------------------------------- IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Calls for Participation, Calls for Workshop Papers, Student Travel Awards ------------------------------------------------------------------------------- Call for Participation ---------------------- Information about IJCAR's astounding program of invited speakers, technical papers, workshops, tutorials, competitions, and social events, is available from the IJCAR WWW pages - 2008.IJCAR.org. There are 101 reasons to attend IJCAR, which are enumerated on the WWW site. Registration, accomodation, and travel/visa information is there too. Book your flight to Sydney today! ------------------------------------------------------------------------------- Calls for Workshop Papers, Tutorial Participation ------------------------------------------------- There will be six workshops and four tutorials before IJCAR, 10th and 11th August. See their individual WWW pages, linked from the IJCAR WWW pages, for submission and participation information. + Workshops - The 5th International Verification Workshop (VERIFY'08) - Practical Aspects of Automated Reasoning (PAAR-2008) - Evaluation of Systems for Higher Order Logic (ESHOL) - Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08) - Constraints in Formal Verification - Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) + Tutorials - Introduction to Nominal Isabelle - Christian Urban - Formal Methods in Use at Galois, Inc. - Joe Hurd - SMT Solvers in Program Analysis and Verification - Nikolaj Bjorner and Leonardo de Moura - Coalgebraic Logics and Applications (COALA) - Dirk Pattinson ------------------------------------------------------------------------------- Student Travel Awards --------------------- Two award schemes that provide sponsorhips to support student attendance at IJCAR are available. See the IJCAR WWW pages for details. -------------------------------------------------------------------------------