[Logica-l] XX EBL - Second Call for Contributions

['Ciro Russo UFBA' via LOGICA-L]

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 

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

[Logica-l] Chamada para bolsa PQ do CNPq

[Walter Carnielli]

Colegas:

como alguns de vocês, eu preciso apresentar minha solicitação de
 renovação da Bolsa de Pesquisa (ou nova bolsa) do CNPq neste  semestre.


Alguém do CNPqme disse que a chamada seria publicada no fim de abril, mas
nao encontrei nada.

Tentei falar com o CNPq mas também não consegui .


Alguém sabe se essa chamada já abriu,  está em vigor, ou não abriu ainda?

Abs

Walter

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CA%2Bob58NhqSeY8iOcgWxRvV0LfFw81fJS1Q4o3f8TeaqYBiztKA%40mail.gmail.com.

[Logica-l] Dossie Filosofia da Ciencia, Epistemologia e Naturalismo

[Marcos Silva]

Car@s,

acabamos de publicar mais um numero da Revista Perspectiva do PPGFIL/UFPE,
49, n.2, 2022
https://periodicos.ufpe.br/revistas/perspectivafilosofica/issue/view/3261

Neste número, há um dossie sobre Filosofia da Ciência e Naturalismo, com
artigos de Nelson Gomes, Claudio Costa e Alberto Oliva, dentre outros, que
talvez possa interessar a alguns membros desta lista.

A revista é open access e está toda atualizada e indexada. O fluxo contínuo
está ativo para contribuições originais.

Qualquer dúvida sobre submissoes ou próximos números, podem me escrever no
privado.

Abraços do Recife,
Marcos

-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil
Director of Graduate Studies (PPGFIL/UFPE
)
Editor-in-chief Revista Perspectiva Filosófica

https://sites.google.com/view/marcossilvaphilosophy
"amar e mudar as coisas me interessa mais"

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAGZ3pzL%2B2PDxda3TVGXYhgg1D%3DOjbQ8Rek-Pi2MANgmFLYRZmw%40mail.gmail.com.

[Logica-l] Re: Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

['samuel' via LOGICA-L]

Caros,

Caso não tenha ficado claro, o valor com desconto da inscrição tem que ser 
pago JUNTO com a anuidade 2022, então por exemplo para professores
teremos

250 early bird de inscrição + 150 anuidade da SBL = 400 total   (o que dá 
um desconto de 100 reais com relação ao que pagam os não-associados)

Abraços

[]s  Samuel



Em quarta-feira, 4 de maio de 2022 às 09:10:12 UTC-4, samuel escreveu:

> Caros,
>
> Após os tempos difíceis da pandemia, e com a melhora nas condições 
> sanitárias, neste ano teremos o nosso querido EBL presencial, em Salvador !
>
> As inscrições já estão abertas, vejam detalhes/valores/prazos na página do 
> evento
>
> http://ebl2021.ufba.br/
>
> na aba "Registration". Como de costume, existe o desconto para associados 
> da SBL, que pagam a inscrição com desconto
> junto com a anuidade 2022 por transferência bancária (estrangeiros vão 
> pagar suas inscrições via PayPal).
>
> Em mais algumas semanas será lançada a chamada para apoio a estudantes de 
> graduação por parte da SBL, também como de costume. 
> Os estudantes apoiados pela chamada deverão ter trabalho aceito no evento 
> e terão isenção de inscrição, além de um limitado
> apoio financeiro. 
>
> Lembrando que o Call for Contributions também já está aberto há algumas 
> semanas (deadline 05 de junho), ver aba "Call for Contributions".
>
> A titulo de informação, comunicamos que duas práticas de EBLs passados 
> serão retomadas desta vez:
>
> ---> A Escola de Lógica ocorrerá no final de semana anterior ao evento; e
>
> ---> Para que todos possam economizar uma diária de hotel, vamos marcar o 
> início do evento para a segunda de tarde, assim
> vocês podem programar seus vôos para chegar em Salvador na segunda de 
> manhã se assim o desejarem.
>
> Esperando vê-los todos em Salvador em breve,
>
> Abraços
>
> []s  Samuel - co-chair do CO
>
>
>
>
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/7f823a8a-2103-4b52-b142-8177a8ee4b14n%40dimap.ufrn.br.

