Schedule, Slides, and Software

Last modified by Mirko Viroli on 2020/11/30 12:51

Schedule, Slides, and Software

Slides for lessons in room can be obtained here.

Software:

Code\  Description Date RoomTime
0 \ Introduction\ Mon, 21/9V2\ 14-16.30
1a \ Computational Models\ Mon, 21/9 V214-16.30
1b\ Abstract Data Types \ Wed, 23/9 \ V2\ 11-13
1c\ Functional Maude Wed, 23/9 V211-13
L1\ Lab-Maude Fri, 25/9 LELE14-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 2Fri, 8/10 \ LELE \ 14-17 \
2b \ Prolog 5 \ Mon, 11/10 \ V2 \ 14-16.30 \
2cMetaprogramming \ 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-JPLab-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/11V2 \ 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-CompilationFri, 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 \
5eStochastic Models \ Fri, 4/12 \ V214-16
5f\ Stochastic ModelChecking \ Thu, 10/12 \ V1 \ 9-11 \
L-PRISM\ Lab-PRISMFri, 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\
Tags:
    
2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.9