Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| svarm11:program [2011/04/12 17:11] – cesar.sanchez | svarm11:program [2011/04/12 18:14] (current) – cesar.sanchez | ||
|---|---|---|---|
| Line 68: | Line 68: | ||
| | | | | | | | | | | | | ||
| ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ||
| - | | 14:00 | Ruslán Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{: | + | | 14:00 | Ruslán |
| | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | ||
| | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{: | | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{: | ||