Skip to content

Instantly share code, notes, and snippets.

@biboudis
Last active October 20, 2024 08:11
Show Gist options
  • Save biboudis/377b4a4de4d1718df2d0 to your computer and use it in GitHub Desktop.
Save biboudis/377b4a4de4d1718df2d0 to your computer and use it in GitHub Desktop.
PL Summer Schools forall in 2016!
@steshaw
Copy link

steshaw commented Jun 23, 2015

This is great, thanks! I linked to your PL Summer Schools forall from https://github.com/steshaw/plt#other-collections

@biboudis
Copy link
Author

Sure! Thx! I keep the list updated. It will be useful to keep track of summer schools for future years as well.

@steshaw
Copy link

steshaw commented Jun 30, 2015

@biboudis, great! I'm glad you'll keep it up-to-date. If you decide to move it, please let me know.

@lemastero
Copy link

There is an interesting list of summer schools around PLT and software verification: http://user.it.uu.se/~bengt/Info/summer-schools.shtml by Bengt Jonsson

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment