login · source · print

News

  • A MC&WG Meeting (WG1) is going to take place in Ljubljana 30-31 Jan. 2016, together with a workshop on Syntax and Semantics of Type Theory, 1-2 Feb. 2017.