
Feb 4 (T1):
Introduction to Interaction and Concurrency and the course dynamics.
Labelled transition systems. Morphisms between trarnsition systems. The relational and coalgebraic perspectives.

Feb 11 (T2):
Notions of equivalence between labelled transition systems. Notions of trace, simulation and bisimulation. Bisimilarity.

Feb 18 (T3):
Introducation to process algebra. Milner's calculus of communicating systems (CCS): motivation, syntax, operational semantics. Examples.

Feb 25:
CARNIVAL

Mar 3 (T4):
Weak bisimilarity. Observational equivalence and observational congruence. Laws of the weak process calculus.

Mar 10:
CANCELLED: Covid19 preventive determination

Mar 17 (T5):
(Non presencial lecture) Introduction to mCRL2 as a process modeling tool.
Lecture support: Modelling processes in mCRL2 (slides)
Lecture support: Handson Lab session (pdf)
and initial file (mCRL2)
Live session 1: Join
here!

Mar 24 (T6):
(Non presencial lecture) Modal logics for processes. The logic of HennessyMilner.
Lecture support: HennessyMilner Logic (slides)
Live session 3: Join
here!

Mar 31 (T7):
(Non presencial lecture) Modal logics for processes: Examples and exercises.
Lecture support: HennessyMilner Logic Exercises
Live session 4 (on colibri.zoom.us) : Join
here!

Apr 14 (T8):
(Non presencial lecture) Expressing temporal properties. Safety and liveness. Introduction to the modal Mucalculus.
Lecture support: The modal Mucalculus (slides)
Live session 6: Join
here!

Apr 21 (T9):
(Non presencial lecture) The modal Mucalculus: examples and exercises.
Lecture support: Exercise sheet 6 (pdf)
Live session 8: Join
here! (zoom)

Apr 28 (T10):
(Non presencial lecture) Quantum data and actions. Introduction to the underlying mathematical framework. Hilbert spaces. Data representation and operators.
Lecture support: The mathematical framework (pdf)
Live session 10: Join
here!

Mai 5 (T11):
(Non presencial lecture) Quantum systems. Postulates: state space, evolution and composition. Entanglement.
Lecture support: The principles (pdf)
Live session 12: Join
here!

May 12 (T12):
(Non presencial lecture) The measurement postulate. Quantum gates and the circuit model. Application: the teleportation and dense coding protocols.
Lecture support: Quantum gates and the circuit model (pdf)
Live session 14: Join
here!

May 19 (T13):
(Non presencial lecture) Introduction to quantum algorithms. The algorithms of Deutsch and DeutschJosza. Phase kickback as an algorithmic technique.
Lecture support: Quantum algorithms (pdf)
Live session 16: Join
here!

May 26 (T14):
(Non presencial lecture) Quantum search algorithms: Grover's algorithm. The technique of amplitude amplification. Closing remarks on quantum systems and the IC course.
Lecture support: Quantum search algorithms (pdf)
Live session 18: Join
here!

June 9 (T15):
Written test

Feb 6 (TP1):
Exercise sheet 1.

Feb 13 (TP2):
Exercise sheet 2.

Feb 20 (TP3):
Exercise sheet 3.

Feb 27 (TP4):
Expositive lecture (given the Carnival pause on the 25th): Process calculus: equational laws; the expansion theorem and its applications.

Mar 5:
CANCELLED: Lecturer in UM mission

Mar 12:
CANCELLED: Covid19 preventive determination

Mar 19 (TP5):
(Non presencial lecture) Exercise sheet 4.
Lecture support: Exercise sheet 4 (pdf)
Lecture support: Exercise 6 (solution) (pdf)
Live session 2: Join
here!

Mar 26:
CANCELLED

Apr 2 (TP6):
(Non presencial lecture) HennessyMilner logic (conclusion). Exercise sheet 5.
Lecture support: Exercise sheet 5 (pdf)
Live session 5: Join
here! (check the meeting id at your academic mailbox)

Apr 16 (TP7):
(Non presencial lecture) Modal Mucalculus: casestudies.
Lecture support: Slides from the previous T and
Lecture Notes on Process Logic (pdf)
Live session 7: Join
here!

Apr 23 (TP8):
(Non presencial lecture) Quantum systems: motivation and introduction. Notion of qubit. Representation in the Bloch sphere.
Lecture support: Introduction to quantum systems (slides)
Live session 9: Join
here! (zoom)

Apr 30 (TP9):
(Non presencial lecture) Exercises on the mathematical framework. Intuition for the quantum paradigm.
Lecture support: Exercises and slides with solution
Live session 11: Join
here!

Mai 7 (TP10):
(Non presencial lecture) Introduction to Qiskit.
Lecture support: About Qiskit, Demo, Exercises
Live session 13: Join
here!

Mai 14 (TP11):
(Non presencial lecture) Quantum Information Protocols (Quantum Teleportation and Dense Coding). Qiskit Aer  Simulation with noise.
Lecture support: Exercises (Basics overview), Teleportation Protocol and Simulation with Noise, Exercises (Dense Coding)
Live session 15: Join
here!

Mai 21 (TP12):
(Non presencial lecture) Quantum Algorithms (DeutschJotsza Algorithm). Qiskit Providers  Run in a quantum device.
Lecture support: Tutorial, Exercises
Live session 17: Join
here!

May 28 (TP13):
(Non presencial lecture) Grover Algorithm. Qiskit Ignis  Noise mitigation
Lecture support: Tutorial
Live session 19: Join
here!

June 4: (TP14)
(Non presencial lecture) Doubts clarification
Live session 20: Join
here!

June 11: (TP15):