Welcome to the website of the joint Wien-Tübingen series of events Abstraction, Structures and Proofs. The events will explore connections between abstractionism, structuralism, and the proof-theoretic tradition, thereby shedding a new light on the possible intersection of these approaches, with focus on their methodological comparison.
The series consists of a Workshop in Wien (February 9th-11th), some online talks between end of February and end of November, and a Workshop in Tübingen (December 2026, dates TBA).
The project is part of the activities of the following research programmes:
DFG project "Revolutions and paradigms in logic: the case of proof-theoretic semantics" PI 1965/1-1, Carl Friedrich von Weizsäcker Center of the University of Tübingen - P.I. Antonio Piccolomini d'Aragona
ERC Consolidator Grant, European Union fund, FORMALISM, 101044114, "The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought", University of Wiem - P.I. Georg Schiemer
ESPRIT Program, Austrian Science Fund (FWF) DOI:10.55776/ESP210, "The logic of Abstraction" - P.I. Ludovica Conti
For further information, please write to ludovica.conti[@]univie.ac.at or to antonio.piccolomini-daragona[@]uni-tuebingen.de.