Proseminar Logic and Semantic

Prof. Dr. H. Kleine Büning

Summer Semester 2010

 

 

Topic: Contents

Note: In case of questions about this seminar, please contact Prof. Dr. H. Kleine Büning at office hours or write an e-mail (English) to Isabela Anciutti.

 

Topic: News Top

The seminar Logic and Semantics is given in English. But the presentations can be done in German language.
This is part of an initiative of the University of Paderborn to encourage students towards international research and
to prepare them for the current demands of a professional career.

The places for this seminar are limited. Therefore, we ask the students interested on attending this seminar to write us
an e-mail, so we are able to organize it better.

 

Topic: Time Schedule Top

The following dates are not yet fixed and might be changed until 13.04.10.

  • 15.04.10, 13:00: First Meeting (Room E4.117)
  • 20.04.10, 24:00: Selection of the seminars' topics
  • 20.04.10: Registration to the examination
  • 25.04.10, 24:00: Submission of the outline
  • 23.05.10, 18:00: Submission of written material
  • 30.05.10, 18:00: Submission of peer reviews
  • 08.06.10: Seminar presentation
  • 20.06.10, 18:00: Submission of the revised material

All submissions and presentations are mandatory in order to receive a grade.

 

Topic: General Information Top

Course number:

   L.079.07500

Responsible:

   Prof.Dr. H. Kleine Büning
Isabela Anciutti

Dates:

 To be fixed; initially as a block course

Requirements:

 It's advised the attendance to the lecture Propositional Proof Systems

Offer:

 Every two years on summer

Module:

 SWT

Evaluation:

 Participation in class, preparation of written material and oral presentation
The written material must be prepared in English, while the oral presentation's language is optional (English or German)

 

Topic: Content Top

This seminar approaches predicate and propositional logic, software verification by model checking and binary decision diagrams.

The main goal of the seminar is:
  • The acquisition of knowledge and skills regarding Logic and Semantic.
In addition, the seminar participants will learn to:
  • Research and identify relevant literature about a given topic
  • Represent a complex subject precisely and comprehensibly (seminar preparation)
  • Present the content of a complex subject in a concise and clear manner (seminar talk)
For each presentation (approx. 45 minutes) there must be also a context discussion among the seminar attendants, in which
the students are expected to actively participate, pointing positive and negative aspects of the presentations of other participants.

 

Topic: Seminars' Topics Top

Topics will come soon. The subjects are within the following themes:

  • Propositional Logic
  • Predicate Logic
  • Model Checking
  • Software Verification
  • Modal Logic and Agents
  • Binary Decision Diagrams

 

Topic: Literature Top

The seminars must research scientific articles extracted from the following book:

  • Michael R.A. Huth and Mark D. Ryan. Logic in Computer Science - Modelling and reasoning about systems. Cambridge University Press (2000).

 

Last update: 02.03.2010, Isabela Anciutti Top