20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic Conference
EBL 2022
- URL: http://www.ebl2021.ufba.br/
- Event Date: 2022-09-12 ~ 2022-09-16
- Submission Date: 2022-06-05
- Location: Salvador, 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.
**************************************************************************************
First 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
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. They must be written in Portuguese, Spanish or English, and with 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, by 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 kind 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.
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.
**************************************************************************************
First 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
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. They must be written in Portuguese, Spanish or English, and with 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, by 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 kind 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.
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
