[FOM] First CFP - XVII Brazilian Logic Conference

[samuel at ime.usp.br]

=======================================================================
[ please distribute - apologies for multiple copies ]
=======================================================================

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

7-11 April 2014
Laboratório Nacional de Computação Científica - Petrópolis (RJ)

www.uff.br/ebl


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 Petrópolis, 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),
São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos
(1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia
(1999), Campinas (2003), Itatiaia (2006), Paraty (2008) and Petrópolis (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 Matemática e Estatística of
the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.

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

www.uff.br/ebl


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


Registrations

http://www.uff.br/ebl/


Organization

Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF


Organizing Committee

Mario Benevides (UFRJ)
Fabio Bertato (UNICAMP)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules 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 Inés Corbalán (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)


Sponsorship

Sociedade Brasileira de Lógica (SBL)

=======================================================================