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

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