Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
malta13 [2013/06/20 00:04] cesar.sanchez |
malta13 [2013/06/20 00:05] cesar.sanchez |
||
---|---|---|---|
Line 23: | Line 23: | ||
| 14.30-15.00 | {{:malta13-perez.pdf|Decidable Classes of Mean-Payoff Games with Imperfect Information}} | Guillermo Perez | | | 14.30-15.00 | {{:malta13-perez.pdf|Decidable Classes of Mean-Payoff Games with Imperfect Information}} | Guillermo Perez | | ||
| 15.00-15.30 | **Coffee break** || | | 15.00-15.30 | **Coffee break** || | ||
- | | 15.30-16.00 | {{:malta13-pace.pdf|Contract Analysis}} | Gordon Pace | | + | | 15.30-16.00 | {{:malta13-pace.pdf|Reasoning About Contracts}} | Gordon Pace | |
| 16.00-16.30 | {{:malta13-jensen.pdf|Fictional Separation Logic}} | Jonas Jensen | | | 16.00-16.30 | {{:malta13-jensen.pdf|Fictional Separation Logic}} | Jonas Jensen | | ||
| 16.30-17.30 | MC Meeting || | | 16.30-17.30 | MC Meeting || |