This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
programma [2014/07/24 14:48] unige |
programma [2014/07/24 14:48] unige |
||
---|---|---|---|
Line 26: | Line 26: | ||
10:40 - 11:20 Viviana Mascardi: [[talkMascardi | A formalism and a framework for distributed runtime verification of multiagent systems]]\\ | 10:40 - 11:20 Viviana Mascardi: [[talkMascardi | A formalism and a framework for distributed runtime verification of multiagent systems]]\\ | ||
- | 11:20 - 12:00 Rocco De Nicola :: [[talkDeNicola | ...]] | + | 11:20 - 12:00 Rocco De Nicola :: [[talkDeNicola | talkDeNicola]] |