[logic-ml] Logic Zoo Workshop 2013 (Jan. 31, Tokyo)

[Yoichi Hirai]

みなさま

東京大学萩谷研の平井洋一より、Logic Zooワークショップのご案内です。
2013年1月31日(木)東京開催です(前日30日には平井洋一の博士論文公聴会)。
講演・前日夕食の申込は 2013年1月15日(火) 締切です。

詳細及び申込 http://logiczoo13.pira.jp

論理をみつける話から論理を調べる話、論理を使う話まで
ご講演、ご参加をお待ちしております。

平井洋一


Logic Zoo Workshop 2013 (Jan. 31, Tokyo)
========================================

A workshop on living, playing or working logics.

Topics include:
- substructural and more exotic logics
- type systems
- programming languages
- mathematics on non-classical logics
- software verification
- logics for social, economical, legal or linguistic analysis.

Organizer: Yoichi Hirai yh at lyon.is.s.u-tokyo.ac.jp

Schedule and Location
---------------------

- 2013 Jan. 31 (Thu), 10:00--17:00
- Room 236, through Science Bldg. 7, 理学部7号館2階より化東236室
Hongo campus, the Univ. of Tokyo 東京大学本郷キャンパス
- with four blackboards 黒板4枚あり

Registration
------------

Please register for your talk slot and/or dinner by Jan. 15, 2013.
A talk will be 30-minute long (tentative estimation).

Fill this form and send it to yh at lyon.is.s.u-tokyo.ac.jp
==================================
Logic Zoo (Jan. 31) Registration
name:
affiliation:

eve-dinner on 30th: yes / no / not decided

giving a talk: yes / not decided
title: TBD or a title
==================================

Some Other Events
-----------------

2013-01-30 (Wed): Defense and Dinner

12:00--14:00
Yoichi Hirai's defense (first half is public): Hyper-Lambda Calculi
Room 102, Science Bldg. 7, Hongo campus, the Univ. of Tokyo

19:00--21:00
Dinner: Logic Zoo Eve
nearby restaurant

2013-01-31 (Thu): Workshop

10:00--17:00
Logic Zoo Workshop
Room 236, through Science Bldg. 7, Hongo campus, the Univ. of Tokyo