NII Shonan School on Coq


NII Shonan Meeting Seminar 041

How to apply

Application is open to Master students, PhD students, and people from academy or industry who want to use Coq in their work.?We might also consider applications by Bachelor students in exceptional cases.?While the level of the lectures is intended to be accessible to motivated beginners (with some background in logic or mathematics), it should also be interesting to Coq users who wish to deepen their understanding of the system.

Because of limited space, there will be a pre-selection of participants by the organizers. If you wish to participate, please send as soon as possible and no later than?May 2nd, an email explaining in a few words why you wish to participate to? In case of students coming from outside of Japan, please also submit a recommendation letter by one of your professors.

Category: Application


Comments are closed.