程序等。
第十三届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实施者会议十三姓名：标题和摘要（如果你想演讲或主持讨论）：其他评论：