Schedule, Slides, and Software
Schedule, Slides, and Software
Slides are available through the following link.
| Code\ | Description | Date | Room | Time |
| 0 \ | Introduction\ | 4/10/2010 | V1 | 14-17 |
| 1a \ | Computational Models\ | 4/10/2010 | V1 | 14-17 |
| 1b\ | Abstract Data Types \ | On your own.. | .. | (before 1c) |
| 1c\ | Functional Maude | 11/10/2010 | V1 | 13-14 |
| L1\ | Lab-Maude | 11/10/2010 | LELE | 14-17 |
| 2a\ | Prolog 1\ | 8/10/2010 | V2 | 14-17 |
| 2a \ | Prolog 2\ | 12/10/2010 | V2 | 11-13 |
| L-P1 \ | Lab-Prolog 1\ | 14/10/2010 | LELE | 10-13 |
| 2b \ | Prolog 3 \ | 18/10/2010 | V1 | 14-17 |
| 2b \ | Prolog 4 \ | 19/10/2010 | V2 | 11-13 |
| L-P2 \ | Lab-Prolog 2 | 20/10/2010 | VELA | 9-12 |
| 2b \ | Prolog 5 \ | 25/10/2010 | V1 | 14-17 |
| 2c | Metaprogramming \ | 26/10/2010 | V2 | 11-13 |
| L-P3 \ | Lab-Prolog3 \ | 28/10/2010 | LELE | 10-13 |
| 2d \ | Metainterpretation \ | 02/11/2010 | V2 | 11-13 |
| 2e \ | Java-Prolog \ | 04/11/2010 | LELE | 9-13 |
| L-JP | Lab-JavaProlog \ | 04/11/2010 | LELE | 9-13 |
| 3a | Basic Logics | 08/11/2010 | V1 | 14-17 |
| 3a\ | Basic Logics \ | 12/11/2010 | V2 | 14-16 |
| 4a \ | Grammars \ | 15/11/2010 | V1 | 14-17 |
| 4b \ | Basic Parsing \ | 16/11/2010 | V2 | 11-13 |
| L-Par \ | Lab-Parsing \ | 18/11/2010 | LELE | 9-12 |
| 4c\ | Compilation\ | 22/11/2010 | V1 | 14-17 |
| 4d\ | Parsing and Interpretation in Java \ | 23/11/2010 | V2 | 11-13 |
| L-Comp \ | Lab-Compilation | 25/11/2010 | LELE | 9-12 |
| 4e \ | Operational Semantics\ | 29/11/2010 | V1 | 14-17 |
| 4f\ | Maude for Op. Semantics\ | 30/11/2010 | V2 | 11-13 |
| L-OpSem\ | Lab-Operational Semantics\ | 1/12/2010 | VELA | 9-12 |
| 5a \ | Petri Nets \ | 6/12/2010 | V1 | 14-17 |
| 5b \ | Model-Checking \ | 7/12/2010 | V2 | 11-13 |
| L-MC \ | Lab-ModelChecking \ | 9/12/2010 | LELE | 9-12 |
| 5c\ | Process Algebras 1 \ | 10/12/2010 | V2 | 14-17 |
| 5d \ | Process Algebras 2\ | 13/12/2010 | V1 | 14-17 |
| 5e | Stochastic Models \ | 14/12/2010 | V2 | 11-13 |
| Free | Free slot (seminar or exercises) | 15/12/2010 | VELA | 9-12 |
| DL | Description Logic Seminar | 17/12/2010 | V2 | 14-17 |
| 5f\ | Stochastic ModelChecking \ | 20/12/2010 | V1 | 14-17 |
| L-PRISM\ | Lab-PRISM | 23/12/2010 | LELE | 9-12 |