Índice temático
-
-
[Logica-l] [OFF] Arnon Avron vs. pacotão de livros e artigos
Eduardo Ochs
-
[Logica-l] [OFF] Fwd: Fw: Open letter
Joao Marcos
-
[Logica-l] 30th WoLLIC 2024 - Second Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Special Issue: Rejection Logic - Logica Universalis. Volume 17, Issue 4 is now available online.
jean-yves beziau
-
[Logica-l] The Astonishing Behavior of Recursive Sequences | Quanta Magazine
Ruy de Queiroz
-
[Logica-l] tradução entre linguagem natural e linguagem formal
Joao Marcos
-
[Logica-l] Episódio 41: Lean e Verificação de Software, com Leonardo de Moura (AWS)
Adolfo Neto
-
[Logica-l] Morphisms between Aristotelian Diagrams by Alex De Klerck, LUWebinar, Nov 15, 4pm, Paris-Geneva-Rome
jean-yves beziau
-
[Logica-l] Lógica Carioca 16-11-2023 - Décio Krause: "O que é a identidade?"
jean-yves beziau
-
[Logica-l] Fwd: POST-DOC POSITION in Logic and Philosophy of Science (Turin)
Joao Marcos
-
[Logica-l] PhD opportunities at the University of Birmingham
Elaine Pimentel
-
[Logica-l] SBFA, 10/11, 18hs: A linguagem no Logical Forms, com Ana Polakof (UDELAR)
Marcos Silva
-
[Logica-l] Fwd: [WiL] Helmut Veith Stipend for Female Master’s Students in Computer Science - Deadline Nov 30
Elaine Pimentel
-
[Logica-l] new interdisciplinary PhD program in CA
Valeria de Paiva
-
[Logica-l] post-doc position
Fred Freitas
-
[Logica-l] Pos-Doc em Roma, Universidade Tor Vergata
Walter Carnielli
-
[Logica-l] sobre os fundamentos da matemática
Joao Marcos
-
[Logica-l] Fwd: Postdoc position in Rome Tor Vergata (deadline, November 18th)
Marcelo Esteban Coniglio
-
[Logica-l] SBFA: Equilíbrio Reflexivo na Lógica (ter, 7/11, 18hs)
Marcos Silva
-
[Logica-l] Fwd: CFA postdoctoral researcher in Logic at LUCI Lab, Milano
Joao Marcos
-
[Logica-l] "Can the Collatz conjecture be proven, or not?"
Eduardo Ochs
-
[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - 2024.1
Bruno Lopes
-
[Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy
'samuel' via LOGICA-L
-
[Logica-l] Fwd: CfParticipation: Announcing a new monthly online seminar on the topic of first-order modal logic, starting 6 November 2023
Joao Marcos
-
[Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal
Marcelo Finger
-
[Logica-l] PhD Studentship in Proof-theoretic Semantics at UCL
Elaine Pimentel
-
[Logica-l] Fwd: PhD position Toruń
Joao Marcos
-
[Logica-l] curiosidades (equivocadas) sobre Russell
Joao Marcos
-
[Logica-l] What came first, math or computing?
Joao Marcos
-
[Logica-l] Multiple Faculty Positions in Computer Science, Computational Biology, and Human-Computer Interaction
Giselle Reis
-
[Logica-l] Fwd: Call for Papers: Advances in Non-Classical Mathematics (Special Issue of the Logic Journal of the IGPL)
Joao Marcos
-
[Logica-l] Why doesn't Candomblé have a Problem of Evil? The Logic and Religion Webinar
Assis
-
[Logica-l] A noção de antilogia
jean-yves beziau
-
[Logica-l] LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic
jean-yves beziau
-
[Logica-l] Fwd: CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications
Joao Marcos
-
[Logica-l] Fwd: Postdoctoral fellowship at Stockholm University
Joao Marcos
-
[Logica-l] Fwd: [LOGIC] CfParticipation: Dov Gabbay Prize 2023 - Online Ceremony, October 25
Elaine Pimentel
-
[Logica-l] Códigos de cobertura: um tópico antigo, ainda muito quente
Walter Carnielli
-
[Logica-l] Fwd: Call for Applications: 2 PhD Positions
Elaine Pimentel
-
[Logica-l] [SBFA] II EBFA
Marcos Silva
-
[Logica-l] já peço desculpas...
Jorge Petrucio Viana
-
[Logica-l] Mesa de Filosofia da lógica: Consequência lógica
Joao Marcos
-
[Logica-l] Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF)
Adolfo Neto
-
[Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Carnap’s Problem for Intuitionistic Propositional Logic
jean-yves beziau
-
[Logica-l] ETMF 2023 (co-located with SBMF 2023) - Call for participation
Haniel Barbosa
-
[Logica-l] What’s a Qubit? 3 Ways Scientists Build Quantum Computers - Scientific American
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Ciclo de palestras, SBFA, Feyerabend
Marcos Silva
-
[Logica-l] [Convite | Registro] Workshop "New Perspectives on Anomalies in the Sciences"
Maria Martinez-Ordaz
-
[Logica-l] Automated Reasoning Call for Proposals — Fall 2023
Adolfo Neto
-
[Logica-l] A Home for Proof-Theoretic Semanticists
Joao Marcos
-
[Logica-l] SALOME 1 - The 1st South American Logic Meeting - Extended Deadline: October 4th
jean-yves beziau
-
[Logica-l] Logica Universalis - ToC Alert - Volume 17, Issue 3 - 2023
jean-yves beziau
-
[Logica-l] Fwd: Call for a Researcher Position at the Slovak Academy of Sciences
Joao Marcos
-
[Logica-l] CiE 2024: FIRST CALL FOR PAPERS
Elaine Pimentel
-
[Logica-l] OFF-topic: "Style, Method and Philosophy in Wittgenstein"
Cassiano Terra Rodrigues
-
[Logica-l] OFF-TOPIC : Chamada de artigos
Cassiano Terra Rodrigues
-
[Logica-l] 30th WoLLIC 2024 - 1st Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Lógica Carioca 21-09-2023 - Maria Martinez + Michael Burton
jean-yves beziau
-
[Logica-l] Fwd: [LOGIC] CfA: PostDoc 2y/ defeasible reasoning/ deontic logic, Bochum (Germany), deadline: 9 October 2023
Camilo Thorne
-
[Logica-l] Fwd: [LOGIC] CfA: 3 postdocs in mathematics (including logic), Turin (Italy), Deadline: 29 September 2023 - 13:00 CEST
Camilo Thorne
-
[Logica-l] LUW Sept 20, 2023 - On Consequence and Rejection as Operators by Alexei Muravitsky
jean-yves beziau
-
[Logica-l] [OFF] Fwd: Uma Análise Comparativa da Ciência Aberta, do Acesso Aberto e da Circulação de Conhecimento na América Latina e na África
Joao Marcos
-
[Logica-l] Fwd: CfA: 2 Tenure track positions available to logicians (2nd call, deadline change), Prague (Czech Republic), Deadline: 20 November 2023
Joao Marcos
-
[Logica-l] Fwd: [LOGIC] CfA: Expressions of interests for two postdoctoral positions in Logic and Computer Science , Cagliari & Urbino (Italy), deadline 22 October 2023
Camilo Thorne
-
[Logica-l] Fwd: [LOGIC] CfA: Expression of interest for up to 6 postdocs in Logic at the Logic Uncertainty Computation and Information (LUCI) Lab, Milan (Italy)
Camilo Thorne
-
[Logica-l] 94 anos de Newton da Costa
jean-yves beziau
-
[Logica-l] Fwd: Expressions of interests for two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino, Italy)
Joao Marcos
-
[Logica-l] Faculty positions at Carnegie Mellon University in Qatar
Giselle Reis
-
[Logica-l] a serious disease
Jorge Petrucio Viana
-
[Logica-l] Fwd: Postdoc at the University of Cagliari
Joao Marcos
-
[Logica-l] Fwd: Expression of interest for several postdoctoral positions in Logic
Joao Marcos
-
[Logica-l] SALOME 1 - Cusco, Peru, January 12-15, 2024
jean-yves beziau
-
[Logica-l] Livro em homenagem à obra de Décio Krause
Raoni Wohnrath Arroyo
-
[Logica-l] Alan Turing and the Power of Negative Thinking
Joao Marcos
-
[Logica-l] Why Mathematical Proof Is a Social Compact
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Vitor Greati @ VCLA International Student Awards 2023
Joao Marcos
-
[Logica-l] Fwd: Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023
Joao Marcos
-
[Logica-l] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET
jean-yves beziau
-
[Logica-l] Nova live sobre Conjuntos e Matemática
'samuel' via LOGICA-L
-
[Logica-l] Propositions as types: explained (and debunked)
Joao Marcos
-
[Logica-l] Fwd: [SBL-Sócios] Fwd: CHAMADO para a luta pela ciência e pela democracia
Hugo Luiz Mariano
-
[Logica-l] Mensagem inicial da diretoria eleita da SBL (7/2023-6/2025)
Hugo Luiz Mariano
-
[Logica-l] An Old Conjecture Falls, Making Spheres a Lot More Complicated
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Meta-Complexity Theory
Joao Marcos
-
[Logica-l] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic
jean-yves beziau
-
[Logica-l] Fwd: [members-philmathpractice] Call for Papers: APMP 2024 in Pavia, Italy, June 18-21, 2024
Gisele Secco
-
[Logica-l] Please, check my P=NP proof for errors
Victor Porton
-
[Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice
Walter Carnielli
-
[Logica-l] Fwd: ACM SIGLOG Research Highlights call for nominations
Joao Marcos
-
[Logica-l] CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM / LARAWebinar August 17 at 4pm CET
jean-yves beziau
-
[Logica-l] [Final reminder] CfA: New Perspectives on Anomalies in the Sciences
Maria Martinez-Ordaz
-
[Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn
E. Rivas
-
[Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences
Maria Martinez-Ordaz
-
[Logica-l] Ferramentas de Ensino: NADIA e ANITA
Davi Romero
-
[Logica-l] academic publishing
Valeria de Paiva
-
[Logica-l] (SILFS-L) CfP - Philosophy of Mathematics: Models, Methods, and Applications - 3rd FilMat Graduate Conference - Rome, January 11-12, 2024
Walter Carnielli
-
Re: [Logica-l] Coluna sobre IA no Rádio
Walter Carnielli
-
[Logica-l] Lógica em tempos de guerra --- para reflexão
Joao Marcos
-
[Logica-l] CFP: WEIT 2023
Joao Marcos
-
[Logica-l] Concurso para Professor na UFLA
Newton Peron
-
[Logica-l] SALOME 1
jean-yves beziau
-
[Logica-l] Fwd: Novo Número da Revista Analytica - Volume 25, número 2: 100 ANOS DO TRACTATUS LOGICO-PHILOSOPHICUS
Marcos Silva
-
[Logica-l] Fwd: Tenure track positions in Prague (available to logicians)
Joao Marcos
-
[Logica-l] How the Four-Color Map Problem Was Finally Solved
Ruy Jose Guerra Barretto de Queiroz