[Logica-l] EBL 2014 - Call for participation - Extended deadline for early payment

2014-02-10 Por tôpico samuel


===
[ 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 D’Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - 

[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation

2014-02-06 Por tôpico samuel


===
[ 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 D’Ottaviano (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 

[Logica-l] EBL 2014 - XVII Brazilian Logic Conference - Call for participation

2014-01-17 Por tôpico samuel

===
[ 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 D’Ottaviano (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

2014-01-01 Por tôpico samuel

===
[ 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 

[Logica-l] EBL 2014 - extended deadline

2013-12-13 Por tôpico samuel

===
[ 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

2013-12-09 Por tôpico samuel


===
[ 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

2013-10-17 Por tôpico samuel

===
[ 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


Re: [Logica-l] EBL 2014

2013-05-26 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2013-05-25 Por tôpico Itala M. L. D'Ottaviano
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.:+55–19-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

2013-05-24 Por tôpico jean-yves beziau
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


[Logica-l] EBL 2014 Goiânia?

2013-05-23 Por tôpico jean-yves beziau
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 mendesro...@gmail.com

 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 beziau...@gmail.com escreveu:

  Melhor entao organizar o EBL 2014 num pais vizinho!
  Que tal da Venezuela ?
  JY
 
  2013/5/23 Joao Marcos botoc...@gmail.com
 
  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


Re: [Logica-l] EBL 2014 repetindo o local?

2013-05-23 Por tôpico Pedro H. Zambrano
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 botoc...@gmail.com

 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 discussao aberta

2013-05-23 Por tôpico jean-yves beziau
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 discussao aberta

2013-05-23 Por tôpico 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

2013-05-23 Por tôpico 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!
Alem disso existe a antartica brasileira ...



2013/5/23 Joao Marcos botoc...@gmail.com

  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

2013-05-23 Por tôpico Joao Marcos
2013/5/23 jean-yves beziau beziau...@gmail.com:
 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-05-23 Por tôpico jean-yves beziau
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 botoc...@gmail.com

 2013/5/23 jean-yves beziau beziau...@gmail.com:
  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-05-23 Por tôpico 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 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

2013-05-23 Por tôpico Pedro H. Zambrano
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 jmst...@hotmail.com


 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

[Logica-l] EBL 2014 discussao aberta

2013-05-23 Por tôpico jean-yves beziau
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

2013-05-23 Por tôpico Julio Stern
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


Re: [Logica-l] EBL 2014 discussao aberta

2013-05-23 Por tôpico Tony Marmo
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 beziau...@gmail.comescreveu:

 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

2013-05-23 Por tôpico 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

2013-05-23 Por tôpico Décio Krause
 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 Rio Branco

2013-05-23 Por tôpico jean-yves beziau
Ja visitei Rio Branco, e achei tambem uma cidade bem bacana.
JY



2013/5/23 Joao Marcos botoc...@gmail.com

  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

2013-05-23 Por tôpico Tony Marmo
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 botoc...@gmail.com 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 repetindo o local?

2013-05-22 Por tôpico Walter Alexandre Carnielli
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 beziau...@gmail.com 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?

2013-05-22 Por tôpico Julio Stern

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 beziau...@gmail.com 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


[Logica-l] EBL 2014 = Natal, Fortaleza e outros localidades

2013-05-22 Por tôpico jean-yves beziau
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?

2013-05-22 Por tôpico SÁ , Samy
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?

2013-05-22 Por tôpico Walter Alexandre Carnielli
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 samysoa...@gmail.com 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?

2013-05-22 Por tôpico 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


Re: [Logica-l] EBL 2014 repetindo o local?

2013-05-22 Por tôpico Joao Marcos
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 samysoa...@gmail.com:
 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?

2013-05-22 Por tôpico 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.

-- 
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?

2013-05-22 Por tôpico 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


2013/5/22 Pedro H. Zambrano phzambra...@gmail.com:
 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


[Logica-l] EBL 2014 na Venezuela?

2013-05-22 Por tôpico jean-yves beziau
Melhor entao organizar o EBL 2014 num pais vizinho!
Que tal da Venezuela ?
JY

2013/5/23 Joao Marcos botoc...@gmail.com

  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] EBL 2014 repetindo o local?

2013-05-21 Por tôpico 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


[Logica-l] EBL 2014 repetindo o local?

2013-05-21 Por tôpico 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


Re: [Logica-l] EBL 2014 repetindo o local?

2013-05-21 Por tôpico Pedro H. Zambrano
@Samuel: Dá para organizar na Bahia em breve? Acharia legal!

Pedro.

2013/5/21 jean-yves beziau beziau...@gmail.com

 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

2013-05-20 Por tôpico Jorge Petrucio Viana
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