]
]
]
]
Semantics and Computational Logic
The group is interested in the theoretical aspects of computer science and in their practical implications to improve everyday practice. Developing new more applicable methodologies supported by tools especially crafted to the methodologies is considered of particular value in the group. The group is involved in several networks including partners from all european countries. Other collaborations are active with researchers from outside Europe.
More specifically, the group is pursuing research, developing tools, and/or teaching on the following topics:
- Abstract Interpretation
- Algebraic Specifications
- Automatic Theorem Proving within Typed Logics
- Concurrent Programming
- Logic Programming and Constraint Logic Programming
- Multi-Paradigm Languages and Paradigm Integration
- Non-Standard Logics
- Programming Methodology
- Program and System Verification
- Semantics of Formal Languages
Contact
Rue Grandgagnage, 21,
5000
Namur
Tel: 081/724966
Fax:
081/724967
Mail:
