From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B6F1F7F8F2 for ; Tue, 3 Jun 2014 17:35:49 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhcCAL7qjVPAH1kGnGdsb2JhbABZg1mCc6sNAY19iFwOAQEBAQEIFAk8gkkhKk0wBB2JBg2dV69EhGsXjm+CHg9EJIEVBIRgkSKEB4E/jAOJRiE X-IPAS-Result: AhcCAL7qjVPAH1kGnGdsb2JhbABZg1mCc6sNAY19iFwOAQEBAQEIFAk8gkkhKk0wBB2JBg2dV69EhGsXjm+CHg9EJIEVBIRgkSKEB4E/jAOJRiE X-IronPort-AV: E=Sophos;i="4.98,966,1392159600"; d="scan'208";a="65286403" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Jun 2014 17:35:48 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id B68B3121526; Tue, 3 Jun 2014 11:35:47 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20140603153547.B68B3121526@mcclellan.cs.miami.edu> Date: Tue, 3 Jun 2014 11:35:47 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IJCAR Call for Participation ** CALL FOR PARTICIPATION ** == Early registration deadline June 8 == == Student travel awards applications due by June 8 == IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014 http://cs.nyu.edu/ijcar2014/ as part of FLoC 2014 - Federated Logic Conference http://www.floc-conference.org/ as part of VSL 2014 - Vienna Summer of Logic http://vsl2014.at/ Call for Participation ---------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2014 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) === REGISTRATION AND TRAVEL AWARDS === Early registration closes *June 8*, register at http://vsl2014.at/registration/ Accommodation information for Vienna available there as well. Travel awards are available to enable selected students to attend the conference. Act quickly, the deadline to apply is June 8. Details at http://vsl2014.at/floc14-travel-support/ === PROGRAM === The program for the conference is now available at http://cs.nyu.edu/ijcar2014/ === INVITED SPEAKERS === * Ken McMillan (Microsoft Research) * Rajeev Goré (Australian National University) Other speakers during the second week of the Vienna Summer for Logic, but affiliated with other events, include (in alphabetical order) Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman, Christos Papadimitriou, and Alex Wilkie. === AFFILIATED WORKSHOPS === 76 workshops have been accepted to FLoC 2014, and a number are affiliated to IJCAR. The full list of workshops is available at http://vsl2014.at/floc-ws/