Logo XX EBL

The 20th Brazilian Logic Conference will be held at Salvador, BA from Sep 12 to Sep 16 of 2022

About XX EBL

About

EBL

The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to come 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.

In 2022, the 20th edition of the EBL will be held at the Institute of Mathematics and Statistics of the Federal University of Bahia (UFBA), in the city of Salvador, Bahia.

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 participants several invited speakers from different continents.

Logic School

The Logic School is an event parallel to the EBL aimed (mainly) at graduate and undergraduate and graduate students interested in Logic, and connected researchers, but it is also open to anyone who may be interested. The Logic School has been promoting academic interaction and stimulating students to search for knowledge in different fields of Logic. It offers tutorials on different logical subject matters by world renowned experts. This edition will be held on the 10th and 11th of september, preceding the opening of XX EBL, which will take place on the 12th.

The Program of the Logic School is available at Logic School Program.

Logic Workshop for Elementary School Students

The First Logic Workshop for Elementary School Students (I WOLF), whose aged are between 13 to 15 years old, will be hosted by EBL in its first edition. It is an event associated with the university program Onda Digital at UFBA with support of the social program Ciência de Dados na Educação Pública

This event aims to introduce a general understanding of Logic, leading to the students a curious thought on this matter and in the development of critical thinking from logical analysis of argumentations. This edition will be held on the 10th of september, preceding the opening of XX EBL, which will take place on the 12th.

More Information on the event on the following publication.

The event's program has as invited speakers Dra. Renata Wassermann who will give a talk and carry out practical activities and Dr. Walter Carnielli for a chat with the students about critical thinking, logic and argumentation.

Obs. As Dr. Walter Carnielli won't be able to be here on the 10th, the chat will be scheduled for during the week of the EBL.

News

SEP 20, 2022

Certificates of Particpatio and presentation available

Certificates of participation and presentation are at the section Certificates

SEP 20, 2022

Registration Receipts available

Registration Receipts are available for those who requested it during the event at the section Receipts

SEP 05, 2022

Speakers' presentations

The Program Committee requests the speakers to submit their presentations through the Presentation Submission Form.

SEP 05, 2022

More information on the I WOLF

The I Logic Workshop for Elementary School Students will be held co-located withh XX EBL focusing on teaching logic for K12 education. More information on the event has been released on Instagram.

SEP 03, 2022

Book of Abstracts Available

The Book of Abstracts for the XX EBL is available at the Book of Abstracts section of the website.

JUL 15, 2022

Partner Hostel Announced

The EBL organizing commitee has released information of our partner hostel for participants searching for cheaper accomodation options in Salvador. More details can be seen at the Accomodationw section of the website.

JUL 12, 2022

Student Support Results Announced

The Brazilian Logic Society (SBL) has released the results for its student support program for participation at EBL. The student support program will offer waiver of the registration fee and partial support for student members of the SBL participating at the XX EBL. More details can be obtained on the Student Support section of our site.

JUN 6, 2022

Invited Speakers announced

The XX EBL Program Comitee has announced the invited speaker of the XX EBL - with updates comming soon. More details can be found at the Invited Speakers section of the website.

JUN 5, 2022

3rd Call for Contributions

The XX EBL Program Comitee has extended the submission deadline for the Call for Contributions. More details on the Call for Contributions can be obtained below.

JUN 5, 2022

Invited Speakers

The XX EBL Program Comitee has released information on the Invited Speakers for the XX Brazilian Logic Conference . More details on the Invited Speakers can be obtained below.

Call for Contributions

Important Dates

Submission Deadline: June 19, 2022
Acceptance Notification: July 17, 2022
Logic School: Sep 10 - 11, 2022
Brazilian Logic Conference: Sep 12 - 16, 2022

20th Brazilian Logic Conference

September 12 to 16, 2022 - Salvador/BA, Brazil

The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Linguistics and Artificial Intelligence - and at different stages of their careers, from undergraduate students to senior researchers.

