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:

Course

— a.y.

2009/2010

— credits

9

— cycle

2nd cycle

— language

wit.gif

Teachers

— professor

Mirko Viroli

— other professors

Matteo Casadei

Context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— department / faculty / school

Ingegneria CE (0031)

— 2nd cycle

8200 Ingegneria informatica

URLs & IDs

AMS Page
Course Timetable

— course ID

49778

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