About Me
Naoyuki Tamura ，Ph.D
E-mail: $\texttt{tamura}\texttt{@kobe-u.ac.jp}$, $\texttt{tamura70}\texttt{@gmail.com}$
-
Not accepting graduate students nor research students.
Publications, etc.
-
ResearcherID (publons)
-
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