Substructural Logic Workshop in Ishikawa
Kenrokuen (Wikimedia, CC BY-SA)
Description
This workshop is held for the research presentations and discussions on substructural logic and the related fields. Participation is free, so please feel free to join us anytime. Students are also welcome. For preparation purposes, we would appreciate it if you could contact us in advance if you wish to attend. Of course, you are welcome to come on the day of the meeting without prior notice.
Speakers
Every speaker has around 50 minutes for the presentation including the Q & A sesstion. slides.| Day | Timeline | Speaker | Title |
|---|---|---|---|
| May 19, 2022 | 13:00 | Satoshi Tojo (JAIST) | Opening speech |
| 13:05 | Masaya Taniguchi (JAIST) | Incremental Parsing: Categorial Grammars and Lambek-style Calculi | |
| 14:00 | Hiromi Tanaka (Keio University) | Linear-logical modal operator and complexity in logics without contraction | |
| 15:00 | Koji Mineshima (Keio University) | TBA | |
| 16:00 | Raheleh Jalali (Utrecht University) | On Proof Forms in Substructural Logics | |
| May 20, 2022 | 13:00 | Song Yang (JAIST) | TBA |
| 13:30 | Yudai Kubono (JAIST) | Incorporating Attention and Consideration into Awareness Logic | |
| 14:00 | Katsuhiko Sano (Hokkaido University) | On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge | |
| 14:50 | Ryo Hatano (Tokyo University of Science) | Two Faces of Recursion Axioms: The Case of Constructive Dynamic Logic of Relation Changers | |
| 15:40 | Teeradaj Racharak (JAIST) | Virtual Knowledge Graph Enhanced by Description Logic | |
| 16:30 | Wang Xinyu (JAIST) | Modal Logic of Dasein: An Intrinsic Approach to Agents' Belief | |
| 17:00 | Tsubasa Takagi (JAIST) | A Complete Axiomatization of Logic for Quantum Computation | |
| 17:30 | Satoshi Tojo (JAIST) | Closing speech |
Date
The workshop will be held at 1:00pm on May 19, 2022 and May 20, 2022.
Location
Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan