The Speakers

Peter Schroeder-Heister

Dag Prawitz

Luiz Carlos Pereira

Tor Sandqvist

Sara Ayhan

Thomas Piecha

Edmund Robinson

Peter Schroeder-Heister

Professor at the Wilhelm-Schickard-Institut für Informatik, Universität Tübingen

Schroeder Heister works on the foundations of inference, especially on its proof-theoretic basis, pursuing a programme called "proof-theoretic semantics".

Dag Prawitz

Professor emeritus, Department of Philosophy, Stockholm University

Prawitz main research areas are logic, the philosophy of logic and mathematics, and philosophy of language. Within logic he has worked mostly in proof theory. Within the philosophy of logic he has written among other things on the conflict between classical and intuitionistic logic. His works in philosophy of language concerns meaning theory.

Luiz Carlos Pereira

Professor at the Department of Philosophy, PUC-Rio and UERJ

Pereira works on a vas amount of subjects, including proof theory, constructivism and Wittgenstein.

Tor Sandqvist

Associate Professor at Royal Institute of Technology

Sandqvist is interested on several aspects of proof theory, including the study of cut-rule on proofs.

Sara Ayhan

Researcher, Ruhr University Bochum

Ayhan main interests are non-classical logics, proof-theoretical semantics, (logical) paradoxes, properties of consequence relations, identity of proofs and comparison of different proof systems.

Thomas Piecha

Professor at the Wilhelm-Schickard-Institut für Informatik, Universität Tübingen

Piecha is working on the incompleteness of intuitionistic logic with respect to proof-theoretic semantics.

Edmund Robinson

Professor, School of Electronic Engineering and Computer Science, Queen Mary, University of London

Robinson's interests include classic, intuitionistic, and substructural logics, as well as proof translations and interpretations.

Page updated

Google Sites

Report abuse