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.