Course plan

Lectures

Approximately 24 hours.

Recommended for

Doctoral students with some background in logics (e.g. introductory course).

The course was last given

Spring 2003

Goals

The course goal is to provide the participants with a broad knowledge on modern
logics and their applications in computer science, in particular in artificial
intelligence, automated theorem proving and formal specification and
verification of software. Issues on incomplete and inaccurate information are
also discussed.

The participans will learn how to chose and/or develop a logic for a particular
application domain together with proof systems, with the emphasis on automated
verification
of satisfiability and validity of formulas.