In this workshop, we would like to have a small discussion on fundamentals and open issues for pattern matching and symbolic operations with computer algebra systems. Especially, we will discuss about some academic issues in these fields, from the view points of practical and R&D sections.
Please note that this workshop is co-organized with Studio Seminar for Practices.
All the talks will be presented in Japanese.