• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Important announcements 1

News

Andrei Rodin Made a Report on the Conference in Tübingen

Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.

The Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Andrei Rodin made the report "Extra-logical proof-theoretic semantics in HoTT" at the Third Tübingen Conference on Proof-Theoretic Semantics. The conference was held by the Eberhard Karls Universität Tübingen (Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Germany) on March 27-30.