From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q44GHqYf014236 for ; Fri, 4 May 2012 18:17:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoGAAcApE/AH1kG/2dsb2JhbABFoRcBklSCLSEqTTACH4hRC5lTmDWJCZAqYwSVfYESjzGDBA X-IronPort-AV: E=Sophos;i="4.75,532,1330902000"; d="scan'208";a="142608312" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail4-smtp-sop.national.inria.fr with SMTP; 04 May 2012 18:17:51 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 574A9121498; Fri, 4 May 2012 12:17:51 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20120504161751.574A9121498@mcclellan.cs.miami.edu> Date: Fri, 4 May 2012 12:17:51 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IJCAR 2012 Participation and Travel Awards ------------------------------------------------------------------------- IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning http://ijcar.cs.man.ac.uk/ Call for Participation and Woody Bledsoe Student Travel Award Applications ------------------------------------------------------------------------- IJCAR 2012 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) * TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) IJCAR 2012 will be held at the University of Manchester, UK, from June 26th to July 1st, 2012. ------------------------------------------------------------------------- Deadlines: * Early registration will end on May 25th, * Late registration will end on June 11th * Very late and on-site registration will never end To register, please follow the registration page on http://ijcar.cs.man.ac.uk/?page_id=40 Please register now! ------------------------------------------------------------------------- Scientific Programme: * 4 Invited Speakers: -- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA -- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia -- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain -- Nicole Schweikardt, University of Frankfurt, Germany * 3 Evening Lectures by the following pioneers of automated reasoning: -- Peter Andrews, Carnegie Mellon University, USA -- Martin Davis, New York University, USA -- John Alan Robinson, Syracuse University, New York, USA * Herbrand Award Presentation * 32 full papers * 9 system descriptions ------------------------------------------------------------------------- Satellite Events (June 30th - July 1st) Workshops: * Workshop on Automated Theory Exploration (ATX 2012) * Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012) joint with The 7th International Verification Workshop (VERIFY 2012) * Satisfiability Modulo Theories (SMT 2012) * Practical Aspects of Automated Reasoning (PAAR 2012) * Proof eXchange for Theorem Proving (PxTP 2012) * The 4th International Workshop on Invariant Generation (WING 2012) * Uncertainty in Description Logics (UniDL 2012) * The 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012) * The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012) * Workshop on Logics for Resources, Processes, and Programs (LRPP 2012) * The 26th International Workshop on Unification (UNIF 2012) * StarExec * OWL Reasoner Evaluation Workshop * Automated Reasoning for Enterprise Information Systems (AREIS 2012) Competitions: * CADE ATP System Competition (CASC-J6) * SMT Competition (SMT-COMP 2012) * Termination Competition 2012 * OWL Reasoner Evaluation ------------------------------------------------------------------------- Woody Bledsoe Student Travel Awards Important Dates: * Application deadline May 14th * Notification May 21st For application details please follow Woody Bledsoe Student Travel Awards page on http://ijcar.cs.man.ac.uk/?page_id=375 ------------------------------------------------------------------------- We take this opportunity to remind you that IJCAR 2012 is part of the Alan Turing Year, and is held immediately after The Alan Turing Centenary Conference http://www.turing100.manchester.ac.uk/ It is expected that Manchester will be a busy place during these meetings, so please try to register and book your hotels early. You will find some accommodation suggestions at the IJCAR website. We are grateful to generous sponsors of IJCAR 2012 * The University of Manchester * Artificial Intelligence Journal * Microsoft Research ------------------------------------------------------------------------- We are looking forward to seeing you in Manchester, Andrei, Bernhard, Birte, Dale, Geoff, Konstantin, and Uli -------------------------------------------------------------------------