Previous editions of the EBL have attracted researchers from all over Latin America and elsewhere. In 2022, the EBL will be held at Salvador, the beautiful and bewitching capital of the state of Bahia, founded in 1549 in the Bahia de Todos os Santos, on the northeastern coast of Brazil.

The XX EBL will be preceeded by the Logic School, which will be held on September 10 and 11.

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 participants several invited speakers from different continents.

Topics

We cordially invite submissions of contributed talks, in the form of an extended abstract, on the general topics of Logic, including, but not limited to:

  • Philosophical Logic,
  • History and Philosophy of Logic,
  • Philosophy of Formal Sciences,
  • Foundations of Mathematics
  • Classical and Non-classical Logics
  • Model Theory,
  • Set Theory,
  • Algebraic Logic
  • Proof theory
  • Teaching Logic
  • Foundations of Computer Science,
  • Computability Theory,
  • Artificial Intelligence.

Submission

Abstracts should be submitted via the EasyChair system at the following link. Abstracts must be written in Portuguese, Spanish or English, and have a length of maximum 3 pages including title, name, keywords, affiliation and the essential bibliography, using the LaTeX template of the conference

The XX EBL will also host poster sessions, especially suitable for ongoing or early-stage works. Abstracts for posters can be submitted using the same link for oral presentation submissions, and then choosing the "Poster" option when prompted.

Proposals for round tables and small workshops are welcome too. We encourage the proponents to get in touch with any of the co-chairs of the Scientific Committee (Hermann Haeusler, Ciro Russo, and Gisele Secco) for more detailed information on the submission process for such kind of proposals.

The deadline for all kinds of submission has been extended to June 19, 2022.

Talks may be given in Portuguese, Spanish or English, and each contributed speaker will have 20 minutes for the exposition plus 10 minutes for questions and discussion.

The Scientific Committee will consider the following criteria in order to select the contributions:

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

The list of accepted contributions will be released on July 17, 2022. At least one author of each accepted abstract must register for presenting the work at the meeting. Each given participant may coauthor more than one paper, but will only be allowed to present a single talk.

A call for papers for the proceedings of the XX EBL shall be launched after the meeting.

Further questions can be directed to: hermann AT inf.puc-rio.br, ciro.russo AT ufba.br or gisele.secco AT ufsm.br

Schedule

Monday - Sep 12 (Room A)

  • 09:00 - 12:30 Registration
  • 13:30 - 14:30 Registration
  • 14:30 - 15:30 Opening Session
  • 15:30 - 16:30 Itala D'Ottaviano Lecture: Itala M. Loffredo D'Ottaviano.
    On the development of Logic in Brazil
  • 16:30 - 17:00 Coffee Break
  • 17:00 - 18:30 Anderson Nakano, Camila Rodrigues Jourdan, and Luiz Carlos Pereira
    Panel: Wittgenstein on Gödel's incompleteness theorems
  • 18:30 - 20:30 Christina Brech, Itala D'Ottaviano, Manuela Souza, Sara Uckelman, Renata Wassermann.
    Panel: Mulheres e lógica: ideias, projetos e ações!
  • 20:30 - 21:30 Opening Cocktail

Obs: Professor Itala D'Ottaviano will give the first "Itala D'Ottaviano Lecture". As decided in the 2019 Assembly of the SBL, the Itala D'Ottaviano Lecture will always be given by a female researcher in Logic in every future EBL as an homage to the work of Prof. Itala.

Book of Abstracts

The Book of Abstracts is available for download below:

The Program Committee requests the speakers to submit their presentations through the Presentation Submission Form.

Logic School

The Logic School is an event parallel to the EBL aimed (mainly) at graduate and undergraduate and graduate students interested in Logic, and connected researchers, but it is also open to anyone who may be interested. The Logic School has been promoting academic interaction and stimulating students to search for knowledge in different fields of Logic. It offers tutorials on different logical subject matters by world renowned experts. This edition will be held on the 10th and 11th of september, preceding the opening of XX EBL, which will take place on the 12th.

