We would like to invite all interested parties to a talk by Henry Sinclair-Banks (Max Planck Institute for Software Systems, Kaiserslautern, Germany) on Wednesday, May 27th, at 4:10 PM in Room 209, Building 7.

The lecture title is “Introduction to Reachability Problems in Vector Addition Systems.”. Dr. Sinclair-Banks is a highly accomplished young researcher who has published several papers at top conferences such as FOCS and ICALP. This lecture will be of interest to anyone working in computational theory, discrete mathematics, and related fields.

5月27日（水）16:10より、7号館209室にて、Henry Sinclair-Banks 氏（Max Planck Institute for Software Systems, Kaiserslautern, Germany）による短い講演（30～40分程度）を開催いたしますので、ご案内申し上げます。

講演題目は “Introduction to Reachability Problems in Vector Addition Systems” です。Sinclair-Banks 氏は、FOCS や LICS などのトップ会議で複数の論文を発表している、非常に優秀な若手研究者です。本講演は、計算理論、離散数学、および関連分野に関心をお持ちの皆様にとって、大変興味深い内容になると思います。