There will be a EUTypes meeting in Ljubljana, Slovenia, on January 30th and 31st 2017. The meeting is collocated with a workshop on Syntax and Semantics of Type Theory (SSTT), which will take place on February 1st and 2nd 2017. The workshop is organized by Vladimir Voevodsky and Andrej Bauer.
The meeting will take place at the Faculty of Mathematics and Physics, University of Ljubljana. The faculty is located at Jadranska 19, 1000 Ljubljana, Slovenia (Google map).
There are numerous options for accommodation in Ljubljana available through the usual Internet channels. We have reserved a block of rooms at Hotel Mrak at a special rate of 50€/night (city tourist tax of 1.265€/night is not included). We recommend Hotel Mrak as it is located in the city center and is within walking distance of the department. The block of rooms is reserved until January 9th 2017. After this date the offer is subject to availability. When you make a reservation through the web site or at sales@hotelmrak.si, make sure to mention the magic word "EUTYPES".
The EUTypes working meetings are open to all members of the EUTypes COST network, as well as to all other researchers interested in the topic. We encourage discussion about ongoing work, problem statements, progress reports, as well as presentation of latest results. The working meeting will consists of a number of shorter contributed talks. If you would like to participate, please send e-mail to Andrej Bauer as soon as possible. Please include a title and a short description of the topic.
The workshop will cover topics in syntax and semantics of type theory. There will be a smaller number of more substantial talks, with plenty of time for discussion. We plan to announce the list of speakers as soon as possible.
The EUTypes COST network will cover the cost of travel and accommodation to all MC members. We have also allocated funds for he participants of the Working group meetings. The funding is subject to COST rules. In practical terms, the funding is likely going to be sufficient for the entire duration of your stay, including the SSTT workshop. There is no conference fee.
If you are planning to participate, please send an email to Andrej Bauer as soon as possible and indicate:
