Substructural logics: proof theory and applications

26.02.2018 08:00 - 28.02.2018 17:35

WPI-Workshop

Organiser:
Agata Ciabattoni (WPI c/o TU Wien)
Location:

Sky Lounge, 12. OG, OMP 1