Category: Non classé

LAIV MSc students Pierre, Pascal and Daniel have just finished their MSc, with Master Theses on Neural Net verification, scoring 85%, 85% and 95% respectively, and the Best Dissertation Award for the latter. Congratulations and very well done! Good luck with your further studies, research and careers! And welcome to your PhD in LAIV group, Daniel!

Many congratulations to Yue Li for passing his PhD Viva today with minor corrections. The title of his thesis is:

“A Proof-Theoretic Approach to Coinduction in Horn Clause Logic” 

Yue was supervised by Katya Komendantskaya and Mark Lawson. His External Examiner was John Power (University of Bath). 

Katya is a chair of PADL’20 (20-21 January 2019, New Orleans, Louisiana, United States), the 1st call for papers is now out: https://popl20.sigplan.org/home/PADL-2020.

The symposium is co-located with ACM POPL 2020 (https://popl20.sigplan.org/)

LAIV team is attending SPLV this week: http://www.macs.hw.ac.uk/splv/splv19/. Rob Stewart is giving a course on Domain Specific languages!

LAIV team is attending next SPLS in Edinburgh, 17th June: https://spls-series.github.io/meetings/2019/june/

Many congratulations to LAIV MSc student Pierre Le Hen who secured a place to do a Masters specialising in Management of Systems Information at ESSEC: http://www.essec.edu/fr/programme/masters/mastere-specialise-management-des-systemes-dinformation-en-reseaux/admission/

The positions are highly competitive, so well done Pierre and hope you have a great career ahead of you!

The Second Big Proof event has started today in Edinburgh, following its first edition at Cambridge in 2017. A number of LAIV members are participating, Katya is giving a talk on LAIV’s experience in Neural net 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.

LAIV students start a reading group on Software Foundations in Coq, https://softwarefoundations.cis.upenn.edu/ The reading and programming sessions will take place every Tuesday at 10.00. Check-out the schedule and room changes at https://github.com/laiv-research/SoftwareFoundations or email Daniel Kienitz directly.

On the 1st of May, we will have a first seminar in our May — June session. We will plan the seminar topics and talks ahead and will welcome new members that joined us since Easter break.