O deadline foi mesmo prorrogado? Na pagina oficial ainda consta 15/01
-- Alessandro Bandeira Duarte UFRRJ (Usa GNU/Linux) On Thursday 13 January 2011 14:06:13 Renata de Freitas wrote: > [ please distribute - apologies for multiple copies ] > ======================================================================= > > *** Extended deadline for submission of papers: *** > *** January 31, 2011 *** > > Call for Papers for the > > XVI Brazilian Logic Conference > > (EBL 2011) > > including a session "Machines, from Turing to Quantum" > 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 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. > > > 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 (confirmed) > > Carlos Areces (INRIA Nancy Grand Est) > Carlos Caleiro (Department of Mathematics, TU Lisbon) > Gregory Chaitin > Hans van Ditmarsch (Dept. of Logic, University of Sevilla) > Louis F. Goble (Department of Philosophy, Willamette University) > Ivor Grattan-Guinness > Carlos Di Prisco (Instituto Venezolano de Investigaciones Cienticas) > Sun-joo Shin (Department of Philosophy, Yale University) > > > 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 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: > > 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 > ebl2...@vm.uff.br 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 31, 2011 (extended 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
