Índice temático
-
[Logica-l] Fwd: Postdoc position on planning with others' beliefs and goals
Joao Marcos
-
[Logica-l] Catarina Novaes e Camila Jourdan
Marcos Silva
-
[Logica-l] April 7: watch on-line the 2nd World Logic Prizes Contest
jean-yves beziau
-
[Logica-l] Opening Ceremony of the 7th UNILOG
jean-yves beziau
-
[Logica-l] CFA: Argumentação e Identidade (Online, 25-27/07)
Hugo Mota
-
[Logica-l] 7th SC^2 Workshop - Second Call For Papers
Haniel Barbosa
-
[Logica-l] Logic4Peace (Fundraising online Logic event for Peace)
'Heinrich Wansing' via LOGICA-L
-
[Logica-l] Fwd: JOB: Junior Faculty in Logic and Philosophy of Science, 3-years contract, University of Teramo (Italy)
Joao Marcos
-
[Logica-l] [PA] Nova descoberta revolucionando a ciência na base do uso da lógica. Msg do representante de Supernature no Brasil.
jean-yves beziau
-
[Logica-l] Semana PPGFIL/UFPE (6-8/4)
Marcos Silva
-
[Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências
Joao Marcos
-
[Logica-l] WBL 2022 - Extensão do Prazo de Submissão
Claudia Nalon
-
[Logica-l] Fwd: LOGICA 2022 -- 1st CFP
Joao Marcos
-
[Logica-l] Trends in Logic XX Kyiv confernce cannot take place in May 2022
Walter Carnielli
-
[Logica-l] Logic4Peace : Call for Abstracts
Joao Marcos
-
[Logica-l] Elaine Pimentel en entrevista para Lógica Mx
Joao Marcos
-
[Logica-l] About the Logic4Peace
Elaine Pimentel
-
[Logica-l] Fwd: Trends in Logic XX Kyiv confernce cannot take place in May 2022
Joao Marcos
-
[Logica-l] Fwd: LINZ Seminar 2022 [Extended Deadline - April 4th]
Marcelo Esteban Coniglio
-
[Logica-l] Fwd: Conference - PHDS IN LOGIC XIII
Joao Marcos
-
[Logica-l] Mulheres Lógicas
Gisele Secco
-
[Logica-l] Fwd: Rolf Schock Prize in Logic and Philosophy 2022 to David Kaplan
Joao Marcos
-
[Logica-l] Entrevistas Lógicas
Adolfo Neto
-
[Logica-l] 2^4 anos de LOGICA-L
Joao Marcos
-
[Logica-l] Paraconsistent Newsletter Winter-Summer 2022
jean-yves beziau
-
[Logica-l] Fwd: REMINDER: Two Lecturer Positions in Logic and Philosophy of Language at the MCMP (LMU Munich)
Joao Marcos
-
[Logica-l] Fwd: [diagrams-list] Deadlines Extended | DIAGRAMS 2022
Jorge Petrucio Viana
-
[Logica-l] Fwd: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica
Joao Marcos
-
[Logica-l] Fwd: MCMP online Summer School on Mathematical Philosophy for Female Students
Joao Marcos
-
[Logica-l] Patrick Suppes / Obtuário da Universidade de Stanford
jean-yves beziau
-
[Logica-l] Fwd: Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
Marcelo Esteban Coniglio
-
[Logica-l] Boa notícia!
Elaine Pimentel
-
[Logica-l] OKK Patrick Suppes nasceu 100 anos atrás ...
jean-yves beziau
-
[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria
Elaine Pimentel
-
[Logica-l] LARAW, dia 16 ao meio dia: PANENTEÍSMO E PANPSIQUISMO / Billimoria
jean-yves beziau
-
[Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração
Joao Marcos
-
[Logica-l] Bill McCune PhD Award in Automated Reasoning 2021, Call for Nominations
Claudia Nalon
-
[Logica-l] Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn)
jean-yves beziau
-
[Logica-l] XX EBL Call for Contributions
Ciro Russo
-
[Logica-l] Johan Van Benthem's talk in the Cairo Webinar tomorrow March 15 at 5 pm Cairo time
jean-yves beziau
-
[Logica-l] CSL’23 -- CALL FOR WORKSHOPS
Elaine Pimentel
-
[Logica-l] Lógica Viva: "Moro acredita que Lula é corrupto"
Marcos Silva
-
[Logica-l] "On the missing diagrams in Category Theory"
Eduardo Ochs
-
[Logica-l] Artigo Introdutório ao número especial sobre o segundo concurso mundial de prêmios de lógicas
jean-yves beziau
-
[Logica-l] CfP: SMT2022
David Deharbe
-
[Logica-l] WBL 2022 -- última chamada! (com prazo para submissões estendido)
Elaine Pimentel
-
[Logica-l] PhD Positions at Huawei
Vivek Nigam
-
[Logica-l] VII BRAZILIAN SOCIETY FOR ANALYTIC PHILOSOPHY CONFERENCE [CALL OF PAPERS]
André Pontes
-
[Logica-l] Fwd: Open Position: Assistant Professor in Logic for AI (Fixed-term, three years), Milan
Joao Marcos
-
[Logica-l] máquinas que jogam o jogo da Matemática
Joao Marcos
-
[Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO:
jean-yves beziau
-
[Logica-l] 2º Concurso Mundial de Prémios de Lógica: LUW 9 de Março ao meio dia
jean-yves beziau
-
[Logica-l] Carnaval dos Lógicos do Brasil - 2022
jean-yves beziau
-
[Logica-l] Fwd: LogTeach-22, First Call for Papers
Joao Marcos
-
[Logica-l] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022"
Fábio Bertato
-
[Logica-l] WCP 6 + SQUARE7 + DIAGRAMS2002 = WInning Combo !
jean-yves beziau
-
[Logica-l] Fwd: Call for papers WCP6
Joao Marcos
-
[Logica-l] [OUF] O Brasil na Terceira Guerra Mundial
jean-yves beziau
-
[Logica-l] Philosophy in Lviv (Ukraine), Intellectual Capital of Central Europe (1900-1939) – online seminar, March 3, 2022, 19:00 CET.
jean-yves beziau
-
[Logica-l] Fwd: [diagrams-list] CORRECTION to Second Call For Papers | DIAGRAMS 2022
Jorge Petrucio Viana
-
[Logica-l] Fwd: [diagrams-list] Second Call For Papers | DIAGRAMS 2022
Jorge Petrucio Viana
-
[Logica-l] Fwd: [diagrams-list] Call for Tutorials & Workshops | DIAGRAMS 2022
Jorge Petrucio Viana
-
[Logica-l] SAJL - Tribute to Andrea Loparic (1941-2021) - Deadline Approaching
jean-yves beziau
-
[Logica-l] Vídeo no blog etc
Gisele Secco
-
[Logica-l] Scholarpedia
Julio Stern
-
[Logica-l] Chamada de trabalhos -- WBL 2022
Elaine Pimentel
-
[Logica-l] Três Vezes Não - um estudo sobre as negações clássica, paraconsistente e paracompleta
jean-yves beziau
-
[Logica-l] Professor
Marcia Demby
-
[Logica-l] "People are burnt out and overburdened"
Marcos Silva
-
[Logica-l] [CfP: Visões estruturalistas sobre a ciência: Reflexões sobre a obra de Adolfo García de la Sienra Guajardo
Maria Martinez-Ordaz
-
[Logica-l] [CALL FOR PAPERS] KRR@EPIA2022
Rafael Testa
-
[Logica-l] Contrary-to-Duty Paradox
jean-yves beziau
-
[Logica-l] Logicas Brasileiras na LogicaMx
Maria Martinez-Ordaz
-
[Logica-l] UNILOG'2022 na ilha de Creta: realização 100% presencial confirmada
jean-yves beziau
-
[Logica-l] Mathematics Professor Position at CMU Qatar
Giselle Reis
-
[Logica-l] LUWebinar Feb 16, Palestra Espacial ! Órbitas Paraconsistentes de Lógicas
jean-yves beziau
-
[Logica-l] pedido de artigo
Ricardo Grande
-
[Logica-l] Proceedings of the 10th ThEdu
Joao Marcos
-
[Logica-l] Demonstrações e Curry-Howard
Regivan Hugo Nunes Santiago
-
[Logica-l] CFP: Argumentation and Advocacy, Argumentação nas Américas
Hugo Mota
-
[Logica-l] LSFA 2022 - First Call for Papers
Daniele Nantes
-
[Logica-l] A Lógica do Paraíso / 10-02-2022 meio dia
jean-yves beziau
-
[Logica-l] Material sobre substituição em português
Eduardo Ochs
-
[Logica-l] Gerador de tabelas de verdade robusto
Daniel Durante
-
[Logica-l] LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
jean-yves beziau
-
[Logica-l] Fwd: [PT] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022
Vivek Nigam
-
[Logica-l] ∃x <-> x=x <-> x∈x
Léo Mota
-
[Logica-l] UFRJ abre processo seletivo com 152 vagas para professor substituto
jean-yves beziau
-
[Logica-l] CfP: Deadline extension for Trends in Logic XXII
Trends In Logic 2022 - U. Caglari Workshop
-
[Logica-l] FoIKS 2022 4th call for papers
varzinczak
-
[Logica-l] Concurso na UERJ
Cassiano Terra Rodrigues
-
[Logica-l] Fwd: JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid
Marcelo Esteban Coniglio
-
[Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021
Petrucio Viana
-
[Logica-l] Paper available
Regivan Hugo Nunes Santiago
-
[Logica-l] Fwd: [Proof Complexity] a position in the Insitute of Mathematics
Camilo Thorne
-
[Logica-l] Fwd: Postdoc position in Logic in Prague
Joao Marcos
-
[Logica-l] Entrevista João Marcos - Noções de consequência - Ad Infinitum
Alfredo Roque Freire
-
[Logica-l] MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics
jean-yves beziau
-
[Logica-l] Anais do EBL 2019
Petrucio Viana
-
[Logica-l] Call for papers, Studia Logica special issue "Frontiers of connexive logic"
'Heinrich Wansing' via LOGICA-L
-
[Logica-l] Fwd: Encontro de Teoria da Computação - ETC/CSBC
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Convite para submissão de artigo
Mario Roberto Folhadela Benevides
-
[Logica-l] Turnstile Figures of Opposition / 6 relações possíveis entre uma proposição e uma teoria
jean-yves beziau
-
[Logica-l] Explanatory Inference seminar - Sara Ayhan
João Daniel Dantas
-
[Logica-l] Fwd: SLALM
Pedro H. Zambrano
-
[Logica-l] Palestras: Prof. Manfred Schmidt-Schauss e Prof. Christopher Lynch
Daniele Nantes
-
[Logica-l] Fwd: [sbc-l] Processo Seletivo PPGCC/UFMG - Mestrado/Doutorado - 2022.1
Haniel Barbosa
-
[Logica-l] Mesa redonda "Logica nas e para as ciências"
Maria Martinez-Ordaz
-
[Logica-l] Palestras de Itala D'Ottaviano e Evandro Gomes
Prensa SPEL