The Program of the Logic School is available at Logic School Program.

Logic School Program

Sat - Sep 10

  • 13:00 Reception
  • 13:30 - 14:40 Tutorial 1
  • 14:40 - 15:00 Coffee Break
  • 15:00 - 16:10 Tutorial 1
  • 16:10 - 16:30 Coffee Break
  • 16:30 - 17:40 Tutorial 2

Sun - Sep 11

  • 08:00 - 9:10 Tutorial 3
  • 09:10 - 9:30 Coffee Break
  • 09:30 - 10:40 Tutorial 3
  • 10:40 - 11:00 Coffee Break
  • 11:00 - 12:10 Tutorial 1
  • 12:10 - 13:30 Lunch
  • 13:30 - 14:40 Tutorial 3
  • 14:40 - 15:00 Coffee Break
  • 15:00 - 16:10 Tutorial 2
  • 16:10 - 16:30 Coffee Break
  • 16:30 - 17:40 Tutorial 2

Tutorial 1

Title: Interpretation: a logician's toolkit
Speakers: Alfredo R. Freire and Edgar L. B. Almeida

Tutorial 2

Title: Lógica Multimodais: completeza, complexidade e aplicações
Speaker: Marlo Souza

Tutorial 3

Title: Uma introdução à Teoria de Modelos de espaços métricos generalizados
Speaker: Pedro Zambrano

WOLF

O Primeiro Workshop de Lógica para Alunos do Ensino Fundamental (I WOLF), com idades entre 13 e 15 anos, é um evento associado ao programa de cunho social Onda Digital do Instituto de Computação da UFBA.

O I WOLF será abrigado pelo Encontro Brasileiro de Lógica (XX EBL) e ocorrerá no dia 10 de setembro, antecedendo a abertura da XX EBL, que acontecerá no dia 12.

Este evento visa dar uma compreensão geral da Lógica, levando os alunos a um pensamento curioso sobre esta matéria e no desenvolvimento do pensamento crítico a partir da análise lógica de argumentos.

Temos o apoio do programa Ciência de Dados na Educação Pública, da Escola Politécnica da UFBA, que trarão os estudantes para participarem do evento.

WOLF Program

Sat - Sep 10

  • 08:30 - 08:40 Abertura: Aline Andrade and Karla Esquerre
  • 08:40 - 08:50 Palestra de Abertura: Aline Andrade
  • 08:50 - 09:30 Palestra 1: Renata Wassermann
  • 09:30 - 10:30 Dinâmicas
  • 10:30 - 10:45 Intervalo
  • 10:45 - 11:30 Palestra 2: Aline Andrade
  • 11:30 - 12:30 Oficina Jogo Wumpus: Jandson Ribeiro

Registration

Registration fees

Early Bird (payment until July 23, 2022 July 31, 2022)
  • Faculty members/Researchers: 500 BRL
  • Faculty members/Researchers (SBL members): 250 BRL
  • Faculty members/Researchers + SBL membership: 400 BRL (250 + 150 BRL)
  • Graduate Students: 185 BRL
  • Graduate Students (SBL members): 80 BRL
  • Graduate Students + SBL membership: 155 BRL (80 + 75 BRL)
  • Undergraduate Students FREE
Late Registration (payment from July 24 Aug 01 until Sep 05, 2022 )
  • Faculty members/Researchers: 650 BRL
  • Faculty members/Researchers (SBL members): 350 BRL
  • Faculty members/Researchers + SBL membership: 500 BRL (350 + 150 BRL)
  • Graduate Students: 220 BRL
  • Graduate Students (SBL members): 100 BRL
  • Graduate Students + SBL membership: 175 BRL (100 + 75 BRL)
  • Undergraduate Students FREE

How to register

1) Make a bank deposit in the following account in order to pay the registration fees (plus the annual 2022 SBL payment if it is the case):

            Sociedade Brasileira de Lógica
            Banco: 104 - Caixa Econômica Federal
            CNPJ: 51.877.702/0001-99
            Agência: 4731
            Conta Corrente: 648-3
            Operação: 003
            
            PIX: CNPJ 51877702000199
            

