[Logica-l] EBL 2014 - Call for participation - Extended deadline for early payment
=== [ 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
[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation
=== [ 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 *** Deadline for early payment: *** *** February 10, 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. 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 10, 2014 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 d
[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation
=== [ 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 *** Deadline for early payment: *** *** February 10, 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) 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. 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) Newton da Costa (UFSC) Marcelo Coniglio (UNICAMP) 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 (UFMG) 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 10, 2014 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)
[Logica-l] EBL 2014 Call for Papers - extended deadline
=== [ please distribute - apologies for multiple copies ] === Call for Papers for the 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 submission of papers: *** January 7, 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) 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. 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) 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 07, 2014. Papers may be presented in Portuguese, Spanish or English, within a time interval of 20 (exposition) + 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 January 15, 2014. At least one author of each accepted paper must present the paper at the meeting. 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) Rodrigo Freire (UNICAMP) 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 (UFMG) 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 ** Submission of papers: January 07, 2014 *** extended *** Notification: January 15, 2014 Registration of authors of accepted papers: February 10, 2014 Conference: April 07-11, 2014 Registrations http://www.uff.br/ebl/ Organization SBL - Sociedade Brasileira de Lógica (Braz
[Logica-l] EBL 2014 - extended deadline
=== [ please distribute - apologies for multiple copies ] === Call for Papers for the 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 submission of papers: *** December 22, 2013 *** 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) 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. 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) 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 December 15, 2013. Papers may be presented in Portuguese, Spanish or English, within a time interval of 20 (exposition) + 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 January 15, 2014. At least one author of each accepted paper must present the paper at the meeting. 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) Newton da Costa (UFSC) Marcelo Coniglio (UNICAMP) Richard L. Epstein (Advanced Reasoning Forum, USA) Marcelo Finger (USP) Rodrigo Freire (UNICAMP) 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 (UFMG) 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 ** Submission of papers: December 22, 2013 *** extended *** Notification: January 15, 2014 Registration of authors of accepted papers: February 10, 2014 Conference: April 07-11, 2014 Registrations http://www.uff.br/ebl/ Organization SBL - Sociedade Brasileira de Lógica
[Logica-l] EBL 2014 - Call for papers - Deadline approaching
=== [ please distribute - apologies for multiple copies ] === Call for Papers for the 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 Deadline for submission of papers: *** December 15, 2013 *** 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) 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. 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) 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 December 15, 2013. Papers may be presented in Portuguese, Spanish or English, within a time interval of 20 (exposition) + 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 January 15, 2014. At least one author of each accepted paper must present the paper at the meeting. 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) Newton da Costa (UFSC) Marcelo Coniglio (UNICAMP) 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 (UFMG) 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 ** Submission of papers: December 15, 2013 Notification: January 15, 2014 Registration of authors of accepted papers: February 10, 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,
[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for papers
=== [ please distribute - apologies for multiple copies ] === Call for Papers for the 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 Deadline for submission of papers: *** December 15, 2013 *** 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 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 Computer Science, Foundations and Philosophy of Science, Informatics, Artificial Intelligence and Mathematics. EBL 2014 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers. 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 - TBA 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. 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) 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 December 15, 2013. Papers may be presented in Portuguese, Spanish or English, within a time interval of 20 (exposition) + 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 January 15, 2014. At least one author of each accepted paper must present the paper at the meeting. Scientific Committee Carlos Areces (Córdoba, Argentina) Mauricio Ayala-Rincón (UnB) Jean-Yves Béziau (UFRJ) Carlos Caleiro (TU Lisbon, Portugal) Walter Carnielli (UNICAMP) Newton da Costa (UFSC) Marcelo Coniglio (UNICAMP) Richard L. Epstein (Advanced Reasoning Forum, USA) Marcelo Finger (USP) Lou Goble (Willamette University, USA) 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 (Palo Alto Research Center, USA) Elaine Pimentel (UFMG) Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas, Venezuela) Petrucio Viana (UFF) - co-chair Andrés Villaveces (UNAL, Colombia) Renata Wassermann (USP) (more to come) ** Important Dates ** Submission of papers: December 15, 2013 Notification: January 15, 2014 Registration of authors of accepted papers: February 10, 2014 Conference: April 07-11, 2014 Registrations http://www.uff.br/ebl/ 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 Ma
[Logica-l] EBL 2014 / Importância da Localização
Cara Itala Grato pelos esclarecimentos nesta lista a respeito do EBL 2014. Entendo que voce esta fazendo o melhor pare desenvolver a logica no Brasil. Acho em particular muito bom a evolucao recente do wesite da SBL. Relativamente a organizacao do EBL 2014 gostaria de apontar o seguinte: Durante a assembleia da SBL em Petropolis foi formado um comite de pre-organizacao do EBL 2014 me incluindo e tambem fui integrado na direitoria da SBL. Mas ulterioramente nao fui consultado para a organizacao do EBL 2014 em Niteroi-Petropolis. Talvez isso se explica do fato que vivemos no pais da logica paraconsistente? Vou repetir meu ponto de visto: - nao acho bom organizar a escola e o congresso em 2 lugares separados Niteroi/Petropolis. - nao acho bom orgnaizar o EBL duas vezes seguidas no mesmo local Lembro tambem que vai ser a quarta vez seguida que o EBL vai ser organizado no estado do Rio de Janeiro, sem falar de outros eventos recentes neste estado: UNILOG'2013, LSFA 2012, Proof theory in Paraty 2012, etc. Quero deixar claro que concordo que RJ e o estado mais bonito do Brasil e que e aqui que tem os melhores logicos, e tambem que acho o Petrucio e a Renata muito bons organizadores. Mas sou a favor da circulacao do EBL no pais inteiro, me parece importante para o desenvolvimento da logica no Brasil. Seria bom incentivar entao nossos colegas a tomar iniciativas de organizar o evento, em particular os membros da direitoria cuja atividade por definicao e "dirigir". O Wagner fiz a proposta de Goiania, muito bem, espero que vai se concretizar num futuro proximo do outro lado nao recebemos propostas nem do Samuel em Salvador, nem da Maria em Natal. Acho que a localizacao de um evento conta pelo menos em 70% no successo de um evento. Sempre me dediquei bastante a procurar bons lugares para organizacao de eventos. Me lembro que com o Joao Marcos rodamos 3 dias no litoral de Sao Paulo para achar um bom lugar para o congresso mundial de logica paraconsistente e escolhamos Juquehy. Foi um grande successo e ate hoje tem pessoas que falam deste evento. Organizei muitos eventos de logica no mundo inteiro: Montreux, Las Vegas, Lisboa, Corsega, China, Libano, etc. No Libano foi muito arriscado devida a situacao politica da regiao mas tudo mundo gostou bastante. E o Embaixador do Brasil no Libano ficou muito surpreso e feliz de saber que a logica era bastante desenvolvida no Brasil. Ele convidou todos os participantes do nosso evento sobre o quadrado das oposicoes no centro cultural brasil-libano para um pequena festa. Me parece importante organizar congressos de logica fora do circuito tradicional justamente para promover a logica no mundo. E nao e necessaramente um problemo, porque muitas pessoas gostam de visitar locais que nao conhecem especialemente quando sao bonitos e interessantes. Um abraço Jean-Yves Itala M. L. D'Ottaviano itala em cle.unicamp.br Domingo Maio 26 02:44:52 BRT 2013 Caros Colegas: A discussão sobre o XVII EBL, a ser realizado em Petrópolis, no próximo ano de 2014, está bastante interessante! Como Presidente de Sociedade Brasileira de Lógica, encaminho a todos algumas informações necessárias. 1) Durante a Assembléia da SBL, ocorrida durante o XVI EBL, em Petrópolis, quando fui eleita Presidente da SBL, foram discutidas questões relativas à realização do próximo EBL. Como eu não estava presente, pois tinha tido que retornar à Unicamp, o Prof. Walter Carniellil me transmitiu dados sobre as discussões e decisões. . Foi feita a proposta de que o XVII EBL fosse realizado em Natal. Entretanto, os colegas de Natal presentes na reunião, em especial a Prof. Maria da Paz, não concordaram em se responsabilizar pela organização local do evento. . Quanto a outros locais cogitados, não houve colegas que se dispusessem à organização local. . O Prpf. Wagner Sanz se ofereceu para organizar o evento em Goiás. . Foi argumentado que seria bom que o evento ocorresse, uma vez mais, em Petrópolis, face à excelente organização sob a responsabilidade da Renata e do Petrúcio e ao ambiente tão propício de Petrópolis. Renata e Petrúcio, entretanto, não concordaram de imediato. 2) Em Campinas, Walter, Marcelo Coniglio e eu, logo após o retorno de Petrópolis e após conversamos com diversos colegas, fizemos uma reunião para discussão do local do XVII EBL. . Decidimos, pela SBL, que seria interessante que o evento fosse realizado mais uma vez em Petrópolis, aproveitando-se a experiência tão bem sucedida da Renata e Petrúcio. . Caso o Wagner continuasse decidido a assumir a responsabilidade da organização de um EBL, poderia ser o próximo, se aprovado em Assembléia da SBL. Assim nos entendemos, então, com o Wagner. 3) Durante o UNILOG`13, no Rio de Janeiro, tivemos uma reunião com o Petrúcio e Renata, que, finalmente, após também conversarem com o Prof. Oswaldo Chateaubriand, concordaram em organizar o XVII EBL em Niterói/Petrópolis. Assim sendo
Re: [Logica-l] EBL 2014
Caros Colegas: Em minha mensagem anterior, não explicitei que, desde o último EBL e após a Assembléia da SBL, os colegas que foram indicados para apresentar propostas para a realização do XVII EBL, mantiveram diversos contatos comigo e outros diretores da SBL, preocupados com a organização do SBL. A reunião que fizemos no Rio de Janeiro, durante o UNILOG, teve por objetivo finalizar a análise das questões já discutidas. Como o EBL é um evento da SBL, de acordo com os Estatutos da SBL, as propostas gerais e específicas têm que ser democraticamente apresentadas e discutidas em Assembléias Gerais da Sociedade. Itala > caros filolistas > ja temos data e lugar > > so falta o resto;-) > > http://www.uff.br/ebl/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP Sergio Buarque de Holanda, 251 Street ZIP CODE 13083-859 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014
Caros Colegas: A discussão sobre o XVII EBL, a ser realizado em Petrópolis, no próximo ano de 2014, está bastante interessante! Como Presidente de Sociedade Brasileira de Lógica, encaminho a todos algumas informações necessárias. 1) Durante a Assembléia da SBL, ocorrida durante o XVI EBL, em Petrópolis, quando fui eleita Presidente da SBL, foram discutidas questões relativas à realização do próximo EBL. Como eu não estava presente, pois tinha tido que retornar à Unicamp, o Prof. Walter Carniellil me transmitiu dados sobre as discussões e decisões. . Foi feita a proposta de que o XVII EBL fosse realizado em Natal. Entretanto, os colegas de Natal presentes na reunião, em especial a Prof. Maria da Paz, não concordaram em se responsabilizar pela organização local do evento. . Quanto a outros locais cogitados, não houve colegas que se dispusessem à organização local. . O Prpf. Wagner Sanz se ofereceu para organizar o evento em Goiás. . Foi argumentado que seria bom que o evento ocorresse, uma vez mais, em Petrópolis, face à excelente organização sob a responsabilidade da Renata e do Petrúcio e ao ambiente tão propício de Petrópolis. Renata e Petrúcio, entretanto, não concordaram de imediato. 2) Em Campinas, Walter, Marcelo Coniglio e eu, logo após o retorno de Petrópolis e após conversamos com diversos colegas, fizemos uma reunião para discussão do local do XVII EBL. . Decidimos, pela SBL, que seria interessante que o evento fosse realizado mais uma vez em Petrópolis, aproveitando-se a experiência tão bem sucedida da Renata e Petrúcio. . Caso o Wagner continuasse decidido a assumir a responsabilidade da organização de um EBL, poderia ser o próximo, se aprovado em Assembléia da SBL. Assim nos entendemos, então, com o Wagner. 3) Durante o UNILOG`13, no Rio de Janeiro, tivemos uma reunião com o Petrúcio e Renata, que, finalmente, após também conversarem com o Prof. Oswaldo Chateaubriand, concordaram em organizar o XVII EBL em Niterói/Petrópolis. Assim sendo, colegas, o assunto XVII EBL foi bastante discutido e analisado, tendo o Petrúcio anunciado na lista o resultado de toda essa negociação. A proposta de que os EBL's sejam realizados em lugares distintos, no NE, Norte, ou outras localidades distantes do eixo Rio - São Paulo, terá que ser discutida em Assembléia da SBL. A decisão relativa à realização dos EBL's no eixo Rio-São Paulo foi tomada durante a realização do EBL que ocorreu, exatamente em Fortaleza, em 1981. Na época, foi argumentado que, como grande parte dos lógicos brasileiros atua no eixo Rio-São Paulo, a realização do evento nesse eixo minimizaria os custos, em especial para possibilitar a participação de estudantes. Foi então que alguns eventos foram organizados em Itatiaia. Não nos esqueçamos que é tradição da organização dos EBL obter recursos para o transporte e estadia dos participantes brasileiros, docentes e estudantes, e dos estrangeiros convidados. A concepção dos EBL's é distinta da proposta dos UNILOG's. Assim, sendo, de acordo com nossa decisão, o XVII EBL será realizado em Niteroi/Petrópolis. E lá , durante a Assembléia da SBL, discutiremos as interessantes e instigantes propostas apresentadas nesta lista! E até poderíamos já projetar os locais de vários eventos subsequentes. Abraço amigo, da Itala > caros filolistas > ja temos data e lugar > > so falta o resto;-) > > http://www.uff.br/ebl/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP Sergio Buarque de Holanda, 251 Street ZIP CODE 13083-859 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 o custo
Tem que examinar realemente o custo: transporte e hospedagem. Hoje em dia comprando uma passagem com antecedencia e possivel viajar de aviao para muitas cidades do Brasil por um preço super barato. E o preço da hospedagem e da comida e muito melhor fora de RJ e SP Por exemplo em Florianopolis restaurantes sao quase a metade do preço. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
Eu não vou correr esse risco no Acre pq simplesmente não posso pagar a passagem para lá ir. E depois hospitais funcionando direito não há, como os jornais mostram. E se houver não dá para arriscar. Gente, ponham na cabeça que as pessoas não têm dinheiro em quantidade infinita enumerável para gastar. Se tivesse dinheiro para ir a todos os lugares que sugerem amanhã poderia ir a Genebra, depois a Sidney, Tóquio, Buenos Aires, Londres, Nova Iorque, Cairo, etc. Mas, vejam que pouca gente tem esse poder econômico e o teletransporte ainda nem foi inventado! Tenham misericórdia das pessoas! Em 23 de maio de 2013 17:20, Joao Marcos escreveu: > > Não dá para fazer no Acre, por exemplo, porque a > > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é > > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e > > comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado, > > não ter ônibus senão uma vez por semana, faltar farmácia se precisar de > > remédio, etc. > > Você dificilmente vai correr este risco no Acre. Rio Branco, por > exemplo, é uma cidade mais civilizada do que boa parte das cidades do > interior de São Paulo --- uma cidade bonita e estruturada, onde há > muitas ciclovias e fantásticos espaços de lazer e cultura. > > Consta há alguns anos que o risco de contrair dengue no Rio de Janeiro > é um dos mais elevados do Brasil. Na Antártica, por outro lado, o > risco é baixíssimo. :-) Mas não sei se a nossa base lá no continente > gelado já se recuperou inteiramente do incêndio devastador que sofreu > há dois anos. > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 Rio Branco
As observações seguintes sobre custo e como chegar não são específicas de Rio Branco. São de vários lugares. Mas, Rio Branco continua fora de mão e a maioria dos brasileiros e a maioria dos universitários brasileiros não mora perto de lá. Por favor, tenham comiseração com quem não pode pagar passagens de avião para o meio da floresta. Já nem se podia pagar hospedagem no RJ esse ano com os valores absurdos das pousadas! Cidades medianas de São Paulo têm pelo menos infraestrutura e preços acessíveis. É uma questão de não criar mais dificuldades para quem não tem grana. Em 23 de maio de 2013 18:54, jean-yves beziau escreveu: > Ja visitei Rio Branco, e achei tambem uma cidade bem bacana. > JY > > > > 2013/5/23 Joao Marcos > >> > Não dá para fazer no Acre, por exemplo, porque a >> > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é >> > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e >> > comem e quanto isto custa, além de riscos de pegar dengue, ser >> assaltado, >> > não ter ônibus senão uma vez por semana, faltar farmácia se precisar de >> > remédio, etc. >> >> Você dificilmente vai correr este risco no Acre. Rio Branco, por >> exemplo, é uma cidade mais civilizada do que boa parte das cidades do >> interior de São Paulo --- uma cidade bonita e estruturada, onde há >> muitas ciclovias e fantásticos espaços de lazer e cultura. >> >> Consta há alguns anos que o risco de contrair dengue no Rio de Janeiro >> é um dos mais elevados do Brasil. Na Antártica, por outro lado, o >> risco é baixíssimo. :-) Mas não sei se a nossa base lá no continente >> gelado já se recuperou inteiramente do incêndio devastador que sofreu >> há dois anos. >> JM >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> > > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 Rio Branco
Ja visitei Rio Branco, e achei tambem uma cidade bem bacana. JY 2013/5/23 Joao Marcos > > Não dá para fazer no Acre, por exemplo, porque a > > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é > > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e > > comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado, > > não ter ônibus senão uma vez por semana, faltar farmácia se precisar de > > remédio, etc. > > Você dificilmente vai correr este risco no Acre. Rio Branco, por > exemplo, é uma cidade mais civilizada do que boa parte das cidades do > interior de São Paulo --- uma cidade bonita e estruturada, onde há > muitas ciclovias e fantásticos espaços de lazer e cultura. > > Consta há alguns anos que o risco de contrair dengue no Rio de Janeiro > é um dos mais elevados do Brasil. Na Antártica, por outro lado, o > risco é baixíssimo. :-) Mas não sei se a nossa base lá no continente > gelado já se recuperou inteiramente do incêndio devastador que sofreu > há dois anos. > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
vicos de apoio) >> que se disponham a prestar servicos dentro da tabela de diarias pagas pela >> FAPESP, e fazer tudo dentro das normas (por vezes incompativeis) da FAPESP, >> CAPES e CNPq. Ficar palpitando de alegre onde eh que eu gostaria de >> fazer turismo eh algo que (no meu particular entender) nao cabe dentro >> deste escopo de discussao. ---Julio Stern >> >> >> >> >>> Date: Thu, 23 May 2013 16:25:44 +0200 >>> From: beziau...@gmail.com >>> To: logica-l@dimap.ufrn.br >>> Subject: [Logica-l] EBL 2014 discussao aberta >>> >>> Acho que essa discussao faz perfeitamente sentido Pedro. >>> Nao e so levar em consideracao a opiniao da direitoria da SBL >>> (que no momento nao esta determinada) >>> mas de todos os interessados em logica no Brasil, >>> que podem se manifestar nesta lista de discussao. >>> >>> No EBL anterior, Petropolis 2011, >>> começamos a discussao sobre o proximo EBL, >>> mas nenhuma decisao sobre o local foi tomada. >>> >>> Acho improtante discutir e argumentar, >>> somos logicos nao e? >>> >>> Repito entao meus argumentos: >>> 1) Nao acho bom organizar o EBL duas vezes seguidos no mesmo local, >>> qualquer seja, >>> O Brasil e um pais muito grande nao faltam opcoes. >>> E bom desenvolver a ciencia em todo pais. >>> As ultimas 3 vezes o EBL foi organizado no estado do Rio de Janeiro. >>> No Brasil tem 26 estados. >>> 2) A dupla Niteroi-Petropolis (escola/congresso) nao me parece boa. >>> Importante que a escola seja no mesmo local que o congresso >>> Isso favorece uma maior interacao entre pesquisadores e estudantes >>> e tambem facilita a questao de infraestrutura. >>> >>> Tem muitas possibilidades: >>> Natal, Fortaleza, Recife, Salvador, Florianopolis, Goiania, Cuiaba, etc >>> ... >>> ___ >>> 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 > Profesor Asistente D.E. > Departamento de Matemáticas > Universidad Nacional de Colombia > Bogotá - Colombia > PBX +57 1 3165000 ext. 13163 > sites.google.com/a/unal.edu.co/phzambranor > ___ > 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
Re: [Logica-l] EBL 2014 discussao aberta
> Não dá para fazer no Acre, por exemplo, porque a > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e > comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado, > não ter ônibus senão uma vez por semana, faltar farmácia se precisar de > remédio, etc. Você dificilmente vai correr este risco no Acre. Rio Branco, por exemplo, é uma cidade mais civilizada do que boa parte das cidades do interior de São Paulo --- uma cidade bonita e estruturada, onde há muitas ciclovias e fantásticos espaços de lazer e cultura. Consta há alguns anos que o risco de contrair dengue no Rio de Janeiro é um dos mais elevados do Brasil. Na Antártica, por outro lado, o risco é baixíssimo. :-) Mas não sei se a nossa base lá no continente gelado já se recuperou inteiramente do incêndio devastador que sofreu há dois anos. JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
Jean-Yves, quero apontar o seguinte: o custo de traslado e hospedagem é fundamental para todos, principalmente para quem não tem bolsa nem financiamento. Ter uma cidade com infraestrutura é essencial, mas é preciso que seja mais barata. Não dá para fazer no Acre, por exemplo, porque a maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado, não ter ônibus senão uma vez por semana, faltar farmácia se precisar de remédio, etc. Em 23 de maio de 2013 13:16, jean-yves beziau escreveu: > Pedro, Julio e Tony > Agradeço seus commentarios. > Concordo que tem que ter boa infraestrutura e pessoas competentes no local > do evento plenejado. > Mas e importante de apontar que no Brasil nao tem so o eixo Rio-SP que e > desenvolvido. > Ja visitei 20 estados do Brasil + o DF (a antartica brasileira ainda nao). > Fortaleza é uma cidade bem desenvolvida, tambem Natal, Florianopolis, > Goiania, Brasilia, etc. Nao pode predominar a discrimanaco regional, em > particular contre o nordeste. > Tem logicos muito qualificados em varios lugares do Brasil em particular > nas cidades mencionadas. > Em Petropolis nao ha logicos em atividade: > so tinha eu mesmo trabalhando no LNCC (onde foi organizado o EBL 2011), > isso ha mais de 10 anos atras > E verdade que o Doria tem um pequeno castelo em Petropolis, mas ele > trabalha na UFRJ na ilha do fundao. > JY > ___ > 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
Re: [Logica-l] EBL 2014 discussao aberta
Caro Jean-Yves: Voce toca em um assunto delicado. Em nome de combater a > discriminacao regional, em particular contre o nordeste. ja muita bobagem se fez neste pais. Boas politicas de desenvolvimento regional na area academica se fazem (na minha opiniao) montando centros de excelencia locais, *incentivando* a contratacao de gente qualificada pais afora e as melhores praticas de gestao cientifica e, ao mesmo tempo, *punindo* fortemente contratacoes clientelistas e quaisquer outros corporativismos regionais. Grandes eventos cientificos devem *sim* rodar o pais, mas eu os encaro como a cereja na cobertura do bolo, ou o creme chantilly em cima do cafesinho: Sao um premio e sinal de reconhecimento no final do percurso, e nao um objetivo em si mesmo. ---Julio Stern PS: Como ja mencionei em outro e-mail sobre o assunto, o NE ja tem centros plenamente habilitados para sediar um EBL, assim como o interior de Sao Paulo (o complemento das regioes metropolitanas da Grande Sao Paulo e da Grande Campinas), outra regiao que nao tem recebido a atencao que merece... ;-) > Date: Thu, 23 May 2013 18:16:59 +0200 > From: beziau...@gmail.com > To: logica-l@dimap.ufrn.br > Subject: [Logica-l] EBL 2014 discussao aberta > > Pedro, Julio e Tony > Agradeço seus commentarios. > Concordo que tem que ter boa infraestrutura e pessoas competentes no local > do evento plenejado. > Mas e importante de apontar que no Brasil nao tem so o eixo Rio-SP que e > desenvolvido. > Ja visitei 20 estados do Brasil + o DF (a antartica brasileira ainda nao). > Fortaleza é uma cidade bem desenvolvida, tambem Natal, Florianopolis, > Goiania, Brasilia, etc. Nao pode predominar a discrimanaco regional, em > particular contre o nordeste. > Tem logicos muito qualificados em varios lugares do Brasil em particular > nas cidades mencionadas. > Em Petropolis nao ha logicos em atividade: > so tinha eu mesmo trabalhando no LNCC (onde foi organizado o EBL 2011), > isso ha mais de 10 anos atras > E verdade que o Doria tem um pequeno castelo em Petropolis, mas ele > trabalha na UFRJ na ilha do fundao. > JY > ___ > 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
[Logica-l] EBL 2014 discussao aberta
Pedro, Julio e Tony Agradeço seus commentarios. Concordo que tem que ter boa infraestrutura e pessoas competentes no local do evento plenejado. Mas e importante de apontar que no Brasil nao tem so o eixo Rio-SP que e desenvolvido. Ja visitei 20 estados do Brasil + o DF (a antartica brasileira ainda nao). Fortaleza é uma cidade bem desenvolvida, tambem Natal, Florianopolis, Goiania, Brasilia, etc. Nao pode predominar a discrimanaco regional, em particular contre o nordeste. Tem logicos muito qualificados em varios lugares do Brasil em particular nas cidades mencionadas. Em Petropolis nao ha logicos em atividade: so tinha eu mesmo trabalhando no LNCC (onde foi organizado o EBL 2011), isso ha mais de 10 anos atras E verdade que o Doria tem um pequeno castelo em Petropolis, mas ele trabalha na UFRJ na ilha do fundao. JY ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
Caros colegas: Concordo com o Julio e a idéia do João, os locais para este tipo de encontros deveriam ser concordados com anterioridade e deveria depender do apóio de uma organização tipo SBL -realmente eu acreditava que a organização dependia diretamente da SBL, mas pelo comentário do João entendo que não acontece assim-, e tendo em conta locais que tenham a infraestrutura para este tipo de encontros (hotéis, transporte desde cidades tipo o Rio ou SP -pensando em possíveis participantes internacionais-, as salas para o encontro, etc.) ... acho que vocês poderiam pensar em organizar desse jeito os próximos EBL. Por exemplo, em Letícia na Amazônia Colombiana perto da fronteira Colombiana-Brasileira, seria muito bacana para um encontro, no meio do mato ... tem hotéis e tem um campus bacana da Universidade Nacional da Colombia, mas tem o problema que não tem estrada desde Bogotá até Letícia e a gente tem que chegar de avião, e tem poucos vôos diarios desde as cidades grandes Colombianas até Letícia. Para um encontro pequeno acho que daria, mas não dá para um encontro tipo CCM ou algum encontro similar ao EBL. Novamente, mil desculpas pelos meu comentários, não sou Brasileiro nem moro no Brasil, mas mantenho contato com vários lógicos Brasileiros e também participei de vários EBL dos que eu gostaria de continuar participando, além que gostaria de acrescentar os (tímidos ainda) contatos entre a comunidade lógica da Colômbia e do Brasil. Acho bacana a idéia do Jean-Yves de perguntar ao pessoal lógico Brasileiro sobre o local para o EBL no sentido de ser uma decisão democrática e acho ótima a idéia de organizar o EBL em cidades diferentes em todo o Brasil, mas acho que isso deveria depender mais se tem interesse do pessoal desses locais se eles querem organizar o EBL e propor a sua candidatura, né? Acho que assim acontece com o Congresso Colombiano de Matemática (obviamente, os possíveis organizadores propõem a candidatura e em uma reunião geral da Sociedade Colombiana de Matemática se discute sobre o local do próximo evento, mas acho que isso deveria provir desde os mesmos possíveis organizadores, não do pessoal em geral, pois depende desses negócios de infraestrutura e de conseguir dinheiro para o evento e do apóio das Universidades e institutos desses locais). E acho que desse mesmo jeito acontece com o SLALM (o Walter, o Marcelo Coniglio ou a Itala poderiam me corregir se estou errado). Acho que pelo menos o pessoal de Petrópolis tem interesse de organizar o encontro, além da discussão sobre se o EBL deveria repetir local. Abraço, Pedro. 2013/5/23 Julio Stern > > Caros: Vou comentar uma ideia do Joao Marcos que me parece muito > razoavel, e que corresponde a maneira como a qual muitas sociedades > cientificas (inclusive algumas que ja presidi) organizam suas conferencias. > Ao fianal de cada EBL, deveriamos eleger a nova diretoria da SBL, > cuja maior tarefa seria organizar o proximo EBL. Claro esta que a > diretoria eleita sera constituida primordialmente de cientistas do Estado > onde sera organizado o proximo evento.Isto ja estabelece alguns > criterios pragmaticos para as possiveis candidaturas: (1) O Estado que > se propoem a sediar o evento deve ter uma comunidade cientifica atuante de > peso suficiente para requisitar os recursos e ser levada a serio. (2) Os > mais destacados membros da referida comunidade, e seus (ex) estudantes, > se dispoem aa trabalheira insana que organizar uma coisa destas requer. > (3) Cabe aos organizadores escolher o local exato, dentro do Estado, que > vai sediar o evento. > Esta forma de organizar as coisas tem, entre outras, as seguintes > vantagens. > (a) O merito de organizar o evento eh melhor reconhecido, de uma forma que > pode ser objetivamente avaliada e recompensada quando, por exemplo, se > julga a bolsa de produtividade dos envolvidos.(b) Permite a necessaria > flexibilidade para negociar com hoteis e outros provedores de servico > condicoes adequadas de preco e qualidade. Aqui em Sao Paulo, por exemplo, > nao esta facil encontrar hoteis de boa qualidade (nada de luxo > desnecessario, apenas boas salas de conferencia, e bons servicos de apoio) > que se disponham a prestar servicos dentro da tabela de diarias pagas pela > FAPESP, e fazer tudo dentro das normas (por vezes incompativeis) da FAPESP, > CAPES e CNPq. Ficar palpitando de alegre onde eh que eu gostaria de > fazer turismo eh algo que (no meu particular entender) nao cabe dentro > deste escopo de discussao. ---Julio Stern > > > > > > Date: Thu, 23 May 2013 16:25:44 +0200 > > From: beziau...@gmail.com > > To: logica-l@dimap.ufrn.br > > Subject: [Logica-l] EBL 2014 discussao aberta > > > > Acho que essa discussao faz perfeitamente sentido Pedro. > > Nao e so levar em consideracao a opiniao da direitoria d
Re: [Logica-l] EBL 2014 repetindo o local?
Três excelentes lugares para a próxima EBL: Campinas, São Paulo e São José dos Campos, a última opção sendo muito boa e muito em conta, a uma hora e meia de praias do litoral norte paulista, muitos hotéis bons e bons shoppings, além de instituições de ensino superior bem interessantes como o CTA (onde fica o ITA) e a Unifesp. Tem aeroporto a cidade e é cortada por duas rodovias, a Dutra e a antiga Rio-São Paulo. Em 23 de maio de 2013 10:42, Pedro H. Zambrano escreveu: > Concordo com o João ... a decisão do próximo local para o EBL deveria vir > desde a SBL em conjunto, mas não concordo que venha só de uma pessoa, se > não gostaram que já tem heróis que começaram a (pre)organizar o EBL. > > Tem jeito que a SBL em conjunto possa concordar isso? > > Aqui na Colômbia, a decisão sobre o local onde vai ocorrer o seguinte > Congresso Colombiano de Matemática é concordada no CCM anterior em uma > reunião dos membros da Sociedade Colombiana de Matemática. E acho que > geralmente, assim acontece com o SLALM. > > Acho que desse jeito, não se teria esta discussão que não faz sentido. > > Abraço, > Pedro Zambrano. > > 2013/5/22 Joao Marcos > > > Estou particularmente de acordo com o seu argumento, Pedro. > > > > Para além disso, como manifestei na reunião que fechou o último EBL em > > Petrópolis, sou de opinião de que quem deveria se responsabilizar pela > > organização deste evento é a diretoria da Sociedade Brasileira de > > Lógica, que deveria ser proposta e eleita levando isso em consideração > > (a organização periódica do EBL não seria hoje em dia justamente uma > > das principais atividades de responsabilidade da SBL?). Felizmente, > > Renata e Petrúcio, lá no Rio, heroicamente aceitaram mais uma vez > > organizar o evento, apesar de aparentemente não terem sido convidados > > a compor esta diretoria. > > > > Tendo isso em vista, entendo que a minha opinião pessoal sobre o local > > mais bacana para organizar o evento ou mesmo a minha disponibilidade > > para ajudar a organizar este evento em Natal um dia são ambas mais ou > > menos irrelevantes. > > JM > > > > -- > Pedro ZAMBRANO > Profesor Asistente D.E. > Departamento de Matemáticas > Universidad Nacional de Colombia > Bogotá - Colombia > PBX +57 1 3165000 ext. 13163 > sites.google.com/a/unal.edu.co/phzambranor > ___ > 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
Re: [Logica-l] EBL 2014 discussao aberta
Caros: Vou comentar uma ideia do Joao Marcos que me parece muito razoavel, e que corresponde a maneira como a qual muitas sociedades cientificas (inclusive algumas que ja presidi) organizam suas conferencias. Ao fianal de cada EBL, deveriamos eleger a nova diretoria da SBL, cuja maior tarefa seria organizar o proximo EBL. Claro esta que a diretoria eleita sera constituida primordialmente de cientistas do Estado onde sera organizado o proximo evento.Isto ja estabelece alguns criterios pragmaticos para as possiveis candidaturas: (1) O Estado que se propoem a sediar o evento deve ter uma comunidade cientifica atuante de peso suficiente para requisitar os recursos e ser levada a serio. (2) Os mais destacados membros da referida comunidade, e seus (ex) estudantes, se dispoem aa trabalheira insana que organizar uma coisa destas requer. (3) Cabe aos organizadores escolher o local exato, dentro do Estado, que vai sediar o evento. Esta forma de organizar as coisas tem, entre outras, as seguintes vantagens. (a) O merito de organizar o evento eh melhor reconhecido, de uma forma que pode ser objetivamente avaliada e recompensada quando, por exemplo, se julga a bolsa de produtividade dos envolvidos.(b) Permite a necessaria flexibilidade para negociar com hoteis e outros provedores de servico condicoes adequadas de preco e qualidade. Aqui em Sao Paulo, por exemplo, nao esta facil encontrar hoteis de boa qualidade (nada de luxo desnecessario, apenas boas salas de conferencia, e bons servicos de apoio) que se disponham a prestar servicos dentro da tabela de diarias pagas pela FAPESP, e fazer tudo dentro das normas (por vezes incompativeis) da FAPESP, CAPES e CNPq. Ficar palpitando de alegre onde eh que eu gostaria de fazer turismo eh algo que (no meu particular entender) nao cabe dentro deste escopo de discussao. ---Julio Stern > Date: Thu, 23 May 2013 16:25:44 +0200 > From: beziau...@gmail.com > To: logica-l@dimap.ufrn.br > Subject: [Logica-l] EBL 2014 discussao aberta > > Acho que essa discussao faz perfeitamente sentido Pedro. > Nao e so levar em consideracao a opiniao da direitoria da SBL > (que no momento nao esta determinada) > mas de todos os interessados em logica no Brasil, > que podem se manifestar nesta lista de discussao. > > No EBL anterior, Petropolis 2011, > começamos a discussao sobre o proximo EBL, > mas nenhuma decisao sobre o local foi tomada. > > Acho improtante discutir e argumentar, > somos logicos nao e? > > Repito entao meus argumentos: > 1) Nao acho bom organizar o EBL duas vezes seguidos no mesmo local, > qualquer seja, > O Brasil e um pais muito grande nao faltam opcoes. > E bom desenvolver a ciencia em todo pais. > As ultimas 3 vezes o EBL foi organizado no estado do Rio de Janeiro. > No Brasil tem 26 estados. > 2) A dupla Niteroi-Petropolis (escola/congresso) nao me parece boa. > Importante que a escola seja no mesmo local que o congresso > Isso favorece uma maior interacao entre pesquisadores e estudantes > e tambem facilita a questao de infraestrutura. > > Tem muitas possibilidades: > Natal, Fortaleza, Recife, Salvador, Florianopolis, Goiania, Cuiaba, etc > ... > ___ > 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
Re: [Logica-l] EBL 2014 discussao aberta
Antartica brasileira pode ser uma boa opcao, acredito que la nao ha assaltos mas seria melhor fazer durante o inverno, porque no verao a populacao duplica: http://pt.wikipedia.org/wiki/Ant%C3%A1rtida_Brasileira 2013/5/23 Joao Marcos > 2013/5/23 jean-yves beziau : > > Nao sao 26 estados + o DF? > > http://pt.wikipedia.org/wiki/Brasil#Subdivis.C3.B5es > > > > o DF tambem e uma possibilidade para o EBL 2014! > > Pois é, lá tem governador e tudo o mais. Principalmente tudo o mais. :-) > > > Alem disso existe a antartica brasileira ... > > Uau, essa foi inusitada! > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
2013/5/23 jean-yves beziau : > Nao sao 26 estados + o DF? > http://pt.wikipedia.org/wiki/Brasil#Subdivis.C3.B5es > > o DF tambem e uma possibilidade para o EBL 2014! Pois é, lá tem governador e tudo o mais. Principalmente tudo o mais. :-) > Alem disso existe a antartica brasileira ... Uau, essa foi inusitada! JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
Nao sao 26 estados + o DF? http://pt.wikipedia.org/wiki/Brasil#Subdivis.C3.B5es o DF tambem e uma possibilidade para o EBL 2014! Alem disso existe a antartica brasileira ... 2013/5/23 Joao Marcos > > No Brasil tem 26 estados. > > Por enquanto são 27. > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
> No Brasil tem 26 estados. Por enquanto são 27. JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 discussao aberta
Acho que essa discussao faz perfeitamente sentido Pedro. Nao e so levar em consideracao a opiniao da direitoria da SBL (que no momento nao esta determinada) mas de todos os interessados em logica no Brasil, que podem se manifestar nesta lista de discussao. No EBL anterior, Petropolis 2011, começamos a discussao sobre o proximo EBL, mas nenhuma decisao sobre o local foi tomada. Acho improtante discutir e argumentar, somos logicos nao e? Repito entao meus argumentos: 1) Nao acho bom organizar o EBL duas vezes seguidos no mesmo local, qualquer seja, O Brasil e um pais muito grande nao faltam opcoes. E bom desenvolver a ciencia em todo pais. As ultimas 3 vezes o EBL foi organizado no estado do Rio de Janeiro. No Brasil tem 26 estados. 2) A dupla Niteroi-Petropolis (escola/congresso) nao me parece boa. Importante que a escola seja no mesmo local que o congresso Isso favorece uma maior interacao entre pesquisadores e estudantes e tambem facilita a questao de infraestrutura. Tem muitas possibilidades: Natal, Fortaleza, Recife, Salvador, Florianopolis, Goiania, Cuiaba, etc ... ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Concordo com o João ... a decisão do próximo local para o EBL deveria vir desde a SBL em conjunto, mas não concordo que venha só de uma pessoa, se não gostaram que já tem heróis que começaram a (pre)organizar o EBL. Tem jeito que a SBL em conjunto possa concordar isso? Aqui na Colômbia, a decisão sobre o local onde vai ocorrer o seguinte Congresso Colombiano de Matemática é concordada no CCM anterior em uma reunião dos membros da Sociedade Colombiana de Matemática. E acho que geralmente, assim acontece com o SLALM. Acho que desse jeito, não se teria esta discussão que não faz sentido. Abraço, Pedro Zambrano. 2013/5/22 Joao Marcos > Estou particularmente de acordo com o seu argumento, Pedro. > > Para além disso, como manifestei na reunião que fechou o último EBL em > Petrópolis, sou de opinião de que quem deveria se responsabilizar pela > organização deste evento é a diretoria da Sociedade Brasileira de > Lógica, que deveria ser proposta e eleita levando isso em consideração > (a organização periódica do EBL não seria hoje em dia justamente uma > das principais atividades de responsabilidade da SBL?). Felizmente, > Renata e Petrúcio, lá no Rio, heroicamente aceitaram mais uma vez > organizar o evento, apesar de aparentemente não terem sido convidados > a compor esta diretoria. > > Tendo isso em vista, entendo que a minha opinião pessoal sobre o local > mais bacana para organizar o evento ou mesmo a minha disponibilidade > para ajudar a organizar este evento em Natal um dia são ambas mais ou > menos irrelevantes. > JM > -- Pedro ZAMBRANO Profesor Asistente D.E. Departamento de Matemáticas Universidad Nacional de Colombia Bogotá - Colombia PBX +57 1 3165000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 Goiânia?
Sim Renato, acho que Goiânia seria uma opcao interessante para o EBL 2014 talvez o Wagner toma a iniciativa Florianopolis onde voce esta agora me parece tambem uma excellente opcao Um abraço, JY 2013/5/23 Renato Mendes Rocha > Voltando para o Brasil. > > Se paisagem à beira-mar não for uma condição necessária, uma boa opção > seria Goiânia. > > - > RMR > > Em 22/05/2013, às 21:48, jean-yves beziau escreveu: > > > Melhor entao organizar o EBL 2014 num pais vizinho! > > Que tal da Venezuela ? > > JY > > > > 2013/5/23 Joao Marcos > > > >>> Niteroi = a cada 3h, um assalto > >>> http://oglobo.globo.com/niteroi/perdeu-cada-3h-um-assalto-8426949 > >>> > >>> Qual seria entao um lugar seguro para organizar o EBL 2014?! > >> > >> No Brasil? O Daniel Skurt, que participou recentemente do UNILOG, > >> organizado por você na Cidade Maravilhosa, foi assaltado a mão armada > >> bem próximo do local da conferência, em pleno dia. E olhe que só tem > >> milico na Praia Vermelha. > >> > >> JM > >> > >> -- > >> http://sequiturquodlibet.googlepages.com/ > >> > > ___ > > 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
[Logica-l] EBL 2014 na Venezuela?
Melhor entao organizar o EBL 2014 num pais vizinho! Que tal da Venezuela ? JY 2013/5/23 Joao Marcos > > Niteroi = a cada 3h, um assalto > > http://oglobo.globo.com/niteroi/perdeu-cada-3h-um-assalto-8426949 > > > > Qual seria entao um lugar seguro para organizar o EBL 2014?! > > No Brasil? O Daniel Skurt, que participou recentemente do UNILOG, > organizado por você na Cidade Maravilhosa, foi assaltado a mão armada > bem próximo do local da conferência, em pleno dia. E olhe que só tem > milico na Praia Vermelha. > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Estou particularmente de acordo com o seu argumento, Pedro. Para além disso, como manifestei na reunião que fechou o último EBL em Petrópolis, sou de opinião de que quem deveria se responsabilizar pela organização deste evento é a diretoria da Sociedade Brasileira de Lógica, que deveria ser proposta e eleita levando isso em consideração (a organização periódica do EBL não seria hoje em dia justamente uma das principais atividades de responsabilidade da SBL?). Felizmente, Renata e Petrúcio, lá no Rio, heroicamente aceitaram mais uma vez organizar o evento, apesar de aparentemente não terem sido convidados a compor esta diretoria. Tendo isso em vista, entendo que a minha opinião pessoal sobre o local mais bacana para organizar o evento ou mesmo a minha disponibilidade para ajudar a organizar este evento em Natal um dia são ambas mais ou menos irrelevantes. JM 2013/5/22 Pedro H. Zambrano : > Olá pessoal. Mil desculpas pelo meu comentário, nem sou Brasileiro nem moro > no Brasil, mas acho que a gente deveria deixar trabalhar ao pessoal que já > começou a trabalhar na organização do próximo EBL. > > Se o pessoal de Fortaleza ou sei lá, de algum outro lugar, estivessem > interessados em organizar o EBL, acho que eles deveram ter organizado o EBL > antes do que o pessoal que já começou a organizar, né? > > Concordo que este tipo de encontros deveriam ser realizados em diferentes > lugares (aqui na Colômbia, o Congresso Colombiano de Matemática tinha-se > organizado geralmente em Bogotá até o ano 2005, e desde o 2007 tem se > organizado em diferentes cidades como Medellín, Cali, Bucaramanga, e o > próximo vai ocorrer em Barranquilla, e tem sido muito bom para o > desenvolvimento da matemática na Colômbia) e acho importante que seja desse > jeito, mas acho que se tem pessoal que já começou esse trabalho, acho > desrespeitoso com eles esta discussão. > > Grande abraço da Colômbia, > Pedro Zambrano. -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Olá pessoal. Mil desculpas pelo meu comentário, nem sou Brasileiro nem moro no Brasil, mas acho que a gente deveria deixar trabalhar ao pessoal que já começou a trabalhar na organização do próximo EBL. Se o pessoal de Fortaleza ou sei lá, de algum outro lugar, estivessem interessados em organizar o EBL, acho que eles deveram ter organizado o EBL antes do que o pessoal que já começou a organizar, né? Concordo que este tipo de encontros deveriam ser realizados em diferentes lugares (aqui na Colômbia, o Congresso Colombiano de Matemática tinha-se organizado geralmente em Bogotá até o ano 2005, e desde o 2007 tem se organizado em diferentes cidades como Medellín, Cali, Bucaramanga, e o próximo vai ocorrer em Barranquilla, e tem sido muito bom para o desenvolvimento da matemática na Colômbia) e acho importante que seja desse jeito, mas acho que se tem pessoal que já começou esse trabalho, acho desrespeitoso com eles esta discussão. Grande abraço da Colômbia, Pedro Zambrano. -- Pedro ZAMBRANO Profesor Asistente Dedicación Exclusiva Departamento de Matemáticas Universidad Nacional de Colombia Bogotá - Colombia PBX +57 1 3165000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Jean-Yves morou exatamente em Iracema e o maior risco que correu no período foi o de morrer apanhando um jacaré que jogou ele de encontro às pedras do quebra-mar. :-) JM 2013/5/22 SÁ, Samy : > Minha intenção não era defender a cidade como destino pro EBL, mas como > destino por si só. Como eu esperava, parece que você teve uma experiência > ruim anterior. Considero investigar isso, se também vão me dar as mesmas > dicas negativas em hotéis daqui. > > A minha experiência frequente é de passear à vontade pelos calçadões da > praia de Iracema com alta frequência e nunca ter presenciado nenhum > assalto, nem outro problema parecido. Talvez eu tenha sorte demais, mas > acho mais fácil que as pessoas estivessem exagerando a situação em alguns > desses pontos. > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Minha intenção não era defender a cidade como destino pro EBL, mas como destino por si só. Como eu esperava, parece que você teve uma experiência ruim anterior. Considero investigar isso, se também vão me dar as mesmas dicas negativas em hotéis daqui. A minha experiência frequente é de passear à vontade pelos calçadões da praia de Iracema com alta frequência e nunca ter presenciado nenhum assalto, nem outro problema parecido. Talvez eu tenha sorte demais, mas acho mais fácil que as pessoas estivessem exagerando a situação em alguns desses pontos. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Caro Samy, Conheço Fortaleza há 30 anos. No ano passado fui numa banca,e fiquei vários dias num belo. Hotel na Praia de Iracema. O pessoal todo, do Hotel e da Universidade, nos desincentivou a sair mais longe, fomos de taxi (eu e colegas do Rio e Brasília) e nem o taxi nos queria levar aa Praia do Futuro. Fomos teimosamente, e chegando lá estavam, por volta das 16h30, recolhendo as cadeiras e barracas "porque tem muito ladrão a essa hora". Mudamos de praia, e o pessoal chamou um taxi para mudar de praia-- nao se podia ir andando! Sei que ê uma praga brasileira, mas parece que o pessoal em Fortaleza esta especialmente apavorado. Nao eh um lugar em que se possa levar dezenas de pessoas de fora, sinto muito .. Adoraria que fosse diferente, Um abraço Walter Enviado via iPad Em 22/05/2013, às 18:34, SÁ, Samy escreveu: > Caro Walter, > > Devo defender Fortaleza. > > É uma cidade um pouco perigosa, sim, mas não é tão ruim quanto você pintou. > Também não sei o que quer dizer com "as praias fecham às 5...", pois isso não > acontece. Talvez algumas barracas na praia do futuro durante a semana, mas eu > diria que a baixa clientela é um fator muito mais forte que esse. A beira-mar > e praia de Iracema têm barracas que funcionam 24h e a maioria só fecha pelas > 2h da manhã em cada dia. A praia de Iracema é bem central e, até onde posso > dizer, limpa. > > Talvez você tenha tido alguma experiência particularmente ruim, mas peço que > não generalize. > > Abraços, > -- > Samy Sá ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Caro Walter, Devo defender Fortaleza. É uma cidade um pouco perigosa, sim, mas não é tão ruim quanto você pintou. Também não sei o que quer dizer com "as praias fecham às 5...", pois isso não acontece. Talvez algumas barracas na praia do futuro durante a semana, mas eu diria que a baixa clientela é um fator muito mais forte que esse. A beira-mar e praia de Iracema têm barracas que funcionam 24h e a maioria só fecha pelas 2h da manhã em cada dia. A praia de Iracema é bem central e, até onde posso dizer, limpa. Talvez você tenha tido alguma experiência particularmente ruim, mas peço que não generalize. Abraços, -- Samy Sá ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 = Natal, Fortaleza e outros localidades
Natal seria certamente muito bom para organizar o EBL 2014. E o Joao Marcos muito competente para organizar tal evento, assim que a Maria da Paz. Acho tambem Fortaleza uma boa opcao. as praias de Fortaleza nao sao sujas. Morei la 2 anos na frente da praia, tinha dolfinos, o mar era muito agradavel. A orla de Fortaleza e bem bonita, muito animada e segura. Em Fortaleza ja foram organizados com muito successo o Wollic, o congresso da SBC e outros eventos. O povo do Ceara e alegre e simpatico, a comida gostosa, o clima agradavel o ano todo. La tem a FUNCAP (equivalente da FAPESP e da FAPERJ) da qual o Tarcisio foi presidente e que ele ajudou a bem desenvolver, e agora ele e secretário de ciência, tecnologia e inovação da Prefeitura de Fortaleza. Na computacao da UFC tem a Ana Teresa, muito boa organizadora, e na filosofia da UFC o André Leclerc tambem bom organizador a agora o Marcos Silva. No Brasil tem muitos outros locais interessantes fora de Rio e SP para organizar eventos. Bom lembrar que o tres ultimos EBL foram organizados no Estado do Rio de Janeiro: 2011 Petropolis, 2008 Paraty, 2006 Itatiaia. Concordo plenamente que o estado do RJ e o estado mais bonito do Brasil e que aqui tem os melhores logicos, mas e bom circular um pouco para ajudar a desenvolver as outras regioes do Brasil ... Acho bom no EBL fazer uma combinacao escola-congresso, mas e melhor no mesmo local para ter mais interacao Essa combinacao Niteroi-Petropolis me parece um pouco difficil e ja foi feita. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Caro Walter:O Joao Marcos ja teve seu papel ajudando na arganizacao do II-CBSF - Congresso Brasileiro de Sistemas Fuzzy. La em Natal (2012) tivemos a satisfacao de ver o glorioso estandarte do Lolita galantemente desfraldado em varias seccoes de Logica e afins. O congresso foi muito bem organizado, a estrutura hoteleira eh muito boa, e tivemos bom apoio da universidade. Ate dinheiro da FAPRN acho que saiu! Otima pedida para algum futuro EBL So resta agora convencer o Joao Marcos e a turma do Lolita :-) Agora, falando serio: Organizar um congresso destes exige MUITO trabalho, e precisa ser pensado com bastande antecedencia. Estamos organizando o EBEB-2014 (Encontro Brasileiro de Estatistica Bayesiana) e os primeiros pedidos de verba ja foram feitos! Outro ponto importante eh que em todos os congressos que ja organizei, mais de 50% do dinheiro, especialmente para trazer convidadoss do exterior e para ajudar a custear publicacoes, veio da FAPESP. Qual o apoio (montante) recebido da FAPERJ para o EBL-2011 e o UniLog-2013? Qual a situacao das outras FAPXXs ? ---Julio Stern > From: walter.carnie...@gmail.com > Date: Wed, 22 May 2013 08:42:31 +0200 > To: beziau...@gmail.com > CC: logica-l@dimap.ufrn.br > Subject: Re: [Logica-l] EBL 2014 repetindo o local? > > Fortaleza eh muito ruim, grande demais e insegura. As praias melhores " > fecham " aas 5 por medo de ladroes, e as centrais são muito sujas. Petrópolis > eh bem melhor, tem muito mais infra- estrutura, Natal seria uma ótima > esçolha, tem até o João Marcos lá com sua eficiência, que poderia inaugurar a > traidicao de organizar EBLs!, > > Walter > Enviado via iPad > > Em 22/05/2013, às 03:23, jean-yves beziau escreveu: > > > E boa a animacao do Petrucio e da Renata para organizar o EBL e o EBL 2011 > > foi muito bem organizado, > > mas acho melhor que o EBL nao seja organizado duas vezes seguidos no mesmo > > local. > > Me parece importante este evento circular em todo o Brasil, em particular > > saindo do eixo Rio-SP. > > Ha possibilidade por exemplo de organizar o EBL 2014 em Fortaleza onde tem > > um grupo ativo de logicos, > > Florianopolis seria tambem um excelente escolha. > > Jean-Yves > > ___ > > 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 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 repetindo o local?
Fortaleza eh muito ruim, grande demais e insegura. As praias melhores " fecham " aas 5 por medo de ladroes, e as centrais são muito sujas. Petrópolis eh bem melhor, tem muito mais infra- estrutura, Natal seria uma ótima esçolha, tem até o João Marcos lá com sua eficiência, que poderia inaugurar a traidicao de organizar EBLs!, Walter Enviado via iPad Em 22/05/2013, às 03:23, jean-yves beziau escreveu: > E boa a animacao do Petrucio e da Renata para organizar o EBL e o EBL 2011 > foi muito bem organizado, > mas acho melhor que o EBL nao seja organizado duas vezes seguidos no mesmo > local. > Me parece importante este evento circular em todo o Brasil, em particular > saindo do eixo Rio-SP. > Ha possibilidade por exemplo de organizar o EBL 2014 em Fortaleza onde tem > um grupo ativo de logicos, > Florianopolis seria tambem um excelente escolha. > Jean-Yves > ___ > 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
Re: [Logica-l] EBL 2014 repetindo o local?
@Samuel: Dá para organizar na Bahia em breve? Acharia legal! Pedro. 2013/5/21 jean-yves beziau > E boa a animacao do Petrucio e da Renata para organizar o EBL e o EBL 2011 > foi muito bem organizado, > mas acho melhor que o EBL nao seja organizado duas vezes seguidos no mesmo > local. > Me parece importante este evento circular em todo o Brasil, em particular > saindo do eixo Rio-SP. > Ha possibilidade por exemplo de organizar o EBL 2014 em Fortaleza onde tem > um grupo ativo de logicos, > Florianopolis seria tambem um excelente escolha. > Jean-Yves > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Pedro ZAMBRANO Assistant Professor Department of Mathematics Office 314-404 Universidad Nacional de Colombia Bogotá - Colombia PBX +57 1 3165000 ext. 13163. sites.google.com/a/unal.edu.co/phzambranor ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 repetindo o local?
E boa a animacao do Petrucio e da Renata para organizar o EBL e o EBL 2011 foi muito bem organizado, mas acho melhor que o EBL nao seja organizado duas vezes seguidos no mesmo local. Me parece importante este evento circular em todo o Brasil, em particular saindo do eixo Rio-SP. Ha possibilidade por exemplo de organizar o EBL 2014 em Fortaleza onde tem um grupo ativo de logicos, Florianopolis seria tambem um excelente escolha. Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014 repetindo o local?
E boa a animacao do Petrucio e da Renata para organizar o EBL e o EBL 2011 foi muito bem organizado, mas acho melhor que o EBL nao seja organizado duas vezes seguidos no mesmo local. Me parece importante este evento circular em todo o Brasil, em particular saindo do eixo Rio-SP. Ha possibilidade por exemplo de organizar o EBL 2014 em Fortaleza onde tem um grupo ativo de logicos, Florianopolis seria tambem um excelente escolha. Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014
Yay Petrucio!!! que otima noticia! muito bom que voce, Renata, Hugo, Wagner e Samuel resolveram levar a frente o EBL 2014! 'e um trabalhao danado, mas 'e super importante! muito legal mesmo! abracos, logicos e esperancosos, Valeria On Mon, May 20, 2013 at 2:32 PM, Jorge Petrucio Viana wrote: > caros filolistas > ja temos data e lugar > > so falta o resto;-) > > http://www.uff.br/ebl/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] EBL 2014
caros filolistas ja temos data e lugar so falta o resto;-) http://www.uff.br/ebl/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
