AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

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

SHORT PRESENTATIONS:
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

          http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/.

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


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

     http://www.easychair.org/conferences/?conf=lics2012.

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

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: abulatov@cs.sfu.ca
* Nachum Dershowitz: nachum@tau.ac.il

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