[Logica-l] Fwd: CFP - Escola de Informática Teórica e Métodos Formais (ETMF 2016)

2016-09-13 Por tôpico Joao Marcos
-- Mensagem encaminhada -- De: Simone Cavalheiro Prezados colegas, é com grande satisfação que divulgamos no site do evento a Programação Preliminar do ETMF 2016: http://etmf2016.imd.ufrn.br/ e mais uma vez solicitamos divulgação da Chamada de Trabalhos do evento. Saudações,

[Logica-l] Fwd: [PT] Post-doctoral Position in Proof Theory, Vienna University of Technology

2016-09-13 Por tôpico Elaine Pimentel
Talvez seja de interesse para membros da lista. Elaine. -- Forwarded message -- From: Stefan Hetzl Date: Tue, Sep 13, 2016 at 4:13 AM Subject: [PT] Post-doctoral Position in Proof Theory, Vienna University of Technology To: prooftheory.l...@gmail.com A position as post-doctoral

[Logica-l] LoLITA Seminars - 16.09.2016, 16:00, sala de Seminários DMAT

2016-09-13 Por tôpico Joao Marcos
Seguem detalhes do nosso próximo LoLITA Seminar, realmente imperdível! Dia: 16/09/2016 Horário: 16:00 Local: Sala de Seminários DMAT (2o andar), UFRN Speaker: Elaine Pimentel Title: A unified view of modal and substructural logics Abstract: It is well known that context dependent logical rules

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 10 atualizações em 3 tópicos

2016-09-13 Por tôpico Hercules de Araujo Feitosa
Obrigado João Marcos, pelo trabalho realizado até o momento. Carol, seja bem vinda como Administradora. Entendo que todos nós, participantes, temos interesse na LÓGICA-L. Faremos o empenho para mantê-la, com ênfase no que nos reúne, a Lógica. Abraços. - Mensagem original - De: log

[Logica-l] IfCoLog - Special issue on Connexive Logics

2016-09-13 Por tôpico João Daniel Dantas
Saudações, Já está disponível online uma edição especial do IfCoLog sobre Connexive Logics editada por Heinrich Wansing, Hitoshi Omori e Thomas Macaulay Ferguson: http://www.collegepublications.co.uk/journals/ifcolog/?7 Para os interessados no tema, é sempre bom lembrar do ótimo site sobre o

Re: [Logica-l] [META] fim do período de candidaturas à administração da LOGICA-L

2016-09-13 Por tôpico Marcos Silva
OLá, Carol, (vou abusar um pouco da tal regra 6.) Muito obrigado por assumir esta responsabilidade! Esperamos todos que você possa trabalhar com tranquilidade e autonomia. Conte conosco! Vida longa à LOGICA-L! Abraços, Marcos 2016-09-12 21:28 GMT-03:00 Eduardo Ochs : > Obrigado, Carol!!

Re: [Logica-l] [META] fim do período de candidaturas à administração da LOGICA-L

2016-09-13 Por tôpico Claus Akira Horodynski Matsushigue
Boa Carol Parabéns, valeu... Conta com nois!! Bjus, Claus Em 13/09/2016 14:49, "Marcos Silva" escreveu: > OLá, Carol, > > (vou abusar um pouco da tal regra 6.) > > Muito obrigado por assumir esta responsabilidade! > > Esperamos todos que você possa trabalhar com tranquilidade e autonomi