[Date]:2024/11/25～2024/11/26

Computer Assisted Theorem Proving and Applications/2024a024

Overview

• How to hold: Hybrid Meeting (In-person/Zoom)
• Venue:   IMI Auditorium (W1-D-413), West Zone 1, Ito campus, Kyushu University
• Main language: Japanese
• Type/Category: Grant for Project Research-Short-term Joint Research
• Title of Research Project:Computer Assisted Theorem Proving and Applications
• Principal Investigator: Jacques Garrigue(Nagoya University Graduate School of Mathematics / Professor)
• Research Period: November 25, 2024. -November 26, 2024.
• Open to the Public:November 25, 2024. -November 26, 2024.
• Details of the Research Plan: https://joint1.imi.kyushu-u.ac.jp/en_research_chooses/view/2024a024

Program

https://www.math.nagoya-u.ac.jp/~garrigue/tpp2024

November 25, 2024.【Open】 12:50-17:55

TBA

September 26, 2024.【Open】 9:00-16:40

TBA

Registration

Advance registration is required. 
Free participation fee.
(Registration also requires Organizing Committee members and speakers.)
Registration may be closed when the number of participants reaches the maximum.

＼Please go to the following link for registration.／

Participants via Zoom (online)

For online or hybrid (online+face to face) meeting via Zoom

After registration, you will receive ZOOM access information in an automatic email from the address imikyoten@gmail.com.
If not, please try to register again or send an email to our address below.
(Please check your spam folder, too.)

Joint Research Center for Advanced and Fundamental Mathematics-for-Industry, Institute of Mathematics for Industry, Kyushu University
imikyoten(at)jimu.kyushu-u.ac.jp
Change (at) to @.

About Zoom

If you have not downloaded the Zoom application yet, please download it (https://zoom.us) in advance.
https://zoom.us/download#client_4meeting

How to install it on your computer or smartphone.
https://zoom.nissho-ele.co.jp/blog/manual/zoom-install.html