RIMS workshop : New frontiers of proof and computation

Event details

• Date： December 11th, 2023 - December 14th, 2023

• Venue： Room 110, RIMS (and online)

• URL :  We will send a link for the online participation later.

Contact

Organizer: Kaita Yokoyama (Tohoku University), keita.yokoyama.c2[at]tohoku.ac.jp

Application form 

https://forms.gle/HoMR3wx595FbLxHc7

• Deadline (presentation): November 20th, 2023

• Deadline (participation): December 4th, 2023

Invited Speakers

• Leszek Kołodziejczyk (University of Warsaw)

• Laurent Bienvenu (CNRS, LaBRI)

• Hitoshi Omori (Tohoku University)

Travel Support Closed

• We have a travel budget for participants. As a limited budget, we may decline your application.

• Please contact the organizer by November 5th if you want.

• Note that the students and speakers have a priority.

Talks

Programs