VSL 2014:维也纳2014年夏季逻辑
WIR主页

无限重写研讨会

概述

WIR是关于无限重写的研讨会。

WIR14上的所有信息(目标、范围、论文征集)均已打开网址:http://www.win.tue.nl/~hzantema/wir.html.

文件征集

请参见网址:http://www.win.tue.nl/~hzantema/wir.html.

组织

项目委员会