XX EBL - Brazilian Logic Conference
September 12-16, 2022
Salvador - Bahia, 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.
XX EBL - XX Brazilian Logic Conference
Location: Salvador, BA - Brazil
September 12-16, 2022
Second Call for Contributions
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,
- Foundations of Computer Science,
- Computability Theory,
- Artificial Intelligence.
Abstracts should be submitted via the EasyChair system at the following link:
https://easychair.org/conferences/?conf=ebl2021. 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 downloadable here:
http://www.ebl2021.ufba.br/assets/files/latex_template.tex.
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 is June 5, 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 9, 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.
Registration to conference is now open: https://forms.gle/NC9Gk3zQqZpx4SeY7
More information about the Meeting and the venue can be found on the event's web
page: http://www.ebl2021.ufba.br/
We apologize for multiple copies.
Hermann Haeusler, Ciro Russo, and Gisele Secco (co-chairs)
hermann AT inf.puc-rio.br
ciro.russo AT ufba.br
gisele.secco AT ufsm.br
--
=========================================================
Ciro Russo
Ph.D.
Associate Professor
Departamento de Matemática
Instituto de Matemática e Estatística
Universidade Federal da Bahia
Campus de Ondina, Av. Milton Santos, Ondina
40170-110 - Salvador - Bahia - Brazil
=========================================================
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9eefe55a-9def-8687-4c29-c426ff487735%40ufba.br.
