50:12Achim Jung - The Surprising Difficulty of Using Mathematics in Computer Science (2016)
A 50-minute video from Logic UFRN: “Achim Jung - The Surprising Difficulty of Using Mathematics in Computer Science (2016)”.
Logic UFRN
185 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
50:12
1:10:13Aldo Figallo-Orellano - A lei de Leibniz e os modelos paraconsistentes de ZFC (2022)
A 70-minute video from Logic UFRN: “Aldo Figallo-Orellano - A lei de Leibniz e os modelos paraconsistentes de ZFC (2022)”.
52:12Alessandra Palmigiano - Unified Correspondence as a Proof-Theoretic Tool (2015)
Advanced
A 52-minute video from Logic UFRN: “Alessandra Palmigiano - Unified Correspondence as a Proof-Theoretic Tool (2015)”.
1:21:48Alfredo Roque Freire - O fenômeno de Tightness nas teorias de classes, conjuntos e números (2022)
A 82-minute video from Logic UFRN: “Alfredo Roque Freire - O fenômeno de Tightness nas teorias de classes, conjuntos e números (2022)”.
50:11Arnon Avron - Classical C-systems: Logical achievements and logical problems (2015)
A 50-minute video from Logic UFRN: “Arnon Avron - Classical C-systems: Logical achievements and logical problems (2015)”.
1:04:17Catuscia Palamidessi - Generalized differential privacy and applications to location privacy
A 64-minute video from Logic UFRN: “Catuscia Palamidessi - Generalized differential privacy and applications to location privacy”.
37:48Dale Miller - Defining the semantics of proof evidence [pt.1] (2015)
Advanced
A 38-minute video from Logic UFRN: “Dale Miller - Defining the semantics of proof evidence [pt.1] (2015)”.
16:25Dale Miller - Defining the semantics of proof evidence [pt.2] (2015)
A 16-minute video from Logic UFRN: “Dale Miller - Defining the semantics of proof evidence [pt.2] (2015)”.
6:53Dale Miller - Defining the semantics of proof evidence [pt.3] (2015)
A 7-minute video from Logic UFRN: “Dale Miller - Defining the semantics of proof evidence [pt.3] (2015)”.
47:51Daniel Durante - No Metaphysical Disagreement Without Logical Incompatibility
A 48-minute video from Logic UFRN: “Daniel Durante - No Metaphysical Disagreement Without Logical Incompatibility”.
54:06David Gilbert - Proof theory for classical modal logics: systems of rules (2015)
Advanced
A 54-minute video from Logic UFRN: “David Gilbert - Proof theory for classical modal logics: systems of rules (2015)”.
32:32Diana Costa - An Overview on Quasi Hybrid Logic (2016)
A 33-minute video from Logic UFRN: “Diana Costa - An Overview on Quasi Hybrid Logic (2016)”.
50:02Elaine Pimentel - A semantical view of proof systems
A 50-minute video from Logic UFRN: “Elaine Pimentel - A semantical view of proof systems”.
1:01:48Frank D. Valencia - An Introduction to the Theory of Concurrent Systems
Intro
A 62-minute video from Logic UFRN: “Frank D. Valencia - An Introduction to the Theory of Concurrent Systems”.
1:25:33Graham Priest - How does one resolve disputes about logic? (2015)
A 86-minute video from Logic UFRN: “Graham Priest - How does one resolve disputes about logic? (2015)”.
38:23Guillaume Hoffmann - Relation- and Domain-Changing modal operators [pt.1] (2015)
Advanced
A 38-minute video from Logic UFRN: “Guillaume Hoffmann - Relation- and Domain-Changing modal operators [pt.1] (2015)”.
9:36Guillaume Hoffmann - Relation- and Domain-Changing modal operators [pt.2] (2015)
A 10-minute video from Logic UFRN: “Guillaume Hoffmann - Relation- and Domain-Changing modal operators [pt.2] (2015)”.
37:06Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.1] (2015)
Advanced
A 37-minute video from Logic UFRN: “Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.1] (2015)”.
8:45Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.2] (2015)
A 9-minute video from Logic UFRN: “Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.2] (2015)”.
1:07:28Joao Marcos - Breaking the Proof Code (2016)
A 67-minute video from Logic UFRN: “Joao Marcos - Breaking the Proof Code (2016)”.
1:03:58Joao Marcos - It ain’t necessarily so: Basic sequent systems for negative modalities (2016)
Advanced
A 64-minute video from Logic UFRN: “Joao Marcos - It ain’t necessarily so: Basic sequent systems for negative modalities (2016)”.
46:57Jonas Becker Arenhart - Science and metaphysics, in the light of quantum mechanics
A 47-minute video from Logic UFRN: “Jonas Becker Arenhart - Science and metaphysics, in the light of quantum mechanics”.
45:47João Marcos - On the birth of the LFIs: Some alternative histories (2015)
A 46-minute video from Logic UFRN: “João Marcos - On the birth of the LFIs: Some alternative histories (2015)”.
1:04:52Leon Horsten - Fair infinite loteries and Infinitesimal Probabilities (2015)
Advanced
A 65-minute video from Logic UFRN: “Leon Horsten - Fair infinite loteries and Infinitesimal Probabilities (2015)”.
32:52Luiz Carlos Pereira - Schematic rules and atomic polymorphism [pt.1] (2015)
A 33-minute video from Logic UFRN: “Luiz Carlos Pereira - Schematic rules and atomic polymorphism [pt.1] (2015)”.
1:05:40Marcos Silva - Como Entender a Normatividade da Razão no Contexto do Pluralismo Lógico?
A 66-minute video from Logic UFRN: “Marcos Silva - Como Entender a Normatividade da Razão no Contexto do Pluralismo Lógico?”.
44:21Michaela Mcsweeney - Anti-Exceptionalism and Metaphysics
A 44-minute video from Logic UFRN: “Michaela Mcsweeney - Anti-Exceptionalism and Metaphysics”.
55:38Ofer Arieli - Sequent-based Argumentation (2015)
A 56-minute video from Logic UFRN: “Ofer Arieli - Sequent-based Argumentation (2015)”.
53:48Peter Verdée - Beliefs supporting other beliefs
A 54-minute video from Logic UFRN: “Peter Verdée - Beliefs supporting other beliefs”.
43:41Samir Gorski - O Conceito de Surpresa (2016)
A 44-minute video from Logic UFRN: “Samir Gorski - O Conceito de Surpresa (2016)”.
1:16:39Samson Abramsky - Intensionality, Definability and Computation (2015)
A 77-minute video from Logic UFRN: “Samson Abramsky - Intensionality, Definability and Computation (2015)”.
52:02Tuomas Tahko - Logical Realisms (2017)
A 52-minute video from Logic UFRN: “Tuomas Tahko - Logical Realisms (2017)”.
38:24Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 1] (2015)
A 38-minute video from Logic UFRN: “Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 1] (2015)”.
23:39Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 2] (2015)
A 24-minute video from Logic UFRN: “Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 2] (2015)”.
1:00:17Valeria de Paiva - Modal Type Theory (2015)
A 60-minute video from Logic UFRN: “Valeria de Paiva - Modal Type Theory (2015)”.
40:24Vladimir Svoboda - Deontic Logic and Language Games (2015)
A 40-minute video from Logic UFRN: “Vladimir Svoboda - Deontic Logic and Language Games (2015)”.