Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
malta13 [2013/06/24 21:37] cesar.sanchez |
malta13 [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 | | ||