{ Call for abstracts }

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 ebl2027mg@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.