Automated Reasoning 2003 - Course Webpage

This page should provide almost all the information about the 2002/2003 edition of the Automated Reasoning course. The following links are available:
 

Contact

The course is taught by the following people

      Stefan Schlobach (schlobac@science.uva.nl)
      Massimo Francescet (francesc@science.uva.nl)
      Maarten de Rijke (mdr@science.uva.nl)

Please contact the first lecturer if you have questions.

Aims

The aim of the course is to provide an overview of important trends in automated reasoning, from both a theoretical and experimental point of view.

The main characteristics of the course are

  • many logics: propositional logic, first-order logic, modal logic, (possibly second-order logic)
  • many provers/tools:   ZCHAFF, SPASS, SMV, RACER, (possibly MONA)
both theoretical lectures and hands-on experience  we start from the necessary basic notions, but we will
also cover state-of-the-art issues in automated reasoning

Material

There is no single textbook that covers the material that we want to cover during this course. Instead, reading material is made available on a weekly basis; please consult this page. For copyright reasons, access to the reading material may be restricted to clients from within the science.uva.nl domain.
Please consult the schedule for links to the slides.

Format

 
The course runs for 10 weeks, and
  • consists of weekly lectures (Thursday, 9.15  11, room A.303) and
  • lab sessions (Fridays, 9.15 - 11, P127).
There will be no lecture at February 20 and no lab at January 31 and February 21.

Assessment

We want to encourage the students to participate in the class as much as possible. For this purpose the assessment of the class is based on three elements, participation in class (including the presentation of a research paper), practical assessments and the final exam. 
  • this course is worth 7 credits
  • there are 3 lab assignments
  • assignments are done by teams of two people
  • the team also presents a paper during the last week of the course, to be chosen from a collection of papers in AR
  • in addition there is a written examination (which is individual)
  • final mark takes into consideration all three results (40/20/40)

Practical Assignments

There are three practical assignments contributing to the final marks with 40%. Assignements are done by two students in teams. 
    • The teams for the third assignment are:
      • Jill, Tanja (3)
      • Clive, Guillaume (1)
      • Marius, Koos (2)
      • Tim, Niels (2)
      • Joram, Reiner (2)

Results

Results will be (or have been) send by email.

Registered Students

 
  • Erven, Tim van
  • Lubbes, N
  • Rafalowicz, J
  • Zevenhuijzen, RA
  • Hoette, T.
  • Nettey, C.
  • Aucher, G.
  • Olsthoorn, M.
  • Tepedelenliegh, M.
  • van Driel, K.
  • Cirasella, J.