Kazunori Ueda
Professor in Computer Science

Japanese version of this page

• Profile
• Profile (University site)

• Download and enjoy LMNtal: A programming and modelling language with model checking and an integrated visual environment

• Conferences:
  • 12th International Symposium on Principles and Practice of Declarative Programming
    (PPDP 2010, Hagenberg, Austria, July 26-28, 2010)
  • Second International Forum on Next Generation Multicore/Manycore Technologies
    (IFMT 2010, Saint-Malo, France, June 19, 2010)
  • Fourth International Workshop on High-Level Parallel Programming and Applications
    (HLPP 2010, Baltimore, USA, Sept. 25, 2010)
  • Eighth Asian Symposium on Programming Languages and Systems
    (APLAS 2010, Shanghai, China, November 28 - December 1, 2010)
  • Thirteenth International Symposium on Principles and Practice of Declarative Programming
    (PPDP 2011, Odense, Denmark, July 20-22, 2011).
  • Eleventh International Symposium on Functional and Logic Programming
    (FLOPS 2012, Kobe, Japan, May 23-25, 2012).
• Publications (English)
• Publications (English + Japanese)

---

The following information is currently available only in Japanese:

• Courses
• Readings
• Introduction to the Ueda Lab. (for undergraduates)

---

Last update: September 12, 2011

ueda at ueda.info.waseda.ac.jp