=======================================================================
[ please distribute - apologies for multiple copies ]
=======================================================================
*** Call for Participation ***
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
*** Extended deadline for early payment: ***
*** February 17, 2014 ***
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 Logic, Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.
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 Foundations and Philosophy of Science, Mathematics,
Computer Science, Informatics, and Artificial Intelligence.
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.
Keynote Speakers
Xavier Caicedo (Universidad de los Andes)
José Luiz Fiadeiro (University of Leicester)
Manuel Fidel (Universidad Nacional del Sur, Argentina)
Nick Galatos (University of Denver)
Delia Kesner (Université Paris Diderot)
Tor Sandqvist (Royal Institute of Technology)
Wagner de Campos Sanz (UFG)
Jairo José da Silva (UNESP)
Gem Stapleton (University of Brighton)
Göran Sundhom (Universiteit Leiden)
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.
Lecturers
Abel Lasalle Casanave (UFBA)
Manuel Fidel (Universidad Nacional del Sur, Argentina)
Martín Figallo (Universidad Nacional del Sur, Argentina)
Abilio Rodrigues (UFMG)
Daniel Ventura (UnB)
Renata Wassermann (USP)
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)
Scientific Committee
Ofelia Alas (USP)
Carlos Areces (Córdoba, Argentina)
Mauricio Ayala-Rincón (UnB)
Jean-Yves Béziau (UFRJ)
Carlos Caleiro (TU Lisbon, Portugal)
Walter Carnielli (UNICAMP)
Marcelo Coniglio (UNICAMP)
Newton da Costa (UFSC)
Richard L. Epstein (Advanced Reasoning Forum, USA)
Marcelo Finger (USP)
Lou Goble (Willamette University, USA)
Lew Gordeev (Universität Tübingen, Germany)
Edward Hermann Haeusler (PUC-Rio) - co-chair
Jose Iovino (University of Texas at San Antonio, USA)
Jean-Baptiste Joinet (Université Jean Moulin - Lyon 3, France)
Lucia Junqueira (USP)
Décio Krause (UFSC)
João Marcos (UFRN)
Maria da Paz Nunes de Medeiros (UFRN)
Francisco Miraglia (USP)
Valéria de Paiva (Nuance Communications, USA)
Elaine Pimentel (UFRN)
Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas,
Venezuela)
Petrucio Viana (UFF) - co-chair
Andrés Villaveces (UNAL, Colombia)
Renata Wassermann (USP)
****** Important Dates ******
Deadline for registration with early payment (with discount):
February 17, 2014 (extended)
Registration of authors of accepted papers: February 10, 2014
Logic School: April 05-06, 2014
Conference: April 07-11, 2014
Registrations
http://www.uff.br/ebl/
Organization
SBL - Sociedade Brasileira de Lógica (Brazilian Logic Society)
CLE - 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 DOttaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)
Sponsors
CAPES, CNPq, FAPERJ, PAPESP, PUC-Rio, UFF
=======================================================================
----------------------------------------------------------------
Universidade Federal da Bahia - http://www.portal.ufba.br
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
