AS&P - “Abstraction, Structures and Proofs” - S. Shapiro, February 24

[antpic...@gmail.com]

Dear all,

we are pleased to announce the first talk in our online seminar series titled “Abstraction, Structures and Proofs”.

Our first meeting is scheduled for 24 February at 18:00 CET, and we are honoured to begin with a talk by Stewart Shapiro (Ohio State University).

If you are interested in attending, please write to  ludovic...@univie.ac.at  or antpic...@gmail.com .

This seminar is part 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). Further details can be found on the project website, accessible via this link: https://sites.google.com/view/wientuebingen/wien .

Hope to see you online soon!

Best regards,

Antonio, Georg and Ludovica