Seminars for bachelor and master students by Professors from Japan Advanced Institute of Science and Technology (JAIST).

Several topics have been introduced such as Large Language Models, Explainable AI, Functional Programming and Program Verification,...