Welcome to Logic@JAIST
This page tries to collect all logic related activities at JAIST, providing convenient access to the various labs and researchers, as well as the list of all upcoming and past events related to logic.
Coming events
There's no scheduled events.