Programming Logics and Semantics Group

Aug 20, 2014 · Copenhagen, Denmark

The PLS group conducts research in the theory of programming languages and logic. The aim of this research is to provide the tools allowing for future software to be safe, reliable and trustworthy, and the compentences of the group span from mathematical modelling and reasoning to implementation of tools. The research interests of the group currently span the following areas: Logics for reasoning about programming languages, programming language design, proof assistants, type theory, denotational semantics, concurrency and security as well as applications of these topics to digital elections, business process modeling and other topics.

Event organizers

Are you organizing Programming Logics and Semantics Group?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews