|
International Workshop on Combining Theory and |
|
|
Time |
Sunday, May 7 |
|
9:20 |
Welcome and Opening Remarks |
|
9:30 |
|
|
9:55 |
A Passive Influence Model for Adapting Environments based on Semantic Preferences (paper, slides) |
|
10:30 |
Coffee Break |
|
11:00 |
|
|
11:35 |
Using fibrations for situation identification (paper, slides) |
|
12:00 |
Towards a Programming Paradigm for Pervasive Applications based on the Ambient Calculus (paper, slides) |
|
12:25 |
Lunch Break |
|
14:00 |
Bigraphical Programming Languages for Pervasive Computing (paper, slides) |
|
14:25 |
Combining Theory and Systems Building: Experiences and Challenges (paper, slides) |
|
14:50 |
Plenary Discussion (The aim of the discussion is to identify topics of interest for further exploration by working groups of workshop participants) |
|
15:10 |
Working Group Exploration (The aim is for the workshop participants to be divided into roughly balanced groups to explore the topics identified in the plenary discussion) |
|
15:30 |
Coffee Break |
|
16:00 |
Working Group Exploration (cont.) |
|
17:00 |
Working Group Reports (Representatives from each working group will report on progress on the assigned topics) |
|
17:20 |
Closing Remarks |