现在有一个新的FP组页面.
旧消息:
- 2016-10-01:三名新的学生研究助理(助理)在优雅项目:Sólrún Einarsdóttir、Oskar Abrahamsson、Björn Norgren。
- 2016-09-16:从2017年起,FP研究小组将成为一个部门。任命新的司司长的进程正在进行中。
- 2016-06-01:马克西米利安·阿尔盖德开始担任学生研究助理(助理)优雅项目
成功案例和专业知识
- 有影响力的测试框架QuickCheck(针对Haskell和Erlang)
- 获奖的MiniSat SAT解决方案
- 获奖者悖论模型查找器
- 程序设计语言哈斯克尔(语言开发、编译、库、工具的一部分)
- 泛型函数编程的发展(多类型编程)
- 特定于域的语言(Lava、Wired、QuickCheck、Feldspar等)
成员:
其他当地FP人员
- Aarne Ranta(教授)、Ulf Norell、Nils Anders Danielsson
前成员
研究项目
其他。
其他FP相关研究小组/项目
...
关联公司
其他
旧消息
- 2015年8月1日:Irene Lobo Valbuena开始作为博士生在优雅与Patrik Jansson合作的项目
- 2015年3月16日:新增硕士论文第页
- 2014年12月1日:Alex Gerdes和Tobias Gedell加入PROWESS项目半年。
- 2014年10月1日:在“用函数编程语言实现有限元外部演算”(functional-feec)项目中,Irene Lobo Valbuena和Simon Pfreundschuh以20%的“Amanunes”开始。
- 2014-09-01/2014-11-15:本杰明·皮尔斯在查尔默斯“禧年教授”.
- 2014-08-31/2014-09-06:2014年哥德堡ICFP
- 2014年7月1日:Markus Aronsson开始担任RAWFP项目的ProjAss。从2014年10月1日起,将成为玛丽的博士生
- 2014-04-29/02:Idris开发商会议
- 2014-02-01:函数编程博士生职位(申请截止日期2014-03-31)
- 2013年11月1日:Ramona Enache在FP组(在REMU项目)
- 2013年9月12日:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台基带信号处理的编程挑战和开放研究问题发表讲话(幻灯片,pdf格式)
- 2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(与Koen和Ramona在REMU项目)
- 2013年8月1日:Cezar Ionescu开始担任FP组的PostDoc(与Patrik合作StrongLib项目)
- 2013年4月1日:约翰·诺德兰德(Johan Nordlander)于英国皇家粮食计划署项目。
- 2013-04-01:Anton Ekblad在英国皇家粮食计划署项目。
- 2013-02-25/2013-03-01:乌得勒支的尤里安·哈格来访(王萌主持)
- 2013-01-28/2013-02-01:Cezar Ionescu参观(由Patrik Jansson主持)GSDP公司项目
- 2013-01-21:开始法新社课程
- 2013年1月1日:丹·罗森(Dan Rosén)在英国皇家粮食计划署项目。
- 2012年12月15日:松田和佳+王萌:FliPr:一种漂亮的可逆打印系统将出现在2013年员工持股计划中。
- 2012年12月10日-12月12日:杰弗里·内地将于周三至周五访问MSR剑桥。如果您想安排会议,请联系玛丽。
- 2012-12-03/7:Scala课程博士生(以及任何感兴趣的人)。
- 2012年11月30日:C.Ionescu+P.Jansson:气候影响研究中的测试与证明发表于TYPES2011会后。
- 2012年11月30日:Jonas Duregárd为他的理论辩护
- 2012-11-28/30:安迪·吉尔(Jonas Duregárd的lic讨论负责人)正在访问FP小组Wed-Fri。如果您想安排会议,请联系乔纳斯。
- 2012年11月21日:FP集团宣布两个博士职位-截止日期:2012-12-12。
- 2012年9月12日:今年我们在哈斯克尔研讨会:测试类型分类法,专长:代数类型的函数枚举,收缩和显示功能:(功能珍珠)
- 2012年9月11日:长期规划:2014年ICFP将在哥德堡!(ICFP指导委员会今天做出决定。)
- 2012-08-06:松田和隆9月底之前都会访问。
- 2012-05-25:诺曼·拉姆齐将访问到2012年7月
- 2012年3月12日:玛丽·希兰和约翰·休斯任教并行函数编程新课程
- 2011-07-01:哈斯克尔研讨会接受的纸张:“嵌入式分析器生成器”,Jonas Duregård和Patrik Jansson
- 2011-06-21:ICFP文件接受:“高效双向转换的增量更新”,王蒙(查尔默斯)、杰里米·吉本斯和尼古拉斯·吴(牛津)
- 2011年6月17日:英国皇家粮食计划署项目宣布获得函数编程博士学位申请截止日期为2011-09-01
- 2011-06-16/17:经济和环境建模领域特定语言(DSL4EE)研讨会(由Jansson组织)
- 2011-06-07:珍妮·菲利佩·伯纳迪为他的辩护参数化博士论文
- 2011-04-12:英国皇家粮食计划署申请获得2500万瑞典克朗(500万瑞典克郎/年,为期五年)
- 2011年03月01日:我们欢迎Mong Wang(2011年牛津大学博士)成为FP组的新PostDoc!
- 2010-11-24:英国皇家粮食计划署提交给SSF软件密集型系统调用的应用程序
- 2010年11月8日:申请截止日期FP PostDoc位置和约翰·休斯在一起。
- 2010-09-16欢迎回来Walid!研讨会
- 2010年9月1日:我们欢迎亚历杭德罗·鲁索(Alejandro Russo)(10名申请人之一)成为FP小组的新助理教授!
- 2010年9月1日:约翰·诺德兰德(Johan Nordlander)将于2010年秋季在FP集团担任中场休息。
- 2010年8月16日:我们欢迎Jonas Duregárd成为使用DSL使FP工作项目。