"Abstraction, structures and proofs" - Joint series of events University of Wien and University of Tübingen

5 views
Skip to first unread message

antpic...@gmail.com

unread,
Jan 7, 2026, 4:51:39 PM (13 days ago) Jan 7
to PTS Network
Dear all

We are glad to announce 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). The title of the series is Abstraction, Structures and Proofs. The programme is as follows:
  • Workshop in Wien from February 9th to 11th;
  • On-line talks between end of February and end of November;
  • Workshop in Tübingen at the beginning of December (precise dates are to be announced).
More information can be found on the web-page of the project, available at this link.

The confirmed speakers for our first workshop in Vienna (February 9th to 11th) are:
We also have a provisional list of speakers for the on-line talks:
Remote attendance will be made available for each event. In case you are interested in attending, either in-person or on-line, please write to the e-mail addresses indicated on the home page of the web-site. Further information about the final list of the on-line speakers, as well as about the Tübingen Workshop will be spread in due course.

Best regards
Antonio, Georg and Ludovica
Reply all
Reply to author
Forward
0 new messages