LOGPROG: Logics and Programming
 Sections
  Homepage
  People
  Research
  Publications
  Awards
  Projects
  Contact
 Research

All lines of research within LOGPROG are concerned with the theory, tools and techniques related to Logic in Computer Science:

and their application for solving problems in industry and science.