Site map

An overview of the available content on this site. Keep the pointer still over an item for a few seconds to get its description.

• Members
• People
  • Professors
    • Mircea Marin
  • Students
    • Soutaro Matsumoto
    • Asem Kasem
    • Fadoua Ghourabi
    • Kentaro Yokota
    • Takuya Nishiyama
  • Secretaries
    • Kayo Hirano
    • Yukari Maeda
• Projects
  • Origami research activities report (2007, 2008)
  • Applications of rule-based programming to verification and transformation of XML
• Teaching
  • Advanced Models of Computation and Deduction
    • Lecture Slides on Model Checking
    • Lecture Slides on Program Verification
  • Art of Programming
    • Syllabus
  • Models of Computation
    • Syllabus
  • Introduction to Software Science　I
    • Syllabus
  • Advanced Course in Symbolic Computation
    • Advanced Course in Symbolic Computation
• Presentations
  • Origami, Science and Technology
  • Tiers of webOrigami Programming
  • SCORE Summer workshop 2007
    • SCORE Summer Workshop on Symbolic Computation and Software Verification
• Events
  • Past Events
• Computational Origami Project
  • e-origamists
  • Computational Origami Applications by Eos
• Access to Our Laboratory
  • How to come to SCORE
  • How to come to Tsukuba from Narita Airport
  • Bus Services Between Narita Airport and Tsukuba Center
  • More advice
• TSSS
• Activities
  • Workshop on Symbolic Computation and Software Verification
  • Special issues of Symbolic Computation in Software Science, Journal of Symbolic Computation
  • SYNASC 2010
  • SCSS 2010