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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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



AISB event Bulletin Item



Philadelphia, USA

Call for Short Presentations and Participation

WoLLIC is an annual international forum on inter-disciplinary research 
involving formal logic, computing and programming theory, and natural language and reasoning.
Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth
WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 20th,

Invited Speakers

Rajeev Alur (Philadelphia)
Rosalie Iemhoff (Utrecht)
John Mitchell (Stanford)
Vladimir Voevodsky(Princeton)
Yoad Winter (Utrecht)
Michael Zakharyaschev (London)

Proceedings of WoLLIC 2011, including both invited and contributed papers, will be published 
in advance of the meeting as volume 6642 in Springer's LNCS series.
The list of contributed papers can be found here: 

In addition, abstracts will appear in the Conference Report section of the Logic Journal of the
IGPL, and selected contributions will be published as a special post-conference WoLLIC 2011 issue
of the Journal of Computer and System Sciences.

Short presentations

In addition to the regular papers, WoLLIC 2011 program will include a short presentation session
consisting of 20 minutes talks. These talks can report on work in progress, etc.

The organizers of the short presentation session are Lev Beklemishev and Andre Scedrov. Abstracts
of 5 to 10 pages should be sent to the conference address < by April 1, 2011.
They will be subject to light reviewing. Accepted presentations will be distributed as a conference booklet.
Authors will be notified by April 6.


Early registration deadline is April 8, late registration deadline is May 8, 
see http://wollic.org/wollic2011/registration.html

Programme Committee

Sergei Artemov (New York)
Jeremy Avigad (Pittsburgh)
Arnold Beckman (Swansea)
Lev Beklemishev (Moscow) (CHAIR)
Alessandro Berarducci (Pisa) 
Sam Buss (San Diego)
Achim Jung (Birmingham)
Benedikt Lwe (Amsterdam)
Janos Makowsky (Haifa)
Michael Moortgat (Utrecht)
Vincent van Oostrom (Utrecht)
Prakash Panangaden (Montral)
Rohit Parikh (New York)
Ruy de Queiroz (Recife)
Alexander Shen (Marseilles and Moscow)
Bas Spitters (Nijmegen)
Helmut Veith (Wien)
Yde Venema (Amsterdam)
Scott Weinstein (Philadelphia)
Frank Wolter (Liverpool)

Steering Committee

Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.

Organising Committee

Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair)

Further information
Contact one of the Co-Chairs of the Organising Committee.

Web page http://wollic.org/wollic2011/


Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computao (SBC), and the Sociedade Brasileira de Lgica (SBL).