Seminário de Lógica Carioca Quarta feira, dia 21 de novembre 2018 UFRJ - IFCS - Largo São Francisco de Paula 1 Sala Celso Lemos - 3 Andar
11h Hermann Haeusler Department of Informatics, Pontifical University of Rio de Janeiro, Brazil "Kolmogorov Complexity, Structural Complexity and Strong Evidences for Church Thesis." 12h Marek Nasieniewski Department of Logic, University of Torun, Poland "On Modalities in the Context of Jaskowski’s Discussive Logic" http://www.rio-logic.org/ -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CAF2zFLDw9jX7rM%2BgfveafHSdX8BuuXEZc2JmpTfXAR1tn5RRGA%40mail.gmail.com.
