Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
malta13 [2013/06/24 21:36] – cesar.sanchezmalta13 [2014/09/17 11:03] (current) – cesar.sanchez
Line 31: Line 31:
  
 ^             ^ Title                 ^ Speaker ^ ^             ^ Title                 ^ Speaker ^
-| 09.00-10.00 | **(Invited Speaker)** | Manuel Hermenegildo |+| 09.00-10.00 | {{:malta13-hermenegildo.pdf|Analysis and Verification ``of and with'' Horn Clauses (using the Ciao system) }}**(Invited Speaker)** | Manuel Hermenegildo |
 | 10.00-10.30 | **Coffee break** || | 10.00-10.30 | **Coffee break** ||
 | 10.30-11.00 | {{:malta13-beyene.pdf|Solving Existentially Quantfied Horn Clauses}} | Tewodros Beyene | | 10.30-11.00 | {{:malta13-beyene.pdf|Solving Existentially Quantfied Horn Clauses}} | Tewodros Beyene |
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 |