2015-02-12 (木) Workshop on Logical Analysis of Descriptions and their Presentations

Post date: Feb 12, 2015 3:58:15 AM

2015-01-26(月)から2015-01-29(木)まで、

Workshop on Logical Analysis of Descriptions and their Presentations

が、国立情報学研究所主催の湘南会議として開催されました。

本研究所所長の木下佳樹教授が、Bengt Nordstrom 教授(シャルマース工科大学)と共にこのワークショップの organiser を務めました。

構成的型理論、自然言語処理、アシュランスケースなどの多岐にわたる分野の研究者が集まって、いわゆる半形式文書の処理について、活発な議論を交わすことができました。