文部科学大臣認定「産業数学の先進的・基礎的共同研究拠点」九州大学マス・フォア・インダストリ研究所

(Up-coming)Computer Assisted Theorem Proving and Applications/2024a024

CATEGORY:Events

TAG: Project Short-term 

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 18, 2024. -November 19, 2024.
  • Open to the Public:November 18, 2024. -November 19, 2024.
  • Details of the Research Plan: https://joint1.imi.kyushu-u.ac.jp/en_research_chooses/view/2024a024

Program

November 18, 2024. 

TBA

September 19, 2024.

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