Dear all, we are very glad to announce the workshop “Abstraction, Structures and Proofs” that will take place at the Department of Philosophy – University of Vienna, Lecture Room 3D (D0316) 3rd floor at the, Universitätsstraße 7, 1010 Vienna, from 9th to 11th February. Confirmed speakers: Rachel Boddy <https://www.iusspavia.it/en/contacts/rachel-boddy> (IUSS Pavia) Michele Contente <https://logika.flu.cas.cz/en/about-us/people/27-people/615-michele-contente> (Czech Academy of Sciences) Fiona Doherty <https://fionatdoherty.wixsite.com/ftdoherty> (University of Notre Dame) Fernando Ferreira <https://webpages.ciencias.ulisboa.pt/~fjferreira/index_english.html> (University of Lisboa) Salvatore Florio <https://www.hf.uio.no/ifikk/english/people/aca/philosophy/tenured/salvatf/> (University of Oslo) Leon Horsten <https://www.philosophie.uni-konstanz.de/en/ag-leon-horsten/leon-horsten/> (University of Konstanz) Nils Kürbis <https://nilskurbis.weebly.com/> (Ruhr University of Bochum) Richard Lawrence <https://ucrisportal.univie.ac.at/en/persons/richard-lawrence/> (University of Wien) Matteo Pascucci <https://people.ceu.edu/matteo_pascucci> (Central European University) Alexander Paseau <https://www.philosophy.ox.ac.uk/people/alexander-paseau> (University of Oxford) Mario Piazza <https://www.sns.it/it/persona/mario-piazza> (Scuola Normale Superiore of Pisa) Antonio Piccolomini d'Aragona <https://sites.google.com/site/piccdarag> (University of Tübingen) Michael Potter <https://www.phil.cam.ac.uk/people/teaching-research-pages/potter> (University of Cambridge) Andrea Sereni <http://iusspavia.it/it/rubrica/andrea-sereni> (IUSS Pavia) Georg Schiemer <https://sites.google.com/site/georgschiemeracademic/home> (University of Wien) Emelia Stanley <https://ucrisportal.univie.ac.at/en/persons/emelia-stanley/> (University of Vienna) Jan von Plato <https://researchportal.helsinki.fi/en/persons/jan-von-plato/> (University of Helsinki) Daiana Zavate <https://www.philosophie.uni-konstanz.de/horsten/mitglieder-der-ag-horsten/hilfskraefte-und-tutorinnen/daiana-zavate/> (University of Konstanz) Remote attendance will be made available on zoom. In case you are interested in attending, either in-person or on-line, please write to ludovica.conti(a)univie.ac.at <mailto:ludovica.conti@univie.ac.at> or antpiccdarag(a)gmail.com <mailto:antpiccdarag@gmail.com> . This the first of a series of events jointly organised by the University of Wien (Ludovica Conti, Georg Schiemer) and the University of Tübingen (Antonio Piccolomini d'Aragona). More information can be found on the web-page of the project, available at this link: https://sites.google.com/view/wientuebingen/wien . The Workshop is organised by the following projects: ERC Project: “The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought”, P.I. Georg Schiemer (University of Vienna); ESPRIT Program, Austrian Science Fund (FWF) DOI:10.55776/ESP210, “The logic of Abstraction”, P.I. Ludovica Conti (University of Vienna), DFG project "Revolutions and paradigms in logic: the case of proof-theoretic semantics" PI 1965/1-1), P.I. Antonio Piccolomini d’Aragona (Carl Friedrich von Weizsäcker Center of the University of Tübingen). The workshop also received a financial support from Österreichische Forschungsgemeinschaft - ÖFG (program “Internationale Kommunikation”) and from the DLMPST - Division of Logic, Methodology and Philosophy of Science and Technology. The event is held under the auspices of the Italian Society for Analytic Philosophy - SIFA (https://sifaphilosophy.eu <https://sifaphilosophy.eu/>). Best regards, Antonio, Georg and Ludovica