|
Internal Meeting - Agenda |
|
|
Internal Meeting - Agenda |
This page contains the agenda for the Meeting that was held in York between 7-9th June.
| Wednesday, June 7th | ||
|---|---|---|
| 14.00-15.00 | ||
| Philippe Palanque | Collective interactive exercise with PetShop | |
| 15.00-16.00 | ||
| Fabio Paterṇ | Collective interactive exercise with CTTE | |
| 16.00-16.30 | ||
| Coffee-Break | ||
| 16.30-17.30 | ||
| Interactive discussion | Integration between ICO and CTT | |
| 17.30-18.30 | ||
| Interactive discussion | Formal properties | |
| Thursday, June 8th | ||
|---|---|---|
| 9.00-9.30 | ||
| Univ. of York | Report on THEA evaluation of MIDDLES | |
| 9.30-10.00 | ||
| CENA | Report on empirical testing of MIDDLES | |
| 10.00-10.30 | ||
| CNUCE | Report on analysis of deviations of MIDAS | |
| 10.30-11.00 | ||
| Coffee-Break | ||
| 11.00-11.30 | ||
| Univ. of Siena | Report on Siena evaluation of MIDAS | |
| 11.30-12.00 | ||
| Chris Fairburn (Univ. of York) | Report on evaluation of CTTE | |
| 12 .00-12.30 | ||
| Peter Goillau (DERA) | Report on dissemination | |
| 12.30-14.00 | ||
| Lunch | ||
14 .00-15.00 |
Interactive discussion | MEFISTO method |
15 .00-15.30 |
CENA | Improved MIDDLES prototype |
15 .30-16.00 |
CNUCE | Towards more friendy environments for accessing model-checking tools |
16 .00-16.30 |
Coffee break | |
16 .30-17.30 |
M. Harrison (Univ. of York) | Formal methods in HCI at York |
17.30-18.30 |
Project management committee meeting | |
| Friday, June 9th | ||
|---|---|---|
| 9.00-10.00 | ||
| Planning of research work | ||
| 10.00-10.30 | ||
| Planning of information dissemination actions | ||
| 10.30-11.00 | ||
| Coffee-Break | ||
| 11.00-12.00 | ||
| Planning of work for deliverables | ||
| 12.00-12.30 | ||
| Free discussion | ||
Home Overview Goals Contact list Documents Workspace
Related Links
Statistics