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

1st CALL FOR PAPERS: XVIIth Brazilian Logic Conference, 7-11 April 2014, Petropolis, BRAZIL


First Call for Papers for the
XVII Brazilian Logic Conference
(EBL 2014)

7-11 April 2014
Laboratrio Nacional de Computao Cientfica - Petrpolis (RJ)


Deadline for submission of papers:

                 *** December 15, 2013 ***

The Brazilian Logic Conference (EBL) is a traditional event on the
agenda of several prominent researchers in Brazil and Latin America
in the areas of Computer Science, Foundations and Philosophy of
Science, Informatics, Artificial Intelligence, Logic and Mathematics.

Previous editions of the EBL have been a great success, attracting
researchers from all over Latin America and elsewhere. The EBL has
become an important meeting point and discussion forum for students
and researchers interested in the interdisciplinary study of Logic.

In 2014, the EBL will be held at the National Laboratory for Scientific
Computing (LNCC), at Petrpolis, Rio de Janeiro.

The goal of the EBL is to encourage the dissemination and discussion of
research papers in the area of Logic and their interconnections with the
areas of Computer Science, Foundations and Philosophy of Science,
Informatics, Artificial Intelligence and Mathematics.

EBL 2014 also aims to be a forum for presenting and discussing
work in progress, and therefore to provide feedback to authors
on their preliminary research. The proceedings are produced
after the meeting, so that authors can incorporate this feedback
in the published papers.

Topics include:

Philosophical and Mathematical Logic, and Applications;
History and Philosophy of Logic;
Non-classical Logic and Applications;
Philosophy of Formal Sciences;
Foundations of Computer Science, Physics, and Mathematics,

among others.

Invited Speakers - TBA

The previous editions of this conference were held in Campinas (1977),
Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981),
So Jos dos Campos (1983), Rio de Janeiro (1984), So Jos dos Campos
(1986), So Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia
(1999), Campinas (2003), Itatiaia (2006), Paraty (2008) and Petrpolis (2011).

Logic School

Starting with EBL 2008, the conference includes a Logic School aimed at
undergraduate and graduate students with interest in Logic and related
fields, but also open to all interested parties. The Logic School will
happen on 5-6 April 2014, at the Instituto de Matemtica e Estatstica of
the Universidade Federal Fluminense (UFF), at Niteri, Rio de Janeiro.

For more information on courses and registration, please check the
Logic School website at:


Program committee of the Logic School

Renata de Freitas (UFF)
Petrucio Viana (UFF)

Call for Papers

We invite submissions on the general topics of Logic. Submissions
should be in Portuguese, Spanish or English, from 2 (two) to a maximum
of 10 (ten) pages including a short abstract (maximum 20 lines) and
references. The author(s) should send a .pdf file by email to
ebl2014 em vm.uff.br until December 15, 2013.

Papers may be presented in Portuguese, Spanish or English, within a
time interval of 20 (exposition) + 10 (questions) minutes.

The Scientific Committee will consider the following items when
selecting the accepted papers:

1. Relevance and importance of the topic;
2. Originality;
3. Quality of work;
4. Academic relevance of the author.

The list of accepted papers will be released on January 15, 2014.
At least one author of each accepted paper must present the paper at
the meeting.

Scientific Committee - TBA

****** Important Dates ******

Submission of papers: December 15, 2013
Notification: January 15, 2014
Registration of authors of accepted papers: February 10, 2014
Conference: April 07-11, 2014




Centro de Lgica, Filosofia e Histria da Cincia, UNICAMP
Departamento de Filosofia, Departamento de Informtica, PUC-Rio
Instituto de Matemtica e Estatstica, UFF

Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hrcules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
tala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Wagner Sanz (UFG)
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Ins Corbaln (Aluna de doutorado, UNICAMP)
Maria Priscila Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)


Sociedade Brasileira de Lgica (SBL)