Computational Aspects of Univalence,
Workshop in Bergen, January 20-22, 2016

   Where  is  it ?    

All talks will be held at 4th floor (the math. dept.) in room 4A9f in Realfagbygget (the big, grey, brutalistic building two blocks South of Park Hotel along Alleegaten). Here is a map showing the most important addresses you'll need. If you take the flybuss from the airport, the stop is "Bystasjonen". It has been marked as "Bergen Storsenter" on the map, since that is closer to the actual stop. From there you walk uphill in 6 min along "Strømgaten" to Hotel Park.

Tentative schedule

Wed. 20 Thur. 21 Fri. 22
09:00-10:00
Grayson
09:00-10:00
Grayson
09:00-10:00
Grayson
10:15-11:15
Huber
10:15-11:15
Huber
10:15-11:15
Huber
11:30-12:30
Polonsky
11:30-12:30
Escardo
11:30-12:30
Coquand
12:30-14:30
Lunch, Marg og Bein
12:30-14:30
Lunch, Muntlig
12:30-14:00
Lunch, HiB
14:30-15:30
Bezem
14:30-15:30
Polonsky
14:00-16:00
Disputation
Parmann
Stort auditorium, Høyteknologisenteret
16:00-17:00
Discussion
16:00-17:00
Dybjer
ca 19:00 dinner
at Enhjørningen

For those we have promised travel reimbursements

For speedy and orderly reimbursement, the following documentation is required:
  1. A copy of your passport (we can make the copy for you)
  2. Bank details (we will give you a form that is easy to fill out)
  3. Receipts for travel expenses (like buss ticket, airfare, boarding pass)
  4. A signed travel reimbursement form (we can fill out based on 3, not sign)
The hotel will be paid by us.
For the meals there is a daily allowance of NOK 710 p/d minus the meals that are paid by us, roughly half that amount. No receipts for meals are required, and the (rather complicated) computations in form 4 are done by UiB. There are some additional regulations: bar/minibar/telephone costs are not refundable. Travel should be Economy Class, and taxi only if there is no buss. Shared taxi is OK, and actually a good solution for some of you.

A part of the NRC project "Computational Aspects of Univalence".