Scottish ProgLangs & Verification Summer School 2021

by Jeremy Singer, July 6, 2021

The Scottish ProgLangs and Verification Summer School runs online, 9-18 Aug 2021, free registration. All PhDs, MScs and postdocs welcome.

The Scottish ProgLangs and Verification Summer School is back for a third iteration! Check out the details and register at http://www.macs.hw.ac.uk/splv/splv-2021/

Invited speakers are Simon Peyton Jones, Guy Katz and Ilyena Hirskyj-Douglas. Topics range from parsing, through proving, to primates. Fun in the (virtual) Scottish sun!

When: Mon 9 - Wed 18 Aug

Where: Zoom/Zulip/Slack

Who: PhDs / MScs / postdocs / others

What: Online tutorials and chat, with a virtual expedition and poster sessions

Why: Learn more about hot topics in PL and Verification, network with peers

How do I register: for free via form linked at http://www.macs.hw.ac.uk/splv/splv-2021/