October 21st DEGAS meeting

Place

National E-Science Centre (Here are some maps, convenient accommodation list etc.)

Agenda (provisional)

9:00	Welcome and Project leader's report (Corrado Priami)
9:30	Presentation on current state of the Motorola case study (Ivan Mura)
10:30	Break
11:00	Discussion on current state of the Motorola case study
11:30	Presentation on current state of the Omnys case study (Cosimo Caragiuli)
12:30	Lunch
14:00	Discussion on current state of the Omnys case study
14:30	Security in Degas (Flemming Nielson)
15:00	A practical guide to connecting UML tools to formal tools (Perdita Stevens slides and Stephen Gilmore slides )
15:30	Break
16:00	Hierarchical Cellular Network Modelling using PEPA Net (Leila Kloul)
16:30	Plenary session, wrap-up and future planning
17:00	Close

List of attendees (provisional)

Perdita Stevens
Perdita.Stevens@ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Lecturer
Informatics, University of Edinburgh

Catherine Canevet
ccanevet@inf.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Research Fellow
Informatics, University of Edinburgh

Leila Kloul
leila@inf.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Research Fellow
Informatics, University of Edinburgh

Jane Hillston
jeh@inf.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Reader
Informatics, University of Edinburgh

Stephen Gilmore
stg@inf.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
Senior Lecturer
Informatics, University of Edinburgh

Yussuf Abu Shaaban
s9559873@sms.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
PhD student
Informatics, University of Edinburgh

Hanne Riis Nielson
riis@imm.dtu.dk
Informatics and Mathematical Modelling
Technical University of Denmark
Richard Petersens Plads - Building 321
DK-2800 Kongens Lyngby - Denmark
Associate Professor
Informatics and Mathematical Modelling, Technical University of Denmark

Flemming Nielson
nielson@imm.dtu.dk
Informatics and Mathematical Modelling
Technical University of Denmark
Richard Petersens Plads - Building 321
DK-2800 Kongens Lyngby - Denmark
Associate Professor
Informatics and Mathematical Modelling, Technical University of Denmark

Corrado Priami
priami@dit.unitn.it
Università di Trento
Dipartimento di Informatica e Telecomunicazioni
Via Sommarive 14, 38050 Povo (TN)
Italy
Professor
Dipartimento di Informatica e Telecomunicazioni, Università di Trento
+39 0461 882085

Massimo Bartoletti,
bartolet@di.unipi.it
Dipartimento di Informatica
V. F. Buonarroti 2, 56127 Pisa
Italy
PhD Student
Dipartimento di Informatica, Università di Pisa
+39 050 221 2148

Simone Semprini
semprini@di.unipi.it
Dott. Simone Semprini,
Università di Pisa
Facoltà di Scienze M.F.N.
Dipartimento di Informatica,
Via Buonarroti
56100 Pisa, ITALY
PhD student
Dipartimento di Informatica, Università di Pisa
+39 050 2212797

Ivan Mura
Ivan.Mura@motorola.com
Via Cardinal Massaia 83, 10147 Torino, Italy
Project Leader
Motorola, Global Software Group, Italy
+39 011 2911304

Carlo Montangero
monta@di.unipi.it
Dipartimento di Informatica, Universita` di Pisa
via F. Buonarroti, 2 I - 56127 PISA
Professor of Computing
Dipartimento di Informatica, Universita` di Pisa
+39 050 2212 745

Cosimo Caragiuli
cosimo.caragiuli@omnys.it
Via Frassini, 35 - 36100 Vicenza (Italy)
+39 0444 521872

Davide Piazza
davide.piazza@omnys.it
Via Frassini, 35 - 36100 Vicenza (Italy)
+39 0444 521872

Yu Wang
yu.wang@ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
MSc student
School of Informatics, University of Edinburgh,
no phone

Paolo Ballarini
a1pballa@inf.ed.ac.uk
School of Informatics, University of Edinburgh,
JCMB, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland
PhD student
School of Informatics, University of Edinburgh,
+44 (0)131 650 5188