Most of the material, references, and general introduction are available at the Deep inference web site.
Knowledge of some of the topics presented for course Structural Proof Theory and Abstract Logic Programming is recommended.
Further references will be provided in due time.
Schedule of Lectures in April (slots marked with ^ in room E008; all other venues are in E005):
|23 DS6^||24 DS2||26 DS1|
Schedule of Lectures in May (slots marked with ^ in room E008; slots marked with * in room 2026; otherwise in E005):
|7 DS6^||8 DS6*||9||10 DS 5*||11|
17/5 public holiday
23.04.12Lecture 1 Purpose of the seminar, interaction with the course SPAL, organisation matters. Introduction to deep inference: motivations, terminology.
24.04.12Lecture 2 Deep inference for classical logic, systems and some results. Topics for seminars in classical logic.
26.04.12Lecture 3 System BV in deep inference: introduction and Topics for seminars.
7.05.12Lecture 4 Linear Logics in deep inference: introduction and topics for seminars
8.05.12Lecture 5 Modal Logics in deep inference: introduction and topics for seminars.
10.05.12Lecture 6 Deep sequents: introduction and topics for seminars
15.05.12Lecture 7 Meetings, discussions, proposals and schedule.
This course has no tutors. The Open house slot is a good venue for discussing your questions, and hopefully I can answer them. Otherwise just drop me an email and we'll arrange for an appointment.
10.05.12Paola Bruscoliemail (replace AT by @)