2) Save or scan the deposit receipt

3) Fill in the Registration Form and submit the deposit receipt

* If you are not currently in Brazil and are unable to make a bank deposit, you will be contacted (within a few days) to proceed with your payment via Paypal.


For more information or questions please contact the Organizing Committee at ebl2021@ufba.br.

Conference Dinner

The EBL conference dinner is a confraternization, celebration and relaxation moment. It will be in September, 14th at night at the Yemanjá Restaurant, a typical seafood bahiano restaurant.

In order for better accomodating the demand for the conference dinner, we aks participants to disclose their interest in attending (or not) the conference dinner using the Conference Dinner Registration Form, answering whether they plan on joining the event.

The conference dinner will be under additional fee registration at cost R$130,00 per person including alcoholic and non-alcoholic drinks and the service fee (for those who register util September 7th).

Registration Financial Receipts

Registration Receipts are available for those who requested it during the event at the following page:

Certificates

Certificates of Participation and Presentation at the Logic School and XX EBL are available at the following links:

Organization

The XX Brazilian Logic Conference is organized by Federal University of Bahia (UFBA) and Brazilian Logic Society (SBL)

Organizing Committee

Background picture for organizers

Cezar A. Mortari

UFSC/SBL, co-chair

Background picture for organizers

Samuel G. da Silva

UFBA, co-chair

Background picture for organizers

Aline Andrade

UFBA, co-chair

Background picture for organizers

Abel Lassale Casanave

UFBA

Background picture for organizers

Andreas B. M. Brunner

UFBA

Background picture for organizers

Bruno Lopes

UFF

Background picture for organizers

Ciro Russo

UFBA

Background picture for organizers

Darllan Pinto

UFBA

Background picture for organizers

Douglas Lisboa

UFBA

Background picture for organizers

Edson Bezerra

PhD student, UNICAMP

Background picture for organizers

Enathielle Andrade

PhD student,UFBA

Background picture for organizers

Henrique Antunes

UFBA

Background picture for organizers

Jandson Ribeiro

University of Hagen

Background picture for organizers

Leandro Suguitani

UFBA

Background picture for organizers

Marby Z. Bolaños Ortiz

UFBA

Background picture for organizers

Marcelo Passos

UFBA

Background picture for organizers

Marcelo Oliveira Dias

UFBA

Background picture for organizers

Marco Aurélio O. da Silva

UFBA

Background picture for organizers

Marco Cerami

UFBA

Background picture for organizers

Marlo Souza

UFBA

Background picture for organizers

Moacyr R. de Miranda Jr

UFBA

Background picture for organizers

Pedro Lucas Santos dos Reis

UFBA

Background picture for organizers

Petrucio Viana

UFF

Background picture for organizers

Roberta Miquelanti

UFBA

Background picture for organizers

Tamires Dal Magro

UFBA

Background picture for organizers

Tatiane Rios

UFBA

Background picture for organizers

Ugo Coutinho de Almeida

UFBA

Scientific Committee

Background picture for organizers

Ciro Russo

UFBA (co-chair)

Background picture for organizers

Edward Hermann Haeusler

PUC-Rio (co-chair)

Background picture for organizers

Gisele Dalva Secco

UFSM (co-chair)

Background picture for organizers

Clare Dixon

Liverpool University, UK

Background picture for organizers

Cláudia Nalon

UnB

Background picture for organizers

Constantine Tsinakis

Vanderbilt University, USA

Background picture for organizers

Edelcio G. de Souza

USP

Background picture for organizers

Elaine Pimentel

UFRN

Background picture for organizers

Francicleber M. Ferreira

UFC

Background picture for organizers

Hugo Luiz Mariano

USP

Background picture for organizers

Jean-Baptiste Joinet

Lyon 3, France

Background picture for organizers

Lucia Renato Junqueira

USP

Background picture for organizers

Luiz Carlos Pereira

