We held a welcome party for newcomers. 12 new M1 students were tentatively assigned to NAIST. Dr. Anatole Lécuyer from INRIA Rennes, France, with whom we are collaborating, visited NAIST, gave an invited lecture, experienced demonstrations, and participated in the lab welcome party.