Seminar: Formal Methods

Contents

The focus of this seminar is on …

Prerequisites

  • Participants should have some knowledge in …
  • Interest in mathematical and algorithmic aspects, and practical applications of logical formalisms