PUC-Rio/UERJ

Background picture for organizers

Marcos Silva

UFAL

Background picture for organizers

Mario Benevides

UFRJ/UFF

Background picture for organizers

Paulo F. Estrella Faria

UFRGS

Conference Dinner

Dinner venue location info and gallery

Restaurante Yemanjá

Restaurante Yemanjá is on of the most traditional bahiano regional food restaurants of the city, operating for 47 years. It is located at Av Octávio Mangabeira, 4661 - Armação.

Event Venue

Event venue location info and gallery

Salvador

Salvador, also known as São Salvador da Bahia de Todos os Santos (English: Savior; Saint Savior from the Bay of All Saints) is the capital of the Brazilian state of Bahia. With 2.9 million people (2017), it is the largest city proper in the Northeast Region and the 4th largest city proper in the country, after São Paulo, Rio de Janeiro and Brasília.

Founded by the Portuguese in 1549 as the first capital of Brazil, Salvador is one of the oldest colonial cities in the Americas. A sharp escarpment divides its Lower Town (Cidade Baixa) from its Upper Town (Cidade Alta) by some 85 meters (279 ft). The Elevador Lacerda, Brazil's first elevator, has connected the two since 1873. The Pelourinho district of the upper town, still home to many examples of Portuguese colonial architecture and historical monuments, was named a World Heritage Site by UNESCO in 1985.

Salvador was the first slave port in the Americas and the African influence of the slaves' descendants in many cultural aspects of the city makes it a center of Afro-Brazilian (negro) culture. The city is noted for its cuisine, music, dance and architecture. Porto da Barra Beach in Barra has been named one of the best beaches in the world. Itaipava Arena Fonte Nova was the site of the city's games during the 2014 Brazilian World Cup and 2013 Confederations Cup.

Salvador forms the heart of the Recôncavo, Bahia's rich agricultural and industrial maritime district, and continues to be a major Brazilian port. Its metropolitan area, housing 3 899 533 people (2018) forms the wealthiest one in Brazil's Northeast Region (2015).

The Deputado Luís Eduardo Magalhães Airport connects Salvador with all major Brazilian cities and also operates several international flights.

Tourism and Accomodations

The XX EBL organization has partnered up with the Tourism and Accommodation company EMPORIO DE TURISMO to offer EBL participants discounts in hotels and touristic attractions in Salvador.

Interested participants may contact the company by telephone (+55 71 3342-7410 / +55 71 99601-2957 (whatsapp)), or email (atendimento@emporiodeturismo.com.br)

A dedicated website with touristic attractions and hotel indications has been provided for XX EBL participants at: https://www.emporiodeturismo.com.br/turismo-corporativo-1

Partner Hostel

Participants interested in staying at our partner hostel at discount rates may fill the Hostel Accomodation Form.

Our Partner Hostel (Barra Hostel) is located in the Barra neighberhood, close to several touristic attractions, as well as restaurants and bars, and at a 10 min ride from the Event Venue.

EBL participants can stay in Barra Hostel at the discount rate of R$50,00 per day in a shared room with breakfast included.

Restaurants and Bars

The event venue lies in a central area with many bars and restaurants for the participants to gather during social events and meetings. The address of each restaurant links to Google Maps for easy navigation.

Restaurants close to the event venue (sorted by distance to the event venue)

Restaurant at the Institute of Biology

Description: Self-service Restaurant.
Distance: 600m
Institute of Biology. Rua Barão de Jeremoabo,668 - Ondina
Price: $

Restaurant at the Faculty of Communication

Description: Self-service Restaurant.
Distance: 600m
Institute of Biology. R. Barão de Jeremoabo, s/n - Ondina
Price: $

Restaurant at the Faculty of Veterinary Sciences

Description: Self-service Restaurant.
Faculty of Veterinary Sciences. Av. Milton Santos, 500 - Ondina
Distance: 600m
Price: $

Restaurante Di Liana

Description: Italian cuisine focused on pasta and steak.
Distance: 1km
R. Macapá, 314 - Ondina.
Price: $$$

