2009年TLCA
第九届国际类型Lambda演算及应用会议
7月1日星期三至7月3日星期五
巴西巴西利亚
|
第九届国际打字朗姆达会议微积分与应用（2009年TLCA）是作为改写联合会议，扣除和编程（RDP 2009），连同国际重写技术和应用程序（RTA 2009）以及几个相关事件。 >>>最终文件征集<<< 这个TLCA系列会议是展示原创作品的论坛与理论和类型计算的应用。以下主题列表是无用武之地：
- 证明理论:自然演绎和后继演算、切割消除和归一化，线性逻辑和证明网，类型理论方面计算复杂性
- 语义学：指称语义、游戏语义、可实现性、分类模型
- 实施：用于程序优化的抽象机器、并行执行、最佳简化、类型系统
- 类型：子类型、依赖类型、类型推理、多态性、定理证明中的类型
- 编程:功能和面向对象的基本方面编程、校对搜索和逻辑编程、连接介于函数编程和逻辑编程之间以及它们的组合，类型检查
2009年TLCA计划将包括三次受邀会谈（一次与会议改写相同技术和应用）和大约25篇论文，从原文中选择贡献。TLCA’09会议记录将由Springer-Verlag公司在讲座计算机科学笔记系列。
提交文件
摘要和论文必须通过EasyChair系统以电子方式提交至EasyChair-TLCA轻松椅.
如果你还没有Easychair的帐号，上面的链接也会允许您创建一个（过程很简单，只需要几个分钟）。
登录EasyChair系统后，您可以提交从顶部菜单中选择“新提交”并填写您的论文提交表单。EasyChair提交表单要求作者填写完整的邮寄地址、传真号码、作者信息、标题，一个简短的摘要，至少有两个关键字。
拜托根据Springer-Verlag指南准备手稿。你必须在提交截止日期之前上传你的手稿。提交后您的手稿，您可以自由修改您的提交内容（例如上传PDF的新版本或更改摘要）会议提交截止日期。要修改已经存在的提交的手稿，登录EasyChair并选择您的手稿从菜单中选择。
| 标题和摘要提交 | 2009年1月19日 | | 论文投稿 | 2009年1月26日 | | 通知 | 2009年3月20日 | | 最终版本 | 2009年4月10日 |
受邀演讲人将有三次受邀会谈，其中一次将与RTA联合。
项目委员会Zena Ariola，俄勒冈州大学
Patrick Baillot、CNRS和ENS Lyon
蒂埃里·科昆德（Thierry Coquand），哥德堡大学，
Pierre-Louis Curien，CNRS和巴黎第七大学（PC主席）
萨沃伊大学雷内·戴维
Dan Ghica，伯明翰大学
长谷川隆，东京大学
Barry Jay，悉尼科技大学
Soren Lassen，谷歌，悉尼
都灵大学Luca Paolini
Frank Pfenning，卡内基梅隆大学
达姆施塔德技术大学托马斯·斯特里彻
TLCA指导委员会：萨姆森·阿布拉姆斯基，牛津大学，主席
奈梅亨·亨克·巴伦德雷格特
都灵Mariangiola Dezani-Ciancaglini
罗杰·欣德利，斯旺西
马丁·霍夫曼，慕尼黑
华沙Pawel Urzyczyn
Simona Ronchi Della Rocca，都灵
TLCA宣传椅卢卡-保利尼
这个TLCA主页包含更多关于TLCA系列会议的信息。
|
