Messages by Thread
-
[Logica-l] Open House on Category Theory 2021
Marcelo Esteban Coniglio
-
[Logica-l] CFP: 100 anos de Tractatus
Marcos Silva
-
[Logica-l] da pressa em concluir (sistema 1 vs sistema 2)
Joao Marcos
-
[Logica-l] Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h
Bruno Lopes
-
[Logica-l] a ciência precisa de pirataria?
Marcos Silva
-
[Logica-l] Fwd: Call for submissions: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum, March 17-18, 2022
Joao Marcos
-
[Logica-l] Off topic: Lançamento de livro de filosofia da matemática
Ricardo Grande
-
[Logica-l] nova data para envio de artigos para o Prêmio Newton da Costa
Petrucio Viana
-
[Logica-l] Fwd: Mathematicians solve an old geometry problem on equiangular lines
Mario Roberto Folhadela Benevides
-
[Logica-l] [convite] Palestra sobre Generalized Algebraic Datatypes de OCaml para Coq
Daniele Nantes
-
[Logica-l] Fwd: Today at 2 pm (CEST): DEON Seminar Series – opening talk by Marek Sergot
Joao Marcos
-
[Logica-l] Fwd: PhD students
Elaine Pimentel
-
[Logica-l] Fwd: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*
Valeria de Paiva
-
[Logica-l] Outubro 14 - dois lógicos ateus no seminário de Lógica e Religião
jean-yves beziau
-
[Logica-l] Palestra sobre raciocínio abdutivo
Renata Arruda
-
[Logica-l] a lógica das crianças
jean-yves beziau
-
[Logica-l] Entrevista - Walter Carnielli -Ad Infinitum
Alfredo Roque Freire
-
[Logica-l] Fwd: CFP: Special Issue on Valerie Plumwood's Contributions to Logic
Joao Marcos
-
[Logica-l] o que é lógica modal?
Joao Marcos
-
[Logica-l] Lewis Carroll’s Symbolic Logic: Why Make Things Simple When You Can Make Them Complicated?
jean-yves beziau
-
[Logica-l] Fwd: [gdr-im] SIGACT CATCS: Soliciting information about Women in TCS
Elaine Pimentel
-
[Logica-l] Fwd: Supergroup Early Career Researcher Conference
Joao Marcos
-
[Logica-l] [HUMOR] como reagir frente aos paradoxos
Joao Marcos
-
[Logica-l] in praise of rationality
Joao Marcos
-
[Logica-l] Venda de Livros de Lógica
Antonio Carlos Aido de Almeida
-
[Logica-l] Fwd: [WiL] Call for 20 PhD Positions in Computer Science at TU Wien,,Vienna, Austria
Elaine Pimentel
-
[Logica-l] Palestra [07/10]: Mario Florido (UPorto)
Daniel Ventura
-
[Logica-l] Fwd: Workshop on Decidability of Logics and Theories and Their Combinations
Joao Marcos
-
[Logica-l] motivações para (não-)classicalidade
Joao Marcos
-
[Logica-l] LUW October 6 : being provable in Peano Arithmetic with at most k steps
jean-yves beziau
-
[Logica-l] Is there an optimal logic system for choosing a romantic partner?
jean-yves beziau
-
[Logica-l] Coletivo Lógica Viva: Falácia Naturalista
Marcos Silva
-
[Logica-l] Decidability of Logics and Theories and their Combinations / workshop at UNILOG'2022
jean-yves beziau
-
[Logica-l] Fwd: Proof Theory Seminar, Autumn 2021
Bruno Lopes
-
[Logica-l] O canal "Ad Infinitum" de vento em popa
Walter Carnielli
-
[Logica-l] Coletivo Lógica Viva: Gavagai!
Marcos Silva
-
[Logica-l] Deadline extended Workshop "Logic(s) in Defective Science"
Luis Felipe Bartolo Alegre
-
[Logica-l] I Encontro Brasileiro de Filósofas Analíticas
Gisele Secco
-
[Logica-l] [OUF] inclusão da filosofia e da sociologia como componentes curriculares obrigatórios nos três anos do ensino médio
jean-yves beziau
-
[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.
'samuel' via LOGICA-L
-
[Logica-l] Posicao de Post-Doc na Polônia (36 meses)
Walter Carnielli
-
[Logica-l] Fwd: Six Postdoc Positions, Bochum
Joao Marcos
-
[Logica-l] Conference at The Institute for Interdisciplinary Research in Fundamental Sciences
Frode Bjørdal
-
[Logica-l] Fwd: PostDoc in Torun (Poland)
Marcelo Esteban Coniglio
-
[Logica-l] Fw: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
'Samuel Gomes' via LOGICA-L
-
[Logica-l] Fwd: CfR - Formalize!(?) 2, Virtual - January 15, 2022
Joao Marcos
-
[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/09/2021 (quinta-feira) 16:00h
Bruno Lopes
-
[Logica-l] Logic and Love - Workshop at UNILOG'2022 - Crete
jean-yves beziau
-
[Logica-l] Barcelona Principles etc
Walter Carnielli
-
[Logica-l] XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
'samuel' via LOGICA-L
-
[Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
'samuel' via LOGICA-L
-
Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
Julio Stern
-
Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
'samuel' via LOGICA-L
-
Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
Elaine Pimentel
-
Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
Marcelo Finger
-
[Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González)
Joao Marcos
-
[Logica-l] Infinity Category Theory Offers a Bird's-Eye View of Mathematics - Scientific American
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Pesar
Francisco Miraglia Neto
-
[Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY
jean-yves beziau
-
[Logica-l] 7th World Congress and School on Universal Logic - Orthodox Academy of Crete, April 1 - 11, 2022
jean-yves beziau
-
[Logica-l] Divulgação científica sobre paraconsistência
Evandro L. Gomes
-
[Logica-l] Prêmio Newton da Costa de Lógica - 2014-2021
jean-yves beziau
-
[Logica-l] Fwd: [Coq-Club] PhD position at the University of Copenhagen
Leonardo Lima
-
[Logica-l] Aniversário de Newton da Costa - dia 16 de setembro - LARAWebinar às 11h horário de Brasília
jean-yves beziau
-
[Logica-l] Workshop on Relevance, Explanation and Ground - September 17
João Daniel Dantas
-
[Logica-l] Extended CFP (by October 15): 'Logic and Politics', UNILOG 2022
Fabien Schang
-
[Logica-l] LUW Sept 15 : Mathematical Perspectives on Liar Paradoxes
jean-yves beziau
-
[Logica-l] [OFF-TOPIC] metafísica da autoria
Cassiano Terra Rodrigues
-
[Logica-l] 2nd open CFP - 2021 post-proceedings for Theorem-Proving Components for Educational Software
Joao Marcos
-
[Logica-l] Fwd: Workshop Philosophy of Computing Sept 16-17, 2021 (Zoom)
Joao Marcos
-
[Logica-l] Book review, Catarina Dutilh Novaes, The dialogical roots of deduction
Joao Marcos
-
[Logica-l] My (33F) husband's (35M) career in academic philosophy is ruining our marriage.
Eduardo Ochs
-
[Logica-l] Paraconsistent Newsletter Summer-Winter 2021
jean-yves beziau
-
[Logica-l] Lógica Viva: Exercício de Utopia: qual será nosso legado? (Aldo Dinucci)
Marcos Silva
-
[Logica-l] uma nova prova de que P não é igual a NP?
Petrucio Viana
-
[Logica-l] CFA: Inceptiones et Receptiones: Abordagens etnológicas, filológicas e históricas à Lógica e à Matemática
Prensa SPEL
-
[Logica-l] Sucesso de público da lógica no Ensino Superior
Cassiano Terra Rodrigues
-
[Logica-l] Special Issue on "Decidability of Logics and Their Theories and Combinations"
Joao Marcos
-
[Logica-l] Logics from Rough Sets / UNILOG'2022
jean-yves beziau
-
[Logica-l] Fwd: sessão CLAM - Set theory and its Interactions
Joao Marcos
-
[Logica-l] PhD student position in the philosophy of mathematical practice, Aarhus (Denmark), Deadline: 1 Nov 2021
Walter Carnielli
-
[Logica-l] Viva a independência !
jean-yves beziau
-
[Logica-l] [OFF?] - Workshop Internacional - Las filósofas y Leibniz
Gisele Secco
-
[Logica-l] Fwd: Trends in Logic XXI - Deadline Extension Announcement
Joao Marcos
-
[Logica-l] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022
Valeria de Paiva
-
[Logica-l] LUW Sept 8: Decidability of Logical Theories and their Combination
jean-yves beziau
-
[Logica-l] Seminário remoto "Lógicos em Quarentena" 09/09/2021 (quinta-feira) 16:00h
Bruno Lopes
-
[Logica-l] Fwd: [[Maude-users] ] CfP: 14th International Workshop on Rewriting Logic and its Applications
Vivek Nigam
-
[Logica-l] Fwd: Reminder CfA: Workshop "Logic(s) in Defective Science"
Joao Marcos
-
[Logica-l] Lembrete de CfA: Workshop "Logic(s) in Defective Science"
Luis Felipe Bartolo Alegre
-
[Logica-l] Fwd: NCMPL 2021 - Deadline Extension Announcement
Joao Marcos
-
[Logica-l] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event
Marcelo Esteban Coniglio
-
[Logica-l] Logica Universalis - Volume 15 - Issue 3, September 2021
jean-yves beziau
-
Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 2 temas
Hercules de Araujo Feitosa
-
[Logica-l] [CFA] Belief Revision Workshop at UNILOG2022
Rafael Testa
-
[Logica-l] Genesis da Matematica Moderna na America do Sul
Valeria de Paiva
-
[Logica-l] duas maçãs pelo preço de uma
Joao Marcos
-
Re: [Logica-l] sobre a "reforma da língua
Cassiano Terra Rodrigues
-
[Logica-l] Fwd: New Software Foundations release
Joao Marcos
-
[Logica-l] CFP Special Issue: The Logical Alien (Principia)
Luiz Henrique
-
[Logica-l] da origem dos termos matemáticos
Joao Marcos
-
[Logica-l] Fwd: TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.
Joao Marcos
-
[Logica-l] Bolsas de Posdoc na UCL (University College London)
Elaine Pimentel
-
[Logica-l] Seminário remoto "Lógicos em Quarentena" 26/08/2021 (quinta-feira) 16:00h
Bruno Lopes
-
[Logica-l] Lógica viva: OS PARADOXOS ESTÓICOS: hora de aprender (por Aldo Dinucci)
Marcos Silva
-
[Logica-l] o infinito, ainda
Joao Marcos
-
[Logica-l] Somos corpos ou almas?
jean-yves beziau