Restaurante Sertão e Mar

Description: Self-Service Restaurant with variety of seafood and local cuisine.
Distance: 1km
Tv. Baependi, 69 - Ondina.
Price: $

Restaurante Meu Chef

Description: Brazilian Cuisine.
Distance: 1km
Tv. Macapá, 66 - Ondina.
Price: $$

Stalo restaurante

Description: Self-Service Restaurant.
Distance: 1,1km
R. Baependi, 152 - Ondina.
Price: $$

Restaurants close to the speakers hotel and partner hostel (sorted by distance to the event venue)

Nana.Veg

Description: Vegan Restaurant with a variety of options.
Distance: 2,7km
R. João Gomes, 9 - 1 Andar - Rio Vermelho.
Price: $$

Shanti

Description: Panasian restaurant - each day dishes from a different contry (vegetaria options).
Distance: 2,7km
R. João Gomes, 10 - Rio Vermelho.
Price: $$

Barravento

Description: Restaurant by the seaside with a beautiful coastal view serving regional dishes, seafood and meat. It also functions as a bar, serving drinks and beers.
Distance: 3,1km
Av. Oceânica, 814 - Barra.
Price: $$$

Saúde Brasil

Description: Natural food Restaurant with good selection of vegetarian and vegan dishes.
Distance: 3,1km
R. Humberto de Campos, 6 - Graça.
Price: $$

Dona Mariquita - Cozinha Patrimonial da Bahia

Description: Good regional cuisine with stilyzed ambiance.
Distance: 3,3km
R. do Meio, 178 - Rio Vermelho.
Price: $$

Manjericão Restaurante Natural

Description: Natural food Restaurant with good selection of vegetarian dishes.
Distance: 3,6km
R. da Fonte do Boi, 3B - Rio Vermelho.
Price: $$

Student Support

The Brazilian Logic Society (SBL) will provide partial support for a limited number of students so that they may attend the 20th Brazilian Logic Conference. It will be up to the SBL Committee alone to decide on the amounts and to whom the aid will be granted. This support is destined to help the students to cover part of their expenses with accommodation and meals. Their conference fees will be waived. SBL cannot provide full financial support for the students.

In order to apply, the students necessarily have to fulfil the following conditions:

  • To be an associated member of the Brazilian Logic Society (SBL)
  • Not being a resident/student at Salvador or its metropolitan region

Please fill the in the application form here. The deadline for applications is July 05, 2022, and decisions will be communicated at July 12, 2022.

Results

The Brazilian Logic Society is proud to present the results of the Student Support Call for Participation on XX EBL. The selected students are listed below (more information on the SBL oficial page.

  • Allan Patrick De Freitas Santana
  • Caio de Andrade Mendes
  • Guilherme Eduardo Pinto
  • João Mendes Lopes Neto
  • José Goudet Alvim
  • José Henrique Fonseca Franco
  • Julio Cesar da Silva
  • Juan Ferrer Meleiro
  • Juan Francisco Camasca Fernández
  • Kaique Matias de Andrade Roberto
  • Luiz Cláudio Frederico Fernandez
  • Renato Reis Leme
  • Thiago Prado de Azevedo Andrade
  • Victor Luis Barroso Nascimento
  • Vinicius Oliveira Rocha

Student Accomodation

Students interested in staying at the partner hostel at discount rates may fill the Student Accomodation Form.

Our Partner Hostel (Barra Hostel is located in the Barra neighberhood, close to several touristic attractions, as well as restaurants and bars, and at 10 min ride from the Event Venue.

EBL participants can stay in Barra Hostel at the discount rate of R$50,00 per day in a shared room with breakfast included.

Support

EBL is made possible by the support of the following partners.

Communication

Address

Instituto de Matemática e Estatística - UFBA
Av. Milton Santos, s/n, Campus Universitário de Ondina

Phone Number

+55 (71) 3283-6300

Poster in Portuguese

Download (PDF)

Poster in English

Download (PDF)