[Date]:2022/10/31～2022/11/04
（Upcoming）Construction of efficient algorithms for quantifier elimination and their application to solving industrial problems｜2022a005
CATEGORY:Events
TAG:
Overview
- How to hold: TBA
- Venue：TBA
- Main language：TBA
- Title of Research Project: Construction of efficient algorithms for quantifier elimination and their application to solving industrial problems
- Principal Investigator: Yuki Ishihara（Tokyo University of Science, Faculty of Science Division I, Department of Applied Mathematics / Assistant Professor）
- Research Period： October 31, 2022. – November 04, 2022.
- Details of the Research Plan: https://joint1.imi.kyushu-u.ac.jp/en_research_chooses/view/2022a005
Program
Oct. 31（Mon）
TBA
Registration
Anyone can participate in this conference for free.
Please fill out the registration form:
＼To participate in this meeting, please apply below／