Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
malta13 [2013/06/24 21:36] cesar.sanchez |
malta13 [2013/06/24 21:37] cesar.sanchez |
||
---|---|---|---|
Line 38: | Line 38: | ||
| 12.00-12.30 | {{:malta13-sanchez.pdf|Invariant Generation for Parametrized Systems using Self-Reflection}} | Alejandro Sanchez | | | 12.00-12.30 | {{:malta13-sanchez.pdf|Invariant Generation for Parametrized Systems using Self-Reflection}} | Alejandro Sanchez | | ||
| 12.30-14.00 | **Lunch** || | | 12.30-14.00 | **Lunch** || | ||
- | | 14.00-15.00 | {{:malta13-siirtola.pdf|Verification by Abstraction and Specialisation of Constraint Logic Programs}} **(Invited speaker)** | John Gallagher | | + | | 14.00-15.00 | {{:malta13-gallagher.pdf|Verification by Abstraction and Specialisation of Constraint Logic Programs}} **(Invited speaker)** | John Gallagher | |
| 15.00-15.30 | **Coffee break** || | | 15.00-15.30 | **Coffee break** || | ||
| 15:30-16:00 | {{:malta13-siirtola.pdf|Object-Oriented Programs as Parameterised Systems}} | Siirtola Antti | | | 15:30-16:00 | {{:malta13-siirtola.pdf|Object-Oriented Programs as Parameterised Systems}} | Siirtola Antti | |