Main

Software

Lab

Schedule

Projects

Schedule, Slides, and Software

Slides for lessons in room can be obtained here.

Software:

• tuprolog (These are versions to be used only by students of this course, for the open-source version please visit http://sourceforge.net/projects/tuprolog/)

Code	Description	Date	Room	Time
0	Introduction	Mon, 21/9	V2	14-16.30
1a	Computational Models	Mon, 21/9	V2	14-16.30
1b	Abstract Data Types	Wed, 23/9	V2	11-13
1c	Functional Maude	Wed, 23/9	V2	11-13
L1	Lab-Maude	Fri, 25/9	LELE	14-17
2a	Prolog 1	Mon, 28/9	V2	14-16.30
2a	Prolog 2	Wed, 30/9	V2	11-13
L-P1	Lab-Prolog 1	Fri, 1/10	LELE	14-17
2b	Prolog 3	Mon, 4/10	V2	14-16.30
2b	Prolog 4	Wed, 6/10	V2	11-13
L-P2	Lab-Prolog 2	Fri, 8/10	LELE	14-17
2b	Prolog 5	Mon, 11/10	V2	14-16.30
2c	Metaprogramming	Thu, 14/10	V1	11-13
L-P3	Lab-Prolog3	Fri, 15/10	LELE	14-17
2d	Metainterpretation	Mon, 18/10	V2	14-16.30
2e	Java-Prolog	Wed, 20/10	V2	11-13
L-JP	Lab-JavaProlog	Fri, 22/10	LELE	14-17
3a	Basic Logics	Mon 25/10	V2	14-16.30
3a	Basic Logics	Wed, 27/10	V2	11-13
3b	Other Logics	Fri, 29/10	V2	14-16
4a	Grammars	Mon, 2/11	V2	14-16.30
4b	Basic Parsing	Wed, 4/11	V2	11-13
L-Par	Lab-Parsing	Fri, 6/11	LELE	14-17
4c	Compilation	Mon, 9/11	V2	14-16.30
4d	Parsing and Interpretation in Java	Wed, 11/11	V2	11-13
L-Comp	Lab-Compilation	Fri, 13/11	LELE	14-17
4e	Operational Semantics	Mon, 16/11	V2	14-16.30
4f	Maude for Op. Semantics	Wed, 18/11	V2	11-13
L-OpSem	Lab-Operational Semantics	Fri, 20/11	LELE	14-17
5a	Petri Nets	Mon, 23/11	V2	14-16.30
5b	Model-Checking	Thu, 26/11	V1	9-11
L-MC	Lab-ModelChecking	Fri, 27/11	LELE	14-17
5c	Process Algebras 1	Mon, 30/11	V2	14-16.30
5d	Process Algebras 2	Wed, 2/12	V2	11-13
5e	Stochastic Models	Fri, 4/12	V2	14-16
5f	Stochastic ModelChecking	Thu, 10/12	V1	9-11
L-PRISM	Lab-PRISM	Fri, 11/12	LELE	14-17
SEM-BIO	Computational Models for Biological Systems	Mon, 14/12	V2	14-16.30
L-SPIM	Lab-SPIM	Thu, 17/12	LELE	9-12