XVIII Brazilian Logic Conference

XVIII Brazilian Logic Conference

May 8-12, 2017 – Pirenópolis / GO, Brazil

The Brazilian Logic Meeting (EBL) is a traditional event of the Brazilian Logic Society (SBL). They have been occurring since 1979. It congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to join together and engage in a discussion about the state-of-art of their subject. The areas of Logic covered spread over Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence.

Previous editions of the EBL have attracted researchers from all over Latin America and elsewhere. The EBL is an event bringing together logicians of different levels and skills: from undergraduated students to senior researchers.

In 2017, the EBL will be held at the Pirenópolis, Goías, a small charming colonial town at about 100km from Brasília. This is the first time the event will be held in the Middle West (Centro-Oeste) of Brazil.

The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the partcipants several invited speakers from different continents.

Important Notices

Update: 29 Mar, 2017 - 08:20

  • A payment request will be sent through PayPal (email: ebl2017@inf.ufg.br) to the email filled in the registration form.
  • Registrations until March 30 will be processed by April 1 (Saturday) and must be concluded by April 3 (Monday) in order to apply for early registration fees.

Logic School

May 9-11, 2017 – Pirenópolis / GO, Brazil

  • Jorge Viana
  • Eduardo Fermé
  • Evandro Gomes / Itala D'Ottaviano
  • Abílio Rodrigues / Marcelo Coniglio / Walter Carnielli
  • Jean-Yves Beziau

EBL Poster

Keynote Speakers

  • Joan BAGARIA (University of Barcelon, Spain)
  • Eduardo BARRIO (University of Buenos Aires, Argentine)
  • Torben BRAUNER (Roskilde University, Danemark)
  • Eduardo FERMÉ (University of Madeira, Portugal)
  • Fernando FERREIRA (University of Lisbon, Portugal)
  • Edward HAEUSLER (PUC-Rio, Brasil)
  • Fairouz KAMAREDDINE (Heriot-Watt University, Scotland)
  • Cláudia NALON (University of Brasília, Brasil)
  • Olivier RIOUL (Télécom ParisTech, France)
  • Moshe VARDI (Rice University, United States)


EBL 2017 will be held at Pousada dos Pireneus Resort, at Pirenópolis, GO, from May 8 to May 12.

Special accommodation at Pousada dos Pireneus rates are available for participants. Being hosted at the Pousada guarantees access to all facilities of the resort. For those wishing to stay somewhere else only the access to the conference rooms is allowed.

The reservation includes breakfast and lunch and can be made for standard and executive (single/double/triple/quadruple) rooms.

Standard Room

Check in: May 8 14h00 – Check out: May 12 12h00

  • Single (Solteiro): R$ 1.140,00
  • Double: R$ 720,00 per person
  • Triple: R$ 654,00 per person
  • Quadruple: R$ 612,00 per person

Executive Room (Vila Meia Ponte)

Check in: May 8 14h00 – Check out: May 12 12h00

  • Single (Solteiro): R$ 1.245,00
  • Double: R$ 798,00 per person
  • Triple: R$ 714,00 per person
  • Quadruple: R$ 666,00 per person

Accomodation registration  

Pirenópolis offers dozens of pousadas (inn) for a comfortable stay, which can be searched in your favourite web site. Almost everything is in a walk distance in the town. Good pousadas are: Pousada Walkeriana, Pousada Casa Grande, Pousada Casarão, to name a few. Touristic information about Pirenópolis can also be obtained at http://www.pirenopolis.tur.br or http://www.pirenopolis.com.br.

Call for Papers

Extended Deadline: Feb 5, 2017

We cordially invite submissions of contributed papers 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.

Abstracts to be submitted should be written in Portuguese, Spanish or English with a maximum of 300 words including title, name, keywords, affiliation and the essential bibliography.

We are happy to host round tables proposals with a duration of at most two hours. They may be divided as desired, with a maximum of 4 and a minimum of 3 participants per session. The description and the title for the session should be of a maximum of 1500 words containing an abstract for each exposition including title, name, keywords, affiliation and bibliography. Each session must have a coordinating chair assigned in the proposal.

The author(s) should send a .pdf file by email to eblXVIII@gmail.com   or   ebl2017@inf.ufg.br until Feb 5, 2017.

Papers may be presented in Portuguese, Spanish or English, to fit a slot of 20 minutes (exposition) + 10 minutes (questions).

The Scientific Committee will consider the following items when selecting the accepted papers:

  • relevance and importance of the topic,
  • originality,
  • quality of work.

The list of accepted papers will be released on Feb 28, 2017. At least one author of each accepted paper must register for presenting the paper at the meeting. Each given participant may coauthor more than one paper, but will only be allowed to present a single talk.

The EBL 2017 also aims to be a forum for presenting and discussing work in progress and therefore to provide feedback for authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate the feedback received in the published papers.

Important Dates

  • Brazilian Logic Conference: May 8-12, 2017
    • Submission Deadline: Feb 05, 2017
    • Acceptance Notification: Feb 28, 2017
  • Logic School: May 9-11, 2017


Registration to the conference here. Payment via Paypal (credit cards accepted) to which a notification with instructions will be sent via the registered e-mail.

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

