Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
malta13 [2013/06/17 14:02] pace |
malta13 [2013/06/17 15:55] pace |
||
|---|---|---|---|
| Line 40: | Line 40: | ||
| | 16.00-16.30 | //Filip Konecni:// Underapproximation of Procedure Summaries for Integer Programs | | | 16.00-16.30 | //Filip Konecni:// Underapproximation of Procedure Summaries for Integer Programs | | ||
| | 16.30-17.00 | //Paul Jackson:// Auditing User-provided Axioms in Software Verification Conditions | | | 16.30-17.00 | //Paul Jackson:// Auditing User-provided Axioms in Software Verification Conditions | | ||
| - | | 17:00-17:30 | Discussion Session: Cross-fertilization between Logic Programming and CLP with Horn Clause Verification | | + | | 17:00-17:30 | //David Monniaux:// TBA | |
| + | | 17:30-18:00 | Discussion Session: Cross-fertilization between Logic Programming with CLP and Horn Clause Verification | | ||
| ===== General Information ===== | ===== General Information ===== | ||