XXII Brazilian Logic Conference -- call for contributions

[Evelyn Erickson]

To all:

We are happy to announce the call for papers for the XXII Brazilian Logic Conference, which will take place in Ouro Preto/Minas Gerais from May 10th to 14th of 2027, preceded by the Logic School on May 8th and 9th of 2027. The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979, and we are honored to continue the work of organizing our community to discuss logic in all of its aspects. 

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:

- Foundations of Mathematics

- Foundations of Computer Science

- History and Philosophy of Logic

- Philosophy of Mathematics

- Model Theory
- Proof Theory

- Set Theory

- Type theory

- Computability Theory

- Algebraic and Abstract Logic

- Non-classical Logics

- Categorical Logic and Categories in Logic 

- Philosophical Logic

- Relationship between Logic and the Sciences

- Artificial Intelligence

- Automated Reasoning

- Logic teaching

Proposals for contributions are of three kinds, all of which may be prepared in English, Portuguese or Spanish:

   (A) Talks:  In each contributed talk the speaker will have 20 minutes for the oral exposition plus 10 minutes for questions and discussion.

   (B) Poster: These are especially suitable for ongoing or early-stage works.

   (C) Round tables and small workshops: Those who wish to submit this kind of proposal must also get in touch via ebl2...@gmail.com by October 15th informing the general proposal and which individual talks will be part of it.

Proposals should be prepared according to the LaTeX template available at  this folder, and have a length of at most 2 pages including type (talk/poster/round table/workshop), title, name, affiliation, keywords, and the essential bibliography. For those unfamiliar with LaTeX, we recommend the use of 🍃 Overleaf.

The proposal should be submitted via this form. 

The deadline of submission is October 30th, 2026. Proposals of round tables and small workshops must also get in touch with us by October 15th.

The Scientific Committee will consider relevance and importance of the topic, originality and quality of work in order to select the contributions. The list of accepted proposals will be announced on December 15th, 2026.

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 XXII EBL will be launched after the meeting.

More information can be found at the conference website: www.ebl2027.sbl.org.br.

With kind regards,

Evelyn Erickson, Guilherme Cardoso and Abílio Rodrigues

on behalf of the organizing committee