Registration fess

  • Early registration (payment until March 30th, 2017):
    • Regular
      • Faculty members/Researchers: R$ 400
      • Graduate students: R$ 150
      • Undergraduate students: Free
    • SBL members
      • Faculty members/Researchers (associated before 2017): R$ 120
      • Graduate students: R$ 80
  • Late registration (payment after March 30th, 2017):
    • Regular
      • Faculty members/Researchers: R$ 500
      • Graduate students: R$ 180
      • Undergraduate students: Free
    • SBL members
      • Faculty members/Researchers (associated before 2017): R$ 200
      • Graduate students: R$ 100

The registration fee guarantees access to facilities of the event, coffee breaks and gives support to bring speakers.

EBL 2017 - Registration Form  

Financial Support for Students

The Brazilian Logic Society (SBL) will provide financial support for a limited number of graduate students so that they may attend the XVIII Brazilian Logic Meeting. The financial support would cover the students’ expenses with accommodation and meals and their conference fees will be waived. In order to apply, the following conditions should be fulfilled by the student:

  • To have an accepted presentation at the conference.
  • To be associated to Brazilian Logic Society (SBL); details here.
  • Send a letter of application, which should include:
    • your full name;
    • your affiliation;
    • your supervisor’s name;
    • a one-paragraph description of your studies and works in logic;
    • and a paragraph indicating why it is important to attend the meeting.
  • A recommendation letter from the student’s advisor should be presented.

Applications should be submitted electronically, by email to eblXVIII@gmail.com . The deadline for applications is March 31, 2017, and decisions will be communicated at April 07, 2017.

A special fee will be available for students registered up to April 23: R$ 70,00 (breakfast incl.)

Getting to Pirenópolis

  • By Plane - The nearby airports are:
  • By Bus - From either Brasília or Goiânia, there is only one company with a regular bus schedule for Pirenópolis: Viação Goianésia.
  • Tickets must be bought on site (no online services).

    There will be an ELB bus (see below).

  • By Van - From Brasília, contact the official hotel of the event (estimated price R$ 140,00): Pousada dos Pireneus. Alternatively, cabs can be hired (and shared) for transportation from Brasília (about R$ 350,00) and back. Phone +55 (62) 3331 3323 or here.

There are no direct links provided by public transport from the airports to the bus terminals in either city. (see BSB and GYN maps)

Goiás state is currently not considered at risk for yellow fever, according to WHO. For the most cautious among us, the vaccine should be taken at least 10 days prior to arrival date.

For more information please contact the Organizing Committee (eblXVIII@gmail.com).

EBL bus

EBL 2017 organization will provide a bus from Brasília airport to Pirenópolis for EBL attendees registered*. EBL bus schedule:

  • Monday, 11:30 - from BSB - Juscelino Kubitschek Airport to Pirenópolis (EBL 2017 venue)
  • Friday, 13:00 - from Pirenópolis (EBL 2017 venue) to BSB - Juscelino Kubitschek Airport

*Bus companies are obliged to declare the list of passengers with their respective identification number to authorities anticipatedly, i.e., only passengers registered in advance can be transported!

For more information please contact the Organizing Committee (eblXVIII@gmail.com).

Scientific Committee

  • Jonas ARENHART (UFSC, Brazil)
  • Mauricio AYALA-RINCÓN (UnB, Brazil)
  • Jean-Yves BÉZIAU (UFRJ, Brazil)
  • Juliana BUENO-SOLER (UNICAMP, Brazil)
  • Oswaldo CHATEAUBRIAND (PUC-Rio, Brazil)
  • Marcelo CONIGLIO (UNICAMP, Brazil) (Coordinator)
  • Newton DA COSTA (UFSC, Brazil) (Honorary)
  • Samuel DA SILVA (UFBA, Brazil)
  • Francicleber FERREIRA (UFC, Brazil)
  • Marcelo FINGER (USP, Brazil)
  • Rodrigo FREIRE (UnB, Brazil)
  • Décio KRAUSE (UFSC, Brazil)
  • João MARCOS (UFRN, Brazil)
  • Hugo MARIANO (USP, Brazil)
  • Marco RUFFINO (UNICAMP, Brazil)
  • Ciro RUSSO (UFBA, Brazil)
  • Frank SAUTTER (UFSM, Brazil)
  • Júlio STERN (USP, Brazil)


  • Brazilian Logic Society – SBL
  • Centre for Logic, Epistemology and the History of Science – CLE UNICAMP
  • Universidade Federal de Goiás – UFG
  • Universidade de Brasília – UnB

Organizing Committee

  • Edgar ALMEIDA (UNICAMP, Brazil)
  • Fabio BERTATO (UNICAMP, Brazil)
  • Marcelo CONIGLIO (UNICAMP, Brazil) (Co-Chair)
  • Itala D’OTTAVIANO (UNICAMP, Brazil) (Co-Chair)
  • Rodolfo ERTOLA (UNICAMP, Brazil)
  • Nelson GOMES (UnB, Brazil)
  • Samir GORSKY (UFRN, Brazil)
  • Bruno LOPES (UFF, Brazil)
  • Wagner SANZ (UFG, Brazil) (Co-Chair)
  • Marcos SILVA (UFAL, Brazil)
  • Bruno SILVESTRE (UFG, Brazil)
  • Daniel VENTURA (UFG, Brazil)
  • Giorgio VENTURI (UNICAMP, Brasil)


For more information please contact the Organizing Committee at


Versão para Celular