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>