Dear all, Ikegami from AIST in Japan is visiting Chalmers for three months, he will give a talk about his work on FOL-plugin for Agda. Regards P.S. The meeting is at Wed the 26th at 13.15 in room 6128