Search this site
Embedded Files
Skip to main content
Skip to navigation
UNILOG 2025
Welcome
UNILOG
8th-School
Tutorials
Schedule School
Paradoxes
Abstract Paraconsistency
Lógica y Geometría
Relating Logic
Definition in Islamicate philosophy
Lógica Algebraica
Epistemic Modality
Paraconsistent Epistemology
Languages Formales
Medieval Logic
Ammonius Hermiae
Lógica Difusa
Syllogistic
Proof Theory of Atomic and Molecular Logics
CPL from a Universal Logic Perspective
8th-Congress
Schedule Congress
K-Speakers
Melisa Vivanco
Serge Robert
Maira de Cinque
Melvin Fitting
Carolyn Talcott
Felipe Moreira
Maria José Frápolli
Bruno Poizat
Luis Estrada
Roy Cook
Itala D'Ottaviano
Marcelo Coniglio
Steven Gouveia
José Carlos Cifuentes
Jorge Alejandro Florez
Evandro Gomes
Concha Martinez
Daniel Molto
Jorge Molina
Jean-Yves Beziau
Workshops
Artificial Intelligence
Non-Classical Logics
Philosophy of Notation
Logic Paradoxes
Logic and the Empirical Sciences
History of Logic
Frege and Beyond
Patchwork
Logic and Alegbra
Logic and Spirituality
JYB 60
Secret Speaker
Logic Prizes
Venue
Hotels
Registration
Organizers
UNILOG 2025
Welcome
UNILOG
8th-School
Tutorials
Schedule School
Paradoxes
Abstract Paraconsistency
Lógica y Geometría
Relating Logic
Definition in Islamicate philosophy
Lógica Algebraica
Epistemic Modality
Paraconsistent Epistemology
Languages Formales
Medieval Logic
Ammonius Hermiae
Lógica Difusa
Syllogistic
Proof Theory of Atomic and Molecular Logics
CPL from a Universal Logic Perspective
8th-Congress
Schedule Congress
K-Speakers
Melisa Vivanco
Serge Robert
Maira de Cinque
Melvin Fitting
Carolyn Talcott
Felipe Moreira
Maria José Frápolli
Bruno Poizat
Luis Estrada
Roy Cook
Itala D'Ottaviano
Marcelo Coniglio
Steven Gouveia
José Carlos Cifuentes
Jorge Alejandro Florez
Evandro Gomes
Concha Martinez
Daniel Molto
Jorge Molina
Jean-Yves Beziau
Workshops
Artificial Intelligence
Non-Classical Logics
Philosophy of Notation
Logic Paradoxes
Logic and the Empirical Sciences
History of Logic
Frege and Beyond
Patchwork
Logic and Alegbra
Logic and Spirituality
JYB 60
Secret Speaker
Logic Prizes
Venue
Hotels
Registration
Organizers
More
Welcome
UNILOG
8th-School
Tutorials
Schedule School
Paradoxes
Abstract Paraconsistency
Lógica y Geometría
Relating Logic
Definition in Islamicate philosophy
Lógica Algebraica
Epistemic Modality
Paraconsistent Epistemology
Languages Formales
Medieval Logic
Ammonius Hermiae
Lógica Difusa
Syllogistic
Proof Theory of Atomic and Molecular Logics
CPL from a Universal Logic Perspective
8th-Congress
Schedule Congress
K-Speakers
Melisa Vivanco
Serge Robert
Maira de Cinque
Melvin Fitting
Carolyn Talcott
Felipe Moreira
Maria José Frápolli
Bruno Poizat
Luis Estrada
Roy Cook
Itala D'Ottaviano
Marcelo Coniglio
Steven Gouveia
José Carlos Cifuentes
Jorge Alejandro Florez
Evandro Gomes
Concha Martinez
Daniel Molto
Jorge Molina
Jean-Yves Beziau
Workshops
Artificial Intelligence
Non-Classical Logics
Philosophy of Notation
Logic Paradoxes
Logic and the Empirical Sciences
History of Logic
Frege and Beyond
Patchwork
Logic and Alegbra
Logic and Spirituality
JYB 60
Secret Speaker
Logic Prizes
Venue
Hotels
Registration
Organizers
Workshop
Logic and Alegbra
Schedule: Wednesday 10 Afternoon
14h30 - 14h45
Presentation of the Workshop
14h45 - 15h30: K-Talk
José Carlos Cifuentes
"
La aritmética de la mano de la lógica algebraica: una nueva aventura
"
15h30 - 16h00: C-Talk
María del Carmen Vannicola "TBA"
16h00 - 16h30: Coffee Break
16h30 - 17h15: K-Talk
Burno Poizat
"Teoría de Modelos, Geometría Algebraica, y Matemáticas"
17h15 - 17h45: C-Talk
Blanca Fernanda López Martinolich
"Logic and Algebra"
17h45 - 18h00: General Discussion
Google Sites
Report abuse
Google Sites
Report abuse