Konstantinos Kartas

  1. Title:
    Decidability via the tilting correspondence

    Speaker:

    Link: