WG211/M21Lundquist
From WG 2.11
In this talk I'll give a high-level overview of my current activities in the domain of drones (unmanned aerial systems, UAS), and how they relate to programming languages. Since most of these are early-stage the talk will mainly focus on motivating the need as well as specifying requirements properties.