[Logica-l] Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Após os tempos difíceis da pandemia, e com a melhora nas condições sanitárias, 
neste ano teremos o nosso querido EBL presencial, em Salvador ! 

As inscrições já estão abertas, vejam detalhes/valores/prazos na página do 
evento 

http://ebl2021.ufba.br/ 

na aba "Registration". Como de costume, existe o desconto para associados da 
SBL, que pagam a inscrição com desconto 
junto com a anuidade 2022 por transferência bancária (estrangeiros vão pagar 
suas inscrições via PayPal). 

Em mais algumas semanas será lançada a chamada para apoio a estudantes de 
graduação por parte da SBL, também como de costume. 
Os estudantes apoiados pela chamada deverão ter trabalho aceito no evento e 
terão isenção de inscrição, além de um limitado 
apoio financeiro. 

Lembrando que o Call for Contributions também já está aberto há algumas semanas 
(deadline 05 de junho), ver aba "Call for Contributions". 

A titulo de informação, comunicamos que duas práticas de EBLs passados serão 
retomadas desta vez: 

---> A Escola de Lógica ocorrerá no final de semana anterior ao evento; e 

---> Para que todos possam economizar uma diária de hotel, vamos marcar o 
início do evento para a segunda de tarde, assim 
vocês podem programar seus vôos para chegar em Salvador na segunda de manhã se 
assim o desejarem. 

Esperando vê-los todos em Salvador em breve, 

Abraços 

[]s Samuel - co-chair do CO 




-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/1120352068.12132838.1651669806684.JavaMail.zimbra%40ufba.br.

[Logica-l] Fwd: Mestrado em Sistemas e Computação na Universidade Federal do Rio Grande do Norte

[Joao Marcos]

- Forwarded message -

O Programa de Pós-Graduação em Sistemas e Computação da Universidade
Federal do Rio Grande do Norte está aceitando candidaturas para alunos de
mestrado com ingresso no segundo semestre deste ano (2022.2).

As inscrições serão realizadas no período de 03/05/2022 a 03/07/2022.

O processo de seleção é inteiramente remoto e todas as informações podem
ser obtidas através da URL
https://sigaa.ufrn.br/sigaa/public/processo_seletivo/lista.jsf?aba=p-processo=S

Em caso de dúvidas visitem a página do Programa
https://posgraduacao.ufrn.br/ppgsc
Ou entrem em contato através do e-mail: pp...@ppgsc.ufrn.br

Cordialmente,
Comissão de Seleção 2022.2

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAO6j_LhYy-z4HLbTD3Cj_Uw-Ze-z5QPkxErCWYKXkwEQSJCrmw%40mail.gmail.com.

[Logica-l] Open positions in SMT Project in Israel

[Walter Carnielli]

-- Forwarded message -
De: Anna Zamansky < 


Dear Friends,

Hope all is well with you!
Can you please forward to anyone interested in positions in Yoni Zohar's
project on SMT at Bar-Ilan University?

Thank you!
Anna

--



Formal Methods and Automated Reasoning

Department of Computer Science, Bar-Ilan University

Israel


Postdoctoral and PhD Positions


This is a call for interest for PhD and postdoctoral research at Yoni
Zohar’s group in Bar-Ilan University.


The positions will focus on Satisfiability Modulo Theories (SMT) methods
for verification of smart contracts, as well as for bit-precise reasoning.

The work will be done in collaboration with the University of Iowa and
Stanford University.


Qualifications:


The ideal applicants would have:

* strong programming skills

* a strong publication record in formal methods

* experience in conducting practical or theoretical research in automated
reasoning


Interested applicants should send their CV, including a list of
publications, in PDF to yoni.zo...@biu.ac.il together with the names of at
least two references.


Starting date is planned for 2022-2023.


-- 


Anna Zamansky
Associate Professor
Department of Information Systems
University of Haifa
Personal Web:   mis.hevra.haifa.ac.il/~annazam

Lab Web:   http://www.tech4animals.org

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAOrCsLeQMLVdjA4YDX-Dz8TRegUFFx93US%2BdMz2bidhdbmZj-A%40mail.gmail.com.