First Scottish Summer School on Programming Languages and Verification

First Scottish Summer School on Programming Languages and Verification is now announced. LAIV supported this initiative in a number of ways: Katya Komendantskaya serves in the steering committee as one of the main organisers, and Rob Stewart is going to give a course on Domain Specific Languages. This school is highly recommended to all PhD students, as well as strong MSc students and Early Career researchers. Industrial participants and sponsors are very welcome.

Leave a Reply

Your email address will not be published. Required fields are marked *