CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

2nd CALL FOR PAPERS: International Joint Conference on Automated Reasoning, June 26-July 1, 2012, Manchester (U.K.),

Second Call For Papers --- IJCAR 2012

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:/ /

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


Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be 
obtained from 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, Technischen Universit?t 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, UPM, 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, University of Iowa, Iowa City, USA
   Geoff Sutcliffe, University of Miami, USA
   Ren? Thiemann, University of Innsbruck, Austria
   Cesare Tinelli, University of Iowa, Iowa City, 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