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

CFP: LICS 2010: Logic in Computer Science

  Twenty-fifth Annual IEEE Symposium on

                    CALL FOR PAPERS

           July 11-14, 2010, Edinburgh, Scotland, UK

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed.  We invite submissions on topics that fit under that
rubric.  Suggested, but not exclusive, topics of interest for
submissions include: automata theory in connection with logic,
automated deduction, categorical models and logics, concurrency and
distributed computation, constraint programming, constructive
mathematics, database theory, decidable theories, domain theory,
finite model theory, first-order logic, formal aspects of program
analysis, formal methods, game semantics, higher-order logic, hybrid
systems, lambda and combinatory calculi, linear logic, logical aspects
of computational complexity, logical frameworks, logics in artificial
intelligence, logics of programs, logic programming, modal and
temporal logics, model checking, probabilistic systems, process
calculi, programming language semantics, proof theory, reasoning about
security, rewriting, type systems and type theory, and verification.
We welcome submissions in emergent areas, such as bioinformatics and
quantum computation, if they have a substantial connection with logic.

LICS 2010 will be organized as part of the "Fifth Federated Logic
Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.
For information regarding FLoC 2010 and the participating meetings,
please visit

Important Dates:
  Titles & Short Abstracts Due: January 10, 2010
  Extended Abstracts  Due:      January 17, 2010
  Author Notification:          March 21, 2010
  Camera-ready Papers Due:      April 29, 2010

Authors are required to submit a paper title and a short abstract of
about 100 words  before submitting the extended abstract of the
paper. All submissions will be electronic.

All deadlines are at midnight (GMT); late submissions will not be possible.
Submission will be open at

Submission Instructions:
Every extended abstract must be submitted in the IEEE Proceedings
two-column camera-ready format and may be no longer than 10 pages
including references with a font size of 10pt.  Submissions
instructions including LaTeX style files are available from the LICS
2010 website.

The abstract must be in English and provide sufficient detail to allow
the program committee to assess the merits of the paper.  It should
begin with a succinct statement of the issues, a summary of the main
results, and a brief explanation of their significance and relevance
to the conference and to computer science, all phrased for the
non-specialist.  Technical development directed to the specialist
should follow. References and comparisons with related work should be
included.  If necessary, detailed proofs of technical results can be
included in a clearly-labelled appendix in the same two-column format
following the 10-page extended abstract or there can be a pointer to
an existing manuscript on a website. This material may be read at
the discretion of the program committee. Extended abstracts not
conforming to the above requirements concerning format and length
may be rejected without further consideration.

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
The PC chair should be informed of closely related work submitted to a
conference or journal in advance of submission.
All authors of accepted papers will be expected to sign copyright
release forms.  One author of each accepted paper will be expected to
present it at the conference.

Short Presentations:
LICS 2010 will have a session of short (10 minute) presentations.
This session is intended for descriptions of work in progress, student
projects, and relevant research being published elsewhere; other brief
communications may be acceptable.  Submissions for these
presentations, in the form of short abstracts (1 or 2 pages long),
should be entered at the LICS 2010 submission site in a time frame to
be advertised on the LICS 2010 website.

Kleene Award for Best Student Paper:
An award in honour of the late S. C. Kleene will be given for the best
student paper, as judged by the program committee.  Details concerning
eligibility criteria and procedure for consideration for this award
will be posted at the LICS website.  The committee may decline to make
the award or split it among several papers.

Program Committee:
Program Chair:
  Jean-Pierre Jouannaud
  INRIA and Tsinghua University, Beijing, China

Program Committee:
  Parosh Abdullah, Uppsala University
  Albert Atserias, Univ. Politecnica de Catalunya
  Franz Baader, Technische Universitaet Dresden
  Krishnendu Chatterjee, IST, Vienna
  Yijia Chen, Jiao Tong University, Shanghai
  Veronique Cortier, CNRS and Universite de Nancy
  Vincent Danos, University of Edinburgh
  Martin Escardo, University of Birmingham
  Javier Esparza, Technische Universitaet Muenchen
  Amy Felty, University of Ottawa
  Herman Geuvers, Radboud University Nijmegen
  Dan Ghica, University of Birmingham
  Robert Harper, Carnegie Mellon University
  Jean-Pierre Jouannaud, INRIA and Tsinghua Univ.
  Naoki Kobayashi, Tohoku University, Sendai
  Orna Kupferman, Hebrew University, Jerusalem
  Stephane Lengrand, CNRS and Polytechnique
  Jose Meseguer, UI at Urbana-Champaign
  John Mitchell, Stanford University
  Eugenio Moggi, Universita di Genova
  Anca Muscholl, Universite de Bordeaux
  Mogens Nielsen, University of Aarhus
  Makoto Tatsuta, NII, Tokyo
  Wolfgang Thomas, RWTH Aachen
  Pawel Urzyczyn, Warsaw University
  Victor Vianu, UC at San Diego

Conference Chair:
  Martin Escardo, University of Birmingham

Workshops Chairs:
  Adriana Compagnoni, Stevens IT, New-Jersey
  Maribel Fernandez, King's College London

Publicity Chairs:
  Stephan Kreutzer, University of Oxford
  Nicole Schweikardt, Univ. Frankfurt am Main

General Chair:
  Rajeev Alur, U. Penn, Philadelphia

Organizing Committee:
  M. Abadi, R. Alur (chair), G. Ausiello, F. Baader,
  P. Beame, S. Brookes, S. Buss, E. Clarke, A. Compagnoni,
  M. Escardo, M. Fernandez, L. Fortnow, J. Giesl, R.Jagadeesan,
  J.-P. Jouannaud, P. Kolaitis, S. Kreutzer, B. Larose,
  J. A. Makowsky, J. Palsberg, F. Pfenning, A. M. Pitts,
  N. Schweikardt, P. Scott, M. Valeriote

Advisory Board:
  M. Abadi, S. Abramski, Y. Gurevich, T. Henzinger, C. Kirchner,
  P. Kolaitis, D. Kozen, L. Ong, U. Martin, J. Mitchell, L. Pacholski,
  G. Plotkin, A. Scedrov, M. Y. Vardi, G. Winskel

Colocated events:
The following conferences are
colocated with LICS at FLoC 2010: CAV, ICLP, IJCAR, ITP, RTA, SAT, as
indicated on the FLoC homepage. There will also be a number of workshops
sponsored by the FLoC conferences. Details on workshops affiliated with
LICS can be found at the LICS 2010 website.

The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic and the European Association for
Theoretical Computer Science.