�ｿｽe�ｿｽ[�ｿｽ}�ｿｽF�ｿｽZ�ｿｽp�ｿｽﾌ証厄ｿｽ�ｿｽ_�ｿｽﾆ構�ｿｽ�ｿｽ�ｿｽI�ｿｽ�ｿｽ�ｿｽw
�ｿｽJ�ｿｽﾃ難ｿｽ�ｿｽ�ｿｽ�ｿｽF2024�ｿｽN9�ｿｽ�ｿｽ17�ｿｽ�ｿｽ�ｿｽi�ｿｽﾎ）�ｿｽ` 2024�ｿｽN9�ｿｽ�ｿｽ20�ｿｽ�ｿｽ�ｿｽi�ｿｽ�ｿｽ�ｿｽj
�ｿｽJ�ｿｽﾃ場所�ｿｽF�ｿｽ�ｿｽ�ｿｽk�ｿｽ�ｿｽw�ｿｽ�ｿｽ�ｿｽﾈ学�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾈ（�ｿｽﾂ葉�ｿｽR�ｿｽL�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽp�ｿｽX�ｿｽj
�ｿｽJ�ｿｽﾃ委茨ｿｽ�ｿｽF�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽq�ｿｽi�ｿｽ�ｿｽ�ｿｽk�ｿｽ�ｿｽw�ｿｽj�ｿｽC�ｿｽ�ｿｽ�ｿｽR�ｿｽ[�ｿｽ�ｿｽ�ｿｽi�ｿｽ�ｿｽ�ｿｽk�ｿｽ�ｿｽw�ｿｽj
�ｿｽA�ｿｽ�ｿｽ�ｿｽ�ｿｽF�ｿｽ�ｿｽ�ｿｽR�ｿｽ[�ｿｽ�ｿｽ�ｿｽ@keita.yokoyama.c2[at]tohoku.ac.jp
�ｿｽE�ｿｽF�ｿｽu�ｿｽT�ｿｽC�ｿｽg
2025�ｿｽN�ｿｽx�ｿｽ�ｿｽ Asian Logic Conference �ｿｽﾌゑｿｽ�ｿｽﾟ趣ｿｽ�ｿｽ{�ｿｽ�ｿｽ�ｿｽﾜゑｿｽ�ｿｽ�ｿｽB
�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ2026�ｿｽN�ｿｽx�ｿｽﾉ集�ｿｽ�ｿｽ�ｿｽ_�ｿｽ�ｿｽ�ｿｽe�ｿｽ[�ｿｽ}�ｿｽﾉ趣ｿｽ�ｿｽ{�ｿｽ�ｿｽ�ｿｽﾜゑｿｽ�ｿｽB
| 2023�ｿｽN | �ｿｽv�ｿｽZ�ｿｽ_ |
| 2022�ｿｽN | �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ_ |
| 2021�ｿｽN | �ｿｽﾃ典�ｿｽ_�ｿｽ�ｿｽ�ｿｽﾉ鯉ｿｽ�ｿｽ�ｿｽﾈゑｿｽ�ｿｽ_�ｿｽ�ｿｽ�ｿｽi�ｿｽ�ｿｽﾃ典�ｿｽ_�ｿｽ�ｿｽ�ｿｽj |
| 2020�ｿｽN | �ｿｽV�ｿｽ^�ｿｽR�ｿｽ�ｿｽ�ｿｽi�ｿｽE�ｿｽB�ｿｽ�ｿｽ�ｿｽX�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽg�ｿｽ�ｿｽﾌ影�ｿｽ�ｿｽ�ｿｽﾅ会ｿｽ�ｿｽ�ｿｽ |
| 2019�ｿｽN | �ｿｽW�ｿｽ�ｿｽ�ｿｽ_�ｿｽi�ｿｽI�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾆ連�ｿｽ�ｿｽ�ｿｽﾌ会ｿｽ�ｿｽ�ｿｽ�ｿｽj |
| 2018�ｿｽN | �ｿｽﾘ厄ｿｽ�ｿｽ_�ｿｽi�ｿｽ�ｿｽ�ｿｽﾉ算�ｿｽp�ｿｽﾌ厄ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾘ厄ｿｽ�ｿｽj |
| 2017�ｿｽN | �ｿｽv�ｿｽZ�ｿｽ�ｿｽ�ｿｽ_ |
| 2016�ｿｽN | �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ_ |
| 2015�ｿｽN | �ｿｽ�ｿｽﾃ典�ｿｽ_�ｿｽ�ｿｽ�ｿｽi�ｿｽl�ｿｽ�ｿｽ�ｿｽ_�ｿｽ�ｿｽ�ｿｽj |
| 2014�ｿｽN | �ｿｽW�ｿｽ�ｿｽ�ｿｽ_�ｿｽi�ｿｽ�ｿｽ�ｿｽﾉ具ｿｽ�ｿｽ�ｿｽ�ｿｽ@(forcing)�ｿｽ�ｿｽ�ｿｽ_�ｿｽj |
| 2013�ｿｽN | �ｿｽﾘ厄ｿｽ�ｿｽﾆ構�ｿｽ�ｿｽ |
| 2012�ｿｽN | �ｿｽv�ｿｽZ�ｿｽﾂ能�ｿｽ�ｿｽ�ｿｽﾆ��ｿｽ�ｿｽ�ｿｽ�ｿｽ_�ｿｽ�ｿｽ�ｿｽl�ｿｽX |
| 2011�ｿｽN | �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ_ |
| 2010�ｿｽN | �ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾍの奇ｿｽb�ｿｽﾆ会ｿｽ�ｿｽp |
| 2009�ｿｽN | �ｿｽ�ｿｽﾃ典�ｿｽ_�ｿｽ�ｿｽ�ｿｽﾌ代数�ｿｽI�ｿｽZ�ｿｽ}�ｿｽ�ｿｽ�ｿｽe�ｿｽB�ｿｽN�ｿｽX |
| 2008�ｿｽN | Asian Logic Conference (�ｿｽ_�ｿｽ�ｿｽ)�ｿｽﾌゑｿｽ�ｿｽﾟ開�ｿｽﾃゑｿｽ�ｿｽ�ｿｽ |
| 2007�ｿｽN | �ｿｽW�ｿｽ�ｿｽ�ｿｽ_�ｿｽﾌブ�ｿｽ[�ｿｽ�ｿｽ�ｿｽl�ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽﾆ具ｿｽ�ｿｽ�ｿｽ�ｿｽ@ |
| 2006�ｿｽN | �ｿｽﾘ厄ｿｽ�ｿｽ_ |
| 2005�ｿｽN | �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ_ |
| 2004�ｿｽN | �ｿｽv�ｿｽZ�ｿｽ�ｿｽ |
| 2003�ｿｽN | �ｿｽ�ｿｽﾃ典�ｿｽ_�ｿｽ�ｿｽ |
| 2002�ｿｽN | �ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾌ集�ｿｽ�ｿｽ�ｿｽ_ |