[logic-ml] Workshop on Linear Logic (Program Available)

[Kazushige TERUI]

皆様

線型論理関連ワークショップ（１１月７日−１１日、京都大学）について、
暫定プログラムができましたのでご案内させていただきます。人数把握のため、
参加ご希望の方は添付の参加フォームをお送りいただけると助かります
（当日参加も可）。

※北白川学舎（RIMS宿泊施設）に１室空きがあります（バス・トイレ共用）。
　ご希望の方はご連絡ください。
--------------------

Workshop on Linear Logic
(Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity)

* Date: 7th - 11th, November
  (11th reserved for free discussion)

* Location: Room 110, Faculty of Science Building No.3, Kyoto University
  京都大学理学部３号館１１０号室
  http://www.kyoto-u.ac.jp/ja/access/campus/map6r_n.htm
  ※数理解析研究所ではありませんのでご注意ください。

* Workshop Dinner
  18:00-, 9th November.
  (cost: around 4,000 - 5,000yen)
  ※参加ご希望の方はなるべく事前に下記フォームにてお知らせください。

* Organizers
Michele Basaldella: mbasalde at kurims.kyoto-u.ac.jp
Kazushige Terui: terui at kurims.kyoto-u.ac.jp
Claudia Faggian

* Program (tentative)

7th November (Monday)
10:00-10:15 Opening
10:15-11:00 Masahito Hasegawa (Kyoto Univ.)
            TBA

11:00-11:30 Shin'ya Katsumata (Kyoto Univ.)
            Relating Computational Effects by TT-Lifting

13:00-14:30 Jean-Yves Girard (IML, Marseille)
            Lecture I

14:45-15:30 Masahiro Hamano (PRESTO, JST)
            A Geometry of Interaction for Polarized Linear Logic

15:45-16:30 Thomas Seiller (IML, Marseille)
            Graphs of Interaction

16:30-17:15 Jonas Frey (PPS, Paris)
            Characterizing Realizability Toposes


8th (Tuesday)
 9:30-11:00 Jean-Yves Girard
            Lecture II

11:15-12:00 Claudia Faggian (PPS, Paris)
            Geometry of Interaction and Quantum Circuits
            (joint work with Ugo Dal Lago)

12:00-12:30 Kazuyuki Asada (National Institute of Informatics)
            Bidirectional Transformation and Int Construction

14:00-15:00 Stefano Guerrini (invited: LIPN, Paris)
            Jumps and Boxes

15:15-16:00 Michele Basaldella (Kyoto Univ.)
            Dilators: a Gentle Introduction

16:00-16:45 Etienne Duchesne (LIPN, Paris)
            TBA


9th (Wednesday)
 9:30-11:00 Jean-Yves Girard
            Lecture III

11:15-12:00 Nao Hirokawa (JAIST)
            Runtime Complexity Analysis and Rewriting Techniques

12:00-12:30 Naohi Eguchi (Tohoku Univ.)
            Term-rewriting Approaches to Implicit Computational Complexity

14:00-15:00 Ugo Dal Lago (invited: Univ. Bologna)
            Measuring, Computing and Constraining:
            Three Ways to Exploit GoI in Implicit Complexity.

15:15-16:00 Michele Pagani (LIPN, Paris)
            The Computational Meaning of Probabilistic Coherence Spaces
            (joint work with Thomas Ehrhard and Christine Tasson)

16:00-16:45 Rene Vestergaard (JAIST)
            Towards a Geometry of Regulation

18:00-      Workshop Dinner


10th (Thursday)
 9:30-11:00 Jean-Yves Girard
            Lecture IV

11:15-12:15 Marco Gaboardi (invited: Univ. Pennsylvania)
            Linear Types for Function Sensitivity

13:45-14:30 Damiano Mazza (LIPN, Paris)
            Metrics on lambda-terms

14:30-15:00 Marc Bagnol (IML, Marseille)
            Cycles and Traces: On the Meaning of Syntaxe Transcendantale's Duality

15:15-15:45 Guillaume Munch-Maccagnoni (PPS, Paris)
            What can polarisation do for the proofs-as-programs correspondence?

15:45-      Free Slots


11th (Friday)
 9:30-      Open Discussion



-------------------------------------
参加申し込みフォーム

１．お名前・所属・身分
２．参加日程：11月?日から〜11月?日まで
３．９日の懇親会に参加する・しない
--------------------------------------






------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/