Índice temático
-
[Logica-l] [CFP-SI] QM and Reality (Theoria-Madrid)
Raoni Arroyo
-
[Logica-l] Overleaf - opção para preencher o template EBL online
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Filme sobre a vida do matemático polonês Stanislaw Ulam
Paulo Sérgio Dias
-
[Logica-l] Artigo recente no Journal of Philosophical Logic:
Walter Carnielli
-
[Logica-l] Lançamento de livros no EBL
'Samuel Gomes' via LOGICA-L
-
[Logica-l] Homo Logicus IV
jean-yves beziau
-
[Logica-l] Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET
jean-yves beziau
-
[Logica-l] WiL 2022 - Call for Participation
Daniele Nantes
-
[Logica-l] SI - Logics and Their Interpretations I
Henrique Antunes
-
[Logica-l] CSL 2023 -- 2nd cfp
Elaine Pimentel
-
[Logica-l] 9th International Symposium of Domain Theory and its Applications (ISDT’22)
Claudio Callejas
-
[Logica-l] Angell Magri para LogicaMX
Maria Martinez-Ordaz
-
[Logica-l] 7/6/1954 – Perseguido por ser homossexual, Turing comete suicídio
Marcos Silva
-
[Logica-l] Fwd: [diagrams-list] DEADLINE EXTENDED for Graduate Symposium | DIAGRAMS 202
Jorge Petrucio Viana
-
[Logica-l] precisando de ajuda para escrever mais um paper?
Joao Marcos
-
[Logica-l] Animal Reasoning, Nature, volume 23, page 219 (1881)
jean-yves beziau
-
[Logica-l] LUW June 8, Ciro Russo, Winner of the 2nd World Logic Prizes Contest
jean-yves beziau
-
[Logica-l] sobre as capacidades matemáticas dos (outros) animais
Joao Marcos
-
[Logica-l] XX EBL - Deadline extended
'Ciro Russo UFBA' via LOGICA-L
-
[Logica-l] Semântica de jogos pra lógica básica
Eduardo Ochs
-
[Logica-l] The Langlands program, explained
Joao Marcos
-
[Logica-l] Pergunta sobre um conceito em teoria da ordem
Claudio Callejas
-
[Logica-l] Paraconsistent Newsletter Spring Fall 2022
jean-yves beziau
-
[Logica-l] FLoC, IJCAR, ThEdu
Joao Marcos
-
[Logica-l] Posters do EBL disponíveis para download
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Sense and the Making of Sense / St. Petersburg State University, June 2-4
jean-yves beziau
-
[Logica-l] Fwd: two funded PhD positions at Inria Nancy
Joao Marcos
-
[Logica-l] Last CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[Logica-l] Call for Graduate Symposium | DIAGRAMS 2022 | Visualization Criteria
jean-yves beziau
-
[Logica-l] Fwd: [diagrams-list] Call for Graduate Symposium | DIAGRAMS 2022
Jorge Petrucio Viana
-
[Logica-l] 2022: The Year of Prolog
Elaine Pimentel
-
[Logica-l] Ambiguous Symmetry: The Typical Case of Human Beings
jean-yves beziau
-
[Logica-l] Lógica possibilística
Daniel Diniz
-
[Logica-l] Ideias Brasileiras - Ítala D'Ottaviano
Alfredo Roque Freire
-
[Logica-l] 2nd Workshop on Relating Logic Cagliari, Italy, 22–23 July 2022
jean-yves beziau
-
[Logica-l] Postdoc position in non-classical logic / Department of Logic, Nicolaus Copernicus University in Toruń
jean-yves beziau
-
[Logica-l] [Seminários 2022] Efficient Theorem-Proving for Modal Logics
Adolfo Neto
-
[Logica-l] Fwd: 2022 Shaw Prize em Matematica
Joao Marcos
-
[Logica-l] WCP6 and SQUARE7 - Deadline Extension: May 31st
jean-yves beziau
-
[Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google
Walter Carnielli
-
[Logica-l] *Logics*: um novo periódico na nossa área
Joao Marcos
-
[Logica-l] Concursos Públicos para ProfessorDr-FT-Unicamp - Áreas: Computação, Engenharia Ambiental e Engenharia de Telecomunicações
Walter Carnielli
-
[Logica-l] The women who brought logic to America
Joao Marcos
-
[Logica-l] Final CfP [deadline extended]: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[Logica-l] [OUF] Morre o compositor grego Vangelis
jean-yves beziau
-
[Logica-l] Update: Ph.D. scholarship: History of mathematics---Deadline for applying: June 6, 2022
Gisele Secco
-
[Logica-l] Dutilh Novaes Wins Lakatos Award
Marcos Silva
-
[Logica-l] Fwd: [JOB] POSTDOCTORAL FELLOWSHIPS UNAM-México City
Joao Marcos
-
[Logica-l] CfA ExLog2020 July 12-14 2022 @ UCLouvain, Belgium [EXTENDED DEADLINE 24/5]
João Daniel Dantas
-
[Logica-l] Fwd: [IBERAMIA 22] Call for Papers
Marcelo Finger
-
[Logica-l] Call for participation: FoIKS 2022 (early registration on 20 May 2022)
Ivan Varzinczak
-
[Logica-l] LUW May 18: Logical Diagrams, Visualization Criteria and Boolean Algebras by Roland Bolz
jean-yves beziau
-
[Logica-l] XX EBL Salvador - Apoio a Estudantes
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Fwd: Marie Skłodowska-Curie 2022
Joao Marcos
-
[Logica-l] Things a Computer Scientist Rarely Talks About
jean-yves beziau
-
[Logica-l] Studying Ontological Arguments with Computers by Chris Benzmüller
jean-yves beziau
-
[Logica-l] SMT 2022 announcement
David Deharbe
-
[Logica-l] The Mysterious Disappearance of a Revolutionary Mathematician | The New Yorker
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Grothendieck, a Multifarious Giant: Mathematics, Logic and Philosophy - Chapman University - 24-25 mai 2022
jean-yves beziau
-
[Logica-l] LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky
jean-yves beziau
-
[Logica-l] Referências bibliográficas
Juan Carlos Agudelo Agudelo
-
[Logica-l] 7th SC-Square Workshop 2022 - Final Call for Papers (with Extended Submission Dates)
Haniel Barbosa
-
[Logica-l] Fwd: Fixação de jovens doutores no Brasil
Joao Marcos
-
[Logica-l] Fwd: Women in Logic 2022 - Call for Contributions
Joao Marcos
-
[Logica-l] 30 Years of Experience with the Brazilian School of Logic - 9 de maio as 10h30
jean-yves beziau
-
[Logica-l] Final CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[Logica-l] Acomodações XX EBL
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Fwd: Invitation | Book launch 'John Venn: A Life in Logic' (The University of Chicago Press, 2022) | 18 May 2022
Joao Marcos
-
[Logica-l] SMT 2022 : Final Call for Papers
David Deharbe
-
[Logica-l] XX EBL - Second Call for Contributions
'Ciro Russo UFBA' via LOGICA-L
-
[Logica-l] Chamada para bolsa PQ do CNPq
Walter Carnielli
-
[Logica-l] Dossie Filosofia da Ciencia, Epistemologia e Naturalismo
Marcos Silva
-
[Logica-l] Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022
'Samuel Gomes da Silva' via LOGICA-L
-
[Logica-l] Fwd: Mestrado em Sistemas e Computação na Universidade Federal do Rio Grande do Norte
Joao Marcos
-
[Logica-l] Open positions in SMT Project in Israel
Walter Carnielli
-
Re: [Logica-l] Round Table on Ethics in AI - with Gilles Dowek, Ricardo Baeza-Yates, Jeanna Mathews
Elaine Pimentel
-
[Logica-l] Festival Europeu de Lógica em Setembro : WCP6 (Deadline Amanha) - SQUARE 7 - DIAGRAM 2022 -
jean-yves beziau
-
[Logica-l] 28th WoLLIC 2022 - Deadline extension
Elaine Pimentel
-
[Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
Walter Carnielli
-
[Logica-l] The Joy of Abstraction
Gisele Secco
-
Re: [Logica-l] Fazendo os diagramas implícitos no CWM e outros livros de Categorias
Regivan Hugo Nunes Santiago
-
[Logica-l] CSL'23 -- 1st call for papers
Elaine Pimentel
-
[Logica-l] The 6th World Congress on Paraconsistency, deadline approaching: April 30
jean-yves beziau
-
[Logica-l] Fwd: Call for postdoc: Logic and Philosophy of Science, Nicolaus Copernicus University in Toruń, Poland
Marcelo Esteban Coniglio
-
[Logica-l] 10 full-time PhD positions at LogiCS@TUWien
Joao Marcos
-
[Logica-l] Turing as AI's first philosopher
Joao Marcos
-
[Logica-l] Coletivo Lógica Viva: "É possível resolver todos os problemas da Filosofia?"
Marcos Silva
-
[Logica-l] Fwd: Summer course in the philosophy of mathematical practice
Joao Marcos
-
[Logica-l] Biblioteca gráfica
Eduardo Ochs
-
[Logica-l] Postdoctoral position in contradictory logics, Bochum (Germany), Deadline: 15 May 2022
Walter Carnielli
-
[Logica-l] Fwd: Summer School Announcement: Philosophy of Mathematics (Konstanz 5-9 September)
Joao Marcos
-
[Logica-l] 28th WoLLIC 2022 - 3rd Call for Papers
Elaine Pimentel
-
[Logica-l] Fwd: VII SBFA CONFERENCE_CALL FOR PAPERS
Marcos Silva
-
[Logica-l] Fwd: VardiFest: Call for Presentation
Joao Marcos
-
[Logica-l] Fwd: Online Talk by G. Priest on The Grounds of Unity, Thursday 21/4, 17:00-19:00 (CEST)
Joao Marcos
-
[Logica-l] LUW April 20: Nate Ackermann (Harvard University, USA) – Encoding Complete Metric Structures by Classical Structures
jean-yves beziau
-
[Logica-l] [CFP] EPIA2022 - Extended Deadline - April 30
Rafael Testa
-
[Logica-l] HoTTTEST
Eduardo Ochs
-
[Logica-l] "Argumento válido" em gerador de tabela-verdade
Adolfo Neto
-
[Logica-l] QM and Reality [Workshop]
Raoni Arroyo
-
[Logica-l] Fwd: [Proof Complexity] Postdoc in computational complexity at Imperial College London
Camilo Thorne
-
[Logica-l] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
-
[Logica-l] Fwd: Update on Logic4Peace
Joao Marcos
-
[Logica-l] Theist and Atheist Arguments in Indian Philosophy: The Logic and Religion Webinar, April 14
Assis
-
[Logica-l] UNILOG - LUA - LUW - On the Origin of Logical Determinism in Babylonia
jean-yves beziau
-
[Logica-l] Ganhadores do Premio Newton da Costa 2021
Walter Carnielli
-
[Logica-l] Lógica Viva: "Tá falando que Lula é inocente?", por Giselle Reis
Marcos Silva
-
[Logica-l] Guess who is the Secret Speaker of UNILOG'2022 and win a trip to the 8th UNILOG in Cusco, Peru !
jean-yves beziau
-
[Logica-l] Fwd: Job Posting: Limited-Term Appointment in the Department of Philosophy in Logic and Metaphysics, Concordia University, Montreal, Canada
Joao Marcos
-
[Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
jean-yves beziau
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Elaine Pimentel
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Itala Maria Loffredo D'Ottaviano
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
C. Mortari
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Marlo Souza
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Henrique Antunes
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Ciro Russo
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Maria Martinez-Ordaz
-
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Ciro Russo
-
[Logica-l] Publicação Post-Proceedings LSFA 2021 - Vol. 357 EPTCS
Mauricio Ayala Rincon
-
[Logica-l] Fwd: CfP ExLog2020 July 12-14 2022 @ UCLouvain, Belgium
Joao Marcos