Course notes and research papers for the preparation of your talks will be provided in due time: see the lecture schedule.
Knowledge of some of the topics presented for course Structural Proof Theory and Abstract Logic Programming may be an advantage.
Most of the material, references, and general introduction are available at the Deep inference web site
Mo 23/5/11 DS2: meeting, to recover one lost session on15/5 and prepare the schedule of your talks
Nothing scheduled on Friday 27 to let you prepare the talks.
The course will be structured as follow. I will first introduce in form of lectures the methodology of deep inference, its motivations, the p[roblems it intends to address, some techniques proper of the methodology. Some of the concepts or toipics that will be presented can constitute the theme for students to prepare a seminar. The sooner we complete the introductory, lecturing part, the more will be the time for the students for prepare their presentation. It is crucial that all students taking part to the seminar attend all presentations of their fellows.
15.04.11Lecture 1Presentation of the course, structure of the course/seminar, motivations to introduce deep inference.
29.04.11Lecture 2 and 3Calculus of structures: terminology, basic definitions, dualities in systems. Classical logic: system SKSg and SKS. Correspondence with sequent calculus. Cut elimination procedure. General discussion on possible topics for seminars.
6.05.11Lecture 4 Proof complexity in the calculus of structures (for propositional classical logic)
23.05.11Lecture 5 The idea of the splitting theorems for cut-elimination.
I don't have tutors. The Open House slot is a good venue to discuss your questions, or please just drop me an email and we'll arrange for an appointment.
6.6.11Paola Bruscoliemail (replace AT by @)