logica-l

Índice cronológico

2019/09/06 Re: [Logica-l] Presheaves Francisco Miraglia Neto
2019/09/06 [Logica-l] Presheaves Regivan Hugo Nunes Santiago
2019/09/06 [Logica-l] Main CFP CPP 2020 - Certified Programs and Proofs Mauricio Ayala-Rincon
2019/09/04 [Logica-l] WoCoLoR III, Varanasi, de 8 a 12 de novembro de 2020 jean-yves beziau
2019/09/03 [Logica-l] Logic and Semiotics : The Arbitrariness of the Sign in Question jean-yves beziau
2019/09/02 [Logica-l] Jaakko Hintikka - Memorial Issue jean-yves beziau
2019/09/02 [Logica-l] Argumentos implícitos ("notação de físicos") Eduardo Ochs
2019/09/02 Re: [Logica-l] CREATIVITY'2019 extensão do prazo - bolsas para estudantes - SBL C. Mortari
2019/09/01 [Logica-l] CREATIVITY'2019 extensão do prazo - bolsas para estudantes - SBL jean-yves beziau
2019/08/31 [Logica-l] Joao Marcos e Luiz Carlos no Recife (9-11/10) Marcos Silva
2019/08/31 [Logica-l] [Off Topic] SEP anglocêntrica Walter Carnielli
2019/08/30 [Logica-l] Re: CREATIVITY 2019 - bolsas para estudantes da SBL Mathematical Logic UFBA
2019/08/30 [Logica-l] Re: CREATIVITY 2019 - bolsas para estudantes da SBL 'Samuel Gomes' via LOGICA-L
2019/08/30 [Logica-l] CREATIVITY 2019 - bolsas para estudantes da SBL jean-yves beziau
2019/08/30 [Logica-l] Re: [OFF-Topic] Filósofos na SEP Eduardo Alejandro Barrio
2019/08/30 Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Cassiano Terra Rodrigues
2019/08/29 Re: [Logica-l] [OFF-Topic] Filósofos na SEP Walter Carnielli
2019/08/29 Re: [Logica-l] [OFF-Topic] Filósofos na SEP Joao Marcos
2019/08/29 [Logica-l] [OFF-Topic] Filósofos na SEP Walter Carnielli
2019/08/28 Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Gisele Secco
2019/08/28 [Logica-l] Talk on Constraine Interval Arithmetics Regivan Hugo Nunes Santiago
2019/08/26 [Logica-l] Proceedings of the XVIII EBL Jonas Becker
2019/08/25 [Logica-l] LSFA2019 starts today! Joao Marcos
2019/08/24 Re: [Logica-l] o CADE se avizinha! Valeria de Paiva
2019/08/23 [Logica-l] Questões metamatemáticas do julgamento e da decisão: em sistemas formais e em linguagem natural jean-yves beziau
2019/08/22 [Logica-l] Fwd: Reminder: post doc in Logic, University of Milan, deadline 4 September Marcelo Finger
2019/08/21 Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Joao Marcos
2019/08/21 Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Antonio Marmo
2019/08/21 Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Joao Marcos
2019/08/21 [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Walter Carnielli
2019/08/20 [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Cassiano Terra Rodrigues
2019/08/20 [Logica-l] Fwd: Divulgação EBICC 2019 e School of Complex Systems and Big Data (deadline estendido) Edson Bezerra
2019/08/20 [Logica-l] o CADE se avizinha! Joao Marcos
2019/08/19 [Logica-l] Fwd: [logic-bsb] Jean-Yves Béziau (UFRJ) @ <Lógica no Avião> Rodrigo Freire
2019/08/19 [Logica-l] Re: CLPMS - Prague 2019 ----> Buenos Aires 2023 Eduardo Alejandro Barrio
2019/08/18 [Logica-l] CLPMS - Prague 2019 ----> Buenos Aires 2023 jean-yves beziau
2019/08/17 [Logica-l] Fwd: PhD Position Elaine Pimentel
2019/08/15 Re: [Logica-l] Latex - Kripke models Eduardo Ochs
2019/08/15 Re: [Logica-l] Latex - Kripke models Eduardo Ochs
2019/08/15 Re: [Logica-l] Latex - Kripke models Eduardo Ochs
2019/08/15 Re: [Logica-l] Latex - Kripke models Letícia Gindri
2019/08/15 [Logica-l] Latex - Kripke models Abílio
2019/08/14 Re: [Logica-l] [OFF] Philosophers and petitions Joao Marcos
2019/08/14 Re: [Logica-l] [OFF] Philosophers and petitions Joao Marcos
2019/08/14 Re: [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Adolfo Neto
2019/08/14 [Logica-l] [OFF] Philosophers and petitions Joao Marcos
2019/08/14 Re: [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq C. Mortari
2019/08/14 [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Mauricio Ayala-Rincon
2019/08/13 [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Marcos Silva
2019/08/13 Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Thiago Alves
2019/08/12 [Logica-l] Fwd: PhD position: logic, SMT, verification Haniel Barbosa
2019/08/09 [Logica-l] Concurso DE de Lógica, Filosofia da Linguagem e Teoria do Conhecimento - UFFS (Erechim/RS) newtonperon .
2019/08/09 Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 6 atualizações em 5 temas Mauricio Ayala-Rincon
2019/08/09 [Logica-l] Riso e a Racionalidade jean-yves beziau
2019/08/08 Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Joao Marcos
2019/08/08 Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Thiago Alves
2019/08/08 [Logica-l] #OFF Entrevista filósofa Catarina Dutilh Novaes Adolfo Neto
2019/08/08 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Adolfo Neto
2019/08/08 Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 3 temas Mauricio Ayala-Rincon
2019/08/07 Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Vivek Nigam
2019/08/07 [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Joao Marcos
2019/08/07 [Logica-l] [OFF] EDITAL PARA PROFESSOR VISITANTE PPGFIL UFAL Cinthya Fernandes
2019/08/07 Re: [Logica-l] Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, Famadoria
2019/08/06 [Logica-l] Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, jean-yves beziau
2019/08/06 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Famadoria
2019/08/06 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez josé carlos cifuentes
2019/08/06 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Jorge Alberto Molina
2019/08/06 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Daniel Durante
2019/08/06 [Logica-l] Slides - Sessão de Lógica Matemática do 1st Joint Meeting Brazil France in Mathematics Samuel Gomes da Silva
2019/08/06 [Spam] Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez C. Mortari
2019/08/06 Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez itala loffredo
2019/08/06 [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Joao Marcos
2019/08/06 [Logica-l] Chamada de Trabalhos: Colóquio Interdisciplinar sobre Teoria da Probabilidade Pedro Bravo
2019/08/05 [Logica-l] [15-16/08] IV Ciclo de Palestras Consciência e Cognição (UFPE) - com prof. Otávio Bueno (University of Miami) Hugo Mota
2019/08/03 [Logica-l] Second-order and Higher-order Logic Joao Marcos
2019/08/01 [Logica-l] IV Semana de Filosofia da Linguagem DFL-UFS (Aracaju, 12-16/8) Marcos Silva
2019/08/01 Re: [Logica-l] Re: Lógica elementar Evandro L. Gomes
2019/08/01 [Logica-l] Re: Lógica elementar Cassiano Terra Rodrigues
2019/07/31 Re: [Logica-l] Lógica elementar itala loffredo
2019/07/31 [Logica-l] Lógica elementar 'Desidério Murcho' via LOGICA-L
2019/07/31 [Logica-l] World Logic Day UN/UNESCO - Tribute to Kurt Gödel 2020, BRNO jean-yves beziau
2019/07/29 [Logica-l] Report on "Kurt Gödel's Legacy: Does Future lie in the Past?" / Vienna, July 25-27, 2019 jean-yves beziau
2019/07/27 [Logica-l] International Conference on Homotopy Type Theory 2019 Bruno Bentzen
2019/07/26 Re: [Logica-l] Saiu hoje no Globo!! itala loffredo
2019/07/26 Re: [Logica-l] Saiu hoje no Globo!! Andrea Loparic
2019/07/26 Re: [Logica-l] Saiu hoje no Globo!! Valeria de Paiva
2019/07/26 Re: [Logica-l] Saiu hoje no Globo!! Gisele Secco
2019/07/26 [Logica-l] Saiu hoje no Globo!! Elaine Pimentel
2019/07/25 [Logica-l] consequência lógica, no Estadão Joao Marcos
2019/07/24 [Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP sexta-feira 26/07 Marcelo Esteban Coniglio
2019/07/23 [Logica-l] Re: Otavio Bueno no Recife (15-16/8) Marcos Silva
2019/07/23 [Logica-l] Otavio Bueno no Recife (15-16/8) Marcos Silva
2019/07/21 [Logica-l] CADE-27 -- Chamada para voluntários Elaine Pimentel
2019/07/19 Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Alexandre Rademaker
2019/07/19 [Logica-l] CADE-27 -- Anúncio de Tutoriais Elaine Pimentel
2019/07/19 [Logica-l] Edital de seleção professor substituto - UFFS newtonperon .
2019/07/18 Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas Mauricio Ayala-Rincon
2019/07/18 [Logica-l] Fwd: Formal Methods in Mathematics / Lean Together 2020 Joao Marcos
2019/07/17 [Logica-l] Revisão da Lógica (19/7, Sao Luís) Marcos Silva
2019/07/17 Re: [Logica-l] [OFF TOPIC] A privatizaÃ§Ã£o da universidade pÃºblica jÃ¡ comeÃ§ou Marcelo Finger
2019/07/17 Re: [Logica-l] [OFF TOPIC] A privatizaÃ§Ã£o da universidade pÃºblica jÃ¡ comeÃ§ou Adolfo Neto
2019/07/17 Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Mario Roberto Folhadela Benevides
2019/07/17 Re: [Logica-l] [OFF TOPIC] A privatizaÃ§Ã£o da universidade pÃºblica jÃ¡ comeÃ§ou Francisco Miraglia Neto
2019/07/17 Re: [Logica-l] [OFF TOPIC] A privatizaÃ§Ã£o da universidade pÃºblica jÃ¡ comeÃ§ou Itala M. Loffredo D'Ottaviano
2019/07/17 Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
2019/07/17 Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
2019/07/17 Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Elaine Pimentel
2019/07/17 [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
2019/07/17 Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
2019/07/17 Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas Mauricio Ayala-Rincon
2019/07/17 [Logica-l] Fwd: [logic-bsb] Daniel Nagase (USP) @ <Lógica no Avião> Rodrigo Freire
2019/07/16 Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Haniel Barbosa
2019/07/16 [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
2019/07/16 Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Francisco Miraglia Neto
2019/07/16 Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Famadoria
2019/07/16 Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Adolfo Neto
2019/07/16 [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Walter Carnielli
2019/07/16 [Logica-l] Episódio do podcast SciCast sobre Lógica Adolfo Neto
2019/07/16 [Logica-l] Fwd: [LOGIC] PhD student position in formal logic for AI, Bergen (Norway), Deadline: 9 Aug 2019 Camilo Thorne
2019/07/15 [Logica-l] 50 libras Joao Marcos
2019/07/15 [Logica-l] Fwd: [Proof Complexity] PhD and postdoc positions Camilo Thorne
2019/07/15 [Logica-l] Fwd: [logic-bsb] Vaga para professor substituto (Lógica/FIL-UnB) Rodrigo Freire
2019/07/15 [Logica-l] LSFA 2019 - Final programme Joao Marcos
2019/07/15 [Logica-l] Fwd: [logic-bsb] Wagner Sanz (UFG) @ <Lógica no Avião> Rodrigo Freire
2019/07/12 [Logica-l] Fwd: [logic-bsb] [Livro - Seminário Lógica no Avião, 2013-2018] [lna.unb.br] Rodrigo Freire
2019/07/12 [Logica-l] Tirung em Português Marcelo Finger
2019/07/12 [Logica-l] Fwd: Lógica Elementar: Raciocínio, Linguagem e Realidade Joao Marcos
2019/07/11 Re: [Logica-l] thou shalt not commit logical fallacies Adolfo Neto
2019/07/11 Re: [Logica-l] TAUT Adolfo Neto
2019/07/10 [Logica-l] TAUT Joao Marcos
2019/07/10 [Logica-l] thou shalt not commit logical fallacies Joao Marcos
2019/07/10 [Logica-l] Conference Announcement - VIII Workshop on Philosophical Logic Mariela Rubin
2019/07/09 [Logica-l] Edital de Seleção - Pós-Graduação em Informática (UnB) Cláudia Nalon
2019/07/09 [Logica-l] Programacao e resumos completos já disponíveis - Sessao de Lógica Matemática no 1st Brazil/France Joint Meeting in Mathematics Samuel Gomes da Silva
2019/07/08 [Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP 26/07 Marcelo Esteban Coniglio
2019/07/06 [Logica-l] CLE4Science Winter School: Lógica e Filosofia da Religião Gesiel Borges da Silva
2019/07/05 [Logica-l] Fwd: [Proof Complexity] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2019 Camilo Thorne
2019/07/04 [Logica-l] Proceedings do 3º FILOMENA Workshop Sanderson Molick
2019/07/03 [Logica-l] A lógica de Monty Python Joao Marcos
2019/07/02 [Logica-l] Impact Factor 2018 Logic Journals / Just Released jean-yves beziau
2019/07/01 [Logica-l] Proofs are not programs Joao Marcos
2019/07/01 [Logica-l] [OFF] Living Proof: Stories of Resilience Along the Mathematical Journey Joao Marcos
2019/07/01 [Logica-l] Fwd: [Proof Complexity] PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems Camilo Thorne
2019/06/30 [Logica-l] [DEADLINE EXTENSION] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16) Sanderson Molick
2019/06/27 [Logica-l] 7th UNILOG, Greece, Spring 2021 jean-yves beziau
2019/06/25 Re: [Logica-l] [OFF TOPIC] Editorial na revista 'Theoria' em defesa da filosofia e sociologia no Brasil Joao Marcos
2019/06/25 [Logica-l] [OFF TOPIC] Editorial na revista 'Theoria' em defesa da filosofia e sociologia no Brasil Walter Carnielli
2019/06/24 [Logica-l] IX Seminário Integrado Linguagem e Cognição - "Normatividade" (UFAL, 27/6) Marcos Silva
2019/06/24 [Logica-l] A mathematical proof isn't just an intellectual exercise Joao Marcos
2019/06/23 [Logica-l] Sheila Veloso - Ricardo Silvestre / Seminário LoCa /24-06-2019/ 14-16h IFCS-UFRJ jean-yves beziau
2019/06/22 [Logica-l] Fwd: [Proof Complexity] visitor position Camilo Thorne
2019/06/21 [Logica-l] [REMINDER] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16) Sanderson Molick
2019/06/19 [Logica-l] Fwd: Professor Substituto de Filosofia Geral da UFAL (Maceió): Edital 43/2019 Marcos Silva
2019/06/18 [Logica-l] Fwd: Ettore Casari (1933-2019) Joao Marcos
2019/06/16 [Logica-l] Ochs & Stern / Seminário LoCa /18-12-2019 14-16h IFCS-UFRJ jean-yves beziau
2019/06/16 [Logica-l] Paraconsistent Newsletter - Booming Spring 2019 Edition jean-yves beziau
2019/06/15 Re: [Logica-l] Fwd: Theoretical Computer Science : Volume 781 Logical and Semantic Frameworks with Applications Valeria de Paiva
2019/06/12 [Logica-l] Fwd: Theoretical Computer Science : Volume 781 Logical and Semantic Frameworks with Applications Joao Marcos
2019/06/12 [Logica-l] Francisco Miró Quesada Cantuarias (1918-2019) jean-yves beziau
2019/06/11 Re: [Logica-l] da dificuldade de definir o significado de "construtivo" itala loffredo
2019/06/11 Re: [Logica-l] da dificuldade de definir o significado de "construtivo" Francisco Miraglia Neto
2019/06/11 Re: [Logica-l] da dificuldade de definir o significado de "construtivo" Andrea Loparic
2019/06/11 Re: [Logica-l] da dificuldade de definir o significado de "construtivo" josé carlos cifuentes
2019/06/10 [Logica-l] Concurso para docente IC/UFF Bruno Lopes
2019/06/10 [Logica-l] Fwd: DaLí 2019 (message to the PC) - deadline extended to June, 28 Mario Roberto Folhadela Benevides
2019/06/08 [Logica-l] da dificuldade de definir o significado de "construtivo" Joao Marcos
2019/06/08 [Logica-l] Learnability can be undecidable Joao Marcos
2019/06/08 [Logica-l] Fwd: 2019 Simon Award: Dr. Juan M. Durán Joao Marcos
2019/06/06 [Logica-l] Haskell Brooks Curry (1900-1982) em linha jean-yves beziau
2019/06/06 [Logica-l] verificação formal da indemonstrabilidade de CH Joao Marcos
2019/06/06 Re: [Logica-l] Simone Weil / Conjunto Vazio Famadoria
2019/06/05 [Logica-l] Simone Weil / Conjunto Vazio jean-yves beziau
2019/06/05 [Logica-l] new @ SEP on Multi-Modal Logic Joao Marcos
2019/06/04 [Logica-l] Re: "calling something logic doesn't make it so" jyb
2019/06/04 [Logica-l] Workshop Normativity & Social Cognition - 13.06 (UFPE) Hugo Mota
2019/06/04 [Logica-l] Enc: Announcement: Tuna Altinel Samuel Gomes da Silva
2019/06/04 [Logica-l] Car@s: Walter Carnielli
2019/06/03 [Logica-l] "calling something logic doesn't make it so" Joao Marcos
2019/06/03 [Logica-l] Fwd: Palestra de Thiago Nascimento Joao Marcos
2019/06/03 [Logica-l] Convite: orientação de Doutorado-Unicamp (Profs. Carnielli/ Stern) Walter Carnielli
2019/06/01 Re: [Logica-l] Review de "The Significance of the New Logic” Joao Marcos
2019/06/01 [Logica-l] Bolsa mestrado filosofia IFCH Unicamp (deadline inscrição 15/07) Giorgio Venturi
2019/05/29 [Logica-l] Review de "The Significance of the New Logic” Walter Carnielli
2019/05/26 [Logica-l] - Concurso de professor visitante/visitante estrangeiro - departamento de filosofia UFMG - Abílio
2019/05/23 [Logica-l] Divulgação dos vídeos do III Ciclo de Palestras Consciência, Linguagem e Cognição (UFPE/UFAL/SBFA) Hugo Mota
2019/05/23 [Logica-l] Who Shall We Invite? Improving Department Research Seminar Invitation Practices Gisele Secco
2019/05/21 [Logica-l] Coherence theory of truth for mathematical truths? Francisco Pipa
2019/05/20 [Logica-l] Fwd: [logic-bsb] Diego Marques (MAT-UnB) @ <Lógica no Avião> Rodrigo Freire
2019/05/20 [Logica-l] Fwd: [Proof Complexity] post-doc position Camilo Thorne
2019/05/17 [Logica-l] Seminars on Many-Valued Logic (Natal, RN) Joao Marcos
2019/05/17 [Logica-l] [Correção] Concurso para Professor Adjunto do DC/UFC/Fortaleza Francicleber M. Ferreira
2019/05/16 [Logica-l] Conference Announcement - Buenos Aires VIII Workshop on Philosophical Logic Paula Teijeiro
2019/05/16 Re: [Logica-l] [off topic] a filosofia em defesa da educação Ricardo Pereira
2019/05/14 [Logica-l] [off topic] a filosofia em defesa da educação Marcos Silva
2019/05/13 Re: [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de LÃ³gica Itala M. Loffredo D'Ottaviano
2019/05/13 Re: [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica Gisele Secco
2019/05/13 Re: [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica itala loffredo
2019/05/13 [Logica-l] Kurt Gödel’s Legacy: Does Future lie in the Past? 100 ANOS DO ECLIPSE DE SOBRAL jean-yves beziau
2019/05/13 [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica Cassiano Terra Rodrigues
2019/05/12 [Logica-l] Divulgação do EBL no site do grupo Consciência e Cognição (UFPE) Hugo Mota

Mensagens anteriores