[
Ohori's home page |
大堀淳のホームページ |
プログラミング言語研究室
]
Atsushi Ohori's academic activities
- Editors and Editorial/Advisory Board Member of International Journals
- Higher-Order and Symbolic Computation, Advisary Board
Member, 2002 -- Present.
- The Computer Journal (Oxford University Press),
Editorial Board Member, 1993 -- 2007.
- Information Systems(Pregamon--Elsevier Science Press),
Associate Editor, 1993 -- 2002.
- Theory and Practice of Object Systems(Addison-Willy),
Associate Editor, 1995 -- 2000.
- Executive/Steering/Organization Committee Member of International Conferences
- TACS Conference, Executive Committee Member, 2001.
- ACM ICFP Conference, Steering Committee Member, 1999 --- 2002.
- ACM TIC Workshop, Organizing Committee Member, 1998 --- 200?.
- Conference/Workshop Chairs
- Asian Symposium on Programming Languages and Systems, Program Chair, 2003.
- Asian Computer Science Conference, Program Co-chair, 1998.
- International Workshop on Types in Compilation, Workshop Chair, 1998.
- Fuji International Workshop on Functional and Logic Programming, Workshop and PC Co-chair, 1998.
- The 4th International Workshop on Database Programming Languages,Program Co-Chair, 1993.
- PC Members of International Conferences/Workshops
- ACM Workshop on ML and its application, 2007.
- ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'2007)
- ASIAN'2006
- ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'2005)
- International Conference on Typed Lambda Calculi and Applications (TLCA'2005)
- The 18th European Conference on Object-Oriented Programming (ECOOP), 2004.
- 6th International Conference on Functional and Logic Programming (FLOPS), 2004.
- 9th International Conference on Database Systems for Advanced Applications (DASFAA'04), 2004.
- 8th International Conference on Database Systems for Advanced Applications (DASFAA'03), 2003.
- ACM SIGPLAN Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM'2002)
- International Conference on Web Information Systems Engineering, 2001.
- ACM International Workshop on Types in Compilation, 2000.
- ACM International Workshop on Foundations of Object-Oriented Languages (FOOL), 2000.
- ACM International Conference on Functional Programming, 2000.
- ACM POPL Symposium, 1998.
- 2nd Fuji International Symposium on Functional and Logic Programming, 1998.
- 3rd International Conference on Theoretical Aspect of Computer Software, 1997.
- ACM OOPSLA Conference, 1997.
- ECOOP Conference, 1997.
- 4th ACM International Workshop on Foundations of Object-Oriented Languages (FOOL), 1997.
- ACM International Conference on Functional Programming (ICFP), 1996.
- International Workshop on Persistent Object Systems, 1996.
- ACM OOPSLA Conference, 1996.
- VLDB Conference, 1996
- JSSST International Symposium on Object Technologies for Advanced Software, 1996.
- VLDB Conference, 1995
- The 5th International Workshop on Database Programming Languages, 1995
- ECOOP Conference, 1994.
- ACM Workshop on ML and its application, 1994.
- International Conference on Theoretical Aspects of Computer Software, 1994.
- International Workshop on Persistent Object Systems, 1994.
- ACM International Conference on Management of Data (SIGMOD), 1993.
- The 4th International Conference on Foundation of Data Organization and Algorithms (1993)
- The 3rd International Conference on Deductive and Object-Oriented Databases (1993)
- JSSST International Symposium on Object Technologies for Advanced Software (1993)
- The 3rd International Workshop on Database Programming Languages (1991)
Atsushi Ohori / RIEC Room S401 / ohori at riec dot tohoku dot ac dot jp / Tel: 022 217-5510 / FAX: 022 217-5513