2014年4月29日星期二至5月2日星期五，Idris开发商将在瑞典哥德堡Chalmers举行会议。本次会议面向任何有兴趣为Idris做出贡献、在Idris中实现库或应用程序，或只是有兴趣观看进度的人。

会议将在D&IT大楼举行Rännvägen 6在Jonhanneberg校园。请在此查看有关房间预订的详细信息。

我们将于9:30在D&IT大楼的午餐室开始（一直到顶层），举行半小时的咖啡会并办理入住手续。9:30和10:00有人会在大楼大厅接待新来的客人。

8103房间直接与餐厅相连。假设计划外时间（15:30以后）是为了一起做项目，或者出去吃点东西。

• @david-christiansen修复了idris-mode和编译器中的错误，这些错误使得交互式编辑.ldr文件比必要的更痛苦，并使idris-mod使用.ipkg文件来获取工作目录

• https://github.com/idris-hackers/idris-mode/pull/120

• https://github.com/idris-lang/idris-dev/pull/1125

• https://github.com/idris-hackers/idris-mode/pull/119

• @paulkoerbitz对主idris代码库进行了第一次修改（1155、1159、1164、1165）它有望修复1047、1154和1158（由1155引入）。

• 演讲：8103年10:00-12:00

  • Idris和形式化：从业者的描述-尼古拉·博塔
  • Idris、密码学和可证明密码学-Jan de Muijnck-Hughes

• 白天：8:00-13:00有8103房间，4128和6128房间全天都有。4128和6128只能容纳大约一半的人，所以我们必须加入IRC。

• 晚上：哥德堡的沃尔普尔吉斯之夜庆祝活动——外出参加庆祝活动瑞典语描述

请注意，5月1日是瑞典的假日。我们可以进入大楼，但门会被锁上，所以必须有人带着查尔默斯的钥匙让你进去。当所有人都到了之后，我们会安排具体事宜。

活动：

• 其他会谈和演示：
  • Edwin介绍了方案和新效果
  • David提出了错误反思(演示代码)
  • Ahmad介绍了正在进行的快速悬浮工作

客房：

• 我们将在8103–预订它的人不需要它。
• 编辑室（3364）已预订8-12
• 全天预订4128和6128房间

我们星期五整天都有8103房间。

空间有限，因此如果您计划参加，请发送电子邮件至大卫·克里斯蒂安森声明：

• 你将参加哪几天
• 你是否想发表演讲（也请将此添加到上面的列表中）

您也可以选择将您的姓名添加到下面的列表中。

参加活动不收取任何费用，但您将负责自己的食宿。

• 大卫·克里斯蒂安森
• 安德烈亚·维佐西（塞尚）
• 维克托·洛佩斯·胡安
• 巴尔杜·布伦达尔
• Jean-Louis佐丹奴
• 蒂姆·戴辛格（满怀希望）
• 埃德温·布莱迪（不是星期二）
• Jan de Muijnck-Hughes（不是星期二，也许是星期五早上……）
• 塞扎尔·伊奥内斯库
• raichoo（希望这次！）
• 安德烈亚斯·雷利奥
• 丹尼尔·奥伯格（周二和周三）
• Ahmad Salim Al-Sibahi（周三至周四）
• 保罗·科尔比茨
• 叶夫根尼·科特利尼科夫
• 卡洛·哈马莱恩（星期二至星期四）
• 帕特里克·詹森（周三至周五）
• 尼古拉·博塔
• 安德烈亚斯·阿贝尔
• 托马斯·迪德里克森（周三、周四）
• 苏内·阿尔克西格（星期三、星期四）
• 尼古拉斯·拉尔森
• 莫特·姚
• 弗朗西斯科·马佐利（星期四晚上，星期五）

• 什么是1.0？（重温上次会议）
• 我们如何获得更好的文档？
• 我们怎样才能解除埃德温的瓶颈？
• 发布Idris和重要相关工具和文档的节奏。

哈克马拉松的高水平目标。

• 新的社区主导文件，以类似于赫顿和LYAH书籍的风格呈现伊德里斯。

如果您无法访问Eduroam，那么我们需要在Chalmers为您创建一个访客帐户，以便您可以访问无线互联网。如果你需要这个，请写信给大卫。

靠近查尔默斯的廉价住宿地点包括：

• SGS Veckobostäder公司
• 哥德堡-范德拉赫姆-记住床单和毛巾

此外，许多参与者已经在展开图.

如果你想住在合适的酒店，可能会给你一个更好的价格。请联系David了解详细信息。