皆様
線型論理関連ワークショップ（１１月７日−１１日、京都大学）について、 暫定プログラムができましたのでご案内させていただきます。人数把握のため、 参加ご希望の方は添付の参加フォームをお送りいただけると助かります （当日参加も可）。
※北白川学舎（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: [email protected] Kazushige Terui: [email protected] 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 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/