Índice temático
-
-
[Logica-l] LSFA 2023 / First CFPs
Mauricio Ayala Rincon
-
[Logica-l] Summer school : Proof Assistants for Teaching
Joao Marcos
-
[Logica-l] PhD opportunities at Chapman University
Walter Carnielli
-
[Logica-l] novo prazo de envio das submissões para o WBL 2023
Jorge Petrucio Viana
-
[Logica-l] 2a Chamada de artigos - número especial da Cognitio "Peirce e a lógica"
Cassiano Terra Rodrigues
-
[Logica-l] Carnaval dos Lógicos do Brasil - 2023 - Google Scholar
jean-yves beziau
-
[Logica-l] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)
Carlos Olarte
-
[Logica-l] SPLogIC, um evento bem sucedido
jean-yves beziau
-
[Logica-l] Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs)
Marcos Silva
-
[Logica-l] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023)
D. Ventura
-
[Logica-l] CTD – Concurso de Teses e Dissertações
Bruno Lopes
-
[Logica-l] 3rd Volume of Logic PhDs / Investigations into the Predicate Calculus by Oiva Ketonen
jean-yves beziau
-
[Logica-l] Fwd: [PlanetKR] PhD Position in TCS @ University of Amsterdam
Camilo Thorne
-
[Logica-l] The Lost World of Genesis One / John Walton / LARAW Febr 23 at 4pm CET
jean-yves beziau
-
[Logica-l] CADE-29 - Second Call for Papers
Haniel Barbosa
-
[Logica-l] 1st Call for Contributions - Women in Logic Workshop (WiL 2023)
Daniele Nantes
-
[Logica-l] Abstract Categorical Logic / Isabelle Bloch / LUW February 22
jean-yves beziau
-
[Logica-l] LPAR-24 (Logic for Programming, Artificial Intelligence and Reasoning) Deadlines: 6/03a, 13/04p
Mauricio Ayala Rincon
-
[Logica-l] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) deadline: 27/03a, 03/04p
Mauricio Ayala Rincon
-
[Logica-l] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] 1st Ecumenical meeting @UCL
Elaine Pimentel
-
[Logica-l] Entrevistas na SP Logic
Walter Carnielli
-
[Logica-l] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] 13th Conference of the IAVS-AISV Visual Semiotics & Agency
Cassiano Terra Rodrigues
-
[Logica-l] Francisco Antonio Dória, Professor Emérito da UFRJ
Adolfo Neto
-
[Logica-l] LPAR-24- Manizales, Colombia
Walter Carnielli
-
[Logica-l] [OFF TOPIC]
Walter Carnielli
-
[Logica-l] Mathematicians Complete Quest to Build ‘Spherical Cubes’ | Quanta Magazine
Ruy de Queiroz
-
[Logica-l] Adolf Lindenbaum
jean-yves beziau
-
[Logica-l] LUW Feb 15 - Lindenbaum-type Logical Structures by Sayantan Roy
jean-yves beziau
-
[Logica-l] Fwd: [Folli] 3rd Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy)
Joao Marcos
-
[Logica-l] CfP: Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023), Hangzhou, China
Bruno Bentzen
-
[Logica-l] Book club com a Eugenia Cheng?
Valeria de Paiva
-
[Logica-l] Fwd: [Proof Complexity] Postdoc position in Prague
Camilo Thorne
-
[Logica-l] FroCoS 2023 Call for Papers
Haniel Barbosa
-
[Logica-l] SPLogIC - Newton da Costa 90 anos- CLE 45 anos
jean-yves beziau
-
[Logica-l] SPLogic!
Marcos Silva
-
[Logica-l] Ecumenical meeting @ UCL
Elaine Pimentel
-
[Logica-l] Enc: RAMiCS 2023 - Call for participation
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] infinity explained at five levels of increasing complexity
Joao Marcos
-
[Logica-l] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)
D. Ventura
-
[Logica-l] Arthur Schopenhauer: Logic and Dialectic / Internet Encyclopedia of Philosophy
jean-yves beziau
-
[Logica-l] CfP: Special Issue of Australasian Journal of Logic on Women in/and Logic
Joao Marcos
-
[Logica-l] Perspectiva Filosófica - v. 46, n. 2 Epistemologia Contemporânea
Marcos Silva
-
[Logica-l] Fwd: categories: CALCO 2023: First Call for Papers
Valeria de Paiva
-
[Logica-l] Fwd: TbiLLC 2023: Call for Papers
Camilo Thorne
-
[Logica-l] Nova diretoria SBFA
Marcos Silva
-
[Logica-l] Museu de Matemática em Paris deverá abrir as portas no verão de 2023
Elaine Pimentel
-
[Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023)
Joao Marcos
-
[Logica-l] EBL 2022 Post-Proceedings
Bruno Lopes
-
[Logica-l] Universal Algebraic Logic - Dedicated to the Unity of Science / LUW January 25, 2023 at 4pm CET
jean-yves beziau
-
[Logica-l] divulgação do 2o Encontro Brasileiro em Teoria das Categorias, 20-24 de março, IME-USP
Hugo Luiz Mariano
-
[Logica-l] [OFF] ruído branco entre Herzog e Zizek
Joao Marcos
-
[Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022
Walter Carnielli
-
[Logica-l] Is Logic Exceptional? Yes Soeur !
jean-yves beziau
-
[Logica-l] Workshop Brasileiro de Lógica: Chamada para trabalhos
Bruno Lopes
-
[Logica-l] 14 de Janeiro : Dia de Vestir Logicamente o Seu Animal de Estimação
jean-yves beziau
-
[Logica-l] ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (FINAL CFP)
Guilherme Paulino-Passos
-
[Logica-l] Já é Dia Mundial da Lógica na Austrália!
Elaine Pimentel
-
[Logica-l] World Lógica Day-Centre for Logic '23
Walter Carnielli
-
[Logica-l] Fwd: PhD position in Theoretical Philosophy at Stockholm University
Joao Marcos
-
[Logica-l] A IMPORTÂNCIA DA LÓGICA PARA A HUMANIDADE - 5ª edição do Dia Mundial da Lógica na LUA - Meio dia em Brasília
jean-yves beziau
-
[Logica-l] CADE-29 - Call for Papers
Haniel Barbosa
-
[Logica-l] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)
Carlos Olarte
-
[Logica-l] LARA / SPECIAL SESSION IN CELEBRATION OF THE WORLD LOGIC DAY 2023 / TWO TYPES OF CRITIQUE OF RELIGION
jean-yves beziau
-
[Logica-l] Fwd: Non-Classical Mathematics Symposium at CLMPST: Call for Abstracts
Joao Marcos
-
[Logica-l] Google Researcher, Long Out of Math, Cracks Devilish Problem About Sets
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Evento: Las Lógicas y sus Motivaciones
Prensa SEPLO
-
[Logica-l] Martin Davis (1928-2023)
Joao Marcos
-
[Logica-l] Qualis 2017-2020
Julio Stern
-
[Logica-l] lógica nos começos de romances
Jorge Petrucio Viana
-
[Logica-l] Divulgação do 2o Encontro Brasileiro em Teoria das Categorias
Hugo Luiz Mariano
-
[Logica-l] wishing you all a HoTT Xmas
Joao Marcos
-
[Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Fwd: Seleção de substitutos - Instituto de Computação (IC-UFRJ)
Jorge Petrucio Viana
-
[Logica-l] ‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture | Quanta Magazine
Ruy de Queiroz
-
[Logica-l] Fwd: RAMiCS 2023 - Call for short contributions / posters
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] RAMiCS 2023 - Call for short contributions / posters
Marcelo Esteban Coniglio
-
Re: [Logica-l] Fwd: Concurso de Professor Temporário
Joao Marcos
-
[Logica-l] CfP (Extended Deadline): Conceptual Ethics and Conceptual Engineering
Marcos Silva
-
[Logica-l] 5th edition of the World Logic Day: January 14, 2023
jean-yves beziau
-
[Logica-l] THE TWO NATURES OF CHRIST by Eleonore Stump, LARAW, Dec 15, 4pm Rome time
jean-yves beziau
-
[Logica-l] Is Jaskowski's non-adjunctive paraconsistent logic moderate?
Frode Bjørdal
-
[Logica-l] Opinião no Facebook
Aldo Figallo-Orellano
-
[Logica-l] Fenomenologia, Ação, Cognição e Afetividade
Marcos Silva
-
[Logica-l] O que é o principie tertium non datur com Kolmogorov?
Frode Bjørdal
-
[Logica-l] Fwd: Concurso Público (FIL-UnB) - Área: Lógica
Joao Marcos
-
[Logica-l] SI - Logics and Their Interpretations II
Henrique Antunes