| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 02 Dec 2025 00:34:51 GMT
access-control-allow-origin: *
etag: W/"692e342b-cf8"
expires: Tue, 30 Dec 2025 05:37:07 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B480:2D64E0:9997B2:ACA2D3:695362AA
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 05:27:07 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210033-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767072427.029951,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: 6e3ad8346065abda0a649ffa78ec0cb9213830d2
content-length: 1426
Koji Nakazawa
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)".)
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
- Graduate School of Informatics, Kyoto University
- National Institute of Informatics
- Department of Mathematics, Kyoto University