from:"Bruno Lopes"

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - SELEÇÃO 2024.2

2024-05-06 Por tôpico Bruno Lopes

Vagas para interessados em Lógica!



INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF


*EDITAL de SELEÇÃO* para ingresso no 2o período de 2024 disponível em:
https://www.ic.uff.br/processo-de-selecao/

*PERÍODO de INSCRIÇÃO*: 06/maio a 09/junho/2024

Por que fazer pesquisa em Computação na UFF?
Veja alguns motivos a seguir.

O Programa de Pós-Graduação em Computação da UFF possui o conceito 6 na
CAPES,
estando então entre os 12 mais bem avaliados programas de pós-graduação em
Computação do Brasil.

*Nosso CORPO DOCENTE* é formado por 49 professores,
sendo 26 Bolsistas de Produtividade CNPq, 11 Cientistas do Nosso Estado
FAPERJ e
7 Jovens Cientistas do Nosso Estado FAPERJ.
Detalhes em: https://www.ic.uff.br/corpo-docente/

*Nossas LINHAS de PESQUISA* são atuais e diversificadas. Podem ser
encontradas em:
https://www.ic.uff.br/linhas-de-pesquisa/

A UFF (Universidade Federal Fluminense, https://www.uff.br) fica em
Niterói-RJ
(http://www.niteroi.rj.gov.br), uma cidade de porte médio vizinha à cidade
do Rio de Janeiro,
com aproximadamente 500 mil habitantes, e possui um dos melhores índices de
qualidade
de vida do país.

O Instituto de Computação da UFF (http://www.ic.uff.br) localiza-se no
agradável Campus da
Praia Vermelha, a poucos minutos do centro da cidade, ocupa dois prédios
novos às margens
da Baía de Guanabara, e possui diversos laboratórios que oferecem
excelentes condições
para o desenvolvimento de pesquisas de alto nível.

Em caso de dúvidas, entre em contato: secretaria@ic.uff.br

Venha fazer pesquisa em Computação com a gente!



-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-uvk5eJMVqXSp5P%3D-GFF4%2BXaL7Ok50JLmZpgxqkenSrA%40mail.gmail.com.

[Logica-l] Why the History of Logic Should Matter to Modern Logicians

2024-05-06 Por tôpico Bruno Lopes

*Title:* Why the History of Logic Should Matter to Modern Logicians

*07/05/24 - 16:00h*
*Dr. Sara L. Uckelman - Durham University.*

Abstract: The starting point of this talk is the present-day state of
logic, a field which is ever expanding and becoming more inclusive and yet
which still presents systemic barriers of access to certain groups of
people. As logicians we think there is value in the study and practice of
logic, so patterns of exclusion should concern us, in two ways: - Where did
these exclusionary structures come from? - What can we do to get rid of
them? A lot of work has been done on the latter question, as witnessed by
important work done in canon-revision. But the former question is much less
often discussed, and yet, in the context of logic at least, is crucially
important to understanding where we are today and how we got here: How
logic, or the lack thereof, is the tool by which exclusion and inclusion
can be and has been performed. Only by looking at historical answers to
“who gets to have access to logic and why” can we fully understand where we
are at today.
 ___

Dr. Sara L. Uckelman is an associate professor of logic at Durham
University. She received her PhD from the Institute for Logic, Language,
and Computation at the University of Amsterdam in 2009, with a dissertation
entitled Modalities in Medieval Logic. After completing her PhD, she held
research positions in Amsterdam, Tilburg, and Heidelberg before coming to
Durham in 2014. Dr. Uckelman is a specialist in modal logic and the history
of logic, especially logic in the Middle Ages.

https://www.youtube.com/live/LHaW_TtXYWw?si=ybS8rOPjNpKi1qCX

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-Cx6segGE%2ByZ-E-kX7X9BbZqz-OK%2BjjjXXWbCEei8%3Djg%40mail.gmail.com.

[Logica-l] UZH to No Longer Provide Data for THE Ranking

2024-04-02 Por tôpico Bruno Lopes

The University of Zurich has decided to withdraw from the Times Higher
Education World University Ranking. The ranking is not able to reflect the
wide range of activities in teaching and research undertaken by
universities.https://www.news.uzh.ch/en/articles/news/2024/rankings.html

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq086tHL5ZDyMSb%2BhNX6J3aiJptvNZx3CPuN-WzmOKurWdA%40mail.gmail.com.

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - 2024.1

2023-11-01 Por tôpico Bruno Lopes

INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF


*EDITAL de SELEÇÃO* para ingresso no primeiro período de 2024 disponível
em: https://www.ic.uff.br/processo-de-selecao

*PERÍODO de INSCRIÇÃO*: 06/novembro a 11/dezembro/2023

Por que fazer pesquisa em Ciência da Computação na UFF?
Veja alguns motivos a seguir.

O Programa de Pós-Graduação em Computação da UFF possui o conceito 6 na
CAPES, estando então entre os 12 mais bem avaliados programas de
pós-graduação em Ciência da Computação do Brasil.

*Nosso CORPO DOCENTE* é formado por 49 professores, sendo 25 Bolsistas de
Produtividade CNPq, 11 Cientistas do Nosso Estado FAPERJ e 8 Jovens
Cientistas do Nosso Estado FAPERJ.
Detalhes em: https://www.ic.uff.br/corpo-docente

*Nossas LINHAS de PESQUISA* são atuais e diversificadas. Podem ser
encontradas em: https://www.ic.uff.br/linhas-de-pesquisa

A UFF (Universidade Federal Fluminense, https://www.uff.br) fica em
Niterói-RJ (http://www.niteroi.rj.gov.br), uma cidade de porte médio
vizinha à cidade do Rio de Janeiro, com aproximadamente 500 mil habitantes,
e possui um dos melhores índices de qualidade de vida do país.

O Instituto de Computação da UFF (http://www.ic.uff.br) localiza-se no
agradável Campus da Praia Vermelha, a poucos minutos do centro da cidade,
ocupa dois prédios novos às margens da Baía de Guanabara, e possui diversos
laboratórios que oferecem excelentes condições para o desenvolvimento de
pesquisas de alto nível.

Em caso de dúvidas, entre em contato: secretaria@ic.uff.br

Venha fazer pesquisa em Computação com a gente!

Leonardo Murta
Vice-Coordenador do Programa de Pós-Graduação em Computação da UFF
___
sbc-l mailing list
sb...@grupos.ufrgs.br
https://grupos.ufrgs.br/mailman/listinfo/sbc-l


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-DUEcAg8nXrTEdEJ-scZfgrZ3AKRYWSS%3Dq-K4khFhWcA%40mail.gmail.com.

[Logica-l] Fwd: Divulgação de concurso para professor

2023-06-26 Por tôpico Bruno Lopes

***
O Departamento de Engenharia de Sistemas e Computação, Faculdade de
Engenharia, Universidade do Estado do Rio de Janeiro (UERJ), realizará
concursos públicos para docentes em cada uma das seguintes áreas:

1) Arquitetura de Sistemas de Computação, 2 vagas, assistente, 40 hs;
2) Linguagens de Programação, 2 vagas, assistente, 40 hs;
3) Lógicas e Semântica de Programas, 2 vagas, assistente, 40 hs;
4) Sistemas de Informação, 1 vaga, adjunto, 40 hs.

Os editais já estão disponíveis na página da Superintendência de Gestão de
Pessoas (www.sgp.uerj.br), na aba Concursos, endereço
https://drive.google.com/drive/folders/141Z9qJVzc5np3-v677RM4d8psdWYYiZ6.
Atenção deve ser tomada com relação ao ano do edital (2023), uma vez que há
editais antigos disponíveis.

As inscrições serão no período de 10/07/2023 a 11/08/2023, no endereço
https://prossim.uerj.br/.

O docente do quadro permanente da UERJ, em regime de trabalho de 40 horas
semanais, poderá optar, a qualquer momento, pela dedicação exclusiva,
recebendo um adicional de 65% do vencimento base (
http://www.sgp.uerj.br/site/index.php/servicos/60-dedicacao-exclusiva/131-dedicacao-exclusiva.html).
Os docentes também poderão concorrer, internamente, aos editais dos
Programas:

1) PROCIÊNCIA (http://www.sr2.uerj.br/depesq/procienc/procienc.html), que
oferece bolsas aos contemplados no valor de R$4.000,00;
2) PROEXTENSÃO (AEDA 037/REITORIA/2022), que oferece bolsas aos
comtemplados no valor de R$4.000,00;
3) PRODOCÊNCIA (AEDA 051/REITORIA/2021), que oferece bolsas aos
contemplados no valor de R$1.400,00.
***

Luiza de Macedo Mourelle
Chefia do Departamento de Engenharia de Sistemas e Computação
Faculdade de Engenharia
Centro de Tecnologia e Ciências
Universidade do Estado do Rio de Janeiro
Rua São Francisco Xavier, 524, bloco D, sala 5014
Maracanã, Rio de Janeiro, RJ
telefone: 23340374, 23340193
http://www.desc.eng.uerj.br

-- 
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/CAD-Wq08%2B2Q2ciBNxGYv4r_6yDLeLPZKW75-wHvYiDQdyB5O%3Dtg%40mail.gmail.com.

[Logica-l] EBL 2022 POST-CONFERENCE PUBLICATIONS: Deadline postponed

2023-03-31 Por tôpico Bruno Lopes

Dear colleague,

Due to many manifestations, we are postponing the deadline for submission
of the papers to the EBL 2022 POST-CONFERENCE PUBLICATIONS, to appear as a
special issue of the Studia Logica. The new deadline is May, 15th. All the
subsequent dates will be moved  30 days forward.

Many thanks,

Ciro Russo
Gisele Secco
Edward Hermann Haeusler






We are very happy to announce the call for papers for the EBL 2022
POST-CONFERENCE
PUBLICATIONS, to appear as special issues of the Studia Logica.

https://www.springer.com/journal/11225

All contributing authors and plenary speakers are invited to submit a full
version of their EBL 2022 papers presented at the conference, as well as
papers of general interest within the conference themes:

• Philosophical and Mathematical Logic, and Applications,
• History and Philosophy of Logic;
• Non-classical Logic and Applications;
• Philosophy of Formal Sciences;
• Foundations of Computer Science, Physics, and Mathematics;
• Logic Education (Logic Teaching)

Submissions will be subjected to a standard blind refereeing process.
Please submit your paper through
https://www.editorialmanager.com/stud/ selecting
article type S.I. Contemporary Logic in Brazil by March 31st, 2023.
Notification of acceptance will be communicated by July 1st, 2023.

Papers should be in English, following authors' guidelines
https://www.springer.com/journal/11225/submission-guidelines. We encourage
the authors to provide a list of at least 5 possible reviewers for the
submission.

If you have any doubts or questions, please let us know, sending a message
to ebl2022postproceedi...@gmail.com
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Socios mailing list
soc...@sbl.org.br
http://sbl.org.br/mailman/listinfo/socios_sbl.org.br


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09PJFWVtPsPaWYmnB3tYv4RKSfG5hJ_jBf0KCPxAp2Xbg%40mail.gmail.com.

Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil

2023-03-30 Por tôpico Bruno Lopes

Uma pergunta sincera (não, não é provocativa): a comunidade de métodos
formais considera lógicos como parte dela? Minha impressão (que pode estar
errada) é de que não.

Abraços,

Bruno.

Em qui., 30 de mar. de 2023 15:45, Joao Marcos 
escreveu:

> "O objetivo deste formulário é produzir um mapeamento atualizado da
> comunidade de Métodos Formais no Brasil."
>
> https://docs.google.com/forms/d/e/1FAIpQLSeTs_eOl7a9CoOVc8oPTyN8_RywMOzAmWkSBrR-2XJSGREzRw/viewform
> O formulário pode ser respondido até amanhã.
>
> (agradeço a Karina Roggia por me chamar a atenção para isso)
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjQX93%2BEE9F03MhHHw6E%3DnsJOU3HWvLCU12LMgH%3DYe73Q%40mail.gmail.com
> 
> .
>

-- 
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/CAD-Wq0-0Ge_GXj0KXz3jwjeiOVGAShA56EEBZ-2VOD_3yyRYwQ%40mail.gmail.com.

[Logica-l] CTD – Concurso de Teses e Dissertações

2023-02-23 Por tôpico Bruno Lopes

*CTD – Concurso de Teses e Dissertações*
O XXXVI Concurso de Teses e Dissertações (CTD) do CSBC selecionará e
premiará as melhores teses de doutorado e dissertações de mestrado da área
de Computação do país concluídas, isto é, defendidas e aprovadas, no
período de 1 de janeiro a 31 de dezembro de 2022. As teses e dissertações
que concorrerem este ano serão avaliadas conforme os resultados científicos
e tecnológicos já gerados pelo trabalho, assim como pelo seu potencial de
impacto na sociedade e no estado da arte na área de Computação.

*Processo de Seleção*
Os trabalhos submetidos passarão por uma etapa inicial de seleção que visa
a escolher as 6 (seis) melhores teses de doutorado e as 10 (dez) melhores
dissertações de mestrado de 2022. Cada trabalho será revisado por pelo
menos três especialistas, que analisarão o material submetido pelos(as)
autores(as) (vide informações na seção “Submissão de Trabalhos” abaixo).
Após a fase de revisão, será realizada uma etapa de discussão entre os
integrantes do Comitê de Avaliação para selecionar os trabalhos aceitos.

Os trabalhos selecionados serão apresentados durante o CTD/CSBC 2023 no
período de 23 a 28 de julho de 2023. Para fins de premiação, será avaliada
também a qualidade dessa apresentação oral. As pessoas autoras que não
apresentarem seus trabalhos no CTD não concorrerão aos prêmios. Dentre os
trabalhos que cumprirem os requisitos estabelecidos, serão premiados até 6
(seis) trabalhos, correspondentes às 3 (três) melhores teses de doutorado e
às 3 (três) melhores dissertações de mestrado. A premiação do CTD será
realizada conforme programação do evento, ainda em definição. É obrigatório
que os concorrentes estejam presentes na premiação.

*Instruções para submissão*

   1. As submissões devem ser realizadas através do sistema JEMS (
   https://jems.sbc.org.br/ctd2023), e cada submissão deverá conter quatro
   arquivos em formato PDF:Resumo a ser escrito em Português ou Inglês,
   respeitando o limite máximo de 10 (dez) páginas, incluindo o texto, as
   figuras, as referências e os apêndices. O texto deve ser formatado
   utilizando o template para artigos da SBC, disponível em
   http://tinyurl.com/sbc-template-artigos. No artigo, o(a) autor(a) deve
   deixar clara a contribuição do trabalho para a área e as possibilidades de
   impacto do trabalho. O texto deve incluir, obrigatoriamente, o título da
   tese ou dissertação, os nomes do(a) autor(a), do(a) orientador(a) e
   co-orientador(es/as) com as respectivas afiliações, resumo/abstract,
   caracterização do problema de pesquisa e motivação, objetivos e
   contribuições, trabalhos relacionados, resultados obtidos, metodologia de
   pesquisa, base de dados pública ou privada, bem como quaisquer outros
   elementos que ajudem a justificar o trabalho ser considerado um dos
   melhores do país em 2022. Quando necessário, o resumo pode fazer
   referências ao texto da tese ou dissertação. Salientamos ser essencial
   destacar a contribuição em Ciência da Computação mesmo se o trabalho for a
   utilização de algoritmos ou técnicas de computação em outras áreas.
   2. Texto dos subprodutos (tais como, artigos científicos, patentes,
   programas registrados, assim como quaisquer outros elementos que permitam
   qualificar o trabalho) a ser escrito em Português ou Inglês, o qual deverá
   constar os principais problemas e contribuições científicas, respeitando o
   limite máximo de 6 (seis) páginas utilizando o template para artigos da
   SBC, disponível em http://tinyurl.com/sbc-template-artigos, o qual
   servirá essencialmente como fonte de consulta para avaliar o impacto dos
   subprodutos gerados pela tese de doutorado ou dissertação de mestrado.
   Pede-se que os autores indiquem subprodutos do trabalho, tais com, artigos
   relacionados ao CTD como primeiro autor e número de citações, artigos
   desenvolvidos durante o CTD como outro autor e número de citações (pode-se
   citar o fator de impacto da revista e/ou taxa de aceitação da conferência),
   patentes, programas registrados, programas de domínio público ou livre
   (indicando as respectivas URLs) com o respectivo impacto (p.e., número de
   downloads, número de usuários registrados, número de visualizações, etc.),
   assim como quaisquer outros elementos que ajudem a justificar o trabalho
   ser considerado um dos melhores do país em 2022. Vale a pena destacar que
   os subprodutos devem estar incluídos no Lattes, e artigos aceitos e ainda
   não publicados devem incluir o e-mail de aceite.
   3. Texto completo da tese ou dissertação, o qual servirá essencialmente
   como fonte de consulta para os avaliadores sobre os resultados do trabalho,
   isto é, o texto em si não passará por um processo de revisão.
   4. Cópia digitalizada do diploma (ou documento que comprove que a tese
   ou dissertação foi defendida e aprovada, e caso tenha sido aprovado com
   restrição mostrar que a restrição foi resolvida).

*Datas importantes*

   - Limite para

[Logica-l] EBL 2022 Post-Proceedings

2023-01-24 Por tôpico Bruno Lopes

Dear colleague,

We are very happy to announce the call for papers for the EBL 2022
POST-CONFERENCE
PUBLICATIONS, to appear as special issues of the Studia Logica.

https://www.springer.com/journal/11225

All contributing authors and plenary speakers are invited to submit a full
version of their EBL 2022 papers presented at the conference, as well as
papers of general interest within the conference themes:

• Philosophical and Mathematical Logic, and Applications,
• History and Philosophy of Logic;
• Non-classical Logic and Applications;
• Philosophy of Formal Sciences;
• Foundations of Computer Science, Physics, and Mathematics;
• Logic Education (Logic Teaching)

Submissions will be subjected to a standard blind refereeing process.
Please submit your paper through
https://www.editorialmanager.com/stud/ selecting
article type S.I. Contemporary Logic in Brazil by March 31st, 2023.
Notification of acceptance will be communicated by July 1st, 2023.

Papers should be in English, following authors' guidelines
https://www.springer.com/journal/11225/submission-guidelines. We encourage
the authors to provide a list of at least 5 possible reviewers for the
submission.

If you have any doubts or questions, please let us know, sending a message
to ebl2022postproceedi...@gmail.com .

Edward Hermann Haeusler, Ciro Russo and Gisele Secco

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq08sxbqreH8GUghKSQijPDayg1TuLJ5jFkPxM_sSUipW2w%40mail.gmail.com.

[Logica-l] Re: Workshop Brasileiro de Lógica: Chamada para trabalhos

2023-01-16 Por tôpico Bruno Lopes

Correção:

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF) (co-chair)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Petrucio Viana (UFF) (co-chair)
Renata Wassermann (USP)

Em seg., 16 de jan. de 2023 15:08, Bruno Lopes  escreveu:

> Workshop Brasileiro de Lógica
> =
> O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
> parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
> seu objetivo é congregar lógicos de diferentes áreas da Computação e em
> diferentes estágios da carreira – de estudantes de graduação a
> pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
> em andamento. O encontro é um momento importante para a comunidade lógica
> brasileira se unir e discutir os desenvolvimentos recentes do campo.
>
> Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
> de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
> 28/07/2023.
>
> Tópicos de interesse
> 
> Esta chamada está aberta para trabalhos relacionados à área de lógica e
> suas aplicações em diferentes campos da computação, especialmente (mas não
> restrito) a:
>
> Assistentes de provas
> Frameworks lógicos
> Fundamentação da computação, física e matemática
> Lógica em inteligência artificial: representação de conhecimento, sistemas
> multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
> crenças ou ações, etc.
> Lógicas não-clássicas
> Ontologias
> Prova automática de teoremas
> SAT solvers
> Teoria da prova
> Verificação formal de sistemas
> Verificação de modelos
>
> Instruções de submissão
> ===
> Artigos a serem submetidos devem ser redigidos no template da SBC (
> http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
> (oito) páginas.
>
> As submissões devem ser feitas pelo sistema JEMS (
> https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês
> ou em português.
>
> Datas importantes
> =
> Limite para submissão de trabalhos: 05/03/2023,
> Divulgação dos resultados: 05/05/2023,
> Envio das versões finais dos artigos: 16/05/2023,
> Prazo de inscrição dos autores: 16/05/2023
>
> Inscrição de autores
> 
> Para que um artigo aceito seja apresentado e incluído nos anais do evento,
> é necessário que ao menos um dos autores do artigo realize a sua inscrição
> no evento na categoria profissional. Cada inscrição na categoria
> profissional dá direito à publicação de um único artigo, considerando
> qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
> de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
> publicação” por artigo adicional. O valor dessa taxa pode ser visto na
> página de inscrições do CSBC 2023.
>
> Publicação de trabalhos
> ===
> Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
> da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
> 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
> artigos serão indexados com DOI.
>
> Auxílio para estudantes
> ===
> TBA
>
> Organização
> ===
> Organizador Geral: Vaston Gonçalves (UFCat)
> Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio
> Viana (UFF)
>
> Apoio local
> ===
> TBA
>
> Comitê de programa
> ==
> Aline Andrade (UFBA)
> Bruno Lopes (UFF)
> Carlos Olarte (UFRN)
> Cláudia Nalon (UnB) (Co-Chair)
> Daniele Nantes-Sobrinho (UnB)
> Edward Hermann Haeusler (PUC-Rio)
> Elaine Pimentel (UFRN) (Co-Chair)
> Francicleber Ferreira (UFC)
> Jefferson Santos (FGV e PUC-Rio)
> Marcelo Finger (USP)
> Mario Benevides (UFF)
> Marlo Souza (UFBA)
> Mauricio Ayala-Rincón (UnB)
> Renata Wassermann (USP)
>
> Palestrantes convidados
> ===
>
> TBA
>
> Contato
> ===
> Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br
> e petrucio_vi...@id.uff.br  .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>

-- 
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/CAD-Wq081iwAdixB-ohAA2BsM2eOpwRzUqcq%3Df74L9PXn9Cnc8w%40mail.gmail.com.

[Logica-l] Workshop Brasileiro de Lógica: Chamada para trabalhos

2023-01-16 Por tôpico Bruno Lopes

Workshop Brasileiro de Lógica
=
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
seu objetivo é congregar lógicos de diferentes áreas da Computação e em
diferentes estágios da carreira – de estudantes de graduação a
pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
em andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
28/07/2023.

Tópicos de interesse

Esta chamada está aberta para trabalhos relacionados à área de lógica e
suas aplicações em diferentes campos da computação, especialmente (mas não
restrito) a:

Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas
multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos

Instruções de submissão
===
Artigos a serem submetidos devem ser redigidos no template da SBC (
http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
(oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (
https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou
em português.

Datas importantes
=
Limite para submissão de trabalhos: 05/03/2023,
Divulgação dos resultados: 05/05/2023,
Envio das versões finais dos artigos: 16/05/2023,
Prazo de inscrição dos autores: 16/05/2023

Inscrição de autores

Para que um artigo aceito seja apresentado e incluído nos anais do evento,
é necessário que ao menos um dos autores do artigo realize a sua inscrição
no evento na categoria profissional. Cada inscrição na categoria
profissional dá direito à publicação de um único artigo, considerando
qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
publicação” por artigo adicional. O valor dessa taxa pode ser visto na
página de inscrições do CSBC 2023.

Publicação de trabalhos
===
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
artigos serão indexados com DOI.

Auxílio para estudantes
===
TBA

Organização
===
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana
(UFF)

Apoio local
===
TBA

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
===

TBA

Contato
===
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e
petrucio_vi...@id.uff.br  .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-M7xQUGoGXUpcCtapof_db5qZAYM%3DnzgY4LvStnuf4ZA%40mail.gmail.com.

[Logica-l] Deadline 15/12: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology

2022-11-24 Por tôpico Bruno Lopes

nd its
significance (up to 500 words), and suggest a symposium chair. Indicate to
which congress section you submit the symposium (tick the appropriate
box). After
the abstract, please list the titles of the talks in the order they should
appear at the conference. Please provide the symposium with an acronym, and
write this acronym at the beginning of the title of the symposium
(: ). The acronym will be used by
the Programme Committee to keep the individual submissions in a proposal
together during reviewing and when creating the conference programme.

(b) For each paper within a symposium, please submit a 500-word abstract
(including references). Indicate to which congress section the symposium
belongs (tick the appropriate box). Please write the acronym of the
symposium at the beginning of the title of the talk (:
). The acronym will be used by the Programme
Committee to keep the individual submissions in a proposal together during
reviewing and when creating the conference program.

Note to symposium organisers: papers intended to be presented as parts of a
symposium must be submitted by their respective authors. Symposium
organisers should contact all symposium speakers in advance and make sure
that they submit their abstracts by the submission deadline of 15 December
2022. The symposium description is submitted by the symposium organiser by
the same deadline. Please make sure that all parts of the submission are
prepared for anonymous review and submitted to the same congress section
(the same box is ticked in all of them). When submitting a symposium
proposal, the EasyChair requires you to take the role of a “speaker“. This
is for formal reasons only, and in no way precludes you from submitting a
paper of your own (to that same symposium, to a different symposium, or a
contributed paper). In this case, you will appear as a “speaker“ on 2
submissions, one of which must be the symposium proposal.



Although the exact format of symposia is up to the symposium organizers,
the allocated time for each symposium paper is 30 minutes. For instance, a
symposium with 4 speakers is a 2 hour session (4 x 30 minutes). Note that
if a symposium consists of more than 4 speakers, it might be split into two
sessions due to coffee breaks in the programme.



Rules for multiple presentations

(a) Every corresponding author is allowed to submit only one individual or
symposium paper as a “speaker”. (Organising a symposium does not count as
being a “speaker”, despite the labelling in EasyChair.)

(b)   Authors are permitted to be listed as non-corresponding co-authors of
additional papers.

(c) The corresponding author of each paper as well as the organiser of a
symposium must be registered as a participant at the Congress and present
the paper in Buenos Aires.

 All questions about submissions should be directed to the Congress
Secretaries, Prof. Federico Pailos and Prof. Luis Urtubey, at
secretariosclmpst2...@gmail.com



The members of the Programme Committee are listed here:

https://clmpst2023.dc.uba.ar/



For the Congress fees and the deadlines for early bird registrations,
please visit

https://clmpst2023.dc.uba.ar/callforpapers



Important dates:

December 15, 2022 Deadline for abstract submissions

March 2023  Notifications of acceptance

March 2023  Congress registration opens

April 30, 2023Deadline for early bird registrations

July 1, 2023   No more refunds for registration
cancellations

July 24-29,  2023  17th CLMPST, University of Buenos Aires, Buenos
Aires





Atocha Aliseda (Chair of the Programme Committee)

Pierre-Edouard Bour (Treasurer of the DLMPST/IUHPST)

Eleonora Cresto (Chair of the Local Organizing Committee)



https://clmpst2023.dc.uba.ar/

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09kfVcPa2UWRc_LdBG%2BFtwJGR_reB%3D0UVC3ocycmajZ0g%40mail.gmail.com.

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF

2022-11-04 Por tôpico Bruno Lopes

Vagas para mestrado e doutorado em Lógica no IC/UFF!



INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF


*EDITAL de SELEÇÃO* para ingresso no primeiro período de 2023
disponível em: http://www.ic.uff.br/index.php/pt/pos-graduacao/inscricoes

*PERÍODO de INSCRIÇÃO*: 03/Novembro/2022 a 18/Dezembro/2022

Por que fazer pesquisa em Ciência da Computação na UFF?
Apresentamos alguns motivos a seguir.

O Programa de Pós-Graduação em Computação da UFF possui o conceito 6 na
CAPES,
estando então entre os melhores programas de pós-graduação em Ciência da
Computação do Brasil.

*Nossas LINHAS de PESQUISA*:
Algoritmos e Otimização, Ciência de Dados,  Computação
Científica, Computação Visual,
Engenharia de Sistemas e Informação, Inteligência Artificial e Sistemas de
Computação
Detalhes em:
http://www.ic.uff.br/index.php/pt/pos-graduacao/linhas-de-pesquisa

*Nosso CORPO DOCENTE* é formado por 47 professores, sendo 26 Bolsistas de
Produtividade CNPq, 11 Cientistas do Nosso Estado FAPERJ e 8 Jovens
Cientistas
do Nosso Estado FAPERJ.
Detalhes em: http://www.ic.uff.br/index.php/pt/pos-graduacao/corpo-docente

A UFF (Universidade Federal Fluminense, https://www.uff.br) fica em
Niterói-RJ (http://www.niteroi.rj.gov.br),
uma cidade de porte médio vizinha à cidade do Rio de Janeiro, com
aproximadamente
500 mil habitantes, e possui um dos melhores índices de qualidade de vida
do país.

O Instituto de Computação da UFF (http://www.ic.uff.br) localiza-se no
agradável
Campus da Praia Vermelha, a poucos minutos do centro da cidade, ocupa dois
prédios
recém-inaugurados às margens da Baía de Guanabara, e possui diversos
laboratórios
que oferecem excelentes condições para o desenvolvimento de pesquisas de
alto nível.

Em caso de dúvidas, entre em contato: secretaria@ic.uff.br

Venha fazer pesquisas em Ciência da Computação com a gente!







-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-Ho6Y%2BGVHR9wVYdD9JGO2WQV-E3ap1k1UEJ2Df7iMsjw%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

2022-01-29 Por tôpico Bruno Lopes

Parabéns aos agraciados e parabéns à banca avaliadora e aos organizadores.

Sem desmerecer os demais, Petrucio esteve nessa organização, também na do
special issue do EBL, no Lógicos em Quarentena e no evento da SBL do World
Logic Day. Haja, disposição!

E viva á lógica e viva à Diretoria da SBL!

Em sáb, 29 de jan de 2022 18:42, Petrucio Viana 
escreveu:

> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> *Coproduct and amalgamation of deductive systems by means of ordered
> algebras *do Prof. Ciro Russo
>
>
> e
>
>
> *First-order logics of evidence and truth with constant and variable
> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>
>
> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
> Costa",* edição de 2021.
>
>
> É importante frisar que, nesta edição, recebemos cinco trabalhos de
> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
> decisão.
>
>
> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
> composta por
>
>- Manuela Busaniche (CCT-Santa Fe)
>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>- María Martínez-Ordaz (IFCS-UFRJ)
>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>
> A SBL gostaria de tornar publico o agradecimento a banca, que nos
> presenteou com um trabalho de altíssima qualidade.
>
>
> Petrucio Viana
>
> em nome da SBL
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
> 
> .
>

-- 
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/CAD-Wq0_y9pj78zM%3DBNScOcH06C_JoBPA9GakEyzmDSrA8WF%3DBg%40mail.gmail.com.

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF

2021-12-06 Por tôpico Bruno Lopes

Vagas para mestrado e doutorado em lógica comigo e com Mario Benevides.

-- Forwarded message -
De: Alexandre Plastino por (sbc-l) 
Date: seg, 6 de dez de 2021 20:58
Subject: [sbc-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF
To: , Alexandre Plastino 

INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF

*EDITAL de SELEÇÃO* disponível em:
http://www.ic.uff.br/index.php/pt/pos-graduacao/inscricoes

*PERÍODO de INSCRIÇÃO*: 03/Novembro/2021 a 19/Dezembro/2021

Por que fazer pesquisa em Ciência da Computação na UFF?
Apresentamos alguns motivos a seguir.

O Programa de Pós-Graduação em Computação da UFF foi promovido ao conceito
6
na última avaliação quadrienal da CAPES, ficando então entre os 10 melhores
programas de pós-graduação em Ciência da Computação do Brasil.

*Nossas LINHAS de PESQUISA*:
Algoritmos e Otimização, Ciência de Dados,  Computação
Científica, Computação Visual,
Engenharia de Sistemas e Informação, Inteligência Artificial e Sistemas de
Computação
Detalhes em:
http://www.ic.uff.br/index.php/pt/pos-graduacao/linhas-de-pesquisa

*Nosso CORPO DOCENTE* é formado por 46 professores, sendo 26 Bolsistas de
Produtividade CNPq, 7 Cientistas do Nosso Estado FAPERJ e 6 Jovens
Cientistas
do Nosso Estado FAPERJ.
Detalhes em: http://www.ic.uff.br/index.php/pt/pos-graduacao/corpo-docente

A UFF (Universidade Federal Fluminense, https://www.uff.br) fica em
Niterói-RJ (http://www.niteroi.rj.gov.br),
uma cidade de porte médio vizinha à cidade do Rio de Janeiro, com
aproximadamente
500 mil habitantes, e possui um dos melhores índices de qualidade de vida
do país.

O Instituto de Computação da UFF (http://www.ic.uff.br) localiza-se no
agradável
Campus da Praia Vermelha, a poucos minutos do centro da cidade, ocupa dois
prédios
recém-inaugurados às margens da Baía de Guanabara, e possui diversos
laboratórios
que oferecem excelentes condições para o desenvolvimento de pesquisas de
alto nível.

Em caso de dúvidas, entre em contato: secretaria@ic.uff.br

Venha fazer pesquisa em Ciência da Computação com a gente!

Saudações Acadêmicas,
Alexandre Plastino
Coordenador do Programa de Pós-Graduação em Computação da UFF

===

Alexandre Plastino
Professor Titular
Coordenador do Programa de Pós-Graduação em Computação
Instituto de Computação - UFF
https://alexandreplastino.wixsite.com/meusite

___
sbc-l mailing list
sb...@sbc.org.br
http://grupos.ufrgs.br/mailman/listinfo/sbc-l

-- 
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/CAD-Wq0-6%3Decohpn5G9rLxXMZKxnB2LVYQjvxjXBeh2Tcyc%3DZ2g%40mail.gmail.com.

[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF

2021-11-05 Por tôpico Bruno Lopes

Vagas em Lógica para mestrado e doutorado no IC/UFF.

INSCRIÇÕES ABERTAS para MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF


*EDITAL de SELEÇÃO* disponível em:
http://www.ic.uff.br/index.php/pt/pos-graduacao/inscricoes

*PERÍODO de INSCRIÇÃO*: 03/Novembro/2021 a 19/Dezembro/2021

Por que fazer pesquisa em Ciência da Computação na UFF?
Apresentamos alguns motivos a seguir.

O Programa de Pós-Graduação em Computação da UFF foi promovido ao conceito
6
na última avaliação quadrienal da CAPES, ficando então entre os 10 melhores
programas de pós-graduação em Ciência da Computação do Brasil.

*Nossas LINHAS de PESQUISA*:
Algoritmos e Otimização, Ciência de Dados,  Computação
Científica, Computação Visual,
Engenharia de Sistemas e Informação, Inteligência Artificial e Sistemas de
Computação
Detalhes em:
http://www.ic.uff.br/index.php/pt/pos-graduacao/linhas-de-pesquisa

*Nosso CORPO DOCENTE* é formado por 46 professores, sendo 26 Bolsistas de
Produtividade CNPq, 7 Cientistas do Nosso Estado FAPERJ e 6 Jovens
Cientistas
do Nosso Estado FAPERJ.
Detalhes em: http://www.ic.uff.br/index.php/pt/pos-graduacao/corpo-docente

A UFF (Universidade Federal Fluminense, https://www.uff.br) fica em
Niterói-RJ (http://www.niteroi.rj.gov.br),
uma cidade de porte médio vizinha à cidade do Rio de Janeiro, com
aproximadamente
500 mil habitantes, e possui um dos melhores índices de qualidade de vida
do país.

O Instituto de Computação da UFF (http://www.ic.uff.br) localiza-se no
agradável
Campus da Praia Vermelha, a poucos minutos do centro da cidade, ocupa dois
prédios
recém-inaugurados às margens da Baía de Guanabara, e possui diversos
laboratórios
que oferecem excelentes condições para o desenvolvimento de pesquisas de
alto nível.

Em caso de dúvidas, entre em contato: secretaria@ic.uff.br

Venha fazer pesquisas em Ciência da Computação com a gente!

-- 
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/CAD-Wq09z1RCgdMzNpmJjN%2BU2SoOmRZ_Ns3O1XXR%3DUCSV_sRHaw%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 04/11/2021 (quinta-feira) 16:00h

2021-11-02 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 04 de novembro de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Martin Escardo (University of Birminghan)
Título: Equality of mathematical structures.
Resumo: Two groups are regarded to be the same if they are isomorphic,
two topological spaces are regarded to be the same if they are
homeomorphic, two metric spaces are regarded to be the same if they are
isometric, two categories are regarded to be the same if they are
equivalent, etc. In Voevodsky's Univalent Foundations (HoTT/UF), the
above become theorems: we can replace "are regarded to be the same” by
"are the same". I will explain how this works. I will not assume
previous knowledge of HoTT/UF or type theory.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/irx-auep-ype .

--
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/CAD-Wq09WfG20iAHqC8gE-rqwgLT-YjJrLX%3D5y6F48RTzvr%2BQtg%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h

2021-10-18 Por tôpico Bruno Lopes

O resumo na mensagem anterior estava trocado. Segue resumo correto.

Open Access in Programming Languages research

Open Access is a change that everyone in our research communities welcomes,
but people are willing to invest varying levels of effort to make it a
reality. In some sub-communities it is now the dominant models, in some it
is a far dream, with most places in-between. This talk will describe our
mixed Open Access experience with Programming Languages research and
related fields.

In particular, we hope to cover the following material (and still ample
space for discussions):
1. What normal people (not publishers) mean by Open Access.
2. Why it really matters to some people.
3. How disappointing progress has been in some parts of our research
community, and some of the reasons given.
   (For example: the Journal of Functional Programming at Cambridge
University Press and its $1705 Open Access fee.)
4. Concrete initiatives from our community or neighboring communities that
anyone can use to improve the situation.
   (For example: posting your preprints on arxiv.org
<https://www.google.com/url?q=http://arxiv.org/=D=calendar=2=AOvVaw3NzDu5OUzIakyPVv7f_STs>
)

Em seg., 18 de out. de 2021 às 08:00, Bruno Lopes 
escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros
> da comunidade e espaço para perguntas no fim. As apresentações usualmente
> são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> Data: 21 de outubro de 2021 (quinta-feira)
> Horário: 11:00h GMT-3
> Apresentador: Gabriel Scherer (INRIA)
> Título: Open Access in Programming Languages research
> Resumo: This lecture discusses the logical possibility of testing
> inconsistent empirical theories. The main challenge for answering this
> affirmatively is to avoid that the inconsistent consequences of a theory
> both corroborate it and falsify it. I answer affirmatively by showing that
> we can define a class of empirical sentences whose truth would force us to
> abandon such inconsistent theory: the class of its potential rejecters.
> Despite this, I show that the observational contradictions implied by a
> theory could only be verified (provided we make some assumptions), but not
> rejected. From this, it follows that, although inconsistent theories are
> rejectable, they cannot be rejected qua inconsistent.
>
> A apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/urw-ycgi-qqu .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_724pus5LT8Z6Emv4cgg1q%2Bgx5BzR1Mh_ag9JHLxdSFg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h

2021-10-18 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 21 de outubro de 2021 (quinta-feira)
Horário: 11:00h GMT-3
Apresentador: Gabriel Scherer (INRIA)
Título: Open Access in Programming Languages research
Resumo: This lecture discusses the logical possibility of testing
inconsistent empirical theories. The main challenge for answering this
affirmatively is to avoid that the inconsistent consequences of a theory
both corroborate it and falsify it. I answer affirmatively by showing that
we can define a class of empirical sentences whose truth would force us to
abandon such inconsistent theory: the class of its potential rejecters.
Despite this, I show that the observational contradictions implied by a
theory could only be verified (provided we make some assumptions), but not
rejected. From this, it follows that, although inconsistent theories are
rejectable, they cannot be rejected qua inconsistent.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/urw-ycgi-qqu .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09%3DBtU1DVgwqbiTdYbjR0ppqbnb2dU_a3omHtPBZ%3DeHfw%40mail.gmail.com.

[Logica-l] Fwd: Proof Theory Seminar, Autumn 2021

2021-09-29 Por tôpico Bruno Lopes

-- Forwarded message -
De: 
Date: ter, 28 de set de 2021 20:22
Subject: Proof Theory Seminar, Autumn 2021
To: Foundations of Mathematics 

Dear all,

We are pleased to announce that the Proof Theory Virtual Seminar series
will restart this autumn on Wednesday 6 October with a talk by
Professor Jeremy Avigad. A list of this season's speakers can be found
below, as well as other useful information.

The Proof Theory Virtual Seminar is an online seminar series that
presents talks by leading researchers from all areas of proof theory.
It was launched in October 2020 and typically has talks on the first
and third Wednesdays of the month, alternating between morning (9am
UTC) and afternoon (5pm UTC) to facilitate international participation.

6 October, 17:00 UTC. Jeremy Avigad (Carnegie Mellon University).
Title: The conservativity of weak König's lemma (a proof from the
book).

20 October, 09:00 UTC. Fedor Pakhomov (Ghent University and Steklov
Mathematical Institute)
Title: Fast growing hierarchies, ordinal collapsing, and Π¹₁-CA₀.

3 November, 17:00 UTC. Wilfried Sieg (Carnegie Mellon University).
Title: Proofs as objects.

17 November, 09:00 UTC. Alexis Saurin (Centre National de la Recherche
Scientifique)
Title: (TBA)

1 December. (No seminar due to Proof Society Winter School and
Workshop, 29 November - 4 December).

15 December, 09:00 UTC. Alessio Guglielmi (University of Bath).
Title: (TBA)

Joining details, abstracts and other information can be found on the
seminar website:

https://www.proofsociety.org/proof-theory-seminar/

If you would like to receive reminders, you can sign up to our email
list by joining the following google group (no google account
required):

https://groups.google.com/forum/#!forum/proof-theory-seminar/join

Best wishes,
Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund, Thomas Powell,
Sam Sanders, Monika Seisenberger, Andrei Sipos, Henry Towsner

-- 
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/CAD-Wq08bgoYT%3DHBpgAHuvdsgpOzh0ZuC1O5SJMxH8Odyh1-ZVQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/09/2021 (quinta-feira) 16:00h

2021-09-20 Por tôpico Bruno Lopes

Data: 23 de setembro de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Luis Felipe Bartolo Alegre (Sociedade Peruana de
Epistemologia e Lógica)
Título: Can we test inconsistent empirical theories?
Resumo: This lecture discusses the logical possibility of testing
inconsistent empirical theories. The main challenge for answering this
affirmatively is to avoid that the inconsistent consequences of a theory
both corroborate it and falsify it. I answer affirmatively by showing that
we can define a class of empirical sentences whose truth would force us to
abandon such inconsistent theory: the class of its potential rejecters.
Despite this, I show that the observational contradictions implied by a
theory could only be verified (provided we make some assumptions), but not
rejected. From this, it follows that, although inconsistent theories are
rejectable, they cannot be rejected qua inconsistent.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/njo-jkah-hjz .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-taLhoRdRO9HQ8_Wmjwi9J9YLK2p6wHjs6NN6PHyACoQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 09/09/2021 (quinta-feira) 16:00h

2021-09-03 Por tôpico Bruno Lopes

Data: 09 de setembro de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Angeline Aguinaldo
<https://www.cs.umd.edu/people/aaguinal> (University
of Maryland)
Título: Diary of a software engineer using categories
Resumo: In this talk, I will present a reflection of my journey thus far as
an engineer using category theory to aid in robot programming and software
reverse engineering. I will also provide thoughts on how to bolster applied
category theory outreach to the software engineering community.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/khf-vgbg-wgc .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq097Q-Yen9HA1mYY6iOm5pqA-1UQ8n7iQf1m-mMSkUKi1w%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 26/08/2021 (quinta-feira) 16:00h

2021-08-23 Por tôpico Bruno Lopes

Data: 26 de agosto de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: José Siqueira (university of Cambridge)
Título: Formas categóricas da teoria dos conjuntos internos
Resumo: E. Nelson introduziu a teoria dos conjuntos internos (IST) para
servir de sintaxe para o uso de métodos alternativos de prova, em contextos
como o da análise não-standard. A intenção foi tornar o uso destas ideias
mais acessíveis a quem não lida com Fundamentos, mas há vantagens além
disso: utilizar uma teoria de conjuntos faz com que o assunto possa ser
estudado por meio da teoria dos toposes mais efetivamente. Nesta palestra,
discutiremos a possibilidade de desenvolver algo como IST para toposes além
do de conjuntos, utilizando da teoria dos triposes.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/zcv-fszm-ddd .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-wGq%3DiaJXD4z72jao4NAr2jc7QvrnAcftNXSO_Bi1Wug%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 05/08/2021 (quinta-feira) 16:00h

2021-08-02 Por tôpico Bruno Lopes

Data: 05 de agosto de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Andrés Villaveces <http://avillavecesn.net/> (Universidad
Nacional de Colombia)
Título: Completeness as (topological) Reconstruction (of logical properties)
Resumo: I will discuss the two Completeness Theorems: Gödel's for First
Order Logic and Makkai's for small pretopoi, with emphasis on duality and
reconstruction. (The style of presentation will be based on ideas due to
Lurie.) I will describe informally the central role of this theorem in
various contexts, and its notorious absence in some other situations.

A apresentação ocorrerá pelo Google Meet através do link público
meet.google.com/ycr-pwuj-xok .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08iyf8WTen_uAzT929%3D5qW7EsP0quKP95B7eXZT5UysfA%40mail.gmail.com.

Re: [Logica-l] A Polynomial Time Algorithm for 3SAT | ACM Transactions on Computation Theory

2021-07-19 Por tôpico Bruno Lopes

https://twitter.com/rrwilliams/status/1417161397960646658

Aparentemente, um engano.

Em seg., 19 de jul. de 2021 às 12:04, Adolfo Neto 
escreveu:

> Pois é. Vi no Twitter. Estão achando que é falha da revisão e apontando
> para o artigo do arxiv que você menciona.
>
> https://twitter.com/MarcdeFalco/status/1417129302450180099?s=19
>
>
> On Mon, Jul 19, 2021, 11:45 Joao Marcos  wrote:
>
>> Uau, ACM Transactions on Computation Theory?
>>
>> Este paper do Lizhi Du (citado como item #60 aqui:
>> https://www.win.tue.nl/~gwoegi/P-versus-NP.htm) é de 2010, mas não
>> parece ter sido publicado:
>> https://arxiv.org/abs/1004.3702
>>
>> JM
>>
>> On Mon, Jul 19, 2021 at 11:30 AM Adolfo Neto 
>> wrote:
>> >
>> > Será que agora foi?
>> > P=NP
>> >
>> > https://dl.acm.org/doi/abs/10.1145/3460950
>> >
>> > --
>> > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUEs27s_5C%3DfG5a1yjhRXfAuHL866QTORLKKNjTcXK7Sw%40mail.gmail.com
>> .
>>
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWKg%3DVMMxfmO8W-HJ2g78J7dK%3D9B%3Dy5F60ytPQN9Nigwg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWKg%3DVMMxfmO8W-HJ2g78J7dK%3D9B%3Dy5F60ytPQN9Nigwg%40mail.gmail.com?utm_medium=email_source=footer>
> .
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_Nd6PYHMEt9UNo4hZMbnEFhb%2BB75gL3KfA-cifVDRi6A%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 08/07/2021 (quinta-feira) 14:00h

2021-07-08 Por tôpico Bruno Lopes

Correção: o link correto é https://meet.google.com/yjz-ayex-wen .

Em seg., 5 de jul. de 2021 às 08:00, Bruno Lopes  escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações usualmente são
> gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> Data: 08 de julho de 2021 (quinta-feira)
> Horário: 14:00h GMT-3
> Apresentador: Tero Tulenheimo (CNRS-STL & Université de Lille)
> Título: Objects and Modalities
> Resumo: I describe a generalization of possible world semantics, called
> ‘world line semantics’. The approach is the result of my critical
> assessment of ideas initially proposed by Hintikka in 1960s. Crucially, I
> recognize worlds and links between world-bound objects (world lines,
> individuals) as mutually independent aspects of modal semantics. The two
> factors are indeed independent: even if one describes worlds in the
> minutest detail, one will not have even touched the question of which
> individuals are defined over those worlds. A basic set of local objects is
> postulated. Worlds partition this set in one way, world lines in another
> way. The framework is motivated philosophically, by viewing a structure of
> world lines as a precondition of modal talk. The framework allows even
> providing a uniform analysis of quantification over individuals (physical
> objects) and objects of thought (intentional objects). What is proposed is
> a radically new paradigm in modal semantics. The adopted understanding of
> individuals is diametrically opposed to Kripke’s and Kaplan’s popular
> views; their notions of rigid designator and direct reference are
> predicated on the assumption that literally one and the same thing can
> itself reside in various worlds. If attention is confined to a single
> temporally extended world, then individuals (world lines) in my sense are
> four-dimensional like individuals in Lewis’s sense and local objects are
> time-bound like temporal parts of individuals are according to Lewis.
> However, according to Lewis, any difference between two worlds is grounded
> in differences in their local qualities, and counterpart relations between
> denizens of distinct worlds are supervenient on world-internal qualitative
> considerations (Humean supervenience). My position is explicitly
> antithetical to such a view, given the mutual independence of worlds and
> world lines—local features of a context cannot give rise to anything that
> presupposes cross-context identity.
> A apresentação ocorrerá pelo Google Meet através do link público
> http://meet.google.com/mmp-nuvx-xby .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09AgXuUKVNJw%2BD-DveqRS8CqRiii19DyFp5uVkdL2dBVw%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 08/07/2021 (quinta-feira) 14:00h

2021-07-05 Por tôpico Bruno Lopes

Data: 08 de julho de 2021 (quinta-feira)
Horário: 14:00h GMT-3
Apresentador: Tero Tulenheimo (CNRS-STL & Université de Lille)
Título: Objects and Modalities
Resumo: I describe a generalization of possible world semantics, called
‘world line semantics’. The approach is the result of my critical
assessment of ideas initially proposed by Hintikka in 1960s. Crucially, I
recognize worlds and links between world-bound objects (world lines,
individuals) as mutually independent aspects of modal semantics. The two
factors are indeed independent: even if one describes worlds in the
minutest detail, one will not have even touched the question of which
individuals are defined over those worlds. A basic set of local objects is
postulated. Worlds partition this set in one way, world lines in another
way. The framework is motivated philosophically, by viewing a structure of
world lines as a precondition of modal talk. The framework allows even
providing a uniform analysis of quantification over individuals (physical
objects) and objects of thought (intentional objects). What is proposed is
a radically new paradigm in modal semantics. The adopted understanding of
individuals is diametrically opposed to Kripke’s and Kaplan’s popular
views; their notions of rigid designator and direct reference are
predicated on the assumption that literally one and the same thing can
itself reside in various worlds. If attention is confined to a single
temporally extended world, then individuals (world lines) in my sense are
four-dimensional like individuals in Lewis’s sense and local objects are
time-bound like temporal parts of individuals are according to Lewis.
However, according to Lewis, any difference between two worlds is grounded
in differences in their local qualities, and counterpart relations between
denizens of distinct worlds are supervenient on world-internal qualitative
considerations (Humean supervenience). My position is explicitly
antithetical to such a view, given the mutual independence of worlds and
world lines—local features of a context cannot give rise to anything that
presupposes cross-context identity.
A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/mmp-nuvx-xby .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_D7QknJhxrB27pQKEN8By9XYf-Es0XJKajYaG6AM24rQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 24/06/2021 (quinta-feira) 16:00h

2021-06-21 Por tôpico Bruno Lopes

Data: 24 de junho de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Michael J. Barany (University of Edinburgh)
Título: "Attempts to link scientific activities to political and societal
issues": Boycotts, politics, and the creation of the International
Mathematical Union.
Resumo: In response to calls to boycott the upcoming 2022 International
Congress of Mathematicians, the International Mathematical Union Executive
Committee issued a statement on 21 February of this year "oppos[ing] all
boycotts of scientific events and all attempts to link scientific
activities to political and societal issues." To the contrary, the history
of the IMU has fundamentally been about the inextricable links between
mathematics and politics. I will survey how "attempts to link scientific
activities to political and societal issues" have been central to the IMU
from its origins. These attempts included calls for a boycott of the 1950
International Congress of Mathematicians that were joined by the postwar
IMU's first president and that decisively shaped the IMU's organization and
history. I will examine the causes and consequences of the 1950 boycott
effort and then close with some lessons and implications for today's IMU
and the calls for a 2022 ICM boycott.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/umi-upuz-gph .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_3iEa5Vto_Z9%2BTQ9aa2Pp-v-Z3kEmrhO%2BCz_bDj2o%2B0A%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/06/2021 (quinta-feira) 16:00h

2021-06-07 Por tôpico Bruno Lopes

Data: 10 de junho de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Davide Trotta (Università di Pisa)
Título: The Gödel fibration
Resumo: In this talk, I will introduce the notion of Gödel fibration, which
is a fibration categorically embodying both the logical principles of
traditional Skolemization and the existence of a prenex normal form
presentation for every formula, and I will explain how this notion is
related to the Dialectica construction. In particular, building up from
Hofstra’s earlier fibrational characterization of de Paiva’s categorical
Dialectica construction, I will show that a fibration is an instance of the
Dialectica construction if and only if it is a Gödel fibration. This result
establishes an intrinsic presentation of the Dialectica fibration,
contributing to the understanding of the Dialectica construction itself and
of its propertiesfrom a logical perspective. If time permits, I will even
discuss some localic examples of Gödel fibration. (Joint work with Matteo
Spadetto and Valeria de Paiva)

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/iit-jawp-kyf .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-RAc3BQZ%2B023Hr_pPU0%2BxXdCiHSqy9O4RS%3DDZnKeU7Gg%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 27/05/2021 (quinta-feira) 16:00h

2021-05-24 Por tôpico Bruno Lopes

Correção: 27/05 (quinta-feira).

Em seg, 24 de mai de 2021 08:00, Bruno Lopes  escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros
> da comunidade e espaço para perguntas no fim. As apresentações usualmente
> são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> Data: 17 de maio de 2021 (quinta-feira)
> Horário: 16:00h GMT-3
> Apresentador: Michael Shulman (University of San Diego)
> Título: Linear logic for constructive mathematics
> Resumo:
> Informally, "constructivism" is a programme of mathematics aiming to
> ensure that anything asserted to exist must be explicitly constructed. It
> is generally practiced using "intuitionistic logic", which achieves this by
> rejecting the "law of excluded middle' (the claim that all statements are
> either true or false). The same result is also achieved by Girard's "linear
> logic", which instead restricts the number of times each hypothesis can be
> used in a proof; but essentially no practicing constructivists today use
> linear logic. I will show that intuitionistic and linear approaches to
> constructive mathematics are intimately connected, through an
> interpretation of the latter into the former based on the categorical "Chu
> construction". In particular, many odd features of intuitionistic
> mathematics, such as inequality relations, anti-subgroups, and apartness
> spaces, arise automatically and unavoidably by translating natural
> definitions from linear logic across this interpretation. Thus linear logic
> can be used as a "high-level tool" for intuitionistic mathematics, and we
> also obtain a "migration path" towards a potential constructive mathematics
> based natively on linear logic instead.
>
> A apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/xrc-ujtf-dxk .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>

-- 
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/CAD-Wq0_xkUp8mEoqCmovsMj2ry8FwNAYiKPUMkKfVqKK1YqoVg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 27/05/2021 (quinta-feira) 16:00h

2021-05-24 Por tôpico Bruno Lopes

Data: 17 de maio de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Michael Shulman (University of San Diego)
Título: Linear logic for constructive mathematics
Resumo:
Informally, "constructivism" is a programme of mathematics aiming to ensure
that anything asserted to exist must be explicitly constructed. It is
generally practiced using "intuitionistic logic", which achieves this by
rejecting the "law of excluded middle' (the claim that all statements are
either true or false). The same result is also achieved by Girard's "linear
logic", which instead restricts the number of times each hypothesis can be
used in a proof; but essentially no practicing constructivists today use
linear logic. I will show that intuitionistic and linear approaches to
constructive mathematics are intimately connected, through an
interpretation of the latter into the former based on the categorical "Chu
construction". In particular, many odd features of intuitionistic
mathematics, such as inequality relations, anti-subgroups, and apartness
spaces, arise automatically and unavoidably by translating natural
definitions from linear logic across this interpretation. Thus linear logic
can be used as a "high-level tool" for intuitionistic mathematics, and we
also obtain a "migration path" towards a potential constructive mathematics
based natively on linear logic instead.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/xrc-ujtf-dxk .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_qjmHGz72V%3DuCjn_CpjTo3yEBqwyFCcRezMNUmFwL0Ew%40mail.gmail.com.

[Logica-l] Fwd: [ProfsPG] MESTRADO, DOUTORADO, MAI e DAI no IC / UFF

2021-05-10 Por tôpico Bruno Lopes

EDITAIS ABERTOS PARA SELEÇÃO DE MESTRADO E DOUTORADO NO INSTITUTO DE
COMPUTAÇÃO DA UNIVERSIDADE FEDERAL FLUMINENSE

*** INSCRIÇÕES DE 10/05/2021 ATÉ 11/06/2021 ***

A Coordenação do Programa de Pós-Graduação em Computação da Universidade
Federal Fluminense (PGC-UFF) informa que estão disponíveis em
http://posgrad.ic.uff.br/inscricoes/  os editais de seleção para ingresso
nas modalidades:
- Mestrado e Doutorado,
- Mestrado com bolsa MAI / CNPq e
- Doutorado com bolsa DAI / CNPq
com início no segundo período de 2021.

Ressaltamos que o Programa de Pós Graduação em Computação da UFF está
realizando disciplinas online e demais atividades remotas durante o período
de isolamento social decorrente da pandemia de Covid-19.

O Programa MAI/DAI do CNPq busca fortalecer a pesquisa, o empreendedorismo
e a inovação nas Instituições Científicas, Tecnológicas e de Inovação
(ICT), por meio do envolvimento de estudantes de mestrado e doutorado em
projetos de interesse do setor empresarial, mediante parceria com Empresas.
Dessa forma, busca contribuir para o aumento da capacidade inovadora, da
competitividade das empresas e do desenvolvimento científico e tecnológico
no País, ao mesmo tempo em que pretende fortalecer os Sistemas Regionais de
Inovação.

O Programa de Pós-Graduação em Computação da UFF comemora 25 anos de
pesquisa em computação, foi promovido a conceito 6 na avaliação quadrienal
da CAPES em 2017, situando-se entre os 10 melhores programas de
pós-graduação em computação do Brasil. Recentemente, o Instituto de
Computação da UFF ampliou sua infraestrutura, e dispõe desde 2016 de um
prédio com área de 5 mil metros quadrados dedicados exclusivamente a
laboratórios de pesquisa. Laboratórios temáticos nas áreas de Algoritmos e
Otimização, Computação Científica, Ciência de Dados, Computação Visual,
Engenharia de Sistemas e Informação, Inteligência Artificial e Sistemas de
Computação estão em pleno funcionamento.

O Programa já formou mais de 170 doutores e mais de 580 mestres. Possui um
corpo docente bastante produtivo, com 45 professores doutores, sendo 26
bolsistas de produtividade do CNPq e 11 bolsistas do programa FAPERJ
Cientista e Jovem Cientista do Nosso Estado, com diversas cooperações
internacionais, em particular no âmbito do Programa CAPES/PRINT. O programa
coordena três projetos CAPES/PRINT em parceria com universidades nos EUA,
Espanha, França, Holanda e Reino Unido, que permitirão a oferta de mais
bolsas de doutorado sanduíche, diversas missões de trabalho no exterior e o
recebimento de pesquisadores do exterior como visitantes no PGC. O programa
oferece bolsas de mestrado e doutorado com apoio de órgãos de fomento
federais e estaduais e projetos de PD em parceria com diferentes setores
produtivos.

Niterói é uma cidade de porte médio, com aproximadamente 500 mil
habitantes, que possui um dos melhores índices de qualidade de vida do
país. O PGC-UFF localiza-se no aprazível Campus da Praia Vermelha, a poucos
minutos do centro da cidade. Suas instalações são confortáveis, ocupando
dois prédios recém-inaugurados, às margens da Baía de Guanabara, e os seus
laboratórios oferecem condições para o desenvolvimento de pesquisas de alto
nível.

Maiores informações podem ser obtidas através de nossa página:
http://posgrad.ic.uff.br/inscricoes

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq08ugbA1Z5MYfybQ_5-R9n_08o_SPBiCkBUDzVGBNXi-Aw%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 29/04/2021 (quinta-feira) 16:00h

2021-04-26 Por tôpico Bruno Lopes

Correção o horário é às 16:00h .

Em seg., 26 de abr. de 2021 às 08:00, Bruno Lopes 
escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações usualmente são
> gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> Data: 29 de abril de 2021 (quinta-feira)
> Horário: 14:00h GMT-3
> Apresentador: Marco Panza (Chapman University & IHPST & CNRS), Daniele
> Struppa (Chapman University) e Domenico Napoletani (Chapman University)
> Título: Agnostic Science and Mathematics
> Resumo:
> We'll firstly illustrate the notion of agnostic science (science
> without understanding), and reflect, then, on the effect that the practicer
> of agnostic science has on the use of maths in science, and for the
> development of maths itself.
>
> A apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/ukv-ypzu-kcg .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_zZcfLaj9tWkuSiNuv%3DOCk3cT1BUkC3AioB6Wwh17RcQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 29/04/2021 (quinta-feira) 16:00h

2021-04-26 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 29 de abril de 2021 (quinta-feira)
Horário: 14:00h GMT-3
Apresentador: Marco Panza (Chapman University & IHPST & CNRS), Daniele
Struppa (Chapman University) e Domenico Napoletani (Chapman University)
Título: Agnostic Science and Mathematics
Resumo:
We'll firstly illustrate the notion of agnostic science (science
without understanding), and reflect, then, on the effect that the practicer
of agnostic science has on the use of maths in science, and for the
development of maths itself.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/ukv-ypzu-kcg .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-%2B2AXxnMGT1H7dzZ7He_3bwUeKgeR-_impjKvG4FDW4w%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 08/04/2021 (quinta-feira) 14:00h

2021-04-05 Por tôpico Bruno Lopes

Data: 08 de abril de 2021 (quinta-feira)
Horário: 14:00h GMT-3
Apresentador: Mirna Džamonja (Logique Consult & IHPST)
Título: Formalising Ordinal Partition Relations Using Isabelle/HOL
Resumo:
Joint work with with Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson,
FRS, Cambridge
This talk is about an application in set theory of what is sometimes called
'automated theorem proving' by mathematicians. This actually refers to
several different things, including what computer scientists call
formalisation. After briefly discussing general aspects of formalisation,
we shall give an overview of a formalisation project in the proof assistant
Isabelle/HOL of a number of results in ordinal partition relations :
theorems by Erdős–Milner, Specker, Larson and Nash-Williams, leading to
Jean Larson’s proof of the unpublished result by E.C. Milner asserting that
for all $m\in \mathbb N $, $\omega^{\omega }\rightarrow (\omega^{\omega
},m)$. Ordinal partition relations are notoriously hard to study by
classical methods and have the uncanny feature to be mostly interesting for
countable ordinals, where modern set theory seems to be quite silent. Our
approach has been to see if formalising might bring us closer to resolving
some of the many unsolved problems in the area. The talk will focus on the
process of formalisation, the difficulties and the hopes of the process. In
particular, no new proof has yet been obtained by proof assistants. We are
hoping that some of the counter-example finding methods in ordinal
partitions we developed in this formalisation might allow us to make some
modest progress in that direction. The actual formalisation behind our
paper was done by Paulson and is available on the Archive of Formal Proofs.
This project is also a demonstration of working with Zermelo–Fraenkel set
theory in higher-order logic, as developed in this context by Paulson.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/xab-ixmv-msn .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq09xqrhGdDuH3F%3DVuhvFEKKYJ%3D2LmQ8P2Qdu0wCHR4Xg0A%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

2021-03-22 Por tôpico Bruno Lopes

Data: 25 de março de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Lukasz T. Stepien (The Pedagogical University of Cracow)
Título: On Inconsistency of Classical Logic
Resumo: As everyone knows, the classical propositional calculus (zero-order
logic, classical propositional logic), is the most fundamental two-valued
logical system. This is needed for construction of the classical calculus
of quantifiers (classical calculus of predicates, first-order logic), which
is necessary to construct the classical functional calculus. This last one
is required to formalize the Arithmetic System. We start by introducing a
notation and we repeat some well-known notions (among others, the notions
of: operation of consequence, a system, consistency in the traditional
sense, consistency in the absolute sense). Next, we present the result that
classical propositional calculus is an inconsistent theory.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/pwi-vcga-vbs .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-v%3DkeP1io5V2iYL_eVqfJ6Vo1v%2BQqoHygOOeMru5KcnQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 11/03/2021 (quinta-feira) 16:00h

2021-03-08 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 11 de março de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Bruno Bentzen (Czech Academy of Sciences)
Título: What went wrong with Frege's theory of types?
Resumo: In this talk, I will argue that Frege's sharp distinction between
object and function terms on the basis of their saturation anticipates a
version of simple type theory in Grundgesetze, although Frege vacillates
between viewing functions as closed terms of a function type and viewing
functions as open terms formed through a hypothetical judgment. In the end,
it seems that Frege fails to express his logical views consistently because
his own logicist ambitions require him to endorse the infamous conception
of value-ranges as objects, without which Basic Law V cannot even be
formulated in the system of Grundgesetze.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/fev-attm-vfy .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_fETGrEYHsEa1sMiR4Z0K6FdgRWS1N%3DEmJAjd-9HHD8g%40mail.gmail.com.

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

2021-03-03 Por tôpico Bruno Lopes

Oi, Marcelo!

O regimento atual não prevê viação eletrônica e, ao consultar um advogado,
ele orientou que se o fizéssemos o banco poderia rejeitar a ata de eleição
e bloquear o acesso à conta.

Há uma comissão revendo o estatuto para propor modernizações como essa, mas
infelizmente isso também tem de ser aprovado em Assembleia, o que
impossibilita alterações para essa eleição.

Abraços,

Bruno.

Em qua, 3 de mar de 2021 15:18, Marcelo Finger 
escreveu:

> Caros.
>
> Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL
> contemple a alternativa de votação eletrônica.  Estamos entrando na fase
> vermelha e sei lá quando poderei ir ao correio.
>
> Com meus votos de muita saúde a todos
>
> []s
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw371f6FkPyPBb2zMbZPZ%2BS_sNQQUKfiGFug%2BL9gY-SFBQ%40mail.gmail.com
> 
> .
>

-- 
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/CAD-Wq08Df44epKCAEHM9CojaOskriQZeY%2BaWjuM0F%3Do6sXspMw%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 22/02/2021 (segunda-feira) 16:00h

2021-02-18 Por tôpico Bruno Lopes

Data: 22 de fevereiro de 2021 (segunda-feira)
Horário: 16:00h GMT-3
Apresentador: Paul Tarau (University of North Texas)
Título: Training Neural Networks to Do Logic, with Logic
Resumo: We describe combinatorial generation algorithms, with focus on
lambda terms and related type inference algorithms, all elegantly
expressible in a logic programming lan- guage that supports backtracking
and unification.
With help from these tools, we introduce methods to train neural networks
as the- orem provers. Our combinatorial generation algorithms provide pairs
of lambda terms together with their inferred types. We make use of the
Curry-Howard isomorphism be- tween lambda terms and formulas in linear and
intuitionistic logic corresponding to their types to train our neural
networks on large, combinatorially generated datasets mapping formulas to
their proof terms. The dataset, containing generated theorems of several
sizes and their proof-terms in postfix form, is available at
http://www.cse.unt.edu/~tarau/datasets/lltaut/ and can be used for
correctness, performance and scalability testing for linear logic theorem
provers. Our experiments with training Recurrent Neural Networks using our
implicational linear logic theorem dataset are available at:
https://github.com/ ptarau/neuralgs.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/bvc-tcdf-ohv .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq087_N0NbKmZWxvv3zs5LDSgoKdBZVzRtup05m2xz1DHYQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 11/02/2021 (quinta-feira) 16:00h

2021-02-08 Por tôpico Bruno Lopes

Data: 11 de fevereiro de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Richard L. “Arf” Epstein (Advanced Reasoning Forum)
Título: Temporal Propositional Logic
Resumo: I will present an approach to taking account of time in reasoning by
using temporal propositional connectives based on readings of “before”,
as we do in our ordinary speech. A proposition, such as “Spot barked”,
if true is not about a time but establishes a time. So if both “Spot
barked” and “Dick yelled” are true, then “Spot barked before Dick
yelled” is true or is false. New true propositions can be added by
relating them to others in the before-after ordering. The ordering need
not be linear. The method should be easy to implement in artificial
intelligence and useful for security analyses.
This is based on joint work with Esperanza Buitrago.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/and-jnda-pzc .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-bBiU_ZmaPTo3%2B_oPoiM%3DncFra4gT66GvUSiHB%2BLh15w%40mail.gmail.com.

[Logica-l] Fwd: JOB: University of Connecticut, Fixed Term, AOS: Logic

2021-01-29 Por tôpico Bruno Lopes

-- Forwarded message -
De: Marcus Rossberg 
Date: sex, 29 de jan de 2021 17:32
Subject: Fwd: JOB: University of Connecticut, Fixed Term, AOS: Logic
To: 

Hi all,

UConn is hiring in Logic!

Assistant Research Professor in Philosophical Logic, 3-year term, 1-1
teaching load.

Please see below for details and follow the link to PhilJobs ad.

Cheers,
Marcus

Job ad:
https://philjobs.org/job/show/16654

*Assistant Research Professor *AOS: Philosophical Logic

preferably with an additional AOS in Formal Epistemology, Philosophy of
Mind (in particular, AI), Philosophy of Psychology, Cognitive Science,
Philosophy of Science, Philosophy of Mathematics, or Philosophy of Language

The Department of Philosophy at the University of Connecticut in Storrs
invites applications for an Assistant Research Professor. This is
a non-tenure track, nine-month faculty appointment beginning August 23,
2021, with an expected duration of three years. The teaching load is one
(1) course per semester.

The Area of Specialization for this position is Philosophical Logic, with a
preferred additional Area of Specialization in Formal Epistemology,
Philosophy of Mind (in particular, AI), Philosophy of Psychology, Cognitive
Science, Philosophy of Science, Philosophy of Mathematics, or Philosophy of
Language. The University of Connecticut is a top-25 public university in
the U.S. The Department of Philosophy is an extremely active research
department with a strong and growing graduate program. The University of
Connecticut is also home to the *UConn Logic Group* (http://logic.uconn.edu/),
aninterdisciplinary research group with more than 40 faculty and graduate
student members from philosophy, linguistics, mathematics, psychology, and
law. The successful candidate is expected to participate in the Logic
Group and to contribute to research, teaching, and modest service in the
Philosophy Department.

*Minimum Qualifications*

Earned Ph.D. (or foreign equivalent) in Philosophy or a relevant related
field by the time of appointment; Area of Specialization in Philosophical
Logic; demonstrated qualification to teach in our strong philosophy
program; demonstrated potential in establishing a successful program of
research and scholarship; and a deep commitment and ability to contribute
through research, teaching, and/or public engagement to the diversity and
excellence of the learning experience.

*Preferred Qualifications*

An additional area of specialization in Formal Epistemology, Philosophy of
Mind (in particular, AI), Philosophy of Psychology, Cognitive Science,
Philosophy of Science, Philosophy of Mathematics, or Philosophy of
Language, and an outstanding record of research and scholarship excellence.
*Appointment Terms*

This is a full-time, 9-month, non-tenure track positions at the Storrs
campus with the title of *Assistant Research Professor*. This position has
an anticipated start date of August 23, 2021, has an expected duration of
three years, and is not renewable thereafter.  Salary will be commensurate
with qualifications and experience with excellent fringe benefits.

*To Apply*

Use this link (https://academicjobsonline.org/ajo/jobs/17911) to Academic
Jobs Online to complete your application. Please submit a *cover
letter*, *curriculum
vitae*, *teaching statement*, *commitment to diversity statement*, *writing
sample* (please format double-spaced, typically no more 8,000 words), *research
statement*, and any additional supporting materials. Additionally, please
follow the instructions in Academic Jobs Online to direct at least three
(3) reference writers to submit letters of reference on your behalf.

Questions about this search can be emailed to philoso...@uconn.edu.

For more information regarding the Department of Philosophy please visit
the department website: https://philosophy.uconn.edu/.
*The University of Connecticut is committed to building and supporting a
multicultural and diverse community of students, faculty and staff. The
diversity of students, faculty and staff continues to increase, as does the
number of honors students, valedictorians and salutatorians who
consistently make UConn their top choice. More than 100 research centers
and institutes serve the University’s teaching, research, diversity, and
outreach missions, leading to UConn’s ranking as one of the nation’s top
research universities. UConn’s faculty and staff are the critical link to
fostering and expanding our vibrant, multicultural and diverse University
community. As an Affirmative Action/Equal Employment Opportunity employer,
UConn encourages applications from women, veterans, people with
disabilities and members of traditionally underrepresented populations.*

-- 
You received this message because you are subscribed to the Google Groups
"Logic Supergroup" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to logic-supergroup+unsubscr...@googlegroups.com.
To view this discussion on the web

[Logica-l] Missa de 30o dia do falecimento do Prof. Veloso

2020-12-13 Por tôpico Bruno Lopes

Caros,

Segue convite de Sheila para a missa de 30o dia do falecimento do Prof.
Paulo A. S. Veloso.

Abraços,

Bruno.

Hora 18:00 hs, dia 14/12
O link de acesso é Entrar na reunião Zoom (é  isso que se precisa):
https://puc-rio.zoom.us/j/99735187421?pwd=VHBJcGFaNENoekN1c3JKZkhtcUlkQT09

ID da reunião: 997 3518 7421
Senha de acesso: 942846

-- 
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/CAD-Wq0-%2Bpbh6MJRhOjG9dh-WkJvod0%2BPH%3D1sn%3DbGZarD4akUMQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 03/12/2020 (quinta-feira) 16:00h

2020-11-30 Por tôpico Bruno Lopes

Data: 03 de dezembro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Stéphane Graham-Lengrand (SRI International)
Título: Realisability semantics of abstract focussing
Resumo: We present a sequent calculus for abstract focussing, as a highly
parametric typing system for proof-terms. In the tradition of Zeilberger's
work, logical connectives and their introduction rules are left as
parameters, collapsing the synchronous and asynchronous phases of focussing
as macro rules. Further parameterisation of context extension makes
standard classical and intuitionistic focussed sequent calculi instances of
the abstract one. We then define the realisability semantics of the system,
on the basis of Munch-Maccagnoni's orthogonality models for the classical
focussed sequent calculus, but now operating at the higher level of
abstraction mentioned above. The Adequacy Lemma can be proved at that
level: if a term is of type A, then its denotation in the realisability
model is in the (set-theoretic) interpretation of A. The proof explicitly
connects two forms of universal quantification: on the semantic side, the
universal quantification involved when taking the orthogonal of a set; and
on the syntactic side, the universal quantification involved in the macro
rule for the asynchronous phase. The system and its semantics are all
formalised in Coq.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/due-epzd-boz .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08pF3vXwm4gNrC9a-KZfSidenKa5wXnaM_-9PHmsZXHGw%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 26/11/2020 (quinta-feira) 16:00h

2020-11-23 Por tôpico Bruno Lopes

Data: 26 de novembro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Jean-Yves Beziau (DF/UFRJ)
Título: The Mystery of the Fifth Logical Notion
<http://jyb-logic.org/ALICE>Resumo: We discuss a theory presented in a
posthumous paper by Alfred Tarski entitled “What are logical notions?”.
Although the theory of these logical notions is something outside of the
main stream of logic, not presented in logic textbooks, it is a very
interesting theory and can easily be understood by anybody, especially
studying the simplest case of the four basic logical notions. This is what
we are doing here, as well as introducing a challenging fifth logical
notion.
We first recall the context and origin of what are here called
Tarski-Lindenbaum logical notions. In the second part, we present these
notions in the simple case of a binary relation. In the third part, we
examine in which sense these are considered as logical notions contrasting
them with an example of a non-logical relation. In the fourth part, we
discuss the formulations of the four logical notions in natural language
and in first-order logic without equality, emphasizing the fact that two of
the four logical notions cannot be expressed in this formal language. In
the fifth part, we discuss the relations between these notions using the
theory of the square of opposition. In the sixth part, we introduce the
notion of variety corresponding to all non-logical notions and we argue
that it can be considered as a logical notion because it is invariant,
always referring to the same class of structures. In the seventh part, we
present an enigma: is variety formalizable in first-order logic without
equality?

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/jnp-yieh-nnf .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08JphCw7SWT_-EC8gVsxy5_iq_Q7%2BF%3DmLZLT-5pcQBGdQ%40mail.gmail.com.

[Logica-l] Missa de 7o dia do falecimento do Prof. Paulo Augusto Silva Veloso

2020-11-17 Por tôpico Bruno Lopes

Caros,

A pedido de Sheila envio o convite para a missa de sétimo dia, que será rezada 
online pelo Zoom, na igreja da PUC-Rio, no dia 20/11 (sexta-feira) às 18 horas.

O link para o evento no Zoom  é: 
https://puc-rio.zoom.us/j/99735187421?pwd=VHBJcGFaNENoekN1c3JKZkhtcUlkQT09 .
ID da reunião: 997 3518 7421
Senha de acesso: 942846


Abraços,

Bruno



-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/D9D896C5-EAAB-4C8C-8C6D-16DBC543421B%40ic.uff.br.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/11/2020 (quinta-feira) 16:00h

2020-11-16 Por tôpico Bruno Lopes

Data: 19 de novembro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Edward Hermann Haeusler (DI/PUC-Rio)
Título: Redundância em provas grandes em Dedução Natural ou como obter
certificados polinomiais para gráficos não-Hamiltonianos
(co-autoria com Lew Gordeev)
Resumo: Neste seminário tomamos a família de provas normais das tautologias
da lógica minimal puramente implicacional como uma família de objetos
superpolinomialmente limitados ou de tamanho grande. Usamos a noção de
provas (atômicas) expandidas e normais mapeadas (em DN) para provar que
quase todas as provas grandes de em DN que têm altura linearmente limitada
são altamente redundantes. Mostramos que para quase todas as provas de tal
família há pelo menos uma subprova ou derivação que é repetida
superpolinomialmente muitas vezes.
Este resultado aponta para um refinamento dos métodos de compressão
apresentados anteriormente e uma prova alternativa e mais simples de que
CoNP = NP.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/byr-tymm-iwe .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq092XrQJ%3D4QncjmaLNRyFWnwZugcX%3DzrgOXX-B-qsz9Eqg%40mail.gmail.com.

[Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

2020-11-14 Por tôpico Bruno Lopes

Caros, a pedido de Sheila envio os dados do sepultamento.

Prof *Paulo Augusto Silva Veloso*
cemitério *São Francisco Xavier* capela "C" iniciando a despedida as 11:00 
horas e término as 14:45.
Cemitério São Francisco Xavier - Rua Monsenhor Manoel Gomes s/n Cajú - Rio de 
Janeiro

Abraços,

Bruno.

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno


-- 
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/7E9E1065-6467-42A5-A1C8-7B9E57AFE992%40ic.uff.br.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 12/11/2020 (quinta-feira) 16:00h

2020-11-09 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo
de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos
de convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 12 de novembro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Samuel Gomes da Silva (DM/UFBA)
Título: On striking, counterintuitive partitions - or: The Axiom of Choice
is not to be blamed of anything
Resumo: One of the more counterintuitive consequences of the Axiom of
Choice (perhaps the most celebrated among them all) is the well-known
Banach-Tarski Paradox,  which is a theorem ({\it not a paradox}) stating
that any closed, ``solid"\, ball of the three-dimensional Euclidean space
may be decomposed into a finite number of subsets (``pieces", so to say)
which, after rearranged using only rigid motions, turn out to form two
identical copies of the original ball. Variations of this very same theorem
(which heavily relies on the Axiom of Choice) can be spelled out even more
strikingly   (``one could cut an orange into finite pieces and then
reassemble those pieces in order to get a sphere of the size of the Sun").
Of course, the orange pieces referred to would be {\bf non-measurable} --
thus, Banach-Tarski Paradox could be understood as a fancy alternative
proof of the well-known fact that the Axiom of Choice easily produces
non-measurable subsets of any given Euclidean space.  Due to these
undeniably counterintuitive aspects, Banach-Tarski Paradox is usually
presented as an argument against the acceptance of the Axiom of Choice. In
this talk, we will see that the possibly implicit desire of all those
anti-Axiom of Choice researchers (which, apparently, would be to discard
the Axiom of Choice and then freely work with models of Mathematics on
which all subsets of any given Euclidean space are Lebesgue-measurable)
would also yeld some highly counterintuitive results regarding partitions
of sets -- so, the Axiom of Choice should not be considered the sole
culprit when it comes to counterintuitive situations involving partitions !
For instance, we will show in the talk that: if all subsets of the real
line are Lebesgue-measurable, then there is a partition of $\mathbb{R}$
into strictly more than $2^{\aleph_0}$ non-empty subsets -- that is, there
would be a partition of a set (and not some obscure set -- arguably the
most important set of all Mathematics, which is the real line $\mathbb{R}$)
into {\bf more pieces than elements} (!!!). Having appeared as a common
feature of a number of constructions, we will take the opportunity to
discuss the so-called {\it Partition Principle} -- which is an immediate
consequence of the Axiom of Choice for which the natural question in the
context (``Is this principle, in fact, an equivalent of the Axiom of Choice
?") constitutes itself as one of the oldest (and still open) problems of
this kind in the literature.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/uwn-tyjb-rbr .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_9CMSss6iLN0AzDMTUsxctF34Radswu0XrWP8Na%3D-vwg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 05/11/2020 (quinta-feira) 16:00h

2020-11-02 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo
de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos
de convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 05 de novembro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Carlos Olarte (ECT/UFRN)
Título: The L-Framework*: Structural Proof Theory in Rewriting Logic
Resumo: Structural properties such as admissibility and invertibility of
rules are crucial in proof theory, and they can be used for establishing
other key properties such as cut-elimination and completeness of focusing
in sequent systems. Finding proofs for these properties requires inductive
reasoning over the provability relation, which is often quite elaborated,
exponentially exhaustive, and error prone. We propose automatic procedures
for proving structural properties of sequent systems. Our techniques are
based on the rewriting logic metalogical framework, and use rewrite- and
narrowing-based reasoning. They have been fully mechanized in Maude and the
resulting framework is generic and modular since cut-freeness,
admissibility, and invertibility can be proved incrementally. The
L-Framework achieves a great degree of automation when used on several
sequent systems. Case studies include intuitionistic, classical,
substructural and modal logics.
* https://carlosolarte.github.io/L-framework/

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/pkq-fxvz-iou .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-W%3DdVze43B_YymsBZp6v6WFo7i0vg6W1U%3D%2B2KuR4i6uQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 28/10/2020 (quarta-feira) 16:00h

2020-10-26 Por tôpico Bruno Lopes

Data: 28 de outubro de 2020 (quarta-feira)
Horário: 16:00h GMT-3
Apresentador: Profa. Daniele Nantes (DM/UnB)
Título: Nominal Equational Problems
Resumo: We consider nominal equational problems of the form \exists \vec{W}
\forall \vec{Y} :P, where P consists of conjunctions and disjunctions of
equations s\approx_\alpha t (read: ``s is \alpha-equivalent to t''),
freshness constraints a# t (read: ``a is fresh for t'') and their negations
s \not \approx_\alpha t and \neg(a# t), where a is an atom and s, t are
nominal terms. In addition to existential and universally quantified
variables, problems can also have free variables. We give a general
definition of solution parametric on the algebra used to provide semantics
to the problem, and a set of simplification rules that can be used to
compute solutions in the nominal term algebra. For the latter, we define
notions of solved form from which solutions can be easily extracted, and
show that the simplification rules are sound, preserving and complete. With
a particular strategy of application for the rules, the simplification
process terminates, specifying an algorithm to solve nominal equational
problems. In particular, the algorithm can be used to decide the validity
of a first-order equational formula in the nominal term algebra.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/row-kniu-dgm .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_Oho6t3wxsWxhsVYck2L9%2BZ9eyiK9DoYYXvPK2vAgPHg%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

2020-10-21 Por tôpico Bruno Lopes

João,

Parabéns pelo excelente trabalho! Certamente vai ser muito útil à
comunidade. E mais uma vez, obrigado por disponibilizar nas página da SBL.

Abraços,

Bruno

Em qua, 21 de out de 2020 17:33, Joao Marcos  escreveu:

> Querido Haniel:
>
> Seu elogio é muito significativo para mim.
>
> Fico sempre muito feliz em saber que você saiu aqui da UFRN para fazer
> sucesso como professor aí na UFMG, onde um dia eu próprio estudei!
>
> Muita força aí nesta tarefa,
> Joao Marcos
>
>
> On Wed, Oct 21, 2020 at 3:41 PM Haniel Barbosa 
> wrote:
> >
> > Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
> > pouco mas está bem clara a altíssima qualidade do material. Como
> > também estou nessa vida de gravar previamente as aulas (que nem se
> > comparam a estas...) dá pra ter uma boa noção do trabalho necessário
> > pra atingir esse resultado. Fica aqui minha admiração. :)
> >
> > Abraço,
> >
> > Joao Marcos writes:
> >
> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> > >
> > > Introdução Computacional à Lógica Matemática
> > >
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> > >
> > > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> > > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> > > sabor levemente computacional, cobrindo (presentemente) os temas:
> > > - relações de consequência
> > > - sintaxe lógica proposicional e de primeira ordem
> > > - o formalismo da Dedução Natural
> > > - as estruturas de interpretação (clássicas) de primeira ordem
> > > Faço observar que o material foi criado para cobrir um curso
> > > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> > > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> > > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> > > editada.
> > >
> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> > >
> > > Este material foi construído ao longo de dois meses de trabalho
> > > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> > > de Patrick Terrematte.
> > >
> > > Comentários e sugestões dos colegas que possam impactar eventuais
> > > futuras atualizações desta videopédia são sempre bem-vindos!
> > >
> > > Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> > > Joao Marcos
> > >
> > > --
> > > http://sequiturquodlibet.googlepages.com/
> >
> >
> > --
> > Haniel Barbosa
> > https://homepages.dcc.ufmg.br/~hbarbosa/
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_LhdE1krmW9JqPC1updcxArVqSpa9oHhE_kyt3N6Pv0GQQ%40mail.gmail.com
> .
>

-- 
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/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 22/10/2020 (quinta-feira) 16:00h

2020-10-19 Por tôpico Bruno Lopes

Data: 22 de outubro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Marcos Silva (DF/UFPE)
Título: Revision of Logic, Reflexive Equilibrium and Normative
Bidirectionality
Resumo: How could we rationally justify our logical principles, if the very
possibility of rational justification presupposes them? To what extent is
it possible to revise something as fundamental as logical principles? How
could we justify a set of basic principles of logic as the correct one
without circularity or infinite regress? In our paper, we will explore a
pragmatist and normative approach to the epistemic problem of justification
and revision of the most basic logical rules. We defend that logic is a
science analogous to normative disciplines as defended by Prawitz (1978)
and Peregrin e Svoboda (2017). This pragmatist method defends the revision
of logic based on the notion of reflexive equilibrium in relation to our
general theoretical considerations and local instances as particular
inferences, revising any of these elements, whenever necessary, in order to
obtain an acceptable coherence among them. We will develop the notion of
normative bidirectionality and argue that what we call upward normative
pressure adequately expresses the dynamical aspect in the revision of
logical principles.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/jtw-gsuu-umt .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-ApOVqDVN-8vza9rOS%2B1WHLDQq3YK48sdccVJDg-ZP2w%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 15/10/2020 (quinta-feira) 16:00h

2020-10-12 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 15 de outubro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Hugo Luiz Mariano (IME/USP)
Título: An algebraic framework to a theory of sets based on the surreal
numbers
Resumo: The surreal numbers constitute a linearly ordered (proper) class
$No$
containing the class of all ordinal numbers ($On$), that satisfies many
interesting properties. In an attempt to codify the universe of sets
directly within the surreal number class, we have founded some clues that
suggest that this class is not suitable for this purpose. Carefully
formalizing the definition of the class of pre-(surreal) numbers (and some
variants), which is an intermediate stage in the construction of the Conway
surreal numbers, we obtain structures which have copies of $No$ as well the
class the universe of all sets ($V$) as well as copies of the class of
surreal numbers. Thus, in particular, we gave first steps toward a certain
kind of "relative set theory", in this new setting.
The main aim of this work is to isolate and explore properties of these new
constructions and present the notion of (partial) SUR algebra, an attempt
to obtain an "algebraic theory for surreal numbers" along the lines of the
Algebraic Set Theory of Joyal and Moerdijk: to establish (abstract and
general) links between the class of all surreal numbers and a universe of
"surreal sets" similar to the relations between the classes $On$ and $V$,
of all ordinals and the class of all sets, that respects and expands the
links between the linearly ordered class $On$ and $No$ of all ordinals and
of all surreal numbers.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/sqh-iepr-ges .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-Neg7qzQtrfPf8E1-vW_JXra60X2Uw8Ax_SAr18ZFtSw%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 06/10/2020 (terça-feira) 16:00h e 08/10/2020 (quinta-feira) 11:00h

2020-10-08 Por tôpico Bruno Lopes

Caros,

A apresentação da Profa. Gisele Secco teve de ter a sala virtual alterada
para https://meet.google.com/eqh-djat-exf .

Abraços,

Bruno.

Em seg., 5 de out. de 2020 às 08:00, Bruno Lopes  escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações usualmente são
> gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> Data: 06 de outubro de 2020 (terça-feira)
> Horário: 16:00h GMT-3
> Apresentador: Cesar Alberto Bravo Pariente (UESC)
> Título: Ferramentas online para ensino –e estudo- de Lógica para Computação
> Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano
> do curso de Ciência da Computação.O conteúdo costuma focar em sistemas
> dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de
> exemplos e exercícios nesses sistemas é longo, dificultando que o aluno
> acompanhe com facilidade e identifique erros quando acontecem.Existem
> ferramentas online para alguns sistemas dedutivos que podem ser utilizados
> como ferramentas didáticas nas disciplinas de “Lógica para
> Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas
> online para desenvolver exemplos e exercícios não triviais para disciplinas
> de “Lógica para Computação”.
>
> Esta apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/amw-wuus-kap .
>
> ***
>
> Data: 08 de outubro de 2020 (quinta-feira)
> Horário: 11:00h GMT-3
> Apresentador: Gisele Secco (UFSM)
> Título: Diagramas e programas: o Teorema da Quatro Cores e suas
> circunstâncias
> Resumo: Embora seja um resultado matemático amplamente noticiado desde sua
> publicação, tendo sido assunto de controvérsias filosóficas desde então, a
> prova do Teorema das Quatro Cores (T4C) apresentada em [Appel & Haken 1977]
> e [Appel, Haken & Koch 1977] é ainda hoje fonte de questões relevantes
> tanto para a história quando para a filosofia da prática matemática. Neste
> campo de pesquisas, o uso de diagramas e de computadores são dois temas
> bastante significativos. Entretanto, a profusão de pesquisas sobre
> diagramas – dos notórios trabalhos sobre os papéis de diagramas na
> geometria Euclidiana, passando por estudos de caso em aritmética, análise,
> topologia, teoria dos nós e mesmo na Conceitografia de Frege – não é a
> mesma quando o assunto é o uso de computadores. De outra parte, o modo como
> diagramas e computadores interagem não foi até hoje objeto de análise nem
> por parte de quem busca esclarecer problemas conceituais relativos às
> práticas matemáticas nem por quem se dedica a filosofar sobre a ciência da
> computação. Tendo como cenário meus trabalhos pregressos sobre a recepção
> filosófica do T4C, esta apresentação tem a finalidade de mostrar como uma
> análise da interação entre o uso de diagramas e o uso de programas na
> confecção da prova do T4C pode, por um lado, esclarecer algumas confusões
> típicas das tradicionais controvérsias filosóficas sobre o resultado e, por
> outro, dar à luz questões de interesse filosófico cuja pertinência é
> bastante atual, como o é a questão da identidade de provas (e de programas).
>
> A apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/rie-ijro-onf .
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-T37zs3shKHo22e-aeCO1ykVe24wriOvDkBXw%2BgEn7iw%40mail.gmail.com.

Re: [Logica-l] Re: A Máquina de Turing e o que os computadores podem e não podem fazer, por Valdemar W. Setzer

2020-10-06 Por tôpico Bruno Lopes

Rogério,

Em alguns minutos o vídeo estará disponível em
https://www.youtube.com/watch?v=gMk7Apz1yUs . Todas as palestras gravadas
estão listadas na página dos seminários ( http://lq.sbl.org.br ) e na
playlist dos seminários (
https://www.youtube.com/playlist?list=PLFURnt5EmcO0CJ4JIpHhUVJC0Qztsnygi )
no canal YouTube da SBL (
http://www.youtube.com/c/SociedadeBrasileiradeLógica ).

Abraços,

Bruno.

Em ter., 6 de out. de 2020 às 17:05, Rogério Braga <
roge...@bragamatta.com.br> escreveu:

> Meu caro, boa tarde.
>
> A palestra ficou gravada em alguma plataforma?
>
> Abraços,
>
> Rogério Braga.
>
> Em segunda-feira, 5 de outubro de 2020 às 09:50:34 UTC-3, Adolfo Neto
> escreveu:
>
>> Novo link https://meet.google.com/uvb-buox-djm?authuser=3
>>
>> On Sun, Oct 4, 2020 at 1:33 PM Adolfo Neto  wrote:
>>
>>> Olá,
>>>
>>> Teremos a palestra de Valdemare Setzer nesta segunda ás 9h.
>>>
>>> A Máquina de Turing e o que os computadores podem e não podem fazer, por
>>> Valdemar W. Setzer
>>> Resumo:
>>> Histórico. O Problema da Decidibilidade de Hilbert. Surge Alan Turing. A
>>> Máquina de Turing (MT). Exercícios. Características da MT. Tipos de
>>> instruções e potência da MT. Tese de Church-Turing. A MT universal.
>>> Máquinas podem ter sensações e sentimentos? Alan Turing e o Problema da
>>> Decidibilidade. O Problema da Parada. Máquinas podem pensar e ser
>>> inteligentes? O Teste de Turing. As questões da "singularidade" e da
>>> "digitalização do cérebro". Transições não-deterministas na MT e em seres
>>> vivos. O ser humano é uma máquina?
>>>
>>>
>>> http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer
>>> Vai ser transmitida no YouTube
>>> https://www.youtube.com/watch?v=jzMluV-h46k
>>>
>>>
>>> <http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer>Quem
>>> quiser fazer perguntas ao vivo, basta responder este email (sem cópia para
>>> a lista) que mando o link do Google Meet.
>>>
>>> Abs.
>>> Adolfo
>>>
>>> --
>>> ==
>>> Adolfo Neto
>>> Associate Professor - Federal University of Technology, Paraná
>>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
>>> ==
>>>
>>
>>
>> --
>> ==
>> Adolfo Neto
>> Associate Professor - Federal University of Technology, Paraná
>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
>> ==
>>
> --
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1b4f37aa-ac22-4911-9afc-7de3ee5af777n%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1b4f37aa-ac22-4911-9afc-7de3ee5af777n%40dimap.ufrn.br?utm_medium=email_source=footer>
> .
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09HcGowMWZNZJzt%2B8pvd%2BrNTCQEQLf09m3iSAzkCmpzdQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 06/10/2020 (terça-feira) 16:00h e 08/10/2020 (quinta-feira) 11:00h

2020-10-05 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 06 de outubro de 2020 (terça-feira)
Horário: 16:00h GMT-3
Apresentador: Cesar Alberto Bravo Pariente (UESC)
Título: Ferramentas online para ensino –e estudo- de Lógica para Computação
Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano
do curso de Ciência da Computação.O conteúdo costuma focar em sistemas
dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de
exemplos e exercícios nesses sistemas é longo, dificultando que o aluno
acompanhe com facilidade e identifique erros quando acontecem.Existem
ferramentas online para alguns sistemas dedutivos que podem ser utilizados
como ferramentas didáticas nas disciplinas de “Lógica para
Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas
online para desenvolver exemplos e exercícios não triviais para disciplinas
de “Lógica para Computação”.

Esta apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/amw-wuus-kap .

***

Data: 08 de outubro de 2020 (quinta-feira)
Horário: 11:00h GMT-3
Apresentador: Gisele Secco (UFSM)
Título: Diagramas e programas: o Teorema da Quatro Cores e suas
circunstâncias
Resumo: Embora seja um resultado matemático amplamente noticiado desde sua
publicação, tendo sido assunto de controvérsias filosóficas desde então, a
prova do Teorema das Quatro Cores (T4C) apresentada em [Appel & Haken 1977]
e [Appel, Haken & Koch 1977] é ainda hoje fonte de questões relevantes
tanto para a história quando para a filosofia da prática matemática. Neste
campo de pesquisas, o uso de diagramas e de computadores são dois temas
bastante significativos. Entretanto, a profusão de pesquisas sobre
diagramas – dos notórios trabalhos sobre os papéis de diagramas na
geometria Euclidiana, passando por estudos de caso em aritmética, análise,
topologia, teoria dos nós e mesmo na Conceitografia de Frege – não é a
mesma quando o assunto é o uso de computadores. De outra parte, o modo como
diagramas e computadores interagem não foi até hoje objeto de análise nem
por parte de quem busca esclarecer problemas conceituais relativos às
práticas matemáticas nem por quem se dedica a filosofar sobre a ciência da
computação. Tendo como cenário meus trabalhos pregressos sobre a recepção
filosófica do T4C, esta apresentação tem a finalidade de mostrar como uma
análise da interação entre o uso de diagramas e o uso de programas na
confecção da prova do T4C pode, por um lado, esclarecer algumas confusões
típicas das tradicionais controvérsias filosóficas sobre o resultado e, por
outro, dar à luz questões de interesse filosófico cuja pertinência é
bastante atual, como o é a questão da identidade de provas (e de programas).

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/rie-ijro-onf .

-- 
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/CAD-Wq08u-qz9tC6tC4nXfQjAG49ZgzUkk%3DR7qEpQG9%2Bb0UdEsA%40mail.gmail.com.

[Logica-l] MESTRADO E DOUTORADO EM COMPUTAÇÃO no IC/UFF

2020-10-02 Por tôpico Bruno Lopes

MESTRADO E DOUTORADO NO INSTITUTO DE COMPUTAÇÃO DA UNIVERSIDADE FEDERAL 
FLUMINENSE

*** INSCRIÇÕES DE 12/10/2020 ATÉ 22/11/2020 ***   

A Coordenação do Programa de Pós-Graduação em Computação da Universidade 
Federal Fluminense (PGC-UFF) informa que está disponível em 
http://posgrad.ic.uff.br/inscricoes/ <http://posgrad.ic.uff.br/inscricoes/>  o 
edital de seleção para ingresso nas modalidades Mestrado e Doutorado com início 
no primeiro período do ano 2021.

Ressaltamos que o Programa de Pós Graduação em Computação da UFF está 
realizando disciplinas online e demais atividades remotas durante o período de 
isolamento social decorrente da pandemia de Covid-19.

Os formulários de inscrição estarão disponíveis online,
para o mestrado em:  http://tiny.cc/cypvoz <http://tiny.cc/cypvoz>e 
para o doutorado em: http://tiny.cc/90pvoz <http://tiny.cc/90pvoz>

O Programa de Pós-Graduação em Computação da UFF comemora 25 anos de pesquisa 
em computação, foi promovido a conceito 6 na avaliação quadrienal da CAPES em 
2017, situando-se entre os 10 melhores programas de pós-graduação em computação 
do Brasil. Recentemente, o Instituto de Computação da UFF ampliou sua 
infraestrutura, e dispõe desde 2016 de um prédio com área de 5 mil metros 
quadrados dedicados exclusivamente a laboratórios de pesquisa. Laboratórios 
temáticos nas áreas de Algoritmos e Otimização, Computação Científica, Ciência 
de Dados, Computação Visual, Engenharia de Sistemas e Informação, Inteligência 
Artificial e Sistemas de Computação estão em pleno funcionamento.

O Programa já formou mais de 165 doutores e mais de 570 mestres. Possui um 
corpo docente bastante produtivo, com 45 professores doutores, sendo 26 
bolsistas de produtividade do CNPq e 11 bolsistas do programa FAPERJ Cientista 
e Jovem Cientista do Nosso Estado, com diversas cooperações internacionais, em 
particular no âmbito do Programa CAPES/PRINT. O programa coordena três projetos 
CAPES/PRINT em parceria com universidades nos EUA, Espanha, França, Holanda e 
Reino Unido, que permitirão a oferta de mais bolsas de doutorado sanduíche, 
diversas missões de trabalho no exterior e o recebimento de pesquisadores do 
exterior como visitantes no PGC. O programa oferece bolsas de mestrado e 
doutorado com apoio de órgãos de fomento federais e estaduais e projetos de 
PD em parceria com diferentes setores produtivos.

O Programa atua nas mais diversas linhas de pesquisa tais como:
Algoritmos e Otimização
Otimização Combinatória
Grafos e Complexidade de Algoritmos
Teoria da Computação
Ciência de Dados
Análise de Dados
E-Science
Computação Científica
Computação Visual
Computação Gráfica e Jogos
Análise de Imagens e Visão Computacional
Processamento Geométrico e Visualização
Engenharia de Sistemas e Informação
Engenharia de Software
Interação Humano-Computador
Sistemas de Informação
Banco de Dados
Inteligência Artificial
Sistemas de Computação
Redes de Computadores
Segurança e Privacidade
Sistemas Distribuídos e Paralelos
Multimídia

Niterói é uma cidade de porte médio, com aproximadamente 500 mil habitantes, 
que possui um dos melhores índices de qualidade de vida do país. O PGC-UFF 
localiza-se no aprazível Campus da Praia Vermelha, a poucos minutos do centro 
da cidade. Suas instalações são confortáveis, ocupando dois prédios 
recém-inaugurados, às margens da Baía de Guanabara, e os seus laboratórios 
oferecem condições para o desenvolvimento de pesquisas de alto nível.

Maiores informações podem ser obtidas através de nossa página:  
http://posgrad.ic.uff.br/inscricoes <http://posgrad.ic.uff.br/inscricoes>

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/9B3917E3-5016-49F4-859E-07EFDF5684F7%40ic.uff.br.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 29/09/2020 11:00h e 01/10/2020 16:00h

2020-10-01 Por tôpico Bruno Lopes

Caros,

O seminário de hoje foi reagendado para a próxima terça-feira, 06 de
outubro, às 16h.



Em seg., 28 de set. de 2020 às 08:00, Bruno Lopes 
escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações usualmente são
> gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com
> a agenda completa).
>
> *** Esta semana serão excepcionalmente duas apresentações ***
>
> Data: 29 de setembro de 2020 (terça-feira)
> Horário: 11:00h GMT-3
> Apresentador: Catarina Dutilh Novaes (VU Amsterdam)
> Título: Who's afraid of adversariality? Conflict and cooperation in
> argumentation
> Resumo: Since at least the 1980s, the role of adversariality in
> argumentation has been extensively discussed. Some authors criticize
> adversarial conceptions and practices of argumentation and instead defend
> more cooperative approaches, both on moral and on epistemic grounds. Others
> retort that argumentation is inherently adversarial, and that the problem
> lies not with adversariality per se but with overly aggressive
> manifestations therof. In this paper, I defend the view that specific
> instances of argumentation are (and should be) adversarial or cooperative
> proportionally to pre-existing conflict. What determines whether an
> argumentative situation should be primarily adversarial or primarily
> cooperative are contextual features and background conditions, in
> particular the extent to which the parties involved have prior conflicting
> or convergent interests and goals. I articulate a notion of adversariality
> in terms of the relevant parties pursuing conflicting interests, and argue
> that, while cooperative argumentation is to be encouraged whenever
> possible, conflict as such is an inevitable aspect of human sociality and
> thus cannot be completely eliminated.
>
> Esta apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/gnq-cbcs-kri .
>
> ***
>
> Data: 01 de outubro de 2020 (quinta-feira)
> Horário: 16:00h GMT-3
> Apresentador: Cesar Alberto Bravo Pariente (UESC)
> Título: Ferramentas online para ensino –e estudo- de Lógica para Computação
> Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano
> do curso de Ciência da Computação.O conteúdo costuma focar em sistemas
> dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de
> exemplos e exercícios nesses sistemas é longo, dificultando que o aluno
> acompanhe com facilidade e identifique erros quando acontecem.Existem
> ferramentas online para alguns sistemas dedutivos que podem ser utilizados
> como ferramentas didáticas nas disciplinas de “Lógica para
> Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas
> online para desenvolver exemplos e exercícios não triviais para disciplinas
> de “Lógica para Computação”.
>
> Esta apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/amw-wuus-kap .
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq09hN2h9G0YAM4A5tN5NyaqHAo0RFRbLv7iSz2afQg1c5A%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 29/09/2020 11:00h e 01/10/2020 16:00h

2020-09-28 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

*** Esta semana serão excepcionalmente duas apresentações ***

Data: 29 de setembro de 2020 (terça-feira)
Horário: 11:00h GMT-3
Apresentador: Catarina Dutilh Novaes (VU Amsterdam)
Título: Who's afraid of adversariality? Conflict and cooperation in
argumentation
Resumo: Since at least the 1980s, the role of adversariality in
argumentation has been extensively discussed. Some authors criticize
adversarial conceptions and practices of argumentation and instead defend
more cooperative approaches, both on moral and on epistemic grounds. Others
retort that argumentation is inherently adversarial, and that the problem
lies not with adversariality per se but with overly aggressive
manifestations therof. In this paper, I defend the view that specific
instances of argumentation are (and should be) adversarial or cooperative
proportionally to pre-existing conflict. What determines whether an
argumentative situation should be primarily adversarial or primarily
cooperative are contextual features and background conditions, in
particular the extent to which the parties involved have prior conflicting
or convergent interests and goals. I articulate a notion of adversariality
in terms of the relevant parties pursuing conflicting interests, and argue
that, while cooperative argumentation is to be encouraged whenever
possible, conflict as such is an inevitable aspect of human sociality and
thus cannot be completely eliminated.

Esta apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/gnq-cbcs-kri .

***

Data: 01 de outubro de 2020 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Cesar Alberto Bravo Pariente (UESC)
Título: Ferramentas online para ensino –e estudo- de Lógica para Computação
Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano
do curso de Ciência da Computação.O conteúdo costuma focar em sistemas
dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de
exemplos e exercícios nesses sistemas é longo, dificultando que o aluno
acompanhe com facilidade e identifique erros quando acontecem.Existem
ferramentas online para alguns sistemas dedutivos que podem ser utilizados
como ferramentas didáticas nas disciplinas de “Lógica para
Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas
online para desenvolver exemplos e exercícios não triviais para disciplinas
de “Lógica para Computação”.

Esta apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/amw-wuus-kap .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq095GJ%2Ba37H%3D9KeyaqrdfEkYs0_WuUU1BPCE8S1r7qMQLg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 24/09/2020 (quinta-feira) 16:00h

2020-09-21 Por tôpico Bruno Lopes

Data: 24 de setembro de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Javier Legris (UBA & CONICET)
Título: Identity and Quantification in Peirce’s Beta Graphs
Resumo: The aim of this paper is to examine the diagrammatic expression of
the notions of identity and quantification in the Beta Graphs, the "line of
identity", stressing its notational features in order to see it as a
problem in what Peirce called “philosophy of notation”, and putting it in
the context of his theory of signs (or semiotics). It will be claimed that,
by the Beta Graphs, Peirce carried out an analysis of identity and
quantification in the special sense of uniqueness of decomposition. Hence,
the case of identity exemplifies the analytic feature of diagrams beyond
their operational and structural features.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/wjz-kbzj-azm .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq09O%3D-S%3DisaaSdj629gcb0Y3DtTPEugaM17HthwL9patOQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/09/2020 (quinta-feira) 16:00h

2020-09-14 Por tôpico Bruno Lopes

Data: 17 de setembro de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Damian Szmuc <https://sites.google.com/view/damianszmuc/>
(IIF-SADAF/CONICET)
Título: The fragment of Classical Logic that respects the Variable-Sharing
Principle
Resumo: We provide a logical p-matrix semantics and a Gentzen-style sequent
calculus for the first-degree entailments valid in R. Epstein's Relatedness
Logic, which incidentally coincides with the fragment of Classical Logic
that respects the Variable Sharing Principle. We achieve the former by
introducing a logical p-matrix closely related to that inducing
paracomplete weak Kleene logic, and the latter by presenting a calculus
where the left and right rules for negation are subject to linguistic
constraints.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/qjd-qfiq-vof .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq099sWeAkbz%3Dj3QGYo7SAZ23BLCvHu4crj7kJ0fZc_0mqg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/09/2020 (quinta-feira) 16:00h

2020-09-07 Por tôpico Bruno Lopes

Data: 10 de setembro de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Diogo Henrique Bispo Dias (DF/UENP & DF/USP)
Título: There is no good argument for logical monism
Resumo: The aim of this talk is to investigate some arguments for logical
monism, and to show how, with minor modifications, these arguments could be
used to defend the adequacy of different logics. Hence, as a defence of
logical monism, they all fail.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/utd-uqvh-txh .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-Bwo_tJ-0XhtjpgPEepJnmcm_0fazvAk1yvv4Q21J2tw%40mail.gmail.com.

[Logica-l] Palestra no Logic Supergroup: começando agora!

2020-09-04 Por tôpico Bruno Lopes



> Begin forwarded message:
> 
> From: Shay Logan 
> Subject: Reminder!
> Date: 4 September 2020 10:52:44 GMT-3
> To: logic-supergr...@googlegroups.com
> 
> There's one more supergroup talk this week, and it's happening in just a 
> moment!
> 
> Details: 
> 
> Speaker: Edward Hermann Haeusler (PUC-Rio)
> Title: Compressing huge Natural Deduction proofs in the Minimal Purely 
> Implicational Logic
> Time and Date: September 4th, 09:00 GMT-5
> Link: https://ksu.zoom.us/j/95139254129?pwd=SnYrS0lmSkJDNWlBVXYyL0NjYlhkZz09 
> 
> Meeting ID: 951 3925 4129
> Passcode: compress
> Abstract: We estimate the size of a labelled tree by comparing the amount of 
> (labelled) nodes with the size of the set of labels. Roughly speaking, a 
> exponentially big labelled tree, is any labelled tree that has an exponential 
> gap between its size, number of nodes, and the size of its labelling set. The 
> number of sub-formulas of any formula is linear on the size of it, and hence 
> any exponentially big proof has a size $a^n$, where $a>1$ and $n$ is the size 
> of its conclusion. In this article, we show that the linearly height labelled 
> trees whose sizes have an exponential gap with the size of their labelling 
> sets posses at least one sub-tree that occurs exponentially many times in 
> them. Natural Deduction normal proofs and derivations in minimal 
> implicational logic ($M_\supset$) are essentially labelled trees. By the 
> sub-formula principle any normal derivation of a formula $\alpha$ from a set 
> of formulas $\Gamma=\{\gamma_1,\ldots,\gamma_n\}$ in $M_\supset$, 
> establishing $\Gamma\vdash_{M_\supset}\alpha$, has only sub-formulas of the 
> formulas $\alpha,\gamma_1,\ldots,\gamma_n$ occurring in it. By this 
> relationship between labelled trees and normal derivations in $M_\supset$, we 
> show that any normal proof of a tautology in $M_\supset$ that is exponential 
> on the size of its conclusion has a sub-proof that occurs exponentially many 
> times in it. Thus, any normal and linearly height bounded proof in 
> $M_\supset$ is inherently redundant. Finally, we show how this redundancy 
> provides us with a highly efficient compression method for propositional 
> proofs. We also provide some examples that serve to convince us that 
> exponentially big proofs are more frequent than one can imagine. We conclude 
> by providing reasons to believe that the compression method discussed here 
> can be applied to super-polynomial proofs. 
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Logic Supergroup" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to logic-supergroup+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/logic-supergroup/CAMTR993AqdywQW7PToGiWRCSspLTde3n6ne-_xZOrzgGnaQLKg%40mail.gmail.com
>  
> .

-- 
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/4D83DA44-B82D-4524-9AB1-B15CB509F455%40ic.uff.br.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 03/09/2020 (quinta-feira) 16:00h

2020-08-31 Por tôpico Bruno Lopes

Data: 03 de setembro de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Giovanni Sambin (Università degli Studi di Padova)
Título: Intuitionistic logic as abstraction, classical logic as idealization
Resumo: For a long time I have been trying to develop a
dynamic-evolutionary vision of logic and mathematics. One outcome is that
the process of abstraction, i.e. forgetting details of information to
simplify the manipulation of concepts, should be distinguished from
idealisation, i.e. adding properties to simplify the theory in which
concepts are treated.

Using this distinction, one can address with some novelty the much debated
theme of arguments in favour of classical or intuitionistic logic. The main
thesis here is that classical logic corresponds to an idealisation of truth
of propositions, while intuitionistic logic corresponds to an abstraction
of the relationship between a proposition and its proofs.

This study makes sense only if one adopts Kosta Došen's principle that a
logic is determined only by its structural rules, being the rules for
logical constants common to all logics (I will use here some slides from my
lecture in Rio de Janeiro, April 2013). General theory says that ideal
mathematics should be conservative over real mathematics. It remains an
open problem to determine whether a notion of conservativity, to be
formulated in a suitable way, of classical logic over intuitionistic logic
is valid.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/abk-oaru-xkb .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08321d7PAxmO8JvrHexJXrTRZMx48UOsN%3DNEsAWkGCS%2Bg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/08/2020 (terça-feira) 16:00h

2020-08-24 Por tôpico Bruno Lopes

Data: 25 de agosto de 2020 (terça-feira)
Horário: 16:00h
Apresentador: Rehana Patel (African Institute for Mathematical Sciences)
Título: Combining Logic and Probability in the Presence of Symmetry Resumo:
Among the many approaches to combining logic and probability, an important
one has been to assign probabilities to formulas of a classical logic,
instantiated from some fixed domain, in a manner that respects logical
structure. A natural additional condition is to require that the
distribution satisfy the symmetry property known as exchangeability. In
this talk I will trace some of the history of this line of investigation,
viewing exchangeability from a logical perspective, and report on the
current status of a joint program of Ackerman, Freer and myself on
countable exchangeable structures.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/ndj-ryap-dch .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08UPzFr%3DXpR-AryFbkHYTJVQ4-yOdmJKQONtm-Qzs%2B6GA%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 20/08/2020 (quinta-feira) 16:00h

2020-08-17 Por tôpico Bruno Lopes

A palestra estará acessível pelo link público
http://meet.google.com/ijx-mwhr-fjg .

Em seg., 17 de ago. de 2020 às 08:00, Bruno Lopes 
escreveu:

> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações serão gravadas
> e estarão disponíveis na página do evento http://lq.sbl.org.br  (com a
> agenda completa).
>
> Data: 20 de agosto de 2020
> Horário: 16:00h
> Apresentador: Jeremy Avigad (Carnegie Mellon University)
> Título: Formal Mathematics and the Lean Theorem Prover
> Resumo: Since the early twentieth century, it has been understood that
> mathematical statements can be expressed in formal languages, and
> mathematical proofs can be represented in formal deductive systems with
> precise rules and semantics, at least in principle. Remarkably, the
> development of computational proof assistants over the last few decades has
> made it possible to do this in practice. The technology is firmly based on
> the methods and concepts of modern logic, and in many ways the practice
> represents the contemporary embodiment of the foundational tradition.
> In this informal talk, I will provide a brief overview of interactive
> theorem proving and the body of logic that supports it. I will then discuss
> a particular theorem prover, Lean, its formal library, mathlib, which are
> attracting a growing community of mathematical users. The Lean community
> web pages provide a good starting point for more information:
> https://leanprover-community.github.io/.
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq08GAR6Q9BoimzXNGD12ZBUUomP5isR%2BxX4SZu3yXAq9JA%40mail.gmail.com.

[Logica-l] Escola de Inverno do PPGC/UFF 2020-2 - Conteúdo disponível no YouTube

2020-08-17 Por tôpico Bruno Lopes

Prezados colegas,

Na semana de 10 a 14 de agosto de 2020, realizamos a quarta edição da
Escola de Verão/Inverno do Programa de Pós-Graduação em Computação da UFF
(PPGC/UFF) <http://ev-ppgc.ic.uff.br/2020-2>. O evento teve como objetivo
oferecer aos nossos novos mestrandos e doutorandos noções sobre métodos,
processos, tecnologias e ferramentas que podem contribuir para o
desenvolvimento de suas pesquisas.

O evento incluiu um Curso de Metodologia da Pesquisa em Computação, uma
trilha de Tutoriais e uma trilha de Painéis. Especialistas sobre o tema, de
diferentes instituições de ensino, colaboraram para viabilizar a realização
do curso de metodologia, composto por 20 palestras que abordaram aspectos
fundamentais das diversas etapas da pesquisa científica em computação. Os
tutoriais, em número de 8, apresentaram conceitos básicos e exemplos de uso
de ferramentas e técnicas que podem ser empregadas no apoio à pesquisa.
Finalmente, um conjunto de 5 painéis, envolvendo membros do PPGC-UFF e
convidados de outras instituições de renome, fomentou a discussão de temas
relevantes para a pesquisa em Computação no Brasil.

Essa edição foi realizada integralmente online e todas as apresentações
foram gravadas. Convidamos todos os interessados a acessar esse conteúdo,
que está disponível no canal YouTube do Instituto de Computação da UFF [link
<https://www.youtube.com/channel/UChW1_qGA-ey9hTPRG3qvtKg>].

Cada uma das trilhas pode ser assistida sequencialmente através das
seguintes playlists:

   - Curso de Metodologia da Pesquisa em Computação 2020-2 [link
   
<https://www.youtube.com/watch?v=8XpO2LLOhDw=PLclUQno6PMpQO0-XrDwWsPzRzEvjwp1__>
   ]
   - Tutoriais da Escola de Inverno do PPGC/UFF 2020-2 [link
   
<https://www.youtube.com/watch?v=tyJ7ZmUTotU=PLclUQno6PMpSekQpB3kZALGCO3A6Hw4-C>]

   - Painéis da Escola de Inverno do PPGC/UFF 2020-2 [link
   
<https://www.youtube.com/watch?v=Gnt9RSy_i4w=PLclUQno6PMpRW3z-oNtmXF4av1x40wDXS>]



Abaixo indicamos os links diretos para cada uma das apresentações.

*Curso de Metodologia de Pesquisa em Computação*

   - O Método Científico [link <https://youtu.be/wfb3QmYWVVg>] - Clodis
   Boscarioli (Unioeste)
   - Pesquisa como Resolução de Problemas [link
   <https://youtu.be/W0kcg-lHmis>] - Roberto Pereira (UFPR)
   - Design de Pesquisas [link <https://youtu.be/ZZ53FvZ7YYE>] - Renata
   Araujo (Mackenzie)
   - Design de Experimentos [link <https://youtu.be/WpJ1skhVKkg>] - Andreia
   Malucelli e Sheila Reinehr (PUCPR)
   - Ética, Diversidade e Responsabilidade na Pesquisa [link
   <https://youtu.be/kK7tOsITmOk>] - Flavia Santoro (UERJ)
   - Revisão Sistemática da Literatura [link <https://youtu.be/XFRmnjh7Ph0>]
   - Érica Mourão (UFF)
   - Como ler um artigo científico [link <https://youtu.be/eadVmuwEuAI>] -
   Guilherme Galante (Unioeste)
   - Avaliação de Algoritmos, Prototipação e Simulação [link
   <https://youtu.be/Qvrvic7_zGk>] - Bruno Lopes e Igor Coelho (UFF)
   - Estudo de Caso: Teoria e Aplicações [link
   <https://youtu.be/mkNjeqobt9Y>] - Marcia R. Kaminski (Unioeste)
   - Instrumentos de coleta de dados [link <https://youtu.be/WnIgO7vbaKY>]
   - Cristiano Maciel e Sabrina Bourscheid Sassi (UFMT)
   - Métodos Quantitativos, Módulo I [link <https://youtu.be/8QVtn-3EdKc>]
   e Módulo II [link <https://youtu.be/MSd7cx3dmDI>] - Ana Paula Sobral
   (UFF)
   - Pesquisa Qualitativa em Ciência da Computação, Módulo I [link
   <https://youtu.be/1feCpvpb4ns>] e Módulo II  [link
   <https://youtu.be/aK4Npnkimhg>] - Luciana Salgado (UFF)
   - Análise de Dados com Grounded Theory [link
   <https://youtu.be/E4BQhy34u1g>] - Tânia Pinheiro (UFC)
   - Boas Práticas para o Compartilhamento de Dados de Pesquisa [link
   <https://youtu.be/57A6-2xUxjo>] - Troy Kohwalter (UFF)
   - A Escrita Acadêmica - [link <https://youtu.be/qAprWJ0DRZQ>] Roberto
   Pereira (UFPR)
   - Publicação e divulgação científica [link <https://youtu.be/6lXf4HzNOfU>]
   - José Viterbo (UFF)
   - Como apresentar um artigo científico [link
   <https://youtu.be/8XpO2LLOhDw>] - Alane Marie de Lima (UFPR)
   - Ciência Aberta [link <https://youtu.be/KjiL-xeJZV0>] - Marcos Sunye
   (UFPR)

*Coordenação: Profs. Clodis Boscarioli (Unioeste), Cristiano Maciel (UFMT),
José Viterbo (UFF) e Roberto Pereira (UFPR)*


*Tutoriais*

   - Gestão de Projetos de Pesquisa com Trello [link
   <https://youtu.be/tyJ7ZmUTotU>] - MSc. Jane Volotão
   - Revisão Sistemática da Literatura com Parsifal [link
   <https://youtu.be/u3TYaJpJwEA>] - MSc. Mônica Silva
   - Execução de Experimentos na Nuvem [link <https://youtu.be/koSaiA8aQnU>]
   - Eng. Igor Garcia
   - Análise Exploratória de Dados com Python [link
   <https://youtu.be/OWvwvUp7Y2Q>] - MSc. Leandro Botelho
   - Visualização e Interpretação de Dados com Python [link
   <https://youtu.be/sP5cKfomlcc>] - MSc.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 20/08/2020 (quinta-feira) 16:00h

2020-08-17 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 20 de agosto de 2020
Horário: 16:00h
Apresentador: Jeremy Avigad (Carnegie Mellon University)
Título: Formal Mathematics and the Lean Theorem Prover
Resumo: Since the early twentieth century, it has been understood that
mathematical statements can be expressed in formal languages, and
mathematical proofs can be represented in formal deductive systems with
precise rules and semantics, at least in principle. Remarkably, the
development of computational proof assistants over the last few decades has
made it possible to do this in practice. The technology is firmly based on
the methods and concepts of modern logic, and in many ways the practice
represents the contemporary embodiment of the foundational tradition.
In this informal talk, I will provide a brief overview of interactive
theorem proving and the body of logic that supports it. I will then discuss
a particular theorem prover, Lean, its formal library, mathlib, which are
attracting a growing community of mathematical users. The Lean community
web pages provide a good starting point for more information:
https://leanprover-community.github.io/.

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq08StzCDT216o_3S0ETieyPvnp5zPDqPg7kNs1-%2BcHysVQ%40mail.gmail.com.

Re: [Logica-l] Escola de Inverno do PPGC/UFF - 10 a 14/08

2020-08-12 Por tôpico Bruno Lopes

Muito obrigado, Gisele!

Eu participei da organização de uma pequena parte. É uma equipe grande que
está tocando essa iniciativa.

Abraços,

Bruno.

Em qua, 12 de ago de 2020 11:14, Gisele Secco 
escreveu:

> Parabéns pela organização do evento, Bruno, está excelente!
>
> Le ven. 7 août 2020 à 20:05, Bruno Lopes  a écrit :
>
>> *Escola de Inverno do PPGC/UFF 2020-2*
>>
>> No semana de 10 a 14 de agosto, realizaremos mais uma edição da Escola de
>> Inverno do Programa de Pós-Graduação em Computação da UFF (PPGC/UFF). Esse
>> evento tem por principal objetivo oferecer aos alunos ingressantes em nosso
>> programa noções sobre tecnologias, ferramentas, métodos ou processos que
>> possam contribuir para o desenvolvimento de suas pesquisas de mestrado ou
>> doutorado, nas diversas áreas de concentração.
>>
>> Destaca-se no evento um Curso de Metolodogia da Pesquisa em Computação,
>> que compreende 20 palestras abordando aspectos fundamentais das diversas
>> etapas que compõem a pesquisa científica em computação. Especialistas de
>> diferentes instituições de ensino estão colaborando para viabiliazar a
>> elaboração desse curso.
>>
>> Além disso, 8 tutoriais apresentarão os conceitos básicos e exemplos de
>> uso de ferramentas e técnicas que podem ser empregadas no apoio à pesquisa.
>>
>> Finalmente, 5 painéis, envolvendo membros do PPGC-UFF e convidados de
>> outras instituições de renome, discutirão temas relevantes para a pesquisa
>> em computação no Brasil.
>>
>> Essa edição será integralmente transmitida ao vivo pelo YouTube, no canal
>> do Instituto de Computação da UFF [link
>> <https://www.youtube.com/channel/UChW1_qGA-ey9hTPRG3qvtKg>]
>>
>> Para assistir, não é necessário realizar inscrição, mas é possível
>> acessar o link de cada transmissão com antecedência e --- usando a opção
>> "Definir Lembrete" --- programar o envio de uma notificação quando as
>> transmissões tiverem início. Os vídeos ficarão disponíveis no YouTube após
>> a apresentação.
>>
>> Abaixo estão disponíveis os links para cada apresentação.
>>
>> -
>>
>> *Painéis*
>>
>>- Excelência em Pesquisa em Computação [link
>><https://youtu.be/fIq7npI4lMY>]. Mediação: Débora Saade (UFF).
>>Painelistas: Artur Ziviani (LNCC), Celio Albuquerque (UFF) e Luciana 
>> Salete
>>Buriol (UFRGS).
>>- A Inovação em Computação Aplicada à Indústria [link
>><https://youtu.be/qgGs6f929ks>]. Mediação: Esteban Clua (UFF).
>>Painelistas: Marcelo Sales (CyberLabs) e Pedro Mário Cruz e Silva 
>> (NVIDIA).
>>- Desafios da Computação no Cenário de Cidades Inteligentes [link
>><https://youtu.be/qgGs6f929ks>]. Mediação: Flavia Bernardini (UFF).
>>Painelistas: Flávia Delicato (UFF), Luis Satoru (UFF) e Thais Batista
>>(UFRN).
>>- Aplicações e Desafios de Pesquisa na Computação em Nuvem e Alto
>>Desempenho [link <https://youtu.be/ydhHtRv_CkY>] . Mediação: Lúcia
>>Drummond (UFF). Painelistas: Alba Cristina Melo (UnB) e Philippe Navaux
>>(UFRGS).
>>- A Computação e a pesquisa aplicada no Combate ao COVID [link
>><https://youtu.be/Gnt9RSy_i4w>]. Mediação: Aura Conci (UFF).
>>Painelistas: Cristina Asvolinsque Pantaleão Fontes (UFF), Fabio Porto
>>(LNCC) e Paula Cristina dos Santos (USP).
>>
>> *Coordenação: Profs. Daniel Oliveira e José Viterbo (UFF)*
>> *Horário: Segunda-feira 10/08 a Sexta 14/08, das 18h00 às 20h00.*
>>
>>
>> *Curso de Metodologia de Pesquisa em Computação*
>>
>>- O Método Científico [link <https://youtu.be/wfb3QmYWVVg>] - Clodis
>>Boscarioli (Unioeste)
>>- Pesquisa como Resolução de Problemas [link
>><https://youtu.be/W0kcg-lHmis>] - Roberto Pereira (UFPR)
>>- Design de Pesquisas [link <https://youtu.be/ZZ53FvZ7YYE>] - Renata
>>Araujo (Mackenzie)
>>- Design de Experimentos [link <https://youtu.be/WpJ1skhVKkg>] -
>>Andreia Malucelli e Sheila Reinehr (PUCPR)
>>- Ética, Diversidade e Responsabilidade na Pesquisa [link
>><https://youtu.be/kK7tOsITmOk>] - Flávia Santoro (UERJ)
>>- Revisão Sistemática da Literatura [link
>><https://youtu.be/XFRmnjh7Ph0>] - Erica Mourão (UFF)
>>- Como ler um artigo científico [link <https://youtu.be/eadVmuwEuAI>]
>>- Guilherme Galante (Unioeste)
>>- Avaliação de Algoritmos, Prototipação e Simulaçã [link
>><https://youtu.be/Qvrvic7_zGk>] - Bruno Lopes e Igor Coelho (UFF)
>>

[Logica-l] Seminário remoto "Lógicos em Quarentena" 13/08/2020 (quinta-feira) 16:00h

2020-08-10 Por tôpico Bruno Lopes

Data: 13 de agosto de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Brendan Fong <http://www.brendanfong.com/> (MIT)
Título: Backprop as Functor: A compositional perspective on supervised
learning
Resumo: Backprop as Functor: A compositional perspective on supervised
learning
Resumo: A supervised learning algorithm searches over a set of functions
A→B parametrised by a space P to find the best approximation to some ideal
function f:A→B. It does this by taking examples (a,f(a))∈A×B, and updating
the parameter according to some rule. We define a category where these
update rules may be composed, and show that gradient descent---with respect
to a fixed step size and an error function satisfying a certain
property---defines a monoidal functor from a category of parametrised
functions to this category of update rules. This provides a structural
perspective on backpropagation, as well as a broad generalisation of neural
networks.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/qhk-kstn-ahy .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_ue34ULWTgO5qySk9G3SjACkfYE4vnf9v_iu%3DU3wmxKA%40mail.gmail.com.

[Logica-l] Escola de Inverno do PPGC/UFF - 10 a 14/08

2020-08-07 Por tôpico Bruno Lopes

*Escola de Inverno do PPGC/UFF 2020-2*

No semana de 10 a 14 de agosto, realizaremos mais uma edição da Escola de
Inverno do Programa de Pós-Graduação em Computação da UFF (PPGC/UFF). Esse
evento tem por principal objetivo oferecer aos alunos ingressantes em nosso
programa noções sobre tecnologias, ferramentas, métodos ou processos que
possam contribuir para o desenvolvimento de suas pesquisas de mestrado ou
doutorado, nas diversas áreas de concentração.

Destaca-se no evento um Curso de Metolodogia da Pesquisa em Computação, que
compreende 20 palestras abordando aspectos fundamentais das diversas etapas
que compõem a pesquisa científica em computação. Especialistas de
diferentes instituições de ensino estão colaborando para viabiliazar a
elaboração desse curso.

Além disso, 8 tutoriais apresentarão os conceitos básicos e exemplos de uso
de ferramentas e técnicas que podem ser empregadas no apoio à pesquisa.

Finalmente, 5 painéis, envolvendo membros do PPGC-UFF e convidados de
outras instituições de renome, discutirão temas relevantes para a pesquisa
em computação no Brasil.

Essa edição será integralmente transmitida ao vivo pelo YouTube, no canal
do Instituto de Computação da UFF [link
<https://www.youtube.com/channel/UChW1_qGA-ey9hTPRG3qvtKg>]

Para assistir, não é necessário realizar inscrição, mas é possível acessar
o link de cada transmissão com antecedência e --- usando a opção "Definir
Lembrete" --- programar o envio de uma notificação quando as transmissões
tiverem início. Os vídeos ficarão disponíveis no YouTube após a
apresentação.

Abaixo estão disponíveis os links para cada apresentação.

-

*Painéis*

   - Excelência em Pesquisa em Computação [link
   <https://youtu.be/fIq7npI4lMY>]. Mediação: Débora Saade (UFF).
   Painelistas: Artur Ziviani (LNCC), Celio Albuquerque (UFF) e Luciana Salete
   Buriol (UFRGS).
   - A Inovação em Computação Aplicada à Indústria [link
   <https://youtu.be/qgGs6f929ks>]. Mediação: Esteban Clua (UFF).
   Painelistas: Marcelo Sales (CyberLabs) e Pedro Mário Cruz e Silva (NVIDIA).
   - Desafios da Computação no Cenário de Cidades Inteligentes [link
   <https://youtu.be/qgGs6f929ks>]. Mediação: Flavia Bernardini (UFF).
   Painelistas: Flávia Delicato (UFF), Luis Satoru (UFF) e Thais Batista
   (UFRN).
   - Aplicações e Desafios de Pesquisa na Computação em Nuvem e Alto
   Desempenho [link <https://youtu.be/ydhHtRv_CkY>] . Mediação: Lúcia
   Drummond (UFF). Painelistas: Alba Cristina Melo (UnB) e Philippe Navaux
   (UFRGS).
   - A Computação e a pesquisa aplicada no Combate ao COVID [link
   <https://youtu.be/Gnt9RSy_i4w>]. Mediação: Aura Conci (UFF).
   Painelistas: Cristina Asvolinsque Pantaleão Fontes (UFF), Fabio Porto
   (LNCC) e Paula Cristina dos Santos (USP).

*Coordenação: Profs. Daniel Oliveira e José Viterbo (UFF)*
*Horário: Segunda-feira 10/08 a Sexta 14/08, das 18h00 às 20h00.*


*Curso de Metodologia de Pesquisa em Computação*

   - O Método Científico [link <https://youtu.be/wfb3QmYWVVg>] - Clodis
   Boscarioli (Unioeste)
   - Pesquisa como Resolução de Problemas [link
   <https://youtu.be/W0kcg-lHmis>] - Roberto Pereira (UFPR)
   - Design de Pesquisas [link <https://youtu.be/ZZ53FvZ7YYE>] - Renata
   Araujo (Mackenzie)
   - Design de Experimentos [link <https://youtu.be/WpJ1skhVKkg>] - Andreia
   Malucelli e Sheila Reinehr (PUCPR)
   - Ética, Diversidade e Responsabilidade na Pesquisa [link
   <https://youtu.be/kK7tOsITmOk>] - Flávia Santoro (UERJ)
   - Revisão Sistemática da Literatura [link <https://youtu.be/XFRmnjh7Ph0>]
   - Erica Mourão (UFF)
   - Como ler um artigo científico [link <https://youtu.be/eadVmuwEuAI>] -
   Guilherme Galante (Unioeste)
   - Avaliação de Algoritmos, Prototipação e Simulaçã [link
   <https://youtu.be/Qvrvic7_zGk>] - Bruno Lopes e Igor Coelho (UFF)
   - Estudo de Caso: Teoria e Aplicações [link
   <https://youtu.be/mkNjeqobt9Y>] - Marcia R. Kaminski (Unioeste)
   - Instrumentos de coleta de dados [link <https://youtu.be/WnIgO7vbaKY>]
   - Cristiano Maciel e Sabrina Bourscheid Sassi (UFMT)
   - Métodos Quantitativos, Módulo I [link <https://youtu.be/8QVtn-3EdKc>]
   e Módulo II [link <https://youtu.be/MSd7cx3dmDI>] - Ana Paula Sobral
   (UFF)
   - Pesquisa Qualitativa em Ciência da Computação, Módulo I [link
   <https://youtu.be/1feCpvpb4ns>] e Módulo II  [link
   <https://youtu.be/aK4Npnkimhg>] - Luciana Salgado (UFF)
   - Análise de Dados com Grounded Theory [link
   <https://youtu.be/E4BQhy34u1g>] - Tânia Pinheiro (UFCE)
   - Boas Práticas para o Compartilhamento de Dados de Pesquisa [link
   <https://youtu.be/57A6-2xUxjo>] - Troy Kohwalter (UFF)
   - A Escrita Acadêmica - [link <https://youtu.be/qAprWJ0DRZQ>] Roberto
   Pereira (UFPR)
   - Publicação e divulgação científica [link <https://youtu.be/6lXf4HzNOfU>]
   - José Viterbo (UFF)
   - C

[Logica-l] Seminário remoto "Lógicos em Quarentena" 06/08/2020 (quinta-feira) 16:00h

2020-08-03 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 06 de agosto de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Carlos Areces (UNC & CONICET)
Título: Henkin Completeness in Modal Logic (with an application to
semi-structured databases)
Resumo: Saul Kripke published in 1959 a proof of completeness for
first-order S5 modal logic [7] and in 1963 he extended the method to cover
the propositional modal systems T, S4, S5, and B [8]. His method employed a
generalization of Beth’s tableaux and completeness was established by
showing how to derive a proof from a failed attempt to find a counter
model. In 1966, Kaplan criticized Kripke’s proof in his review of Kripke’s
article [6] and suggested a different and, arguably, more elegant approach
based on an adaptation of Henkin’s model theoretic completeness proof for
first-order logic [5]. (Actually, completeness proof for S5 following
Henkin’s ideas had already been published in 1959 in an article by Bayart
[2], and other proofs were published at about the same time of Kaplan’s by
Makinson in 1966 [9] and Cresswell in 1967 [4].) Henkin’s proof of
completeness for first-order logic used to important ideas: 1) that a
consistent set of formulas can be extended to a maximally consistent set of
formulas, and 2) that existential quantifiers can be witnessed using
constants, which can then be used to form the domain of the model. The
first of these two ideas is fundamental in modern completeness proofs for
classical propositional modal logics which build a canonical model
(satisfying all consistent formulas) that has as domain the (uncountable)
set of all maximally consistent sets of formulas. The second idea
(witnesses) seemed less useful in the propositional setting — till the
arrival of hybrid modal logics [1]. One of the main characteristics of
hybrid modal logics is the inclusion of nominals which are special
propositional symbols that name particular states in the model. This
“naming” is achieved by restricting the interpretation of nominals to be
singleton sub- sets of the domain. Nominals can be used as witnesses for
the modal existential oper- ators and, in this way, the completeness
construction needs to build just a single maximal, witnessed consistent set
of formulas from which a countable model is built (see, e.g., [3, Chap 7.3]
and [10]). As a side-effect a particularly strong completeness result can
be proved, that establishes that it is possible to give a complete
axiomatic system for the basic hybrid logic, which remains complete under
the extension with a particular family of axioms w.r.t. the corresponding
class of models. Together with Raul Fervari, we have recently extended
these results to provide general strong completeness results for an
axiomatization of XPath, a query language for semi-structured databases.
[1] C. Areces and B. ten Cate., Hybrid logics, Handbook of Modal Logics,
(P. Blackburn, F. Wolter, and J. van Benthem), Elsevier, 2006, pp. 821–868.
[2] A. Bayart, Quasi-adequation de la logique modale de 2eme ordre, Logique
et analyse, vol. 2 (1959), no. 6/7 pp. 99–121. [3] P. Blackburn, M. De
Rijke, and Y. Venema, Modal Logic, Cambridge University Press, Cambridge,
2002. [4] M. Cresswell, A Henkin completeness for T , Notre Dame Journal of
For- mal Logic, vol. 8 (1967), no. 3 pp. 186–190. [5] L. Henkin, The
completeness of the first-order functional calculus, The Journal of
Symbolic Logic, vol. 14 (1949), no. 3, pp. 159–166. [6] D. Kaplan, Review:
Saul A. Kripke, semantical analysis of modal logic i. normal modal
propositional calculi, The Journal of Symbolic Logic, vol. 31 (1966), no.
1, pp. 120–122. [7] S. Kripke, A completeness theorem in modal logic, The
Journal of Symbolic Logic, vol. 24 (1959), no. 1, pp. 1–14. [8] S. Kripke,
Semantical analysis of modal logic i. normal modal propositional calculi,
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, vol. 9
(1963), no. 5-6, pp. 67–96. [9] D. Makinson, On some completeness theorems
in modal logic, Zeitschrift fur mathematische Logik und Grundlagen der
Mathematik, vol. 12 (1966), no. 1, pp. 379–384. [10] B. ten Cate, Model
theory for extended modal languages. PhD thesis, University of Amsterdam,
2005.
A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/eoq-uibs-atw .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar

[Logica-l] Seminário remoto "Lógicos em Quarentena" 30/07/2020 (quinta-feira) 16:00h

2020-07-27 Por tôpico Bruno Lopes

Data: 30 de julho de 2020 (quinta-feira)
Horário: 16:00hApresentador: Frank Thomas Sautter (DF/UFSM)
Título: Keynes e Peirce sobre informação e lógica
Resumo: Examinarei dois textos – o primeiro deles do final do século XIX e
o outro do início do século XX – que relacionam informação e lógica. No
manual de lógica Studies and Exercises in Formal Logic, de 1906, John
Neville Keynes utiliza diagramas de Euler a dois termos como infons
(unidades mínimas de informação) para estabelecer as relações do quadrado
de oposições e as inferências imediatas. Primeiro: incorporarei novos
infons de modo a retirar o pressuposto existencial dos termos envolvidos;
isso retira a vigência das relações de oposição, à exceção da oposição
contraditória, e retira a vigência de certas inferências imediatas, tal
como as conversões por limitação. Por outro lado, ganha-se com o equilíbrio
do nível informacional dos diferentes tipos de proposições categóricas.
Segundo: estenderei o tratamento de Keynes ao caso de silogismos, ao
identificar quarenta e dois infons sob a forma de diagramas de Euler a três
termos. Na palestra Upon Logical Comprehension and Extension, de 1867,
Charles Sanders Peirce analisa a contribuição de elementos
subproposicionais para a constituição de informação, sob a forma de largura
e profundidade essenciais dos termos, largura e profundidade informadas dos
termos, e largura e profundidade substanciais dos termos. Utilizarei a
lógica contemporânea para reconstituir os pontos altos desse texto de
Peirce.
A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/aim-qbvk-ufm .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_dWPV6D%3DpE%3D46-JhGsDG6zu5ZrmGZcd6t-i0NXX12s%2BA%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/07/2020 (quinta-feira) 16:00h

2020-07-20 Por tôpico Bruno Lopes

Data: 23 de julho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Alejandro Díaz-Caro (ICC - CONICET/UBA - & UNQ)
Título: Extensional proofs in a propositional logic modulo isomorphisms
Resumo: Joint work with Gilles Dowek. System I is a proof language for a
fragment of propositional logic where isomorphic propositions, such as A∧B
and B∧A, or A⇒(B∧C) and (A⇒B)∧(A⇒C) are made equal. System I enjoys the
strong normalization property. This is sufficient to prove the existence of
empty types, but not to prove the introduction property (every normal
closed term is an introduction). Moreover, a severe restriction had to be
made on the types of the variables in order to obtain the existence of
empty types. We show here that adding η-expansion rules to System I permit
to drop this restriction and to retrieve full introduction property.
Preprint at arXiv.org:2002.03762.
A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/keg-nezd-dnz .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-UnZ13FUKWu9Kbjxb4xJbZ-Y-1G2T5Zse0DUHK-n-jpQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 16/07/2020 (quinta-feira) 16:00h

2020-07-13 Por tôpico Bruno Lopes

Data: 16 de julho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Prof. Mario Benevides (IC/UFF)
Título: What makes a Logic Dynamic?
Resumo: In recent years, many dynamic logics have been proposed in fields
like Computer Science, Philosophy, Physics and Formal Biology. In this
talk, we discuss three broad categories where dynamic logics have been
developed: dynamic logics for program/process specification, dynamic Logics
for reasoning about actions in AI, multi-agent epistemic logic and dynamic
epistemic logics. Wepresent some standard extension of Propositional
Dynamic Logic. Second, we introduce a Dynamic Logic in which the programs
are terms in some process algebras: CCS (Calculus for Communicating
Systems) and pi-Calculus specifications. We discuss how to match the notion
of bisimulation between two processes in CCS with the notion of logically
equivalent processes in PDL. A apresentação ocorrerá pelo Google Meet
através do link público https://meet.google.com/tbn-fbee-dov

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-7Nxv5EECSjo13arVw3r%2B_ijP5NUtN_XP08Fk3BQD_YQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 09/07/2020 (quinta-feira) 16:00h

2020-07-06 Por tôpico Bruno Lopes

Data: 09 de julho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Profa. Johanna Franklin (Hofstra University)
Título: Randomness and computability theory
Resumo: Computability theory provides us with a framework for formalizing
our intuitions about randomness. In this talk, I will discuss different
ways in which this is done and present some tests to determine whether a
particular formalization seems reasonable.
A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/jnd-aopk-efq .Caso você deseje contribuir com uma
apresentação, por favor preencha o formulário disponível em
https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-dVAeg4pXfHUbczUbTN2WqueXKt3zGHb8trjGqxnmMaQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 02/07/2020 (quinta-feira) 16:00h

2020-06-29 Por tôpico Bruno Lopes

Data: 02 de julho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Prof. Gilles Dowek (LSV, CNRS & ENS Paris-Saclay)
Título: Logipedia: towards a Wikipedia of formal proofs
Resumo: Formal computerized proofs are now a central tool in computer
science and in mathematics. But, each system – Coq, HOL Light,
Isabelle/HOL,PVS... – implements its own language and its own theory,
limiting the interoperability between systems and the sustainability of
these proofs. Logipedia is an, in progress, encyclopedia of formal proofs,
expressed in various theories. It is based on the idea to express these
theories in a new logical framework allowing bound variables, explicit
proof-terms, computation rules, and peaceful co-existence of constructive
and non constructive proofs.
A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/bcn-yfqx-ruz .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq096eusC6q7enoa3tnXPb74BDZMLMKaAKt2xsfQ7Y769xw%40mail.gmail.com.

[Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 25/06/2020 (quinta-feira) 16:00h

2020-06-24 Por tôpico Bruno Lopes

Prezados, o seminário será amanhã, quinta-feira, 25/06. O “quarta-feira” na 
mensagem foi erro de digitação.

Abraços,

Bruno.

> On 22 Jun 2020, at 08:00, Bruno Lopes  wrote:
> 
> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de 
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de 
> convidar a todos a participarem do Seminário "Lógicos em Quarentena". 
> Trata-se de um seminário remoto com apresentações informais por membros da 
> comunidade e espaço para perguntas no fim. As apresentações serão gravadas e 
> estarão disponíveis na página do evento http://lq.sbl.org.br 
> <http://lq.sbl.org.br/> (com a agenda completa).
> 
> Data: 25 de junho de 2020 (quarta-feira)
> Horário: 16:00h
> Apresentador: Prof. Aldo Dinucci (DF/UFS)
> Título: A Condicional Estoica
> Resumo: Crisipo desenvolveu um dos grandes sistemas lógicos da Antiguidade. 
> Entre suas contribuições, temos sua concepção de condicional. Divergindo de 
> Philo de Mégara, cujo conceito de condicional se assemelha à atual 
> condicional material, Crisipo propõe uma condicional conexionista, visando 
> sua aplicação na vida diária e nos debates filosóficos.
> 
> A apresentação ocorrerá pelo Google Meet através do link público 
> https://meet.google.com/jyd-hkct-igb <https://meet.google.com/jyd-hkct-igb> .
> 
> Caso você deseje contribuir com uma apresentação, por favor preencha o 
> formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 
> <https://forms.gle/bCmQHTA1p4kYaRga9> .
> 
> -- 
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno <http://www.ic.uff.br/~bruno>

-- 
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/E0A42737-20FF-4A6C-981F-7F18EE5FE460%40ic.uff.br.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/06/2020 (quinta-feira) 16:00h

2020-06-22 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 25 de junho de 2020 (quarta-feira)
Horário: 16:00h
Apresentador: Prof. Aldo Dinucci (DF/UFS)
Título: A Condicional Estoica
Resumo: Crisipo desenvolveu um dos grandes sistemas lógicos da Antiguidade.
Entre suas contribuições, temos sua concepção de condicional. Divergindo de
Philo de Mégara, cujo conceito de condicional se assemelha à atual
condicional material, Crisipo propõe uma condicional conexionista, visando
sua aplicação na vida diária e nos debates filosóficos.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/jyd-hkct-igb .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-0X4VFv4Cys0ror3aemUtpy8nhg1DYAX%2BY7N%2Bgf50Dpg%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/06/2020 (quarta-feira) 16:00h

2020-06-15 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 17 de junho de 2020 (quarta-feira)
Horário: 16:00h
Apresentador: Prof. Marcelo Finger (IME/USP)
Título: Logic and Numbers
Resumo: We present a research program which investigates the intersection
of deductive reasoning with explicit quantitative capabilities. These
capabilities encompass probabilistic reasoning, counting and counting
quantifiers, and similar systems. The need to have a combined reasoning
system that enables a unified way of reasoning with quantities has always
been recognized in modern logic, as proposals of probabilistic logic
reasoning are present since the work of Boole [1854]. Equally ubiquitous is
the need to deal with cardinality restrictions on finite sets. More
recently, a well-founded probabilistic theory has been developed for
non-classical settings as well, such as probabilistic reasoning over
Lukasiewicz infinitely-valued logic.
We show that there is a common way to deal with these several deductive
quantitative capabilities, involving a framework based on Linear Algebra
and Linear Programming. The distinction between classical and non-classical
reasoning on the one hand, and probabilistic and cardinality reasoning on
the other hand, comes from the different family of algebras employed. The
quantitative logic systems also allow for the introduction of inconsistency
measurements, which quantify the degree of inconsistency of a given
quantitative logic theory, following some basic principles of inconsistency
measurements.
On the computational level, we aim at exploring quantitative logic systems
in which the complexity of reasoning is "only NP-complete". We provide
open-source implementations for solvers operating over those systems and
study some notable empirical properties, such as the presence of a phase
transition.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/het-yrdu-qsd .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_LdTeQHNJxERxhqu1DjBTU2y%2Bc5mjANsyosza2CsETAQ%40mail.gmail.com.

[Logica-l] INSCRIÇÕES PRORROGADAS ATÉ 12/06/2020 – MESTRADO E DOUTORADO NO PGC / UFF

2020-06-08 Por tôpico Bruno Lopes

INSCRIÇÕES ABERTAS PARA A PÓS-GRADUAÇÃO NAS MODALIDADES MESTRADO E
DOUTORADO NO INSTITUTO DE COMPUTAÇÃO DA UNIVERSIDADE FEDERAL FLUMINENSE

INSCRIÇÕES PRORROGADAS ATÉ 12/06/2020!

A Coordenação do Programa de Pós-Graduação em Computação da Universidade
Federal Fluminense (PGC-UFF) informa que se encontram abertas até o dia 12
de junho de 2020, as inscrições para seleção a ingresso nas modalidades
Mestrado e Doutorado com início no segundo período do ano 2020.

Ressaltamos que o Programa de Pós Graduação em Computação da UFF está
realizando disciplinas online e demais atividades remotas durante o período
de isolamento social decorrente da pandemia de Covid-19.

Os formulários de inscrição estão disponíveis online,
para o mestrado em:  http://tiny.cc/cypvoze
para o doutorado em: http://tiny.cc/90pvoz

O Programa de Pós-Graduação em Computação da UFF comemora 25 anos de
pesquisa em computação, foi promovido a conceito 6 na avaliação quadrienal
da CAPES em 2017, situando-se entre os 10 melhores programas de
pós-graduação em computação do Brasil. Recentemente, o Instituto de
Computação da UFF ampliou sua infraestrutura, e dispõe desde 2016 de um
prédio com área de 5 mil metros quadrados dedicados exclusivamente a
laboratórios de pesquisa. Laboratórios temáticos nas áreas de Algoritmos e
Otimização, Computação Científica e Sistemas de Potência, Computação
Visual, Engenharia de Sistemas e Informação e de Sistemas de Computação
estão em pleno funcionamento.

O Programa já formou mais de 160 doutores e mais de 550 mestres. Possui um
corpo docente bastante produtivo, com 45 doutores, sendo 24 bolsistas de
produtividade do CNPq e 10 bolsistas do programa FAPERJ Cientista e Jovem
Cientista do Nosso Estado, com diversas cooperações internacionais, em
particular no âmbito do Programa CAPES/PRINT. O programa coordena três
projetos CAPES/PRINT em parceria com universidades nos EUA, Espanha,
França, Holanda e Reino Unido, que permitirão a oferta de mais bolsas de
doutorado sanduíche, diversas missões de trabalho no exterior e o
recebimento de pesquisadores do exterior como visitantes no PGC.

O Programa atua nas mais diversas linhas de pesquisa tais como:

COMPUTAÇÃO APLICADA
• Computação Aplicada à Saúde
• Cidades Inteligentes
• Jogos e Entretenimento Digital
• Modelagem e Simulação Computacional em Ciências
• Computação Aplicada a Sistemas de Potência e Smart Grids
INTELIGÊNCIA ARTIFICIAL E CIÊNCIA DE DADOS
• Aprendizagem de Máquina
• Bancos de Dados
• Big Data
• Deep Learning
• Processamento de Linguagem Natural
ALGORITMOS E OTIMIZAÇÃO
• Algoritmos em Grafos
• Biologia Computacional
• Computação Quântica
• Metaheurísticas
• Otimização Combinatória
• Teoria da Computação
ENGENHARIA DE SISTEMAS E INFORMAÇÃO
• Engenharia de Software
• Linguagens de Programação
• Métodos Formais
COMPUTAÇÃO VISUAL
• Computação Gráfica
• Geometria Computacional
• Interface Humano-Computador
• Processamento de Imagens
• Visualização de Informação
• Visão Computacional
SISTEMAS DE COMPUTAÇÃO
• Algoritmos e Sistemas Distribuídos
• Computação Ubíqua
• Internet das Coisas
• Processamento de Alto Desempenho
• Redes de Computadores
• Segurança de Sistemas
• Sistemas Multimídia

Niterói é uma cidade de porte médio, com aproximadamente 500 mil
habitantes, que possui um dos melhores índices de qualidade de vida do
país. O PGC-UFF localiza-se no aprazível Campus da Praia Vermelha, a poucos
minutos do centro da cidade. Suas instalações são confortáveis, ocupando
dois prédios recém-inaugurados, às margens da Baía de Guanabara, e os seus
laboratórios oferecem condições para o desenvolvimento de pesquisas de alto
nível.

Maiores informações podem ser obtidas através de nossa página:
http://posgrad.ic.uff.br/inscricoes

-- 
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/CAD-Wq09B8k2gvtOqzUcnoBL1zt5gWos%3DaoF5LxAHwGJ7tFZCPQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/06/2020 (quinta-feira) 16:00h

2020-06-08 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 11 de junho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Prof. Paulo Oliva (QMUL)
Título: The Power of Continuations
Resumo: Let us use X, R for types (but you can also think of them as sets
or formulas). When working towards a final result r in R, we might need to
produce a value x in X. Any function f : X -> R can then be thought of as a
"continuation", an oracle that gives us the final result for each value. We
call a functional F : (X -> R) -> X as "selection function", these are
functionals that operate on continuations in order to produce a value.
Example 1: X = some set, R = Bool, so F : (X -> Bool) -> X could be a form
of Hilbert's epsilon terms, computing witnesses for given predicates p : X
-> Bool. Example 2: X = [0,1], R = Real and F : ([0,1] -> Real) -> [0,1]
could be argmax or argmin. Example 3: X = R = some domain D, in this case F
: (X -> X) -> X could be the fixed point operator. This talk is about these
continuation processing operators, and their use in various areas such as
Logic, Domain Theory and Game Theory.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/jjj-ntym-nnt .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-VSiZHMBrRjfan93-AnBKkL5nLvN7i%3DuuESmqOTf7XhQ%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 04/06/2020 (quinta-feira) 16:00h

2020-06-01 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 4 de junho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Prof. Desidério Murcho (DEFIL/UFOP)
Título: Uma Abordagem Epistêmica do Conceito de Consequência Lógica
Resumo: O conceito de consequência lógica, ou validade (dedutiva) está no
cerne da própria lógica. O seu tratamento técnico não levanta dificuldades
de maior, mas a compreensão mais profunda do que é afinal tal coisa levanta
imensas perplexidades. Não vou deter-me nos aspetos históricos que envolvem
a posição meramente sintática de Carnap, que foi obrigado por Tarski a
conceder que sem semântica não há afinal lógica. Também não vou deter-me
nas dificuldades em que Tarski se enredou ao tentar definir ou explicar
mais rigorosamente o conceito de consequência lógica. Apesar de ter estes
desenvolvimentos históricos em mente, vou apresentar uma perspetiva
epistémica, de um modo que seja compreensível para qualquer pessoa que
domine os aspetos mais elementares da lógica. Segundo esta perspetiva,
explica-se sem grandes dificuldades a natureza da consequência lógica de
uma maneira que teria agradado a Quine, ou a qualquer naturalista:
invoca-se apenas a existência de agentes linguísticos, e o conhecimento que
eles têm de certos aspetos da linguagem. Apesar de esta abordagem estar
presente como pano de fundo do meu livro Lógica Elementar: Raciocínio,
Linguagem e Realidade (Edições 70, 2019), não é aí apresentada com o
desenvolvimento necessário.

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/weo-hhwa-onh .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_RJwFr4%3Dyf9FEUHNcm8%2BfSD_uSzKUa_v6yEdm2K38C3g%40mail.gmail.com.

[Logica-l] Workshop Brasileiro de Lógica: deadline dia 01/06!

2020-05-25 Por tôpico Bruno Lopes

Caros,

Segue um lembrete de que o deadline para submissões ao 1o WBL está se
aproximando.


WBL 2020


O Workshop Brasileiro de Lógica (WBL - http://lsfa2020.ufba.br/wbl.html ) é
uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de
Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL).
Em sua primeira edição, seu objetivo é congregar lógicos de diferentes
áreas e com diferentes formações, de estudantes de graduação a
pesquisadores que desejam apresentar propostas de trabalhos e trabalhos em
andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-locada com o 15o Workshop on Logical and Semantic
Frameworks, with Applications, no dia 26 de agosto na Universidade Federal
da Bahia, em Salvador-BA.


Para tal, esta chamada está aberta para trabalhos relacionados à área de
lógica, especialmente (mas não restrito) a

* Assistentes de provas
* Frameworks lógicos
* Fundamentação da computação, física e matemática
* Lógica em inteligência artificial
* Lógicas não-clássicas
* Prova automática de teoremas
* Teoria da prova
* Verificação formal de sistemas
* Verificação de modelos

Artigos a serem submetidos devem ser redigidos no template para da SBC com
tamanho entre 6 (seis) e 8 (oito) páginas. As submissões devem ser feitas
pelo EasyChair pelo link https://easychair.org/conferences/?conf=wbl20 .


Datas importantes
=

* Deadline para submissões: 1 de junho
* Notificações aos autores: 1 de julho
* WBL 2020: 26 de agosto (previsto, sujeito a alterações e com
possibilidade de realização online em virtude da pandemia do COVID-19)


Comitê de programa
==

* Bruno Lopes (UFF) - co-chair
* Cláudia Nalon (UnB)
* Edward Hermann Haeusler (PUC-Rio) - co-chair
* Elaine Pimentel (UFRN)
* Francicleber Ferreira (UFC)
* Jefferson Santos (FGV & PUC-Rio)
* Marcelo Finger (USP)
* Mario Benevides (UFF)
* Maurício Ayala-Rincón (UnB)
* Renata Wassermann (USP)

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_%3Dch2rfKJsCypJOz-1%3D1OcVbT39HvW%2B%3D-nSpiuGbEL3A%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 28/05/2020 (quinta-feira) 16:00h

2020-05-25 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 28 de maio de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Prof. Abílio Rodrigues Filho (DF/UFMG)
Título: Sobre algumas críticas recentes às lógicas da evidência e verdade
Resumo: O objetivo deste trabalho é esclarecer alguns pontos da abordagem
epistêmica da paraconsistência e responder a algumas críticas feitas
recentemente às lógicas da evidência e verdade. Serão também apresentados e
discutidos alguns novos desenvolvimentos das lógicas da evidência e verdade.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/fhm-qjgf-gef .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0-Q566epxnUjQj4Xy8Jg%3D%3DAeMPT7b8BDyfNa%2BiX0YL6Ow%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 20/05/2020 (quarta-feira) 16:00h

2020-05-18 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 20 de maio de 2020 (quarta-feira)
Horário: 16:00h
Apresentador: Prof. Ruy de Queiroz (CIn/UFPE)
Título: Computational Paths and the Calculation of Fundamental Groups
Resumo: The short citation for the “2020 Rolf Schock Prize in logic and
philosophy” says that it was awarded to Per Martin-Löf (shared with Dag
Prawitz) “for the creation of constructive type theory.” In a longer
statement, the prize committee recalls that constructive type theory is “a
formal language in which it is possible to express constructive
mathematics” (…) “[which] also functions as a powerful programming language
and has had an enormous impact in logic, computer science and, recently,
mathematics.” Indeed, by introducing a framework in which a formalisation
of the logical notion of equality, via the so-called “identity type”, it
allows for a surprising connection between term rewriting and geometric
concepts such as path and homotopy. As a matter of fact, Martin-Löf’s type
theory (MLTT) allows for making useful bridges between theory of
computation, algebraic topology, logic, categories, and higher algebra, and
a single concept seems to serve as a bridging bond: “path”. The impact in
mathematics has been felt more strongly since the start of Vladimir
Voevodsky’s program on the univalent foundations of mathematics around
2005, and one specific aspect which we would like to talk about here is the
calculation of fundamental groups of surfaces. Taking from the Wikipedia
entry on “homotopy group”, calculation of homotopy groups is in general
much more difficult than some of the other homotopy invariants learned in
algebraic topology. Now, by using an alternative formulation of the
"identity type" which provides an explicit formal account of “path”,
operationally understood as an invertible sequence of rewrites (such as
Church’s “conversion”), and interpreted as a homotopy, we wish to show
examples of calculating fundamental groups of surfaces such as the circle,
the torus, the 2-holed torus, the Klein bottle, and the real projective
plane. We would like to suggest that these examples might bear witness to
the impact of MLTT in mathematics by offering formal tools to calculate and
prove fundamental groups.

A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/dvg-ytix-fmp .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-gaMPtKYaaCT9S-vjdpONvLOF%2BROTNetdtUckMm018ng%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 14/05/2020 16:00h

2020-05-11 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 14 de maio de 2020
Horário: 16:00h
Apresentador: Prof. Rodrigo Freire (DF/UnB)
Título: Uma abordagem axiomática para forcing e extensões genéricas
Resumo: Vamos apresentar uma axiomatização simultânea do forcing e das
extensões genéricas e mostrar como os resultados usuais seguem dos nossos
axiomas. Vamos também mostrar que nossa axiomatização é categórica.
A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/hvw-hiky-vfz .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq0_kP7zYUkPD7q0hLPAntJVU%3DYQWLMWBkGG_RVSoaTAmxQ%40mail.gmail.com.

[Logica-l] INSCRIÇÕES ABERTAS – MESTRADO E DOUTORADO NO PGC / UFF

2020-05-11 Por tôpico Bruno Lopes

Vagas para interessados em cursar mestrado/doutorado em Lógica no IC/UFF.


INSCRIÇÕES ABERTAS PARA A PÓS-GRADUAÇÃO NAS MODALIDADES MESTRADO E
DOUTORADO NO INSTITUTO DE COMPUTAÇÃO DA UNIVERSIDADE FEDERAL FLUMINENSE

A Coordenação do Programa de Pós-Graduação em Computação da Universidade
Federal Fluminense (PGC-UFF) informa que se encontram abertas até o dia 07
de junho de 2020, as inscrições para seleção a ingresso nas modalidades
Mestrado e Doutorado com início no segundo período do ano 2020.

Ressaltamos que o Programa de Pós Graduação em Computação da UFF está
realizando disciplinas online e demais atividades remotas durante o período
de isolamento social decorrente da pandemia de Covid-19.

Os formulários de inscrição estão disponíveis online,
para o mestrado em:  http://tiny.cc/cypvoze
para o doutorado em: http://tiny.cc/90pvoz

O Programa de Pós-Graduação em Computação da UFF comemora 25 anos de
pesquisa em computação, foi promovido a conceito 6 na avaliação quadrienal
da CAPES em 2017, situando-se entre os 10 melhores programas de
pós-graduação em computação do Brasil. Recentemente, o Instituto de
Computação da UFF ampliou sua infraestrutura, e dispõe desde 2016 de um
prédio com área de 5 mil metros quadrados dedicados exclusivamente a
laboratórios de pesquisa. Laboratórios temáticos nas áreas de Algoritmos e
Otimização, Computação Científica e Sistemas de Potência, Computação
Visual, Engenharia de Sistemas e Informação e de Sistemas de Computação
estão em pleno funcionamento.

O Programa já formou mais de 160 doutores e mais de 550 mestres. Possui um
corpo docente bastante produtivo, com 45 doutores, sendo 24 bolsistas de
produtividade do CNPq e 10 bolsistas do programa FAPERJ Cientista e Jovem
Cientista do Nosso Estado, com diversas cooperações internacionais, em
particular no âmbito do Programa CAPES/PRINT. O programa coordena três
projetos CAPES/PRINT em parceria com universidades nos EUA, Espanha,
França, Holanda e Reino Unido, que permitirão a oferta de mais bolsas de
doutorado sanduíche, diversas missões de trabalho no exterior e o
recebimento de pesquisadores do exterior como visitantes no PGC.

O Programa atua nas mais diversas linhas de pesquisa tais como:

COMPUTAÇÃO APLICADA
• Computação Aplicada à Saúde
• Cidades Inteligentes
• Jogos e Entretenimento Digital
• Modelagem e Simulação Computacional em Ciências
• Computação Aplicada a Sistemas de Potência e Smart Grids
INTELIGÊNCIA ARTIFICIAL E CIÊNCIA DE DADOS
• Aprendizagem de Máquina
• Bancos de Dados
• Big Data
• Deep Learning
• Processamento de Linguagem Natural
ALGORITMOS E OTIMIZAÇÃO
• Algoritmos em Grafos
• Biologia Computacional
• Computação Quântica
• Metaheurísticas
• Otimização Combinatória
• Teoria da Computação
ENGENHARIA DE SISTEMAS E INFORMAÇÃO
• Engenharia de Software
• Linguagens de Programação
• Métodos Formais
COMPUTAÇÃO VISUAL
• Computação Gráfica
• Geometria Computacional
• Interface Humano-Computador
• Processamento de Imagens
• Visão Computacional
SISTEMAS DE COMPUTAÇÃO
• Algoritmos e Sistemas Distribuídos
• Computação Ubíqua
• Internet das Coisas
• Processamento de Alto Desempenho
• Redes de Computadores
• Segurança de Sistemas
• Sistemas Multimídia

Niterói é uma cidade de porte médio, com aproximadamente 500 mil
habitantes, que possui um dos melhores índices de qualidade de vida do
país. O PGC-UFF localiza-se no aprazível Campus da Praia Vermelha, a poucos
minutos do centro da cidade. Suas instalações são confortáveis, ocupando
dois prédios recém-inaugurados, às margens da Baía de Guanabara, e os seus
laboratórios oferecem condições para o desenvolvimento de pesquisas de alto
nível.

Maiores informações podem ser obtidas através de nossa página:
http://posgrad.ic.uff.br/inscricoes
-- 
*Célio Vinicius Neves de Albuquerque*
Coordenador do Programa de Pós-Graduação
Instituto de Computação - Laboratório MídiaCom
Universidade Federal Fluminense (IC / UFF)
http://www.ic.uff.br - http://www.midiacom.uff.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/CAD-Wq0__QEM9xGyA6AqTkvN8pX%3DLdt-WKn2bW6Dq4s0-pha9Ew%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 07/05/2020 16:00h

2020-05-04 Por tôpico Bruno Lopes

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações serão gravadas
e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 07 de maio de 2020
Horário: 16:00h
Apresentador: Prof. Wagner Sanz (DF/UFG)
Título: Lógica como Teoria de Problemas
Resumo: Nosso objetivo nesta exposição é o de abordar o problema da
natureza da lógica. A disciplina tem longa história e passou por profundas
modificações desde o fim do século XIX. Existem várias formas de
caracterizar a disciplina e provavelmente essas formas não são
equivalentes. Mais ainda, dependendo da escolha, algumas atividades caem
sob o título de lógica e outras não, variando o caso conforme a decisão.
Teoria de conjuntos faz parte da lógica? Teoria da recursão? E teoria da
argumentação?
Outra questão relevante envolvida nessa conceituação diz respeito à
abordagem pedagógica da matéria. Diferentes escolhas implicam também
diferentes abordagens pedagógicas. Levando em conta que o tema pode ser de
interesse de matemáticos, de cientistas da computação, de filósofos, de
lingüistas, etc., diferentes perspectivas se multiplicam em diversos vieses
pedagógicos. Porque um aluno de filosofia deveria estudar teoria de
conjuntos? Porque um aluno de ciência da computação deveria estudar teoria
da argumentação? Essas são apenas algumas das questões que surgem
naturalmente relacionadas a este ponto.
Nosso esforço na exposição será de delinear uma Teoria de Problemas que
articularemos como o quadro amplo no qual, a nosso ver, estaria inserida a
lógica. A exposição tem caráter preliminar e sobretudo visa articular o
problema mais amplo de caracterizar o que é ou como entender a lógica.
A apresentação ocorrerá pelo Google Meet através do link público
http://meet.google.com/eiq-mozd-faf .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

--
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/CAD-Wq09UfNGw4zt1yxwVnQM_Ea4k%3DpW%3DnrgA%2BQQUoe9gTFwUsQ%40mail.gmail.com.

[Logica-l] WBL2020: Deadline prorrogado: 01/06/2020

2020-05-04 Por tôpico Bruno Lopes

Deadline prorrogado para 01/06/2020.

WBL 2020


O Workshop Brasileiro de Lógica (WBL - http://lsfa2020.ufba.br/wbl.html ) é
uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de
Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL).
Em sua primeira edição, seu objetivo é congregar lógicos de diferentes
áreas e com diferentes formações, de estudantes de graduação a
pesquisadores que desejam apresentar propostas de trabalhos e trabalhos em
andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-locada com o 15o Workshop on Logical and Semantic
Frameworks, with Applications, no dia 26 de agosto na Universidade Federal
da Bahia, em Salvador-BA.


Para tal, esta chamada está aberta para trabalhos relacionados à área de
lógica, especialmente (mas não restrito) a

* Assistentes de provas
* Frameworks lógicos
* Fundamentação da computação, física e matemática
* Lógica em inteligência artificial
* Lógicas não-clássicas
* Prova automática de teoremas
* Teoria da prova
* Verificação formal de sistemas
* Verificação de modelos

Artigos a serem submetidos devem ser redigidos no template para da SBC com
tamanho entre 6 (seis) e 8 (oito) páginas. As submissões devem ser feitas
pelo EasyChair pelo link https://easychair.org/conferences/?conf=wbl20 .


Datas importantes
=

* Deadline para submissões: 1 de junho
* Notificações aos autores: 1 de julho
* WBL 2020: 26 de agosto (previsto, sujeito a alterações em virtude da
pandemia do COVID-19)


Comitê de programa
==

* Bruno Lopes (UFF) - co-chair
* Cláudia Nalon (UnB)
* Edward Hermann Haeusler (PUC-Rio) - co-chair
* Elaine Pimentel (UFRN)
* Francicleber Ferreira (UFC)
* Jefferson Santos (FGV & PUC-Rio)
* Marcelo Finger (USP)
* Mario Benevides (UFF)
* Maurício Ayala-Rincón (UnB)
* Renata Wassermann (USP)


-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0_TcB-jkXYMAHh%3DeUSYCYXKfbKVZ_CcPR_BmQ2Ycve%2B9Q%40mail.gmail.com.

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

2020-04-16 Por tôpico Bruno Lopes

Apenas acrescentando: a agenda (sempre em construção) está disponível em
http://lq.sbl.org.br . Os links para os vídeos dos seminários já ocorridos
também estão disponíveis.

Aos interessados em apresentar algo, por favor acessem o link disponível
para o formulário para participação.

Bruno


Em qui, 16 de abr de 2020 22:28, Joao Marcos  escreveu:

> Vale notar que já está online no canal da SBL a excelente palestra que
> Valeria de Paiva deu hoje no "Lógicos em Quarentena":
> https://www.youtube.com/channel/UCglBjq5SzixAB-xxGxjMa7Q
>
> JM
>
> On Mon, Apr 13, 2020 at 11:09 AM Bruno Lopes  wrote:
> >
> >
> > Caros,
> > Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
> convidar a todos a participarem do Seminário "Lógicos em Quarentena".
> Trata-se de um seminário remoto com apresentações informais por membros da
> comunidade e espaço para perguntas no fim. As apresentações serão gravadas
> e estarão disponíveis na página do evento http://lq.sbl.org.br (com a
> agenda completa).
> >
> > Data: 16 de abril de 2020
> > Horário: 16:00h
> > Apresentadora: Dr. Valeria de Paiva ( https://vcvpaiva.github.io )
> >
> > Título: Between a rock and a hard place: Structural and Distributional
> Meaning Representations
> > Resumo: (This is joint work with Katerina Kalouli (University of
> Konstanz) and Dick Crouch (Chegg, USA). We build on their previous work on
> GKR, a graphical knowledge representation formalism, presented at
> NAACL2018.) Three broad approaches have been attempted to combine
> distributional and structural/symbolic aspects to construct meaning
> representations: a) injecting linguistic features into distributional
> representations, b) injecting distributional features into symbolic
> representations or c) combining structural and distributional features in
> the final representation. This work focuses on an example of the third and
> less studied approach: it extends the Graphical Knowledge Representation
> (GKR) to include distributional features and proposes a division of
> semantic labour between the distributional and structural/symbolic
> features. We propose two extensions of GKR that clearly show this division
> and empirically test one of the proposals on an NLI dataset with hard
> compositional pairs. (GKR demo online at
> http://lap0973.sprachwiss.uni-konstanz.de:8080/sem.mapper/ )
> >
> > A apresentação ocorrerá pelo Google Meet através do link público
> https://meet.google.com/shj-fysv-gjy .
> >
> >
> > Caso você deseje contribuir com uma apresentação, por favor preencha o
> formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .
> >
> >
> >
> > --
> > Bruno Lopes
> > Professor Adjunto
> > Instituto de Computação
> > Universidade Federal Fluminense
> > http://www.ic.uff.br/~bruno
> >
> > --
> > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/302AD4B9-1AC2-4128-A626-DD383A98A895%40ic.uff.br
> .
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_LjJgPfdhNvCm7W2_Q-e%3DiBxVnrehY3v%2BJi7a--RBqBUAQ%40mail.gmail.com
> .
>

-- 
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/CAD-Wq08kedSc581evCr%3DftHF3itaiR6%2BVs08ByLXT3LxNeQZ_w%40mail.gmail.com.

[Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

2020-04-13 Por tôpico Bruno Lopes

Caros,
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se
de um seminário remoto com apresentações informais por membros da comunidade e
espaço para perguntas no fim. As apresentações serão gravadas e estarão
disponíveis na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 16 de abril de 2020
Horário: 16:00h
Apresentadora: Dr. Valeria de Paiva ( https://vcvpaiva.github.io )

Título: Between a rock and a hard place: Structural and Distributional Meaning
Representations
Resumo: (This is joint work with Katerina Kalouli (University of Konstanz) and
Dick Crouch (Chegg, USA). We build on their previous work on GKR, a graphical
knowledge representation formalism, presented at NAACL2018.) Three broad
approaches have been attempted to combine distributional and
structural/symbolic aspects to construct meaning representations: a) injecting
linguistic features into distributional representations, b) injecting
distributional features into symbolic representations or c) combining
structural and distributional features in the final representation. This work
focuses on an example of the third and less studied approach: it extends the
Graphical Knowledge Representation (GKR) to include distributional features and
proposes a division of semantic labour between the distributional and
structural/symbolic features. We propose two extensions of GKR that clearly
show this division and empirically test one of the proposals on an NLI dataset
with hard compositional pairs. (GKR demo online at
http://lap0973.sprachwiss.uni-konstanz.de:8080/sem.mapper/ )

A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/shj-fysv-gjy .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

--
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

Re: [Logica-l] Fwd: Logipedia - an online encyclopedia of formal proofs

2020-02-27 Por tôpico Bruno Lopes

Uma versão preliminar já está online em http://logipedia.inria.fr/ . Gilles
apresentou o projeto no encontro Franco-Brasileiro de pesquisa em
matemática no IMPA em julho.

Bruno

Em qui, 27 de fev de 2020 12:00, Joao Marcos  escreveu:

> -
>
> Dear ALL:
>
> Gilles Dowek is coordinating the submission of a European project (25
> participating sites) aiming at creating an online encyclopedia of
> formal proofs (named Logipedia) allowing the exchange of formal proofs
> between different systems. In this framework, we are setting up a
> "Club of users in education" and a "Club of academic users" interested
> in Logipedia. The first one is a think tank on the use of proof
> assistants in the classroom. The second brings together researchers
> who would be potential users of such an encyclopedia in their
> research.
>
> In both cases, the requested investment is light: participation (as
> far as possible) in two meetings over the 4 years of the project
> (expression of needs and evaluation of results), and participation in
> the dissemination / training around the project in your circles
> (mathematicians, university or secondary school teachers, ...).
>
> Would you be interested to be part of either of these two clubs? The
> academic users' club will be led by Benedikt Ahrens
> (b.ahr...@cs.bham.ac.uk) and the club of users in education will be
> led by Julien Narboux (narb...@unistra.fr)
>
> Best regards,
> Julien Narboux
>
> --
> 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_LgFqVCLfSi5%2BLRfnkGPvFLvwCp9Bpkumkvvg0pEEnJBJA%40mail.gmail.com
> .
>

-- 
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/CAFfvUVjTBg1UpZ%2BxE%2B0rGDSV-phoZoAnn5pN21-O091Rbgkh3g%40mail.gmail.com.

[Logica-l] Fwd: Concurso Professor Adjunto UERJ

2020-02-17 Por tôpico Bruno Lopes




===
O Departamento de Engenharia de Sistemas e Computação da Universidade do 
Estado do Rio de Janeiro (UERJ) realizará concursos para professores

Adjuntos nas seguintes áreas: Arquitetura de Sistemas de Computação (duas
vagas), Linguagens de Programação (duas vagas) e Lógica e Semântica de
Programas (uma vaga).

Inscrições de 27.02.2020 até 27.03.2020

Local: UERJ, Faculdade de Engenharia, Rua São Francisco Xavier, 524, sala
5002, bloco B, Pavilhão João Lyra Filho, Maracanã, Rio de Janeiro, RJ.

Telefone: 0xx-21-2334-0536.

Edital e mais informações em: http://srh.uerj.br/docente/saida.asp

Atenciosamente,
Cristiana Bentes

--
Bruno Lopes
http://www.ic.uff.br/~bruno

--
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/480c8efa-495a-bb84-ea1f-fef2804046d5%40gmail.com.

[Logica-l] INSCRIÇÕES ABERTAS – MESTRADO E DOUTORADO NO PGC / UFF

2019-10-16 Por tôpico Bruno Lopes



INSCRIÇÕES ABERTAS PARA A PÓS-GRADUAÇÃO NAS MODALIDADES MESTRADO E 
DOUTORADO NO INSTITUTO DE COMPUTAÇÃO DA UNIVERSIDADE FEDERAL FLUMINENSE


A Coordenação do Programa de Pós-Graduação em Computação da Universidade 
Federal Fluminense (PGC-UFF) informa que se encontram abertas até o dia 
17 de novembro de 2019, as inscrições para seleção a ingresso nas 
modalidades Mestrado e Doutorado com início no primeiro período letivo 
do ano 2020.


Inscrições em: http://posgrad.ic.uff.br/inscricoes, abertas até 17/11/2019.

O Programa de Pós-Graduação em Computação da UFF foi promovido a 
conceito 6 na avaliação quadrienal da CAPES em 2017, situando-se entre 
os 10 melhores programas de pós-graduação em computação do Brasil. 
Recentemente, o Instituto de Computação da UFF ampliou sua 
infraestrutura, e dispõe desde 2016 de um prédio com área de 5 mil 
metros quadrados dedicados exclusivamente a laboratórios de pesquisa. 
Laboratórios temáticos nas áreas de Algoritmos e Otimização, Computação 
Científica e Sistemas de Potência, Computação Visual, Engenharia de 
Sistemas e Informação e de Sistemas de Computação estão em pleno 
funcionamento.


O Programa já formou mais de 150 doutores e mais de 550 mestres. Possui 
um corpo docente bastante produtivo, com 44 doutores, sendo 23 bolsistas 
de produtividade do CNPq e 11 bolsistas do programa FAPERJ Cientista e 
Jovem Cientista do Nosso Estado, com diversas cooperações 
internacionais, em particular no âmbito do Programa CAPES/PRINT. O 
programa coordena três projetos CAPES/PRINT em parceria com 
universidades nos EUA, Espanha, França, Holanda e Reino Unido, que 
permitirão a oferta de mais bolsas de doutorado sanduíche, diversas 
missões de trabalho no exterior e o recebimento de pesquisadores do 
exterior como visitantes no PGC.


O Programa atua nas mais diversas linhas de pesquisa tais como:

CIÊNCIA DE DADOS
• Aprendizagem de Máquina
• Bancos de Dados
• Big Data
• Inteligência Artificial
• Deep Learning
• Processamento de Linguagem Natural
ALGORITMOS E OTIMIZAÇÃO
• Algoritmos em Grafos
• Biologia Computacional
• Metaheurísticas
• Otimização Combinatória
• Teoria da Computação
ENGENHARIA DE SISTEMAS E INFORMAÇÃO
• Engenharia de Software
• Linguagens de Programação
• Métodos Formais
COMPUTAÇÃO VISUAL
• Computação Gráfica
• Geometria Computacional
• Interface Humano-Computador
• Processamento de Imagens
• Visão Computacional
SISTEMAS DE COMPUTAÇÃO
• Algoritmos e Sistemas Distribuídos
• Computação Ubíqua
• Internet das Coisas
• Processamento de Alto Desempenho
• Redes de Computadores
• Segurança de Sistemas
• Sistemas Multimídia
COMPUTAÇÃO APLICADA
• Cidades Inteligentes
• Computação Aplicada à Saúde
• Computação Aplicada a Sistemas de Potência
• Jogos e Entretenimento Digital
• Modelagem e Simulação Computacional em Ciências
• Smart Grids

Niterói é uma cidade de porte médio, com aproximadamente 480 mil 
habitantes, que possui um dos melhores índices de qualidade de vida do 
país. O PGC-UFF localiza-se no aprazível Campus da Praia Vermelha, a 
poucos minutos do centro da cidade. Suas instalações são confortáveis, 
ocupando dois prédios recém-inaugurados, às margens da Baía de 
Guanabara, e os seus laboratórios oferecem condições para o 
desenvolvimento de pesquisas de alto nível.


Maiores informações podem ser obtidas através de nossa página web: 
http://posgrad.ic.uff.br/inscricoes.


--
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/5edfce3f-1004-f2b0-0d6d-d648b8f51fee%40gmail.com.

[Logica-l] Concurso para docente IC/UFF

2019-06-10 Por tôpico Bruno Lopes



Prezados,

O Instituto de Computação da UFF está com 1 vaga aberta para

Professor Adjunto A 40h DE n
a área de Ciência da Computação.
As inscrições terminam no dia 10 de julho de 2019.
Detalhes estão disponíveis abaixo. Pedimos a gentileza de divulgar para 
possíveis interessados.


==


CONCURSOPÚBLICO PARA PROFESSOR ADJUNTO A

DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO

UNIVERSIDADE FEDERAL FLUMINENSE


Área: Ciência da Computação
Regime: 40h DE
Classe: Adjunto A
Período de Inscrição: 10/06/2019 a 10/07/2019.
Realização do concurso: 21/10/2019 a 25/10/2019

Titulação exigida:
- Graduação: Qualquer área.
- Doutorado:  Computação ou Ciência da Computação ou Sistemas de 
Informação ou Informática ou Matemática ou Engenharia .


Ementa:

1. Análise e Projetos de Algoritmos 2. Estruturas de Dados

Bibliografia:
1. Introduction to Algorithms, Thomas H. Cormen, Charles E. Leiserson, 
Ronald L. Rivest, Clifford Stein. 2nd ed., Ed McGraw-Hill. 2. Data 
Structures and Algorithms, Alfred V. Aho, Jeffrey D. Ullman, John E. 
Hopcroft. Ed. Addison-Wesley.



O Departamento de Ciência de Computação (DCC) do Instituto de Computação 
(IC) da Universidade Federal Fluminense (UFF) está abrindo processo 
seletivo público para o preenchimento de uma vaga na classe Professor 
Adjunto A, 40 horas em regime de Dedicação Exclusiva, na área de 
conhecimento de Ciência da Computação(Edital 169/2019, publicado no DOU 
de 31/05/2019). O candidato selecionado deverá realizar atividades de 
ensino, pesquisa e extensão.



O DCC/IC conta com 64 docentes e é responsável por um Programa de 
Pós-Graduação em Computação (Mestrado e Doutorado) nível 6 da CAPES, com 
aproximadamente 200 alunos, um curso de graduação em Ciência da 
Computação, com aproximadamente 500 alunos, um curso de graduação em 
Sistemas de Informação, também com aproximadamente 500 alunos, e um 
curso de graduação semipresencial de Tecnologia em Sistemas de 
Computação, com aproximadamente 2 mil alunos. Mais informações podem ser 
obtidas em http://www.ic.uff.br .



O DCC/IC está localizado à Rua Av. Gal. Milton Tavares de Souza, s/n, 
Prédio do Instituto de Computação, bairro Boa Viagem, Niterói. O 
Instituto é constituído de dois prédios com área total de 8.000 m2, 
situados no aprazível Campus da Praia Vermelha da UFF às margens da Baía 
da Guanabara. A UFF é hoje uma das maiores universidades públicas do 
país. Com 3.600 professores e uma receita em torno de 2 bilhões de 
reais, atende mais de 45 mil alunos de graduação e 22 mil alunos de 
pós-graduação. A cidade de Niterói, com em torno de 500 mil habitantes, 
tem o sétimo maior índice de desenvolvimento humano do país e o maior do 
estado do Rio de Janeiro. Além disso, é o segundo município com maior 
média de renda domiciliar per capita do país.



Os candidatos deverão ingressar no endereço https://app.uff.br/cpd/para 
cadastrar-se no Sistema CPD. Concluído o cadastramento, o candidato 
deverá fazer o login mediante informação do CPF e da senha pessoal 
indicada no cadastro. Após ingressar no sistema, o candidato deverá 
localizar o concurso (menu Concursos e Seleções/Professor Efetivo, e 
selecionar o concurso de Ciência da Computação na lista), e requerer a 
inscrição no certame por meio do link "requerimento de inscrição", 
seguindo as etapas do formulário.



Para obter informações adicionais, contacte o Departamento de Ciência da 
Computação: email secretaria@ic.uff.br 
;tel. (21) 2629-2967; (21) 2629-2968.

--
Professores do Instituto de Computação.
---
Para postar nesse grupo, envie um e-mail para pr...@ic.uff.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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/07e7ca5c-f953-1ade-a84c-2985f83f22ff%40gmail.com.

[Logica-l] Novas associações à SBL

2018-12-11 Por tôpico Bruno Lopes

Prezados,

A Diretoria da SBL informa que interessados (que já não sejam membros - os 
atuais membros em breve serão contactados) em se associar à SBL, por favor 
preencham o formulário disponível em 
http://sbl.org.br/pmwiki.php/Main/AffiliateBR 
<http://sbl.org.br/pmwiki.php/Main/AffiliateBR> . Em caso de dúvidas, por favor 
entrem em contato através do email cont...@sbl.org.br 
<mailto:cont...@sbl.org.br> .

 


-- 
Bruno Lopes
http://www.ic.uff.br/~bruno <http://www.ic.uff.br/~bruno>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8F86B621-6EBF-46CF-B5DD-D3DCF2BDBE12%40gmail.com.

[Logica-l] IC / UFF - Mestrado e Doutorado - Inscrições Abertas!

2018-10-18 Por tôpico Bruno Lopes

Temos vagas para interessados em fazer mestrado e doutorado em lógica! Mais
informações sobre o grupo de lógica em http://frame.ic.uff.br .

INSCRIÇÕES ABERTAS PARA MESTRADO E DOUTORADO EM COMPUTAÇÃO NA UNIVERSIDADE
FEDERAL FLUMINENSE

A Coordenação do Programa de Pós-Graduação em Computação da Universidade
Federal Fluminense (PGC-UFF) informa que se encontram abertas até o dia 14
de novembro de 2018, as inscrições para seleção a ingresso nos seus cursos
de Mestrado e Doutorado, com início no primeiro período letivo do ano 2019.

O Programa de Pós Graduação em Computação da UFF foi recentemente promovido
a nível 6, na avaliação quadrienal da CAPES em 2017, situando-se entre os
10 melhores programas de pós graduação em computação do Brasil.

Recentemente, o Instituto de Computação da UFF ampliou sua infraestrutura,
e dispõe desde 2016 de um prédio com área de 5 mil metros quadrados
dedicados exclusivamente a laboratórios de pesquisa. Laboratórios temáticos
nas áreas de Algoritmos e Otimização, Computação Científica e Sistemas de
Potência, Computação Visual, Engenharia de Sistemas e Informação e de
Sistemas de Computação estão em pleno funcionamento.

O Programa formou cerca de 150 doutores e 500 mestres. Possui um corpo
docente bastante produtivo, com 40 doutores em regime de dedicação
exclusiva (22 bolsistas de produtividade do CNPq e 10 bolsistas do programa
FAPERJ Cientista e Jovem Cientista do Nosso Estado), com diversas
cooperações internacionais.

Suas áreas e linhas de pesquisa são:

* Algoritmos e Otimização: Biologia Computacional, Metaheurísticas,
Otimização Combinatória, Teoria e Algoritmos em Grafos;

* Computação Científica e Sistemas de Potência: Análise Computacional de
Sistemas de Potência, Métodos Computacionais para Equações Diferenciais,
Modelagem e Simulação Computacional em Ciências, e Otimização em Sistemas
de Potência;

* Computação Visual: Computação Gráfica, Geometria Computacional, Interface
Humano-Computador, Jogos e Entretenimento Digital, Processamento de
Imagens, e Visão Computacional;

* Engenharia de Sistemas e Informação: Bancos de Dados, Engenharia de
Software, Inteligência Artificial, Linguagens de Programação, e Métodos
Formais;

* Sistemas de Computação: Algoritmos e Sistemas Distribuídos, Computação
Ubíqua, Processamento de Alto Desempenho, Redes de Computadores, Segurança
de Sistemas, e Sistemas Multimídia.

Niterói é uma cidade de porte médio, com aproximadamente 500 mil
habitantes, que possui um dos melhores índices de qualidade de vida do
país. O PGC-UFF localiza-se no aprazível Campus da Praia Vermelha, a poucos
minutos do centro da cidade. Suas instalações são confortáveis, ocupando
dois prédios recém-inaugurados, às margens da Baía de Guanabara, e os seus
laboratórios oferecem condições para o desenvolvimento de pesquisas de alto
nível.

Maiores informações podem ser obtidas através de nossa página web (
http://posgrad.ic.uff.br/), ou no seguinte endereço:

Coordenação do Programa de Pós-Graduação em Computação
Universidade Federal Fluminense
Av. Gal. Milton Tavares de Souza, s/nº
São Domingos - Niterói - RJ
CEP: 24210-346
Fones: (21) 2629-2963/2964

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUViNNRKrurnVc5e4yU%3D7PWWd2jicJYGVvNWHh2ZevSk_gw%40mail.gmail.com.

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-13 Por tôpico Bruno Lopes

Prezados,

Encerrou-se no sábado a conferência de lógica satélite do ICM, um parceria da 
SBL com a DLMPST. Tivemos auditório cheio durante todo o evento.

Gostaria de agradecer a todos que colaboraram, principalmente os membros da 
nossa comunidade brasileira que participaram, principalmente aqueles que 
ajudaram na organização (Samuel Gomes, Petrucio Viana, Christina Brech, Hugo 
Nóbrega), foram chairs de sessões (Samuel Gomes, Petrucio Viana, Walter 
Carnielli, Edward Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, 
Christina Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio 
Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia).

Infelizmente nem todos estavam presentes na hora desta foto (a lista limita o 
tamanho da mensagem, não dá pra incluir várias), mas em breve divulgaremos 
fotos de todos os momentos.

Abraços,

Bruno.

> On 10 Aug 2018, at 10:20, Bruno Lopes  wrote:
> 
> Olá, pessoal!
> 
> A SBL coordenou todos os aspectos locais. Além disso houve, sim, 
> financiamento da SBL e composição no comitê de programa. Podemos dar todos os 
> detalhes do longo processo. 
> 
> Estamos bastante animados com o evento acontecendo. Quem veio ao ICM, basta 
> atravessar a baía e vir para o MAC!
> 
> Reforço o convite a todos que desejem participar! O evento acaba de começar 
> com a palestra de Valeria de Paiva. 
> 
> Abraços, 
> 
> Bruno.
> 
> Em Sex, 10 de ago de 2018 10:17, Walter Carnielli  <mailto:walter.carnie...@gmail.com>> escreveu:
> Beleza Elaine, aplaudo e agradeço sinceramente aos ooganizadores. Mas como um 
> chato de plantão,  não consigo   deixar de notar esses pequenos e 
> insignificantes  detalhes :-)
> 
>  abraço,
> Walter
> 
> Em sex, 10 de ago de 2018 09:57, Elaine Pimentel  <mailto:elaine.pimen...@gmail.com>> escreveu:
> Bom dia, Walter!
> 
> Se você olhar no começo da página, está escrito: Satellite event for the 
> International Congress of Mathematicians 2018 co-organised by the Sociedade 
> Brasileira de Lógica and DLMPST/IUHPST.
> 
> Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve ter 
> sido um erro de quem fez a página...
> 
> Abraços,
> 
> 2018-08-10 9:51 GMT-03:00 Walter Carnielli  <mailto:walter.carnie...@gmail.com>>:
> Uau!
> 
> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre os 
> sponsors?
> 
> Estranho ver um evento em lógica,  feito no Brasil como satélite do ICM20108, 
> apoiado somente  pela associação holandesa, pela, italina, ASL e DMPLST.
> 
> Parece que não precisamos nem do IMPA para nos desapoiar...
> 
> 
> 
> Em ter, 7 de ago de 2018 13:25, Bruno Lopes  <mailto:blopesvie...@gmail.com>> escreveu:
> Prezados associados, 
> 
> A SBL informa que a programação já está disponível na página da conferência 
> satélite.
> 
> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php 
> <http://www.dlmpst.org/pages/activities/icm-2018-satellite.php>
> 
> Convidamos a todos, principalmente os que se encontram no entorno da Baía de 
> Guanabara, a participar do primeiro evento satélite de lógica do ICM. O 
> evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de 
> Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos 
> contactar. 
> 
> -- 
> Você recebeu essa mensagem porque está inscrito 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 
> <mailto:logica-l+unsubscr...@dimap.ufrn.br>.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br 
> <mailto:logica-l@dimap.ufrn.br>.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ 
> <https://groups.google.com/a/dimap.ufrn.br/group/logica-l/>.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com
>  
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com?utm_medium=email_source=footer>.
> 
> -- 
> Você recebeu essa mensagem porque está inscrito 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 
> <mailto:logica-l+unsubscr...@dimap.ufrn.br>.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br 
> <mailto:logica-l@dimap.ufrn.br>.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ 
> <https://g

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-10 Por tôpico Bruno Lopes

Olá, pessoal!

A SBL coordenou todos os aspectos locais. Além disso houve, sim,
financiamento da SBL e composição no comitê de programa. Podemos dar todos
os detalhes do longo processo.

Estamos bastante animados com o evento acontecendo. Quem veio ao ICM, basta
atravessar a baía e vir para o MAC!

Reforço o convite a todos que desejem participar! O evento acaba de começar
com a palestra de Valeria de Paiva.

Abraços,

Bruno.

Em Sex, 10 de ago de 2018 10:17, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:

> Beleza Elaine, aplaudo e agradeço sinceramente aos ooganizadores. Mas como
> um chato de plantão,  não consigo   deixar de notar esses pequenos e
> insignificantes  detalhes :-)
>
>  abraço,
> Walter
>
> Em sex, 10 de ago de 2018 09:57, Elaine Pimentel <
> elaine.pimen...@gmail.com> escreveu:
>
>> Bom dia, Walter!
>>
>> Se você olhar no começo da página, está escrito: Satellite event for the
>> International Congress of Mathematicians 2018 co-organised by the Sociedade
>> Brasileira de Lógica and DLMPST/IUHPST.
>>
>> Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve
>> ter sido um erro de quem fez a página...
>>
>> Abraços,
>>
>> 2018-08-10 9:51 GMT-03:00 Walter Carnielli :
>>
>>> Uau!
>>>
>>> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre
>>> os sponsors?
>>>
>>> Estranho ver um evento em lógica,  feito no Brasil como satélite do
>>> ICM20108, apoiado somente  pela associação holandesa, pela, italina, ASL e
>>> DMPLST.
>>>
>>> Parece que não precisamos nem do IMPA para nos desapoiar...
>>>
>>>
>>>
>>> Em ter, 7 de ago de 2018 13:25, Bruno Lopes 
>>> escreveu:
>>>
>>>> Prezados associados,
>>>>
>>>> A SBL informa que a programação já está disponível na página da
>>>> conferência satélite.
>>>>
>>>> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
>>>>
>>>> Convidamos a todos, principalmente os que se encontram no entorno da
>>>> Baía de Guanabara, a participar do primeiro evento satélite de lógica do
>>>> ICM. O evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do
>>>> Museu de Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não
>>>> hesitem em nos contactar.
>>>>
>>>> --
>>>> Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>>> Acesse esse grupo em
>>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>>> Para ver essa discussão na Web, acesse
>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com
>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com?utm_medium=email_source=footer>
>>>> .
>>>>
>>> --
>>> Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> Acesse esse grupo em
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com
>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com?utm_medium=email_source=footer>
>>> .
>>>
>>
>>
>>
>> --
>> Elaine.
>> -
>> Elaine Pimentel  - DMAT/UFRN
>>
>> Address: Departamento de Matemática
>> Universidade Federal do Rio Grande do Norte
>> Campus Universitário - Av. Senador Salgado Filho, s/nº
>> Lagoa Nova, CEP: 59.078-970 - Natal - RN
>>
>> Phone: +55 84 3215-3820
>>
>> http://sites.google.com/site/elainepimentel/
>> Lattes: http://lattes.cnpq.br/32982464110864

1 2 >

1 - 100 de 124 matches

Mail list logo