"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
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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:
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.