Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
haifa12 [2012/11/04 13:00] eran.yahav |
haifa12 [2012/11/18 08:06] eran.yahav |
||
|---|---|---|---|
| Line 46: | Line 46: | ||
| middle-eastern: | middle-eastern: | ||
| http://www.tripadvisor.com/Restaurant_Review-g293982-d1020765-Reviews-Fatoush-Haifa_Haifa_District.html | http://www.tripadvisor.com/Restaurant_Review-g293982-d1020765-Reviews-Fatoush-Haifa_Haifa_District.html | ||
| + | |||
| + | local beer: | ||
| + | http://www.ratebeer.com/p/libira-haifa/19781/ | ||
| Line 58: | Line 61: | ||
| ^ ^ Title ^ Speaker ^ | ^ ^ Title ^ Speaker ^ | ||
| - | | 10:00-10:45 | Quantitative Abstraction Refinement | Pavol Cerny (invited talk) | | + | | 10:00-10:45 | {{:haifa12-pvaol.ppt|Quantitative Abstraction Refinement}}| Pavol Cerny (invited talk) | |
| - | | 10:45-11:30 | PINCETTE project: validation of changes and upgrades in large software systems | Hana Chockler (invited talk) | | + | | 10:45-11:30 | {{:haifa12-hana.ppt|PINCETTE project: validation of changes and upgrades in large software systems}} | Hana Chockler (invited talk) | |
| | 11:30-11:45 | short break || | | 11:30-11:45 | short break || | ||
| | 11:45-12:10 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner | | | 11:45-12:10 | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives | Yaron Velner | | ||
| | 12:10-12:35 | Privacy for Linked Data | Silvia Ghilezan | | | 12:10-12:35 | Privacy for Linked Data | Silvia Ghilezan | | ||
| | 12:35-14:00 | Lunch Break || | | 12:35-14:00 | Lunch Break || | ||
| - | | 14:00-14:25 | Interpolant Strength in Model Checking | Simone Rollini | | + | | 14:00-14:25 | {{:haifa12-simone.pdf|Interpolant Strength in Model Checking}} | Simone Rollini | |
| - | | 14:25-14:50 | Assisted Verification of Invariance for Parametrized Systems | Alejandro Sánchez | | + | | 14:25-14:50 | {{:haifa12-asanchez.pdf|Assisted Verification of Invariance for Parametrized Systems}} | Alejandro Sánchez | |
| - | | 14:50-15:15 | Interpolation for resolution and superposition | Maria Paola Bonacina | | + | | 14:50-15:15 | {{:haifa12-maria.ppt|Interpolation for resolution and superposition}} | Maria Paola Bonacina | |
| | 15:15-15:30 | short break || | | 15:15-15:30 | short break || | ||
| - | | 15:30-15:55 | Reductions for Synthesis Procedures | Philippe Suter | | + | | 15:30-15:55 | {{:haifa12-philippe.pdf|Reductions for Synthesis Procedures}} | Philippe Suter | |
| - | | 15:55-16:20 | Logico-Numerical Max-Strategy Iteration | Pavle Subotic | | + | | 15:55-16:20 | {{:haifa12-pvale.pdf|Logico-Numerical Max-Strategy Iteration}} | Pavle Subotic | |
| - | | 16:20-16:45 | Information flow analysis and temporal logics| Markus Rabe || | + | | 16:20-16:45 | {{:haifa12-markus.pdf|Information flow analysis and temporal logics}} | Markus Rabe || |
| | 16:45-17:00 | short break || | | 16:45-17:00 | short break || | ||
| | 17:00-18:00 | Management Committee Meeting || | | 17:00-18:00 | Management Committee Meeting || | ||
| - | ===== Invited Talks (under construction) ===== | + | ===== Invited Talks ===== |
| - | + | ||
| - | Quantitative Abstraction Refinement / Pavol Cerny | + | |
| - | + | ||
| - | PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions / Hana Chockler | + | |
| - | + | ||
| - | ===== Talks (under construction) ===== | + | |
| - | + | ||
| - | Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives / Yaron Velner | + | |
| - | + | ||
| - | Privacy for Linked Data / Silvia Ghilezan | + | |
| - | + | ||
| - | Interpolant Strength in Model Checking / Simone Rollini | + | |
| - | + | ||
| - | Assisted Verification of Invariance for Parametrized Systems / Alejandro Sánchez | + | |
| - | Interpolation for resolution and superposition / Maria Paola Bonacina | + | **Pavol Cerny**: Quantitative Abstraction Refinement by |
| - | Reductions for Synthesis Procedures / Philippe Suter | + | **Hana Chockler**: PINCETTE project: validation of changes and upgrades in large software systems - unique challenges and suggested solutions |
| - | ===== Full Abstracts ===== | + | ===== Talk Abstracts ===== |
| **Quantitative Abstraction Refinement** | **Quantitative Abstraction Refinement** | ||