About Me
Naoyuki Tamura ，Ph.D, Emeritus Professor of Kobe University
E-mail: $\texttt{tamura}\texttt{@kobe-u.ac.jp}$, $\texttt{tamura70}\texttt{@gmail.com}$
Publications, etc.
- ResearchMap
- Google Scholar Citations
- ResearcherID (publons)
- ORCiD
- DBLP
- Kakenhi DB
- CiNii
-
My Erdős number is (perhaps) five.
- Paul Erdős → Andreas Blass → Andre Scedrov → Dale Miller → Joshua Hodas → Naoyuki Tamura
Recent Academic Activities
- Journal on Satisfiability, Boolean Modeling and Computation, JSAT (Editorial board member)
- International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence, IJCAI-ECAI 2018 (PC member)
- International Symposium on Functional and Logic Programming, FLOPS 2018 (SC member)
- IEEE International Conference on Tools with Artificial Intelligence, IEEE-ICTAI 2017 (PC member)
- International Symposium on Functional and Logic Programming, FLOPS 2016 (SC member)
- IEEE-ICTAI 2016 (PC member for constraint programming and satisfiability)
- IEEE-ICTAI 2015 Special Track on SAT and CSP technologies (PC member)
- ACM SAC 2015 Track on Constraint Solving and Programming and Knowledge Representation and Reasoning (PC member)
- IEEE-ICTAI 2014 Special Track on SAT and CSP technologies (PC member)
- ECAI 2014 (Senior PC member)
- PoS 2014 (PC member)
- FLOPS 2014 (SC chair)
- ACM SAC 2014 Track on Constraint Solving and Programming (PC member)
- LPAR 19 (PC member)
- IEEE-ICTAI 2013 Special Track on SAT and CSP technologies (PC member)
- SAT 2013 (PC member)
- PoS 2013 (PC member)
- FLOPS 2012 (General chair)
Awards, etc.
- See awards