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 pBTIdIQA021328 for ; Thu, 29 Dec 2011 19:39:18 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8FAECy/E6C4o4DYWdsb2JhbABDrGwYIkuBdAYBAQkRKQoYFAMBAgYCSAgDcgSHebVgjA8ElQKSNQ X-IronPort-AV: E=Sophos;i="4.71,428,1320620400"; d="scan'208";a="137211534" Received: from mx2.itu.dk ([130.226.142.3]) by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Dec 2011 19:39:12 +0100 Received: from freeman.itu.dk (freeman.itu.dk [192.168.30.90]) by mx2.itu.dk (Postfix) with ESMTP id 61022CB8109 for ; Thu, 29 Dec 2011 19:38:34 +0100 (CET) Received: from freeman.itu.dk (localhost.localdomain [127.0.0.1]) by freeman.itu.dk (Postfix) with ESMTP id 5E1F27E80B1 for ; Thu, 29 Dec 2011 19:38:34 +0100 (CET) X-Original-To: cade@itu.dk Delivered-To: cade@itu.dk Received: from barracuda.itu.dk (barracuda.itu.dk [130.226.142.27]) by freeman.itu.dk (Postfix) with ESMTP id 06F107E80AB for ; Thu, 29 Dec 2011 18:53:35 +0100 (CET) X-ASG-Debug-ID: 1325181213-db0d0674b671-rU1dSh Received: from mx1.itu.dk (mx1.itu.dk [130.226.142.23]) by barracuda.itu.dk with ESMTP id Ywu7pcW1D59oz0z5 for ; Thu, 29 Dec 2011 18:53:33 +0100 (CET) X-Barracuda-Envelope-From: gramlich@logic.at X-Barracuda-Apparent-Source-IP: 130.226.142.23 X-Greylist: delayed 00:21:59 by SQLgrey-1.7.5 Received: from mx.logic.tuwien.ac.at (mx.logic.tuwien.ac.at [128.130.175.19]) by mx1.itu.dk (Postfix) with ESMTP id 5953F2D6A75 for ; Thu, 29 Dec 2011 17:53:33 +0000 (UTC) Received: from church.logic.tuwien.ac.at ([128.130.175.44] ident=Debian-exim) by mx.logic.tuwien.ac.at with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1RgJpG-0004IB-7O; Thu, 29 Dec 2011 18:31:34 +0100 Received: from gramlich by church.logic.tuwien.ac.at with local (Exim 4.69) (envelope-from ) id 1RgJpG-0007oy-59; Thu, 29 Dec 2011 18:31:34 +0100 From: Bernhard Gramlich MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Message-ID: <20220.41974.90591.55675@church.logic.tuwien.ac.at> Date: Thu, 29 Dec 2011 18:31:34 +0100 To: cade@itu.dk X-Mailer: VM 7.17 under 21.4 (patch 21) "Educational Television" XEmacs Lucid X-ASG-Orig-Subj: IJCAR 2012: 2nd Call for Papers X-Barracuda-Connect: mx1.itu.dk[130.226.142.23] X-Barracuda-Start-Time: 1325181213 X-Barracuda-URL: http://130.226.142.27:8000/cgi-mod/mark.cgi X-Virus-Scanned: by bsmtpd at itu.dk X-Barracuda-Bayes: INNOCENT GLOBAL 0.5001 1.0000 0.7500 X-Barracuda-Spam-Score: 0.75 X-Barracuda-Spam-Status: No, SCORE=0.75 using global scores of TAG_LEVEL=3.5 QUARANTINE_LEVEL=9.0 KILL_LEVEL=1000.0 tests= X-Barracuda-Spam-Report: Code version 3.2, rules version 3.2.2.84455 Rule breakdown below pts rule name description ---- ---------------------- -------------------------------------------------- X-Mailman-Approved-At: Thu, 29 Dec 2011 19:38:24 +0100 X-BeenThere: cade@itu.dk X-Mailman-Version: 2.1.9 Precedence: list List-Id: The CADE community List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Sender: cade-bounces@itu.dk Errors-To: cade-bounces@itu.dk Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBTIdIQA021328 X-Validation-by: gramlich@logic.at Subject: [Caml-list] IJCAR 2012: 2nd Call for Papers ********* Apologies for multiple copies of this announcement ********* ---------------------------------------------------------------------- Second Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, June 26-July 1, 2012 http://ijcar.cs.manchester.ac.uk/ Important Dates (all in 2012) Abstract submission January 23 Final version due April 16 Paper submission January 30 Conference dates June 26-29 Notification March 26 Satellite events June 30-July 1 IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http:/ /www.ijcar.org/. IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary Conference in Manchester. Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient datastructures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, and planning. Submission: Submission is electronic through https://www.easychair.org/conferences/?conf=ijcar2012. Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers and 7 pages for system descriptions. All papers will be evaluated according to originality, significance, technical quality, and readability. Submitted papers must be original and not submitted for publication elsewhere. For more details concerning submission see the conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the LNAI/LNCS series. Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012. Conference Chairs Konstantin Korovin, University of Manchester, UK Andrei Voronkov, University of Manchester, UK Program Chairs Bernhard Gramlich (TU Wien, Austria) Dale Miller (INRIA Saclay, France) Ulrike Sattler (University of Manchester, UK) Program Committee Takahito Aoto, Tohoku University, Japan Franz Baader, TU Dresden, Germany Peter Baumgartner, NICTA, ANU, Australia Maria Paola Bonacina, Università degli Studi di Verona, Italy Torben Braüner, Roskilde University, Denmark Michael Fink, TU Wien, Austria Jacques Fleuriot, University of Edinburgh, UK Silvio Ghilardi, Università degli Studi di Milano, Italy Jürgen Giesl, RWTH Aachen ,Germany Bernhard Gramlich, TU Wien, Austria Reiner Hähnle, Chalmers University of Technology, Sweden Florent Jacquemard, ENS de Cachan, France Deepak Kapur, University of New Mexico, Albuquerque, USA Yevgeni Kazakov, University of Oxford, UK Hélène Kirchner, INRIA Rocquencourt, France Konstantin Korovin, University of Manchester, UK Martin Lange, Universität Kassel, Germany Stéphane Lengrand, LIX, Ecole Polytechnique, France Christoph Lüth, DFKI & Universität Bremen, Germany Carsten Lutz, Universität Bremen, Germany Christopher Lynch, Clarkson University, Potsdam, USA George Metcalfe, Universität Bern, Switzerland Dale Miller, INRIA Saclay, France Aleksandar Nanevski, IMDEA Software, Madrid, Spain Tobias Nipkow, TU München, Germany Hans de Nivelle, University of Wroclaw, Poland Albert Oliveras, UPC, Barcelona, Spain Nicolas Peltier, LIG/IMAG, Grenoble, France Frank Pfenning, CMU, Pittsburgh, USA Grigore Rosu, University of Illinois at Urbana-Champaign, USA Michaël Rusinowitch, LORIA/INRIA-Lorraine, Nancy France Ulrike Sattler, University of Manchester, UK Viorica Sofronie-Stokkermans, MPI für Inf., Saarbrücken, Germany Georg Struth, University of Sheffield, UK Aaron Stump, The University of Iowa, USA Geoff Sutcliffe, University of Miami, USA René Thiemann, University of Innsbruck, Austria Cesare Tinelli, The University of Iowa, USA Alwen Tiu, ANU, Canberra, Australia Bow-Yaw Wang, Academia Sinica, Taipei, Taiwan Christoph Weidenbach, MPI für Informatik, Saarbrücken, Germany Michael Zakharyashev, Birkbeck College, London, UK Hans Zantema, Eindhoven University of Technology, The Netherlands Satellite Event Chair: Birte Glimm, University Ulm, Germany Competitions Chair: Geoff Sutcliffe, University of Miami, USA Further Information: For further and up-to-date information about IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/. ----------------------------------------------------------------------