AGERE! @ SPLASH 2012 / APICe

1

>First Day (Oct 21, Sunday)

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

50

>Second Day (Oct 22, Monday)

51

52

8:30 - 9:00 Welcome - [[Slides>>attach:opening2nd.pdf]]

53

54

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