EBL 2017

Em 28/08/19 14:20 Atualizada em 28/08/19 14:20

Keynote Speakers CFP Important dates Scientific Committee Organization Contact

Venue EBL bus Registration Logic School Program Book of Abstracts

EBL 2014 - 17th Brazilian Logic Conference
April 7-11, 2014 - Petrópolis, Brazil

 

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.



top

Keynote Speakers

 



top

Venue

 

EBL 2014 will be held at Laboratótio Nacional de Computação Científica (LNCC), at Petrópolis, RJ, from Monday (April, 7th), at 14h, to Friday (April, 11th), at 18h.

Getting to Petrópolis

 

 

Getting to Niterói from Rio de Janeiro

 

There are several buses that make the journey Rio-Niterói. The most frequent lines are

  • 775D (Gávea-Charitas, via Lapa),
  • 751D (Gávea-Charitas, via Túnel Santa Bárbara),
  • 761 (Galeão?Charitas, via Cidade Universitária),
  • 100D (Praça XV-Praça Araribóia).

To find alternatives, consult vadeonibus or setrerj.

 

From the Galeão airport to Niterói, take the 761.

From the Santos Dumont airport to Niterói, the best way is to walk to Praça XV and take the ferry-boat.

For more information please contact the Organizing Committee (ebl2014@vm.uff.br).



top

EBL bus

 

EBL 2014 organization is providing a bus from Rio to Petrópolis. To use this transportation, you should have be registered.

EBL bus (exclusive transportation for EBL attendees) schedule:

  • Monday, 08:30 - from Niterói (Logic School venue) to Petrópolis (EBL 2014 venue)
  • Monday, 11:00 - from GIG - Antonio Carlos Jobim Airport to Petrópolis (EBL 2014 venue)
  • Monday, 11:00 - from SDU - Santos Dumont Airport to Petrópolis (EBL 2014 venue)
  • Friday, 19:00 15:00 - from Petrópolis (EBL 2014 venue) to the airports (GIG and SDU)

For more information please contact the Organizing Committee (ebl2014@vm.uff.br).



top

Call for Papers

 

We invite submissions on the general topics of Logic, including

  • 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.

 

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 ebl2014@vm.uff.br until December 15, 2013 January 07, 2014 (extended deadline).

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.

The author(s) of accepted papers will be asked to use the official LaTeX class to the Book of Abstracts of the Brazilian Logic Conference 2014 to prepare a one page .pdf file containing the abstract and references of his/her/their contribution. The EBL LaTeX class files can be downloaded from the link below:

 

EBL 2014 Latex Class

 

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.



top

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)


top

Important Dates

 

  • Conference: April 07-11, 2014
  • Logic School: April 05-06, 2014


top

Registration

List of registered participants

The registration to the conference can be done here. The payment is via Paypal (credit cards accepted), and a notification with instructions will be sent via e-mail after the registration.

At least one of the authors of accepted papers should register at the conference.

Registration fees

 

 

  • Late registration (payment after February 17th, 2014):
    • Student
      • Conference and school: R$ 170,00 or US$ 73
      • Only conference: R$ 150,00 or US$ 64
      • Only School: R$ 70,00 or US$ 30
    • Regular
      • Conference and school: R$ 380,00 or US$ 162
      • Only conference: R$ 310,00 or US$ 132
      • Only School: R$ 150,00 or US$ 64
    • SBL associate
      • Conference and school: R$ 250,00 or US$ 107
      • Only conference: R$ 210,00 or US$ 90
      • Only School: R$ 100,00 or US$ 43

     

  • Early registration (payment until February 17th, 2014):
    • Student
      • Conference and school: R$ 140,00 or US$ 60
      • Only conference: R$ 120,00 or US$ 52
      • Only School: R$ 60,00 or US$ 26
    • Regular
      • Conference and school: R$ 310,00 or US$ 132
      • Only conference: R$ 260,00 or US$ 111
      • Only School: R$ 130,00 or US$ 56
    • SBL associate
      • Conference and school: R$ 210,00 or US$ 90
      • Only conference: R$ 180,00 or US$ 77
      • Only School: R$ 90,00 or US$ 39

     

The registration fee includes coffee breaks and booklet of abstracts.

 

EBL 2014 - Registration Form

 



top

Organization

 



top

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) - co-chair
  • 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)


top

Logic School
April 5-6, 2014 - Niterói, Brazil

 

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, from 8h to 19h, at the Instituto de Matemática e Estatística of the Universidade Federal Fluminense (UFF), at Niterói, Rio de Janeiro.

 

Lectures

 

Programme

 

The Logic School Programme is available here: Logic School Programme

Program committee of the Logic School

 

  • Renata de Freitas (UFF)
  • Petrucio Viana (UFF)

 



top

Contact information

 

For more information please contact the Organizing Committee at

ebl2014@vm.uff.br

 



top

Funding

 

CAPES CNPq FAPERJ FAPESP PUC-Rio UFF


top

Previous meetings

 

Petrópolis 2011 [List of registered participants, Book of Abstracts], Paraty 2008, Itatiaia 2006, Campinas 2003, Itatiaia 1999, Salvador 1996, Itatiaia 1993, São Paulo 1988, São José dos Campos 1986, Rio de Janeiro 1984, São José dos Campos 1983, Campinas 1981, Campinas 1980, Recife 1979, Campinas 1978, Campinas 1977.

Special Issues (strongly incomplete list)

 

W. Carnielli, R. de Freitas, P. Viana (eds.), Proceedings of the XVI Brazilian Logic Conference, Logic Journal of the IGPL, to appear.

W. Carnielli, D. Krause (eds.), Proceedings of the XIV Brazilian Logic Conference, Logic Journal of the IGPL 15 (5-6), 2007.

Proceedings (strongly incomplete list)

 

W.A. Carnielli, M.E. Coniglio, I.M. Loffredo D'Ottaviano (eds.), The Many Sides of Logic, Studies in Logic, College Publications, London, 2009. (Proceedings of EBL 2008)

 

Walter A. Carnielli and Itala M. L. D'Ottaviano (eds.). Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. AMS, 1999.

 

A.I. Arruda, N.C.A. da Costa, A.M. Sette (eds.), Proceedings of the Third Brazilian Conference on Mathematical Logic (UFPE, Recife, December 17-22, 1979), SBL, 1980.

 

A.I. Arruda, N.C.A. da Costa, R. Chuaqui (eds.), Proceedings of the First Brazilian Conference on Mathematical Logic, Lecture Notes in Pure and Applied Mathematics, volume 39, Marcel Dekker, New York, 1978.

 


(Last update - May 22, 2014)