Show last authors
1 1 Schedule, Slides, and Software
2
3 Slides are available through the following [link|http://campus.cib.unibo.it/38812/].
4
5 <table border="1" style="width: 97%"> <tbody><tr><td style="width: 90px">*Code*\\
6 </td><td style="width: 256px"> *Description*</td>
7 <td style="width: 180px">*Date*</td>
8 <td style="font-weight: bold; width: 154px">Room</td><td style="font-weight: bold; width: 91px">Time</td>
9 </tr> <tr><td>0 \\
10 </td><td>Introduction\\
11 </td><td> 4/10/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr> <td>&#49;a \\
12 </td><td style="width: 256px">Computational Models\\
13 </td>
14 <td style="width: 180px"> 4/10/2010</td>
15 <td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17</td>
16 </tr> <tr><td>&#49;b\\
17 </td><td>Abstract Data Types \\
18 </td><td> On your own..\\</td><td> ..</td><td> (before 1c)\\</td></tr><tr> <td>&#49;c\\
19 </td><td style="width: 256px">Functional Maude</td>
20 <td style="width: 180px"> &#49;1/10/2010</td>
21 <td style="width: 154px"> V1</td><td style="width: 91px"> &#49;3-14</td>
22 </tr> <tr> <td>L1\\
23 </td><td style="width: 256px">Lab-Maude</td>
24 <td style="width: 180px"> &#49;1/10/2010</td>
25 <td style="width: 154px"> LELE</td><td style="width: 91px"> &#49;4-17</td>
26 </tr> <tr> <td>2a\\
27 </td><td style="width: 256px">Prolog 1\\
28 </td><td style="width: 180px"> 8/10/2010</td>
29 <td style="width: 154px"> V2 \\</td><td style="width: 91px"> &#49;4-17 \\</td></tr>
30 <tr><td>2a \\
31 </td><td>Prolog 2\\
32 </td><td style="width: 180px"> &#49;2/10/2010 \\</td><td style="width: 154px"> V2 \\</td><td style="width: 91px"> &#49;1-13 \\</td></tr><tr> <td>L-P1 \\
33 </td><td style="width: 256px">Lab-Prolog 1\\
34 </td>
35 <td style="width: 180px"> &#49;4/10/2010</td> <td style="width: 154px"> LELE \\</td><td style="width: 91px"> &#49;0-13 \\</td></tr> <tr><td>2b \\
36 </td><td>Prolog 3 \\
37 </td><td style="width: 180px"> &#49;8/10/2010</td><td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17 \\</td></tr><tr><td>2b \\
38 </td><td>Prolog 4 \\
39 </td><td style="width: 180px"> &#49;9/10/2010</td><td style="width: 154px"> V2</td><td style="width: 91px"> &#49;1-13</td></tr><tr><td>L-P2 \\
40 </td><td>Lab-Prolog 2</td><td style="width: 180px"> 20/10/2010</td><td style="width: 154px"> VELA</td><td style="width: 91px"> 9-12</td></tr>
41 <tr> <td>2b \\
42 </td><td style="width: 256px">Prolog 5 \\
43 </td>
44 <td style="width: 180px"> 25/10/2010</td> <td style="width: 154px"> V1 \\</td><td style="width: 91px"> &#49;4-17 \\</td></tr> <tr><td>2c</td><td>Metaprogramming \\
45 </td><td> 26/10/2010</td><td> V2 \\</td><td> &#49;1-13 \\</td></tr><tr><td>L-P3 \\
46 </td><td>Lab-Prolog3 \\
47 </td><td> 28/10/2010</td><td> LELE \\</td><td> &#49;0-13</td></tr><tr>
48 <td>2d \\
49 </td><td style="width: 256px">Metainterpretation \\
50 </td> <td style="width: 180px"> 02/11/2010</td> <td style="width: 154px"> V2 \\</td><td style="width: 91px"> &#49;1-13</td></tr> <tr> <td>2e \\
51 </td><td style="width: 256px">Java-Prolog \\
52 </td>
53 <td style="width: 180px"> 04/11/2010</td> <td style="width: 154px"> LELE</td><td style="width: 91px"> 9-13</td></tr> <tr> <td>L-JP</td><td style="width: 256px">Lab-JavaProlog \\
54 </td>
55 <td style="width: 180px"> 04/11/2010</td> <td style="width: 154px"> LELE</td><td style="width: 91px"> 9-13</td></tr> <tr> <td>3a
56 </td><td style="width: 256px">Basic Logics</td>
57 <td style="width: 180px"> 08/11/2010 \\</td><td style="width: 154px"> V1</td><td style="width: 91px"> &#49;4-17</td>
58 </tr>
59 <tr><td>3a\\
60 </td><td>Basic Logics \\
61 </td><td> &#49;2/11/2010</td><td> V2 \\</td><td> &#49;4-16</td></tr><tr><td>4a \\
62 </td><td>Grammars \\
63 </td><td> &#49;5/11/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>4b \\
64 </td><td>Basic Parsing \\
65 </td><td> &#49;6/11/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-Par \\
66 </td><td>Lab-Parsing \\
67 </td><td> &#49;8/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4c\\
68 </td><td>Compilation\\
69 </td><td> 22/11/2010</td><td> V1</td><td> &#49;4-17 \\</td></tr><tr><td>4d\\
70 </td><td>Parsing and Interpretation in Java \\
71 </td><td> 23/11/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-Comp \\
72 </td><td>Lab-Compilation</td><td> 25/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4e \\
73 </td><td>Operational Semantics\\
74 </td><td> 29/11/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>4f\\
75 </td><td>Maude for Op. Semantics\\
76 </td><td> 30/11/2010</td><td> V2 \\</td><td> &#49;1-13</td></tr><tr><td>L-OpSem\\
77 </td><td>Lab-Operational Semantics\\
78 </td><td> &#49;/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>5a \\
79 </td><td>Petri Nets \\
80 </td><td> 6/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>5b \\
81 </td><td>Model-Checking \\
82 </td><td> 7/12/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>L-MC \\
83 </td><td>Lab-ModelChecking \\
84 </td><td> 9/12/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>5c\\
85 </td><td>Process Algebras 1 \\
86 </td><td> &#49;0/12/2010</td><td> V2</td><td> &#49;4-17</td></tr><tr><td>5d \\
87 </td><td>Process Algebras 2\\
88 </td><td> &#49;3/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>5e</td><td>Stochastic Models \\
89 </td><td> &#49;4/12/2010</td><td> V2</td><td> &#49;1-13</td></tr><tr><td>Free \\</td><td>Free slot (seminar or exercises) \\</td><td> &#49;5/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>DL\\</td><td>Description Logic Seminar \\</td><td> &#49;7/12/2010 \\</td><td> V2</td><td> &#49;4-17</td></tr><tr><td>5f\\
90 </td><td>Stochastic ModelChecking \\
91 </td><td> 20/12/2010</td><td> V1</td><td> &#49;4-17</td></tr><tr><td>L-PRISM\\
92 </td><td>Lab-PRISM</td><td> 23/12/2010</td><td> LELE</td><td> 9-12</td></tr></tbody></table>

Course

— a.y.

2010/2011

— credits

9

— cycle

2nd cycle

— language

wit.gif

Teachers

— professor

Mirko Viroli

— other professors

Matteo Casadei

— tutors

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-2021 APICe@DISI Research Group - PRIVACY