Koji Nakazawa
[Japanese]
Associate Professor, D.Sc.
Department of Computing and Software Systems,
Graduate School of Informatics,
Nagoya University
Contact
464-8601 South Part of IB Building 561, Nagoya University, Furo-cho, Chikusa-ku, Nagoya
[Map of Higashiyama Campus]
(IB Building is indicated by "C3(1)".)
E-mail: knak@i.nagoya-u.ac.jp
Contents
Events
- LOPSTR2024 @ Milan, PC member, 2024.9.
- ASL2022 @ Haifa, PC member, 2022.7-8.
- FLOPS2020 @ Tohoku, PC member, 2020.4.
- The 14th International Conference on Functional and Logic Programming (FLOPS2018) @ Nagoya, Local chair, 2018.
- The 6th International Workshop on Confluence (IWC2016) @ Austria, PC member, September 2016.
- Control Operators and their Semantics (COS2013) @ Eindhoven, PC member, June 2013.
- The 7th Workshop on Logican and Semantic Framefowks with Applications (LSFA2012) @ Rio de Janeiro, PC member, September 2012.
- The 4th International Workshop on Classical Logic and Computation (CL&C'12) @ Warwick, PC member, July 2012.
- The 6th Workshop on Intersection Types and Related Systems (ITRS2012) @ Dubrovnik, PC member, June 2012.
- PPL2012, PC co-chair, March 2012 (in Japanese)
- PPL2009, PC member, March 2009 (in Japanese)
- PPL2007, local chair, March 2007 (in Japanese)
Link