みなさま
東京大学萩谷研の平井洋一より、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 [email protected]
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 [email protected] ================================== 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