AGERE! @ SPLASH 2012 - Programme

First Day (Oct 21, Sunday)

8:30 - 9:00 - Welcome 

• Introduction to the AGERE! workshop: Motivation, Objectives, Agenda - Slides

9:00 - 10:00 -  Invited talk

• “On the integration of the actor model in mainstream technologies - The Scala perspective”   - Slides
  • Philipp Haller, Typesafe

10:00 - 10:30 - Coffee Break 

10:30 - 12:00 - Research Papers session I - Actors

• Domains: Safe sharing among actors  -  Slides
  • Joeri De Koster, Tom Van Cutsem and Theo D'Hondt - Vrije Universiteit Brussel (Belgium)  

• Soter: An Automatic Safety Verifier for Erlang - Slides
  • Emanuele D'Osualdo, Jonathan Kochems and Luke Ong - Oxford University (United Kingdom)

• Leveraging Actors for Privacy Compliance  - Slides
  • Jeffery Von Ronne - The University of Texas at San Antonio (United States)

12:00 - 13:30 - Lunch

13:30 - 14:30 -  Invited talk

• "20 years of Agent-Oriented Programming in Distributed AI: History and Outlook”  - Slides
  • Birna van Riemsdijk - Delft University of Technology, The Netherlands

14:30 - 15:00 Research Paper Session IIa - Agent-Oriented Programming

• Adding Distribution and Fault Tolerance to Jason -  Slides
  • Álvaro Fernández Díaz, Clara Benac Earle and Lars-Ake Fredlund - Universidad Politécnica de Madrid (Spain)

15:00 - 15:30 Coffee Break

15:30 - 17:00 Research Paper Session IIb - Agent-Oriented Programming

• Programming Abstractions for Integrating Autonomous and Reactive Behavior:  An Agent-Oriented Approach - Slides
  • Alessandro Ricci, Andrea Santi  - University of Bologna (Italy)

• Empirical Software Engineering for Agent Programming  - Slides
  • Birna Van Riemsdijk - TU Delft (The Netherlands)

• Messages with Implicit Destinations as Mobile Agents - Slides
  • Ahmad Ahmad-Kassem, Stéphane Grumbach and Stéphane Ubéda  - INRIA - INSA Lyon, INRIA (France)

Second Day (Oct 22, Monday)

8:30 - 9:00 Welcome - Slides
 

• Brief summary of the first day and agenda of the second day. Preparation for the panel discussion. 

9:00 - 10:00 - Invited Talk

• “Agents, Concurrent Objects, and High Performance Computing”  - Slides
  • Akinori Yonezawa - University of Tokyo, Japan

10:00 - 10:30 - Coffee Break 

10:30 - 12:00 - Research Paper Session  III - Decentralized control programming  with Behavioral Abstractions 

• Introduction by Assaf Marron,  Weizmann Institue of Science - Slides

• A Decentralized Approach for Programming Interactive Applications with JavaScript and  Blockly  - Slides
  • Assaf Marron, Gera Weiss and Guy Wiener - Weizmann Institue of Science, Ben Gurion University, HP Labs (Israel)

• Optimized Distributed Implementation of Multiparty Interactions with Observation -  Slides
  • Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis  - VERIMAG, VERIMAG/CNRS (France)

• Distributed Priority Synthesis using Knowledge  -  Slides
  • Chih-Hong Cheng, Rongjie Yan, Harald Ruess and Saddek Bensalem - Fortiss (Germany), State Key Laboratory of Computer Science  Institute of Software (China), VERIMAG (France)

12:00 - 13:30  Lunch time

13:30 - 15:00 - Research Paper Session IV -  Actors

• Parallel Gesture Recognition with Soft Real-Time Guarantees  - Slides
  • Thierry Renaux, Lode Hoste, Stefan Marr and Wolfgang De Meuter - Vrije Universiteit Brussel (Belgium)   

• A Relational Trace Logic for Simple Hierarchical Actor-Based Component Systems  -  Slides
  • Ilham W. Kurnia and Arnd Poetzsch-Heffter - University of Kaiserslautern (Germany)

• Timed-Rebeca Schedulability and Deadlock-Freedom Analysis Using Floating-Time Transition System  -  Slides
  • Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani and Mohammad-Javad Izadi - Tehran University (Iran), Reykjavik University (Iceland)

15:00 - 15:30 - Coffee Break

15:30 - 17:00 - Research Paper and Discussion Session V 

• Actor Idioms  Slides
  • Dale Schumacher - United States

• Research directions for Agent, Actor and Decentralized Control: panel and open discussion

17:00 - SPLASH Poster session with one poster about AGERE! summary & contributions