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

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

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

*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

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

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

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

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á

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

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

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

/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

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

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

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

*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

[Logica-l] EBL 2022 Post-Proceedings

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

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

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

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

: 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

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

asurer 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 estu

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

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

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

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!

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

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

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

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

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

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

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

g., 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". &

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

ssumptions), 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

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

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

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

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

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

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.

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

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 inscreve

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

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 A

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

t; 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%3Dy5F60ytPQN9

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

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

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

m/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 recebe

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

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 G

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

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 inscreve

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

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

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

n 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 Fl

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

-- 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, e

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

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

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

nce 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/~br

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

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

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

onsequence, 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 . -- B

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

hout 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

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

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

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

oogle 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 G

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

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 Universida

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

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

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

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

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

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

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

igma: 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

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

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

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

lico 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 ne

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

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

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

hich 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/u

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

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 Profess

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

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

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

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

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

elo 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 Gr

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

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 "L

[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

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

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

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

[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

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

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

.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

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

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 Comp

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

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

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

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

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

tion 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 por

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

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] Palestra no Logic Supergroup: começando agora!

> 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

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

r 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

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

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

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

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ía

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

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

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

es 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" d

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

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

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

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

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

tura [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

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

athematik, 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

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

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 .

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

a 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 "LOGIC

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

ir 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 -- Bruno Lopes Professor Adjunto Instituto de Computação Universida

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

resentaçã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 Un

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

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

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

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

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

licaçã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 . -- B

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

ma 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

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

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

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

rators, 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://form

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

l 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 ne

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

= * 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

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

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

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

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

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

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

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

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

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

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

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

* 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

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

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 1

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

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 Universida

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

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

[Logica-l] Fwd: Concurso Professor Adjunto UERJ

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 receb

[Logica-l] INSCRIÇÕES ABERTAS – MESTRADO E DOUTORADO NO PGC / 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 17 de

[Logica-l] Concurso para docente IC/UFF

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.

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

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

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

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

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

018, 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 event

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

? >>> >>> 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... >>&g

  1   2   >