LMC1011-schedule
1 Schedule, Slides, and Software
Slides are available through the following [link|http://campus.cib.unibo.it/38812/].
<table border="1" style="width: 97%"> <tbody><tr><td style="width: 90px">*Code*
</td><td style="width: 256px"> *Description*</td>
<td style="width: 180px">*Date*</td>
<td style="font-weight: bold; width: 154px">Room</td><td style="font-weight: bold; width: 91px">Time</td>
</tr> <tr><td>0
</td><td>Introduction
</td><td> 4/10/2010</td><td> V1</td><td> 14-17</td></tr><tr> <td>1a
</td><td style="width: 256px">Computational Models
</td>
<td style="width: 180px"> 4/10/2010</td>
<td style="width: 154px"> V1</td><td style="width: 91px"> 14-17</td>
</tr> <tr><td>1b
</td><td>Abstract Data Types
</td><td> On your own..
</td><td> ..</td><td> (before 1c)
</td></tr><tr> <td>1c
</td><td style="width: 256px">Functional Maude</td>
<td style="width: 180px"> 11/10/2010</td>
<td style="width: 154px"> V1</td><td style="width: 91px"> 13-14</td>
</tr> <tr> <td>L1
</td><td style="width: 256px">Lab-Maude</td>
<td style="width: 180px"> 11/10/2010</td>
<td style="width: 154px"> LELE</td><td style="width: 91px"> 14-17</td>
</tr> <tr> <td>2a
</td><td style="width: 256px">Prolog 1
</td><td style="width: 180px"> 8/10/2010</td>
<td style="width: 154px"> V2
</td><td style="width: 91px"> 14-17
</td></tr>
<tr><td>2a
</td><td>Prolog 2
</td><td style="width: 180px"> 12/10/2010
</td><td style="width: 154px"> V2
</td><td style="width: 91px"> 11-13
</td></tr><tr> <td>L-P1
</td><td style="width: 256px">Lab-Prolog 1
</td>
<td style="width: 180px"> 14/10/2010</td> <td style="width: 154px"> LELE
</td><td style="width: 91px"> 10-13
</td></tr> <tr><td>2b
</td><td>Prolog 3
</td><td style="width: 180px"> 18/10/2010</td><td style="width: 154px"> V1</td><td style="width: 91px"> 14-17
</td></tr><tr><td>2b
</td><td>Prolog 4
</td><td style="width: 180px"> 19/10/2010</td><td style="width: 154px"> V2</td><td style="width: 91px"> 11-13</td></tr><tr><td>L-P2
</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>
<tr> <td>2b
</td><td style="width: 256px">Prolog 5
</td>
<td style="width: 180px"> 25/10/2010</td> <td style="width: 154px"> V1
</td><td style="width: 91px"> 14-17
</td></tr> <tr><td>2c</td><td>Metaprogramming
</td><td> 26/10/2010</td><td> V2
</td><td> 11-13
</td></tr><tr><td>L-P3
</td><td>Lab-Prolog3
</td><td> 28/10/2010</td><td> LELE
</td><td> 10-13</td></tr><tr>
<td>2d
</td><td style="width: 256px">Metainterpretation
</td> <td style="width: 180px"> 02/11/2010</td> <td style="width: 154px"> V2
</td><td style="width: 91px"> 11-13</td></tr> <tr> <td>2e
</td><td style="width: 256px">Java-Prolog
</td>
<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
</td>
<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
</td><td style="width: 256px">Basic Logics</td>
<td style="width: 180px"> 08/11/2010
</td><td style="width: 154px"> V1</td><td style="width: 91px"> 14-17</td>
</tr>
<tr><td>3a
</td><td>Basic Logics
</td><td> 12/11/2010</td><td> V2
</td><td> 14-16</td></tr><tr><td>4a
</td><td>Grammars
</td><td> 15/11/2010</td><td> V1</td><td> 14-17</td></tr><tr><td>4b
</td><td>Basic Parsing
</td><td> 16/11/2010</td><td> V2</td><td> 11-13</td></tr><tr><td>L-Par
</td><td>Lab-Parsing
</td><td> 18/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4c
</td><td>Compilation
</td><td> 22/11/2010</td><td> V1</td><td> 14-17
</td></tr><tr><td>4d
</td><td>Parsing and Interpretation in Java
</td><td> 23/11/2010</td><td> V2</td><td> 11-13</td></tr><tr><td>L-Comp
</td><td>Lab-Compilation</td><td> 25/11/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>4e
</td><td>Operational Semantics
</td><td> 29/11/2010</td><td> V1</td><td> 14-17</td></tr><tr><td>4f
</td><td>Maude for Op. Semantics
</td><td> 30/11/2010</td><td> V2
</td><td> 11-13</td></tr><tr><td>L-OpSem
</td><td>Lab-Operational Semantics
</td><td> 1/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>5a
</td><td>Petri Nets
</td><td> 6/12/2010</td><td> V1</td><td> 14-17</td></tr><tr><td>5b
</td><td>Model-Checking
</td><td> 7/12/2010</td><td> V2</td><td> 11-13</td></tr><tr><td>L-MC
</td><td>Lab-ModelChecking
</td><td> 9/12/2010</td><td> LELE</td><td> 9-12</td></tr><tr><td>5c
</td><td>Process Algebras 1
</td><td> 10/12/2010</td><td> V2</td><td> 14-17</td></tr><tr><td>5d
</td><td>Process Algebras 2
</td><td> 13/12/2010</td><td> V1</td><td> 14-17</td></tr><tr><td>5e</td><td>Stochastic Models
</td><td> 14/12/2010</td><td> V2</td><td> 11-13</td></tr><tr><td>Free
</td><td>Free slot (seminar or exercises)
</td><td> 15/12/2010</td><td> VELA</td><td> 9-12</td></tr><tr><td>DL
</td><td>Description Logic Seminar
</td><td> 17/12/2010
</td><td> V2</td><td> 14-17</td></tr><tr><td>5f
</td><td>Stochastic ModelChecking
</td><td> 20/12/2010</td><td> V1</td><td> 14-17</td></tr><tr><td>L-PRISM
</td><td>Lab-PRISM</td><td> 23/12/2010</td><td> LELE</td><td> 9-12</td></tr></tbody></table>