KEYNOTE SPEAKERS - UNILOG'2018


Bruno Poizat
Dept of Mathematics, University of Lyon I, France
"A Compendium for Positive Logic"
Workshop Model Theory


Elena Lisanyuk
St Petersburg State University, Russia
"Alternating truth in argumentative dispute resolution"
Session Argumentation


Pierre Cartier
IHES - Institut des Hautes Etudes Scientifiques, Bures-sur-Yvette, France
"A categorical presentation of probabilistic logic"
Workshop Categories and Logic


Didier Dubois
IRIT, Toulouse, France
"A unified view of some formalisms handling incomplete and inconsistent information"
Session Non-Classical Logics


María del Rosario
UNAM, Mexico, City, Mexico
"Contradiction, triviality, inconsistency toleration and other misunderstandings in the empirical sciences" Workshop Reflections on Paraconsistency


David Makinson
London School of Economics, England
"A New Perspective for Relevance Logic"
Session Non-Classical Logics


Leila Amgoud
ADRIA, IRIT, Toulouse, France
"Argument-based logics"
Session Argumentation


Bob Coecke
Oxford University, UK
"Quantum Theory for Kids"
Workshop Logic for Children


Jonas Becker
UFSC, Florianópolis, Brazil
"Material exclusion, contradictions and other oppositions"
Workshop Reflections on Paraconsistency


Göran Sundholm

Dpt of Philosophy
University of Leiden, The Netherlands

"The Validity of Validity"
Workshop Naming Logics II


Grzegorz Malinowski
Department of Logic, University of Łódź, Poland
"Jan Łukasiewicz: his many-valued logic"
Workshop The Lvov-Warsaw School


Roy Sorensen
Washington University St Louis, USA
"Ill-Defined Attitudes"
Workshop Reflections on Paraconsistency


Alexander Leitsch
Technical University of Vienna, Austria
"CERES: automated deduction in proof theory"
Workshop Proof Theory


Soma Dutta
Warsaw University, Poland
"Importance of distinction of levels in a logical discourse: an investigation from the perspective of a theory of graded consequence"
Workshop Logics and Metalogics


Sergey Goncharov
Russian Academy of Sciences
"Logic construction and computability on algebraic abstract structures"
Workshop Model Theory


Walter Edward Young
McGill University, Canada
"On the Formal Evolution of Islamic Juridical Dialectic"
Workshop Logic, Law and Legal Reasoning


Sander Uijlen
Radboud University, Nijmegen, Netherlands
"The logic of causation"
Workshop Logic and Physics


David McGoveran
Alternative Technologies, Deerfield Beach, USA
"Foundational Issues: Still Meaningful"
Workshop Dynamic Real-World Information


Ole Hjortland
University of Bergen, Norway
"The Indispensability of Logic"
Workshop Logical Correctness


Matthias Armgardt
Konstanz University, Germany
"Analogies in Civil Law"
Workshop Logic, Law and Legal Reasoning


Graham Priest
City University of New York, USA
"It Was So Revolting I Couldn't Take my Eyes Off It"
Workshop Reflections on Paraconsistency



Anna Zamansky
Information Systems Department, University of Haifa, Israel
"Paraconsistency: Theory and Practice"
Session Non-Classical Logics


Hartry Field
Department of Philosophy, New York University, USA
"Kripke and Łukasiewicz: A Synthesis"
Session Philosophy


Francesca Poggiolesi
IHPST - CNRS, Paris, France
" Grounding as meta-linguistic relation: grounding rules for implication"
Workshop Proof Theory


Alexander Paseau
University of Oxford, England
"Capturing Consequence"
Session Universal


Kordula Swietorzecka
Department of Logic and Methodology of Science, Cardinal Wyszynski University in Warsaw, Poland
"The Ace of the Second Generation of the Lvov-Warsaw School. Boles law Sobocinski and some of his unknown philosophical views"
Workshop The Lvov-Warsaw School


Volker Peckhaus
University of Paderborn, Germany
"David Hilbert’s Early Logical Notation"
Workshop Writing and Reading in Logic


Danielle Macbeth
T. Wistar Brown Professor of Philosophy, Haverford College, USA
"Diagrammatic Reasoning in Peirce and Frege"
Workshop Around Peirce


Rohit Parikh
CUNY, USA
"Formalizing Umwelts"
Workshop Logics and Metalogics


Dirk Schlimm
McGill University, Canada
"General principles for the design of logical notations"
Workshop Writing and Reading in Logic


Jan Wolenski
Department of Social Sciences, University of Information, Technology and Management, Rzeszow, Poland
"Polish Contributions to Universal Logic"
Workshop The Lvov-Warsaw School


Anne-Françoise Schmid
Ecole des Mines, Paris, France
"Louis Couturat, Life and Work"
Session History


Ahti-Veikko Pietarinen
Nazabayev University, Astana, Republic of Kazakhstan
“To Peirce Hintikka's Thoughts”
Workshop Hintikka


Thomas Noll
Departament de Teoria, Composició i Direcció Escola Superior de Música de Catalunya, Spain
"Tones and Chords: Fuzzy and Intuitionistic Approaches to Musical Elementhood"

Workshop Logic and Music


Amirouche Moktefi
Ragnar Nurkse Department of Innovation and Governance Tallinn University of Technology, Estonia
"Lewis Carroll's seven charts (and many others)"
Workshop Logical Geometry


Scott Pratt
Dept of Philosophy, University of Oregon, USA
“Decolonizing “Natural Logic””
Workshop Sociology and Anthropology of Logic


Simon Perdrix
LORIA, Nancy, France
"Diagrammatic quantum reasoning"
Workshop Logic and Physics


Soren Brier
Department of Management, Society, and Communication, Copenhagen Business School, Denmark
"Peircean logic as semiotic and biosemiotics as transdisciplinary framework"
Workshop The Logic of Social Practices


Ralf Krömer
University of Wuppertal, Germany
"Category theory and its foundations: the role of diagrams and other “intuitive” material"
Workshop Logic for Children


Leon van der Torre
University of Luxembourg
"Abstract Agent Argumentation (Triple-A)"
Session Argumentation


Ingo Blechschmidt
Dept of Mathematics Augsburg University, Germany
"Exploring the internal language of toposes"


David Miller
Dept of Philosophy, University of Warwick, UK
"Three Probabilistic Generalizations of Deducibility"
Workshop Categories and Logic


Christopher Goodey
Centre for Medical Humanities,
University of Leicester, UK

La question est précisément de 'âge' [Rousseau, Emile]: Natural logic and the pre-history of modern psychology
Workshop Sociology and Anthropology of Logic

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)