======================================================================= Call for Papers for the
XVI Brazilian Logic Conference (EBL 2011) including a "Turing Session" dedicated to the celebration of the Centenary of Alan Turing’s birth (1912-1954) 9-13 May 2011 Laboratório Nacional de Computação Científica – Petrópolis (RJ) http://www.cle.unicamp.br/ebl2011/ 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 "Turing Session", 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. 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. 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). 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 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 systems, Leandro O. Suguitani (UNICAMP), Itala M. L. D'Ottaviano (UNICAMP), Petrucio Viana (UFF). 5. Tba, Oswaldo Chateaubriand (PUC-Rio). For more information on courses and registration, please check the Logic School website at: http://www.cle.unicamp.br/ebl2011/logic_school.php 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 [email protected] until January 15, 2011. Papers may be presented in Portuguese, Spanish or English, within a time interval of 20 (exposure) + 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 March 15, 2011. At least one author of each accepted paper must present the paper at the meeting. Scientific Committee 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) Important Dates Submission of papers: January 15, 2011 (deadline) Notification: March 15, 2011 Registration of authors of accepted papers: April 09, 2011 Conference: May 09-13, 2011 Registrations http://www.cle.unicamp.br/ebl2011/inscricao.php 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 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) Sponsorship Association for Symbolic Logic (ASL) Brazilian Academy of Sciences - São Paulo Chapter Sociedade Brasileira de Lógica (SBL) Turing Centenary Advisory Committee (TCAC) ======================================================================= _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
