A special lecture by Martin S. Finkbeiner is held
© 2020-2025 Toyohashi University of Technology