About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2012  -  Selected Topics in Proof Theory

Course title:  Seminar on Selected Topics in Proof Theory

Lecturer:   Dr. Paola Bruscoli

Module:  MCL-KR, MCL-PCS, MCL-PI, MCL-TCSL

Status:  advanced unit

SWS (lecture/tutorial/practical):  0/2/0

Examination method:  to be announced

Prerequisites:

• basic knowledge of logic is required
• knowledge of proof theory and proof complexity may be an advantage

Course description:

This seminar focuses on recent studies in proof theory using the deep inference methodology. Motivations, techniques, methods of deep inference will be presented, they will be compared to more traditional proof theoretical methodologies, and this will be done for different logics. Students will be given the possibility of deepening their knowledge on specific topics in deep inference by offering a seminar.

Additional information:

• Timeslots occupied in April in room INF/E005, if not stated otherwise:
  • Mon 23rd DS6 4.40pm - 6.10pm (room E008)
  • Tue 24th DS2 9.20am - 10.50am
  • Thu 26th DS1 7.30am - 9.00am
• Timeslots occupied in May in room INF/E005, if not stated otherwise:
  • Wed 2nd DS3 11.10am - 12.40pm
  • Fri 4th DS3 11.10am - 12.40pm (room 2026)
  • Mon 7th DS6 4.40pm - 6.10pm (room E008)
  • Mon 14th DS3 11.10am - 12.40pm (room 2026)
  • Mon 14th DS6 4.40pm - 6.10pm (room E008)
  • Tue 15th DS2 9.20am - 10.50am
  • Wed 16th DS3 11.10am - 12.40pm
  • Fri 18th DS2 9.20am - 10.50am (room 2026)
  • Fri 18th DS3 11.10am - 12.40pm (room 2026)
  • Fri 18th DS4 1.00pm - 2.30pm
• No lectures in June.
• Timeslots occupied in July will be announced as soon as possible.
• the course web page