Home

Seminar: Logic and Computer Science

LecturerProf. Dr. Gerhard Jäger
AssistantDr. Kentaro Sato
Lecture NumberS6085
ECTS credits5
StartFebruary 23, 2012
Time
  • Thursday, 13:30-15:00
Venue

Lecture room A97
Gebäude der Exakten Wissenschaften ("ExWi" building)
Sidlerstrasse 5

Content

Bachelor's and Master's students as well as members of the Research Group for Theoretical Computer Science and Logic (TIL) present their current work. The topics are:

  • explicit mathematics and operational set theory
  • systems of bounded arithmetic and bounded set theory
  • logic of proofs and justification logic
  • modal logic
Remarks

Suitable for students interested in logic and in the foundations of mathematics and/or computer science.

Requirements

Basic knowledge in mathematical logic and/or theoretical computer science.

References

To be announced

RepetitionEvery semester with varying contents.
Homepagehttp://www.iam.unibe.ch/~sato/springseminar2012.html