9-13 May 2011 / Laboratório Nacional de Computação Científica - Petrópolis (RJ)
- 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 2011, the EBL will be held at the National Laboratory for Scientific Computing (LNCC), at Petrópolis, Rio de Janeiro. The President of the Scientific Committee is Newton Carneiro Affonso da Costa (USP and CLE) and the Chairman of the Organizing Committee is Oswaldo Chateaubriand (PUC-Rio and CLE).
- In a total of five days about 10 plenary lectures and 70 original works will be presented, in up to three parallel sessions. In 2011, the EBL will also include a session "Machines, from Turing to Quantum", dedicated to the celebration of the Centenary of Alan Turing's birth (1912-1954).
- 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.
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 (confirmed)
.
Carlos Areces (INRIA Nancy Grand Est)
Carlos Caleiro (Department of Mathematics, TU Lisbon)
Gregory Chaitin (IBM Watson Research Center, UFRJ/HCTE)
Hans van Ditmarsch (Dept. of Logic, University of Sevilla)
Richard L. Epstein (Advanced Reasoning Forum)
Lou Goble (Department of Philosophy, Willamette University)
Carlos Di Prisco (Instituto Venezolano de Investigaciones Cienticas)
José Iovino (University of Texas at San Antonio)
- 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), and Paraty (2008). .
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 7-8 May 2011, at the Instituto de Matemática e Estatística of the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.
- In 2011 the following short courses will be offered:
1. Satisfiability and Probabilistic Satisfiability, Marcelo Finger (USP).
2. Foundations of Computerized Theorem Proving, João Marcos (UFRN).
3. Proof theory for contemporary logic by handling polinomials over finite fields, Walter Carnielli (UNICAMP).
4. The algebraic tradition of logic and some relational sistems, Leandro O. Suguitani (UNICAMP), Itala M. L. D'Ottaviano (UNICAMP), Petrucio Viana (UFF).
5. Logic, ontology, and epistemology, Oswaldo Chateaubriand (PUC-Rio).
- 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)
Newton Carneiro Affonso da COSTA (President) (CLE, USP, UFSC)
Mario Folhadela BENEVIDES (UFRJ)
Fábio M. BERTATO (CLE)
Jean-Yves BÉZIAU (UFRJ)
Ricardo BIANCONI (USP)
Juliana BUENO-SOLER (UFABC/Santo André)
Xavier CAICEDO (CLE, Univ. Los Andes)
Walter CARNIELLI (CLE, UNICAMP)
Oswaldo CHATEAUBRIAND (CLE, PUC-Rio)
Marcelo Esteban CONIGLIO (CLE, UNICAMP)
Antonio Carlos da Rocha COSTA (FURG)
Alexandre COSTA-LEITE (UnB)
Itala M. Loffredo D'OTTAVIANO (CLE, UNICAMP)
Marcelo FINGER (USP)
Edward Hermann HAEUSLER (PUC-Rio)
Décio KRAUSE (UFSC)
João MARCOS (UFRN)
Ana Teresa de Castro MARTINS (UFC)
Maria da Paz Nunes de MEDEIROS (UFRN)
Francisco MIRAGLIA (USP)
Luiz Carlos PEREIRA (PUC-Rio, UFRJ)
Elaine PIMENTEL (UFMG)
Samuel Gomes da SILVA (UFBA)
Deadline for registration with early payment (with discount):
March 28, 2011 (extended deadline)
Registration of authors of accepted papers: April 09, 2011
Logic School: May 07-08, 2011
Conference: May 09-13, 2011
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
Walter Carnielli (CLE, UNICAMP)
Oswaldo Chateaubriand (CLE, PUC-Rio) (Co-Chair)
Marcelo Correa (UFF)
Renata de Freitas (UFF)
Edward Hermann Haeusler (PUC-Rio)
Luiz Carlos Pereira (PUC-Rio, UFRJ)
Leonardo Vana (UFF)
Petrucio Viana (UFF) (Co-Chair)
Anderson de Araújo (UNICAMP)
Hugo Nobrega (UFRJ)
Leandro Suguitani (UNICAMP)
Rafael Testa (UNICAMP)
Academia Brasileira de Ciências - Regional São Paulo (ABC-SP)
Association for Symbolic Logic (ASL)
Laboratório Nacional de Computação Científica (LNCC)
Secretaria de Ciência e Tecnologia de Petrópolis
Sociedade Brasileira de Lógica (SBL)
Turing Centenary Advisory Committee (TCAC)
