Events
Current
Past
- RIMS Symposium: Group, Algebra, Language and Related Areas in Computer Science February 14–16, 2024 (Invited speaker)
- 17th International Conference on Reachability Problems (RP) October 11–13, 2023 (Program committee member)
- 17th Asian Logic Conference (ALC) October 9–13, 2023 (Invited speaker)
- Fifth Workshop on Digitalization and Computable Models October 2-6, 2023 (Invited speaker)
- Workshop: Continuity, Computability, Constructivity — From Logic to Algorithms (CCC 2023) September 25–29, 2023 (Organizing chair)
- 35th Canadian Conference on Computational Geometry (CCCG) August 2023 (Program committee member)
- Japan Society for Graphic Science (Board member, April 2019–March 2023)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications September 2022(Editorial committee member)
- 34th Canadian Conference on Computational Geometry (CCCG) August 2022 (Program committee member)
- JSGS Graphic Science Colloquium (In Japanese) June 4, 2022(Organizing committee member)
- IEICE Transactions on Information and Systems: Special Section on Foundations of Computer Science March 2022 (Editorial committee member)
- Fifth Iranian Conference on Computational Geometry (ICCG) February 24, 2022 (Program committee member)
- 20th EATCS/LA Workshop on Theoretical Computer Science (In Japanese) February 1–3, 2022 (Organizing committee member)
- 32nd International Symposium on Algorithms and Computation (ISAAC) December 6–8, 2021 (Organizing committee member)
- 33rd Canadian Conference on Computational Geometry (CCCG) August 10–12, 2021 (Program committee member)
- The 42nd Public Lectures at RIMS (In Japanese) August 2–6, 2021 (Lecturer)
- Eighteenth International Conference on Computability and Complexity in Analysis (CCA) July 26–28, 2021 (Program committee member)
- JSGS Graphic Science Colloquium (In Japanese) June 5, 2021(Organizing committee member)
- Fourth Workshop on Mathematical Logic and its Applications March 22–24, 2021 (Program committee member)
- IMI Public Lectures (In Japanese) November 14, 2020 (Speaker)
- 14th International Conference on Reachability Problems (RP) October 19–21, 2020 (Program committee member)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications October 2020 (Editorial committee member)
- Japanese Conference on Combinatorics and its Application (JCCA) (In Japanese) August 18–20, 2020 (Invited talk)
- IEICE-COMP: Theoretical Foundation of Computing (In Japanese) (Technical committee member, June 2014–June 2020)
- IPSJ-SIGAL: Special Interest Group on Algorithms (In Japanese) (Secretary, April 2018–March 2020)
- [Cancelled] Fourth Workshop on Mathematical Logic and its Applications March 3–5, 2020 (Program committee member)
- [Cancelled] Taipei International Conference on Combinatorics February 6–8, 2020 (Invited speaker)
- Open Problems Workshop on Distributed Systems (In Japanese) January 28–29, 2020 (Co-organizer)
- Autumn Meeting of the Japan Society for Graphic Science November 23–24, 2019 (Organizing committee member)
- Prof. Harumichi Nishmura's lectures: Introduction to Quantum Computational Complexity Graduate School of Information Science and Electrical Engineering, Kyushu University, November 6–8, 2019
- NII Shonan Meeting on “Higher-order Complexity Theory and its Applications” October 6–10, 2019 (Co-organizer)
- Workshop: Continuity, Computability, Constructivity — From Logic to Algorithms (CCC 2019) September 2–6, 2019 (Program committee member)
- The 30th Workshop on Algebra, Logic and Geometry in Informatics (ALGI) August 31–September 1, 2019 (Local organizer)
- Sixteenth International Conference on Computability and Complexity in Analysis (CCA) July 8–11, 2019 (Program co-chair)
- Twentieth International Workshop on Logic and Computational Complexity (LCC) July 8, 2019 (Program committee member)
- Computability Theory and Foundations of Mathematics (CTFM 2019) March 21–27, 2019 (Invited speaker)
- Second Workshop on Self-organization in Swarm of Robots (WSSR) November 4, 2018 (Invited speaker)
- Workshop: Continuity, Computability, Constructivity — From Logic to Algorithms (CCC 2018) September 24–28, 2018 (Invited speaker)
- Computability Theory and Foundations of Mathematics (CTFM 2018) September 13–15, 2018 (Organizer)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications September 2018 (Editorial committee member)
- 21st Japan-Korea Joint Workshop on Algorithms and Computation (WAAC) August 26–27, 2018 (Program committee member)
- Summer Seminar of ISEE (In Japanese) August 10, 2018(Lecturer)
- 30th Canadian Conference on Computational Geometry (CCCG) August 8–10, 2018 (Program committee member)
- Logic and History Section, Mathematical Society of Japan (In Japanese) (Committee member, April 2015–March 2018)
- IPSJ Committee of Education on Information Processing (In Japanese) (Member, April 2016–March 2018)
- IPSJ-SIGAL: Special Interest Group on Algorithms (In Japanese) (Secretary, April 2016–March 2018)
- Second Workshop on Mathematical Logic and its Applications March 5–9, 2018 (Invited speaker)
- Prof. Martin Ziegler's lectures on Computability, Complexity, and Practice of Real Computation Graduate School of Arts and Sciences, University of Tokyo, January 2018
- Twentieth Korea-Japan Joint Workshop on Algorithms and Computation (WAAC) August 25–26, 2017 (Program committee member)
- Summer School on Foundation of Mathematics (Organizer and Lecturer) August 5–7, 2017
- A short course on Computation Theory in Analysis (In Japanese) Department of Mathematics, Kyushu University, July 10–14, 2017 (Lecturer)
- Whole Brain Architecture Initiative (WBAI) Seminar May 2017 (Invited speaker)
- Mathematical Society of Japan (MSJ) Spring Meeting March 2017 (Invited speaker)
- Joho Shori (Magazine of the Information Processing Society of Japan) (In Japanese) (Editorial board member, 2015–17)
- K. Yamaguchi, Eds., Jôhô (Introduction to Informatics), University of Tokyo Press, March 2017 (Chapter 6)
- 28th Symposium of the Research Association of Mathematical Programming (RAMP) October 13–14, 2016 (Invited speaker)
- Nineteenth Japan-Korea Joint Workshop on Algorithms and Computation (WAAC) August 30–31, 2016 (Program committee member, Organizing chair)
- Thirteenth International Conference on Computability and Complexity in Analysis (CCA) June 15–17, 2016 (Program chair)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications June 2016 (Editorial committee member)
- Open Problem Seminar (April 1–2, 2016) (Organizer)
- 78th Convention of IPSJ, special section (In Japanese) March 2016 (Invited speaker)
- Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) Special Session “Real Complexity: Theory and Practice” November 11–13, 2015 (Co-organizer)
- Dagstuhl Seminar: Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis September 20–25, 2015 (Co-organizer)
- Twelfth International Conference on Computability and Complexity in Analysis (CCA) July 12–15, 2015 (Organizing chair)
- Sixteenth International Workshop on Logic and Computational Complexity (LCC) July 4–5, 2015 (Invited speaker)
- 31st International Symposium on Computational Geometry (SoCG) June 25–28, 2015 (Program committee member)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications June 2015 (Editorial committee member)
- IPSJ SIGAL & JSAI SIG-FPAI Joint Workshop January 13–14, 2015 (Invited speaker)
- 26th Canadian Conference on Computational Geometry (CCCG) August 11–13, 2014 (Program committee member)
- UTokyo Open Campus (In Japanese) August 7–8, 2014 (Organizing committee member)
- Japanese-Swiss Workshop on Combinatorics and Computational Geometry June 4–6, 2014 (Organizing committee member)
- IEICE Theoretical Foundations of Computing (COMP) (Secretary, May 2012–June 2014)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications (June 2014) (Editorial committee member)
- Fifth Workshop on Developments in Implicit Computational Complexity (DICE 2014) April 5–6, 2014 (Invited speaker)
- Computability Theory and Foundations of Mathematics (CTFM) February 17–20, 2014 (Invited speaker)
- A short course on Randomness and Complexity (In Japanese) Kyoto University, December 2–6, 2013 (Lecturer)
- Science Cafe at Tokyo Institute of Technology (In Japanese) November 12, 2013 (Host)
- NII Shonan Meeting on "Implicit Computational Complexity and Applications" November 4–7, 2013 (Co-organizer)
- Fall School on Computatoinal Complexity (In Japanese) September 24–26, 2013 (Lecturer)
- 25th Canadian Conference on Computational Geometry (CCCG) August 7–10, 2013 (Program committee member)
- A short course on Computational Complexity in Analysis (In Japanese) RIMS, Kyoto, July 22–23 and Aug 1–2, 2013 (Lecturer)
- Tenth International Conference on Computability and Complexity in Analysis (CCA) July 8–11, 2013 (Program committee member)
- Computability in Europe (CiE) July 1–5, 2013 (Special session organizer)
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences: Special Section on Discrete Mathematics and Its Applications (June 2013) (Editorial committee member)
- ELC Workshop on Randomness and Probability Through Computability May 14–15, 2013 (Co-organizer)
- ELC Tokyo Complexity Workshop March 14–17, 2013 (Organizing committee member)
- ELC Seminar (Group A01: Mathematical Logic) on February 21 (Organizer)
- Open Problem Seminar (September 18–19, 2012) (Organizer)
- Tokyo DMTCS Seminars (Co-organizer)
- Ninth International Conference on Computability and Complexity in Analysis (CCA) June 24–27, 2012 (Invited speaker)
- ETH-Japan Workshop on Science and Computing (March 2012) (Program committee member)