Logic List Mailing Archive

CfP: XXI Brazilian Logic Conference + Logic school (EBL 2025), 9. - 16 May, Serra Negra / São Paulo City (Brazil)

XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions

The Brazilian Logic Conference (EBL) is the main event organized by the Bra
zilian Logic Society
(SBL) and has been occurring since 1979. In 2025, the 21st edition of EBL w
ill be held from May
12 to May 16 at the city of Serra Negra, So Paulo State, preceded by the
 Logic School from May
9 to May 11 at So Paulo City.

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

- Algebraic Logic

- Artificial Intelligence

- Categorical Logic

- Classical and Non-classical Logics

- Computability Theory

- Foundations of Computer Science

- Foundations of Mathematics

- History and Philosophy of Logic

- Model Theory

- Philosophical Logic

- Philosophy of Formal Sciences

- Set Theory


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

(A) Talks

In each contributed talk the speaker will have 20 minutes for the oral expo
sition plus 10 minutes for questions and discussion.

(B) Poster

The XXI EBL will also host poster sessions, especially suitable for ongoing
 or early-stage works.

(C) Round tables and small workshops

We encourage the proponents to get in touch with any of the co-chairs of th
e Scientific Committee (Lucia Junqueira, Marcelo Coniglio, and Bruno Lopes)
 for more detailed information on the submission process for such kinds of 
proposals.

Proposals should be prepared according to the LaTeX template available at 


https://ebl2025.ime.usp.br/in%C3%ADcio/call-for-contributions

and have a length of at most 2 pages including type (talk/poster/round tabl
e/workshop), title, name, affiliation, keywords, and the essential bibliogr
aphy.

The proposal should be submitted via the google form available at

https://ebl2025.ime.usp.br/in%C3%ADcio/call-for-contributions

and both the .pdf and .tex files should be attached.

The deadline for all types of submission is December 15, 2024.

The Scientific Committee will consider the following criteria in order to s
elect the
contributions:
- relevance and importance of the topic,
- originality,
- quality of work.

The list of accepted proposals will be announced on February 15, 2025.

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 XXI EBL will be launched after
 the meeting, see

https://ebl2025.ime.usp.br/in%C3%ADcio/schedule

More information can be found at the website of the Conference:

https://ebl2025.ime.usp.br/in%C3%ADcio


Marcelo E. Coniglio (Scientific Committee, Chair) Lucia R. Junqueira (Scien
tific Committee, Chair) Bruno Lopes (Scientific Committee, Chair)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php