教員情報 - 勝股　審也 | 京都産業大学

カツマタ　シンヤ KATSUMATA SHINYA
勝股　審也

所属

京都産業大学理学部数理科学科

職種教授

委員会・協会等
2025 ～ 2025	International Conference on Applied Category Theory Program Committee
2025 ～ 2025	Mathematical Foundations of Programming Semantics Program Committee
2025 ～ 2025	The 18th Asian Logic Conference Local Organizing Committee
2024 ～ 2024	International Symposium on Functional and Logic Programming FLOPS 2024 general chair
2023 ～ 2023	Computer Science Logic 2023 program committee
2023 ～ 2023	Conference on Algebra and Coalgebra in Computer Science CALCO 2023 program committee
2023 ～ 2023	Higher-Order Programming with Effects 2023 program committee
2023 ～ 2023	International Conference on Functional Programming ICFP 2023 program committee
2023 ～ 2023	Symposium on Logic in Computer Science LICS 2023 program committee
2022 ～ 2022	International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2022 program committee
2022 ～ 2022	International Symposium on Trends in Functional Programming TFP 2022 program committee
2022 ～ 2022	Mathematically Structured Functional Programming 2022 program committee
2022 ～ 2022	Principles of Programming Languages POPL 2022 program committee
2022 ～ 2022	Rewriting Techniques for Program Transformations and Evaluation 2022 program committee
2022 ～ 2022	Student Research Competition of ICFP 2022 program committee
2022 ～ 2022	Symposium on Logic in Computer Science LICS 2022 program committee
2022 ～ 2022	プログラミングおよびプログラミング言語ワークショップ PPL2022 プログラム委員
2020 ～ 2020	Coalgebraic Methods in Computer Science CMCS 2020 program committee
2020 ～ 2020	International Symposium on Functional and Logic Programming FLOPS 2020 program committee
2019 ～ 2019	Conference on the Mathematical Foundations of Programming Semantics MFPS 2019 program committee
2018 ～ 2018	Conference on the Mathematical Foundations of Programming Semantics MFPS 2018 program committee
2018 ～ 2018	Higher-Order Programming with Effects 2018 program committee
2018 ～ 2018	Type-Driven Development 2018 program committee
2018 ～ 2018	理論計算機科学と圏論ワークショップ CSCAT2018 幹事
2017 ～ 2017	International Conference on Functional Programming ICFP 2017 program committee
2017 ～ 2017	ML Family Workshop 2017 program committee
2017 ～ 2017	湘南スクール Semantics of effects, resources, and applications co-organizer
2017 ～ 2017	湘南会議 Enhanced Coinduction co-organizer
2016 ～ 2016	Coalgebraic Methods in Computer Science CMCS 2016 program committee
2016 ～ 2016	International Conference on Functional Programming 2016 local organizer
2015 ～ 2015	International Colloquium on Automata, Languages, and Programming ICALP 2015 program committee
2015 ～ 2015	Workshop on Syntax and Semantics of Low-Level Languages 2015 program co-chair
2014 ～ 2014	Conference on the Mathematical Foundation of Programming Semantics MFPS 2014 program committee
2013 ～ 2013	Asian Symposium on Programming Languages and Systems APLAS 2013 program committee
2013 ～ 2013	International Conference on Functional Programming ICFP 2013 program committee
2013 ～ 2013	プログラミングおよびプログラミング言語ワークショップ PPL2013 共同プログラム委員長
2013 ～ 2016	日本ソフトウェア科学会プログラミング論研究会運営委員
2010 ～ 2010	International Symposium on Functional and Logic Programming FLOPS 2010 program committee
2010 ～ 2010	プログラミングおよびプログラミング言語ワークショップ PPL2020 プログラム委員
2010 ～ 2010	理論計算機科学と圏論ワークショップ CSCAT2010 幹事
2009 ～ 2009	数理解析研究所主催合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」代表者
2008 ～ 2008	プログラミングおよびプログラミング言語ワークショップ PPL2008 プログラム委員
2007 ～ 2007	プログラミングおよびプログラミング言語ワークショップ PPL2007 プログラム委員