Schedule, Slides, and Software

Slides are available through the following link.

Code\ Description Date RoomTime
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
2cMetaprogramming \  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-JPLab-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
5eStochastic Models \  14/12/2010 V2 11-13
Free Free slot (seminar or exercises)  15/12/2010 VELA 9-12
DLDescription 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
Tags:
    

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY