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 presen...


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...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...



AISB event Bulletin Item

CADE-22 last call for papers


    22nd International Conference on Automated Deduction
	       McGill University, Montreal, Canada
			August 2-7, 2009

		Submission Deadline: 23 Feb 2009

CADE is the major forum for the presentation of research in all
aspects of automated deduction. The conference programme will
include invited talks, paper presentations, system
descriptions, workshops, tutorials, and system competitions.

We invite high-quality submissions on the general topic of
automated deduction, including foundations, applications,
implementations and practical experiences. 
Logics of interest include, but are not limited to

  o propositional, first-order, equational, higher-order,
    classical, description, modal, temporal, many-valued,
    intuitionistic, other non-classical, meta-logics,
    logical frameworks, type theory and set theory.

Methods of interest include, but are not limited to

  o saturation, resolution, instance-based, tableaux, sequent
    calculi, natural deduction, term rewriting, decision
    procedures, model generation, model checking, constraint
    solving, induction, unification, proof planning, proof
    checking, proof presentation and explanation.

Applications of interest include, but are not limited to

  o program analysis and verification, hardware verification,
    mathematics, natural language processing, computational
    linguistics, knowledge representation, ontology reasoning,
    deductive databases, functional and logic programming,
    robotics, planning, and other areas of AI.

Konstantin Korovin   The University of Manchester
Martin Rinard        Massachusetts Institute of Technology
Mark Stickel         SRI International

There will be a two-day programme of eight workshops and four
tutorials before the conference. In addition, two system
competitions will be held during the conference.

    o Automated Deduction: Decidability, Complexity,
          Tractability (ADDCT)
    o Beyond SAT: What About First-Order Logic?
    o Logical Frameworks and Meta-Languages: Theory and
          Practice (LFMTP)
    o Modules and Libraries for Proof Assistants (MLPA)
    o Proof Search in Type Theories (PSTT)
    o Satisfiability Modulo Theories (SMT)
    o The International Workshop on Unification (UNIF)
    o TPTP World Workshop (TPTPWoWo)

    o Hierarchical and Modular Reasoning in Complex Theories
    o Probabilistic Analysis Using a Theorem Prover
    o Precise, Automated and Scalable Verification of Systems
          Software Using SMT solvers
    o Logics with Undefinedness

  System competitions:
    o The CADE ATP System Competition (CASC)
    o Satisfiability Modulo Theories Competition (SMT-COMP)

Details will be published in separate calls and on the
conference website.

Travel awards will be available to enable selected students to
attend the conference. Details will be published on the
conference website.

The proceedings of the conference will be published in the
Springer LNAI/LNCS series.

Submissions can be made in the categories 'regular papers' and
'system descriptions'. The page limit in Springer LNCS style is
15 pages for regular papers and 5 pages for system
descriptions. Full system descriptions that provide in-depth
presentation of original ideas in an implemented system can be
submitted as regular papers. For the benefit of reviewers,
additional material may be provided by a clearly marked
appendix or a reference to a manuscript on a website. It is at
the discretion of the reviewers whether such supplements will
be considered. All regular papers will be evaluated according
to the highest standards in terms of originality, significance,
technical quality, and readability.

Submissions must be in English and standard conforming pdf
format. Submissions must be unpublished and not submitted for
publication elsewhere. Authors are strongly encouraged to
produce their papers in LaTeX.

Formatting instructions and the LNCS style files can be
obtained via

To submit your paper please use the EasyChair submission system
at this address: 
A paper title and a short abstract of about 100 words must be
submitted before the paper. 
    16  Feb 2009 Abstract submission deadline
    23  Feb 2009 Paper submission deadline
    10  Apr 2009 Notification of paper decisions
    14  May 2009 Camera-ready papers due

    2-3 Aug 2009 Workshops & Tutorials
    4-7 Aug 2009 Conference, including CASC and SMT-COMP

Alessandro Armando     Universit di Genova
Franz Baader           Technische Universitt Dresden
Peter Baumgartner      NICTA, Canberra
Maria Paola Bonacina   Universit degli Studi di Verona
Bernhard Beckert       Universitt Koblenz-Landau
Nikolaj Bjrner        Microsoft Research
Alessandro Cimatti     Istituto per la Ricerca Scientifica e                             Tecnologica, Trento
Silvio Ghilardi        Universit degli Studi di Milano
Jrgen Giesl           RWTH Aachen
Rajeev Gor            The Australian National University
Reiner Hhnle          Chalmers University of Technology
John Harrison          Intel Corporation
Miki Hermann           cole Polytechnique
Ullrich Hustadt        University of Liverpool
Katsumi Inoue          National Institute of Informatics, Japan
Tommi Junttila         Helsinki University of Technology
Deepak Kapur           University of New Mexico
Alexander Leitsch      Technische Universitt Wien
Christopher Lynch      Clarkson University
Claude March          INRIA Saclay, Parc Orsay Universit
William McCune         University of New Mexico
Aart Middeldorp        Universitt Innsbruck
Hans de Nivelle        University of Wroclaw
Albert Oliveras        Universitat Politcnica de Catalunya
Lawrence Paulson       University of Cambridge
Brigitte Pientka       McGill University
David Plaisted         University of North Carolina                             at Chapel Hill
Michal Rusinowitch    LORIA-INRIA-Lorraine
Renate Schmidt (Chair) The University of Manchester
Carsten Schrmann      IT-Universitetet i Kbenhavn
Aaron Stump            The University of Iowa
Geoff Sutcliffe        University of Miami
Cesare Tinelli         The University of Iowa
Andrei Voronkov        The University of Manchester
Christoph Weidenbach   Max-Planck-Institut fr Informatik

Conference Chair:               Brigitte Pientka   McGill University
Workshop & Tutorial Chair:      Aaron Stump        The University of Iowa
Publicity Chair:                Carsten Schrmann  IT-Universitetet i Kbenhavn
PC Chair:                       Renate Schmidt     The University of Manchester