程序等。
第十三届Agda实施者会议将于2011年4月6日至2011年4日至12日(周三至周二)在哥德堡举行。欢迎所有使用Agda的人参加。会议将与之前的会议类似:
- 演讲和讨论。
- 与其他参与者合作,有充足的时间在Agda上工作。
重要日期
- 2011-03-06
- 注册截止日期(软)
- 2011-04-06至2011-04-12
- 目标XIII
请注意,如果您想住在SGS Veckobostäder(见下文),最好尽快预订房间。
位置
会议将在计算机科学与工程系查尔默斯理工大学(Johanneberg校区).
要从哥德堡市中心到达该部门,你可以乘坐有轨电车或公共汽车; 当地站点包括查尔默斯和恩格达尔斯加坦。
如果您找不到路,可以致电组织者之一:Nils Anders Danielsson(+46-700 620 602)或Ana Bove(+46-704 87 44 26)。
前往哥德堡
哥德堡由火车提供服务(例如,见,坐在61号座位上的人。。。).
当地机场:兰维特和哥德堡市机场.
住宿
您可能想使用SGS Veckobostäder公司(如果您入住8晚,则单人间300瑞典克朗/晚)。有很多其他选项.
远足
2011年4月9日星期六很可能会有一次短途旅行。细节尚未最终确定。
登记处
您通过填写以下表格并将其发送至以下地址来注册会议尼尔斯·安德斯.
出席是免费的,但参加者需要自己支付所有费用(如食物)。
如果你想就某个主题发表演讲或进行讨论,请在登记表上注明。我们会在会议临近时通知你你的提议是否被接受。(“代码冲刺”是会议的核心,因此我们不想在会谈和讨论上花费太多时间。)
登记表Agda实施者会议十三姓名:标题和摘要(如果你想演讲或主持讨论):其他评论: