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

CALL FOR PARTICIPATION: Logic in computer Science, June 21-24, 2011, CANADA

26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011), Toronto, Canada

LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto in 
Toronto, Ontario, Canada, from June 21st to the 24th, 2011.

Registration for LICS is open. For online registration follow the link to

Early registration at reduced rates will be available till 31 May 2011.

A list of hotels with blocks of rooms reserved at reduced rates for LICS participants can be found 

Rooms are reserved till the end of may, with different dates for the various hotels.


A preliminary programme can be found at

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, automated deduction, categorical models and logics, concurrency and distributed 
computation, constraint programming, constructive mathematics, database theory, description logics,
domain theory, finite model theory, formal aspects of program analysis, formal methods, 
higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects 
of bioinformatics, logical aspects of computational complexity, logical aspects of quantum 
computation, logical frameworks, logic 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.

Tutorial Day:
  At LICS 2011, we will start a series of tutorials on the core areas
  of logic in computer science. Rather than focussing on a specialised
  topic, these tutorials will highlight the basic questions, techniques
  and motivation of a broader area. The tutorials are aimed to be
  accessible to all LICS participants. In 2011, we will have two
  half-day tutorials on Finite Model Theory and Semantics respectively,
  to be held on June 20.
  The speakers will be
   * Albert Atserias (UPC Barcelona) on Finite Model Theory and
   * Prakash Panangaden (McGill University, Montreal) on Semantics.

Invited Speakers:
  * Naoki Kobayashi, Tohoku University
  * Andrei Krokhin, University of Durham
  * Toniann Pitassi, University of Toronto
  * Ashish Tiwari, SRI

Important Dates:
    * Early registration ends 31 May 2011
    * Conference:   21-24 June 2011

Program Chair:
  Martin Grohe, Humboldt Univ., Berlin

Program Committee:
  Eli Ben-Sasson, Technion, Haifa
  Patrick Baillot, CNRS & ENS, Lyon
  Patricia Bouyer-Decitre, ENS, Cachan
  Balder ten Cate, UC Santa Cruz
  Thierry Coquand,  Univ. of Gothenburg
  Victor Dalmau, UPF, Barcelona
  Jose Desharnais, Univ. Laval, Qubec
  Kousha Etessami, Univ. of Edinburgh
  Philippa Gardner, Imperial College, London
  Rob van Glabbeek, NICTA, Sydney
  Guillem Godoy, UPC, Barcelona
  Martin Grohe, HU Berlin
  Martin Hofmann,  LMU Munich
  Vineet Kahlon, NEC Labs, Princeton
  Stephan Kreutzer, Univ. of Oxford
  Dale Miller, INRIA, Saclay
  Leonardo de Moura, Microsoft Research, Redmond
  Luke Ong, Univ. of Oxford
  Benjamin Rossman,  MIT, Cambridge
  Davide Sangiorgi, Univ. of Bologna
  Luc Segoufin, INRIA & ENS, Cachan
  Matt Valeriote, McMaster Univ., Hamilton
  Andrei Voronkov, Univ. of Manchester
  Igor Walukiewicz, Univ. of Bordeaux
  Thomas Wilke, Univ. of Kiel

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 program committee
  may decline to make the award or may split it among several papers.

Special Issue:
  Full versions of upto 3 accepted papers, to be selected by the
  program committee, will be invited for submission to the Journal of
  the ACM. Additional selected papers will be invited to the special
  issue of the open-access journal Logical Methods in Computer Science.

Affiliated Workshops:
  As in previous years, there will be a number of workshops affiliated
  with LICS 2011; information  will be posted at the LICS website.

Conference Co-Chairs:
  * Benoit Larose, Champlain Regional College
  * Matt Valeriote, McMaster Univ., Hamilton

Workshops Co-Chairs:
  * Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey
  * Maribel Fernndez, King's College London

Publicity Co-Chairs:
  * Andrzej Murawski, Univ. of Leicester
  * Stephan Kreutzer, Univ. of Oxford

  * Martn Escard, Univ. of Birmingham

General Chair:
  * Rajeev Alur
    Univ. of Pennsylvania, Philadelphia

Organizing Committee:
Martn Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martn Escard, Maribel Fernndez, Lance Fortnow, Jrgen Giesl, Martin Grohe, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Burkard Monien, Andrzej Murawski, Jens Palsberg, Andrew Pitts, Philip Scott, Matt Valeriote

Advisory Board:
Martn Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, Moshe Y. Vardi, Glynn Winskel

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