Programming Languages, Logic and Software Security Summer School
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
Info about event
Time
The summer school offers intensive courses by leading researchers covering foundational and applied topics at the intersection of programming languages, formal methods, and software security. It is aimed at PhD students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics, and software security.
The PLS Summer School will take place at INCUBA Katrinebjerg in Aarhus.