|
1.1 |
2 |
|
|
|
3 |
8:30 - 9:00 - Welcome |
|
|
4 |
|
|
|
5 |
* Introduction to the AGERE! workshop: Motivation, Objectives, Agenda - [[Slides>>attach:opening.pdf]] |
|
|
6 |
|
|
|
7 |
9:00 - 10:00 - Invited talk |
|
|
8 |
|
|
|
9 |
* **[[//“On the integration of the actor model in mainstream technologies - The Scala perspective” //>>attach:AGERE2012.Program@Haller.pdf]] ** - [[Slides>>attach:slidesphilipp.pdf]] |
|
|
10 |
** **Philipp Haller, Typesafe** |
|
|
11 |
|
|
|
12 |
10:00 - 10:30 - Coffee Break |
|
|
13 |
|
|
|
14 |
10:30 - 12:00 - Research Papers session I - Actors |
|
|
15 |
|
|
|
16 |
* [[//Domains: Safe sharing among actors //>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission16.pdf]] - [[Slides>>attach:slidesjoeri.pdf]] |
|
|
17 |
** Joeri De Koster, Tom Van Cutsem and Theo D'Hondt - Vrije Universiteit Brussel (Belgium) |
|
|
18 |
|
|
|
19 |
* [[//Soter: An Automatic Safety Verifier for Erlang//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission13.pdf]] - [[Slides>>attach:slidesjonathan.pdf]] |
|
|
20 |
** Emanuele D'Osualdo, Jonathan Kochems and Luke Ong - Oxford University (United Kingdom) |
|
|
21 |
|
|
|
22 |
* [[//Leveraging Actors for Privacy Compliance//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission19.pdf]] - [[Slides>>attach:slidesjeffery.pdf]] |
|
|
23 |
** Jeffery Von Ronne - The University of Texas at San Antonio (United States) |
|
|
24 |
|
|
|
25 |
12:00 - 13:30 - Lunch |
|
|
26 |
|
|
|
27 |
13:30 - 14:30 - Invited talk |
|
|
28 |
|
|
|
29 |
* **"20 years of Agent-Oriented Programming in Distributed AI: History and Outlook” ** - [[Slides>>attach:slidesbirnainvited.pdf]] |
|
|
30 |
** **Birna van Riemsdijk - Delft University of Technology, The Netherlands** |
|
|
31 |
|
|
|
32 |
14:30 - 15:00 Research Paper Session IIa - Agent-Oriented Programming |
|
|
33 |
|
|
|
34 |
* [[//Adding Distribution and Fault Tolerance to Jason//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission7.pdf]] - [[Slides>>attach:slidesalvaro.pdf]] |
|
|
35 |
** Álvaro Fernández Díaz, Clara Benac Earle and Lars-Ake Fredlund - Universidad Politécnica de Madrid (Spain) |
|
|
36 |
|
|
|
37 |
15:00 - 15:30 Coffee Break |
|
|
38 |
|
|
|
39 |
15:30 - 17:00 Research Paper Session IIb - Agent-Oriented Programming |
|
|
40 |
|
|
|
41 |
* [[//Programming Abstractions for Integrating Autonomous and Reactive Behavior: An Agent-Oriented Approach//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission4.pdf]] - [[Slides>>attach:slidesalessandro.pdf]] |
|
|
42 |
** Alessandro Ricci, Andrea Santi - University of Bologna (Italy) |
|
|
43 |
|
|
|
44 |
* [[//Empirical Software Engineering for Agent Programming //>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission23.pdf]] - [[Slides>>attach:slidesbirna.pdf]] |
|
|
45 |
** Birna Van Riemsdijk - TU Delft (The Netherlands) |
|
|
46 |
|
|
|
47 |
* [[//Messages with Implicit Destinations as Mobile Agents//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission12.pdf]] - [[Slides>>attach:slidesahmad.pdf]] |
|
|
48 |
** Ahmad Ahmad-Kassem, Stéphane Grumbach and Stéphane Ubéda - INRIA - INSA Lyon, INRIA (France) |
|
|
49 |
|
|
1.1 |
55 |
* Brief summary of the first day and agenda of the second day. Preparation for the panel discussion. |
|
|
56 |
|
|
|
57 |
9:00 - 10:00 - Invited Talk |
|
|
58 |
|
|
|
59 |
* **“Agents, Concurrent Objects, and High Performance Computing” ** - [[Slides>>https://docs.google.com/open?id=0By4lSQe0n1R0U0ZCdDk3am5VUTQ]] |
|
|
60 |
** **Akinori Yonezawa - University of Tokyo, Japan** |
|
|
61 |
|
|
|
62 |
10:00 - 10:30 - Coffee Break |
|
|
63 |
|
|
|
64 |
10:30 - 12:00 - Research Paper Session III - Decentralized control programming with Behavioral Abstractions |
|
|
65 |
|
|
|
66 |
* Introduction by Assaf Marron, Weizmann Institue of Science - [[Slides>>attach:slidesassafintro.pdf]] |
|
|
67 |
|
|
|
68 |
* [[//A Decentralized Approach for Programming Interactive Applications with JavaScript and Blockly//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission1.pdf]] - [[Slides>>attach:slidesassaf.pdf]] |
|
|
69 |
** Assaf Marron, Gera Weiss and Guy Wiener - Weizmann Institue of Science, Ben Gurion University, HP Labs (Israel) |
|
|
70 |
|
|
|
71 |
* [[//Optimized Distributed Implementation of Multiparty Interactions with Observation//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission9.pdf]] - [[Slides>>attach:slidesjean.pdf]] |
|
|
72 |
** Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis - VERIMAG, VERIMAG/CNRS (France) |
|
|
73 |
|
|
|
74 |
* [[//Distributed Priority Synthesis using Knowledge //>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission11.pdf]] - [[Slides>>attach:slideschihhong.pdf]] |
|
|
75 |
** Chih-Hong Cheng, Rongjie Yan, Harald Ruess and Saddek Bensalem - Fortiss (Germany), State Key Laboratory of Computer Science Institute of Software (China), VERIMAG (France) |
|
|
76 |
|
|
|
77 |
12:00 - 13:30 Lunch time |
|
|
78 |
|
|
|
79 |
13:30 - 15:00 - Research Paper Session IV - Actors |
|
|
80 |
|
|
|
81 |
* [[//Parallel Gesture Recognition with Soft Real-Time Guarantees//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission10.pdf]] - [[Slides>>attach:slidesthierry.pdf]] |
|
|
82 |
** Thierry Renaux, Lode Hoste, Stefan Marr and Wolfgang De Meuter - Vrije Universiteit Brussel (Belgium) |
|
|
83 |
|
|
|
84 |
* [[//A Relational Trace Logic for Simple Hierarchical Actor-Based Component Systems //>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission14.pdf]] - [[Slides>>attach:slidesilham.pdf]] |
|
|
85 |
** Ilham W. Kurnia and Arnd Poetzsch-Heffter - University of Kaiserslautern (Germany) |
|
|
86 |
|
|
|
87 |
* [[//Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition System //>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission20.pdf]] - [[Slides>>attach:slidesmarjan.pdf]] |
|
|
88 |
** Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani and Mohammad-Javad Izadi - Tehran University (Iran), Reykjavik University (Iceland) |
|
|
89 |
|
|
|
90 |
15:00 - 15:30 - Coffee Break |
|
|
91 |
|
|
|
92 |
15:30 - 17:00 - Research Paper and Discussion Session V |
|
|
93 |
|
|
|
94 |
* [[//Actor Idioms//>>attach:AGERE2012.AcceptedPapers@ageresplash2012submission3.pdf]] [[Slides>>attach:slidesdale.pdf]] |
|
|
95 |
** Dale Schumacher - United States |
|
|
96 |
|
|
|
97 |
* Research directions for Agent, Actor and Decentralized Control: panel and open discussion |
|
|
98 |
|
|
|
99 |
17:00 - SPLASH Poster session with one poster about AGERE! summary & contributions |