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


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



AISB event Bulletin Item

CALL FOR SHORT PRESENTATIONS AND POSTERS: Logic in Computer Science, 25-28 June 2012, Dubrovnik, CROATIA

LICS 2012

The LICS Symposium is an annual international forum on theoretical and practical topics in computer
science that relate to logic, broadly construed.

LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th 
to 28th, 2012.

As in the past, there will be a short-presentation session during LICS 2012, which is intended 
for descriptions of works in progress, student projects, trailers for longer presentations at 
affiliated workshops, and relevant research being published elsewhere; other brief communications 
may be acceptable. Talks can be on any topic related to logic in computer science as summarized 
in the LICS call for papers. In addition, there will be a poster session, mainly for student 
research in progress.

Proceedings of these sessions will not be published.

Submission Instructions:

Proposals for short (10-minute) presentations must be submitted in the IEEE (2-column; 10pt) 
proceedings format and must be 1 or 2 pages long, including references. Please refer to a longer 
version, should one be available. Style files and instructions for using them can be found at

(The file bare_conf.tex may be used as a template.)

Proposals for posters should be in the form of the planned poster (140cm tall; 100cm wide; 28pt 
main font), and should include a reference to a relevant publication or preprint.

The URL for submitting papers is

This link will bring you to the "Login Page for LICS 2012". Either sign in using your existing 
EasyChair account, or sign up for a new account. You'll reach the "LICS 2012 (author)" page. The 
page should be self-explanatory. To submit a paper, click "New Submission" on top and follow 

The submission server is open.

Important dates:
* Submission Deadline: 15 April 2012
* Author Notification: 1 May 2012
* Final Version Deadline: 30 May 2012

Program ch-chairs:
* Andrei Bulatov:
* Nachum Dershowitz:

In case of any problems, please send email to one of the co-chairs.