Computer Science

The Programming Logic Group in Göteborg

The Programming Methodology Group (PMG) at Chalmers was formed ca 1980, as a group of people interested in semantically simple, clean and powerful languages. From this common philosophy three major strands of research developed: programming logics and the Martin-Löf theory of types; functional programming languages , their use and implementation; process calculi such as CCS. Although the research has diversified, we still share the common goal of developing tools and methodologies for deriving correct as well as efficient programs.

Central to the current work within the programming logic group is the idea of a logical framework for programming ; i.e. a unified theory of formal systems in which many different logics can be conveniently expressed. In particular, much of our work is based on Martin-Löf's theory of types, which provides such a framework.



Members
Members and past members with links to personal pages.
Programming Logic Seminar
Speakers, titles, and abstracts of upcoming and past talks.
Publications
Papers, technical reports, software, etc, some of which is available through the WWW and/or ftp.
Collaboration
Proof Systems
Where we are
The location, address and phone/fax number of the Computing Science department.