Agda实施者会议十二

程序等。

第十二届Agda实施者会议将在诺丁汉举行2010-09-01至2010-09-07(周三至周二)。每个使用Agda的人邀请参加。会议将与之前的会议类似:

  • 演讲和讨论。
  • 其他参与者。

笔记

重要日期

2010年8月1日
注册截止日期(软)
2010-09-01至2010-09-07
目标XII

请注意,如果你想留在国立学院(见下文)尽快预订房间可能是明智的。

位置

会议将在计算机科学学院在诺丁汉大学(地图).

从诺丁汉市中心到该部门,你可以乘出租车。你也可以坐公共汽车去,看http://triptimes.co.uk/(使用“大学目的地为诺丁汉朱比利校区)。

如果你找不到路,可以打电话给主办方之一:尼尔斯·安德斯·丹尼尔森(+44-798486854)或托尔斯滕·阿尔滕科奇(+44-7441398649)。

前往诺丁汉

英国

要计划在英国境内旅行,您可以使用http://www.transportdirect.info/或者,对于火车旅行,http://www.nationalrail.co.uk/.

国际

乘火车
大陆上的人们可以乘坐欧洲之星去伦敦,然后再乘另一列火车去诺丁汉。
乘飞机
我们建议使用以下机场之一:
东米德兰
就在诺丁汉郊外,有公共汽车直达市中心。大多数主要航空公司都不使用这个机场。
伯明翰
坐火车去诺丁汉大约需要两个小时。
伦敦机场也可以使用,但预计将花费更多时间到达诺丁汉(斯坦斯特德或希思罗机场:约3小时)。

住宿

国立学院,这是距离学校只有很短的步行路程(90英镑/晚)。要预订,您可以电话+44-115 872 2500。另一个选择是留在宝洁酒店大约1.2公里外(44.25-120英镑/晚)。

远足

2010年9月4日,星期六,我们计划在山顶区散步,天气晴朗允许。你可能想带上好的鞋子或靴子走路,而且万一天气突然变坏,有东西可以保护你。计划是埃德尔卡斯特尔顿.

注册

您通过填写以下表格注册会议,并将其发送至尼尔斯·安德斯.

出席是免费的,但参与者需要支付所有费用(例如作为食物)。

如果你想就某个主题发表演讲或进行讨论,请在登记表上注明。我们会让您知道你的提议在会议临近时被接受了。(“代码冲刺”构成会议的核心,所以我们不想花太多时间会谈和讨论。)

登记表Agda实施者会议十二姓名:标题和摘要(如果你想演讲或主持讨论):其他评论:
页面上次修改时间:2010年9月1日下午01:23
由提供动力私人维基