Monday meeting schedule of the Uppsala Type Systems group