V Workshop do LOGIA
Nesta edição do evento, haverá a participação de 7 convidados:
* Mario Benevides (UFRJ): Epistemic Logics for Authentication and Secrecy in Protocols
* Daniel Figueiredo (UFRJ): Why Network Science can contribute to advancement of science (and your research)
* Joao Marcos (UFRN): What Makes for a Good Paraconsistent Negation
* Alessandro Bandeira (UFFRN): Mini-Curso - Frege: Logicismo e Neologicismo
* Victor Marques (UFABC): Elementos para uma teoria materialista da informação: o caso biológico
*Guilherme Barreto (DETI/UFC): A ser anunciado.
* Tarcisio Pequeno (UFC): Não conhecemos, nunca conheceremos, mas vale a pena ir tentando ou A filosofia natural das traças: Uma pequena viagem por grandes ideias
WARMUP
Embora o Workshop comece apenas no dia 19, já no dia 18 haverá um "warmup" no Departamento de Computação com o mini-curso sobre o logicismo de Frege, ministrado pelo Prof. Alessandro Bandeira.
APRESENTAÇÕES
Além das palestras dos convidados, haverá apresentações sobre lógica, informação, filosofia, IA, ciências de redes, etc. Haverá uma sessão inteira sobre Aprendizado Automático, organizada pelo Prof. João Paulo Pordeus.
Alguns dos tópicos abordados no workshop serão:
Lógicas para protocolos e autenticação
Lógicas para o conceito de confiança
Teoria dos modelos finitos
Teoria da informação
Ciência de Redes
Prova automática de teoremas
IA Heideggeriana
Aprendizado automático
Confira a programação na página do evento:
http://www.lia.ufc.br/~logia/workshopv/
AFTER PARTY
E não termina por aí! Depois do workshop no Departamento de Computação, as atividades continuam no Departamento de Filosofia, no seminário do grupo de filosofia analítica PenCogLin (http://pencogling.weebly.com/), com as seguintes apresentações:
* João Marcos (UFRN): O que é uma teoria?
* Alessandro Bandeira (UFRRJ): O Papel Formal da Distinção "Sentido e
Referência"
Todos estão convidados a assistir as apresentações no Departamento de Computação nos dias 18, 19 e 20 de Novembro e no Departamento de Filosofia no dia 20 de Novembro.
Convidem seus amigos!
O V Workshop do LogIA conta com o apoio do MDCC (http://www.mdcc.ufc.br/), Capes/Casadinho e PROAP.
Esperamos ver todos lá!
Fonte: Organização do V Workshop do LogIA