Copenhagen Programming Language Seminar
Software errors are very costly and can have unforseen consequences for individuals as well as for society as a whole. One of the major challenges in computer science is to ensure that software in the future is secure and reliable. Addressing this challenge is a major task that involes almost all aspects of computer science.
In this lecture, I will give an overview of our research on mathematical models and logics that can be used to formally analyze key aspects of software systems. I will describe our work on models of ubiquituous computing systems using a graphical framework capturing both locality and connectivity issues. Moreover, I will give a survey of our work on modular reasoning about software, which is aimed at providing the foundation needed for developing programming languages and tools that can assist programmers in eliminating software errors.
Scientific host:Jørgen Staunstrup.
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org