Fico com a mesma dúvida. Foi prorrogado mesmo? 2011/1/13 Alessandro Bandeira Duarte <dedekin...@gmail.com>
> 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 > -- PEDRO ZAMBRANO Universidad Nacional de Colombia Bogotá - Colombia _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
