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

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