ăgo ăgo, ăgis, egi, actum, ăgĕre - latin verb meaning to act, to lead, to do, common root for actors and agents.
The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more naturally think about, design, develop, execute, debug, and profile systems exhibiting different degrees of concurrency, autonomy, decentralization of control, and physical distribution.
AGERE! is an ACM SIGPLAN workshop dedicated to focusing on and developing the research on programming systems, languages and applications based on actors, agents and any related programming paradigm promoting a decentralized mindset in solving problems and in developing systems to implement such solutions.
All stages of software development are considered interesting for the workshop, including requirements, modeling, formalisation, prototyping, design, implementation, tooling, testing, and any other means of producing running software based on actors and agents as first-class abstractions. The scope of the workshop includes aspects that concern both the theory and the practice of design and programming using such paradigms, so as to bring together researchers working on models, languages and technologies, as well as practitioners using such technologies to develop real-world systems and applications.
Official web site: http://soft.vub.ac.be/AGERE14
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 5mDay opening | Opening & Welcome AGERE! | ||
08:35 60mTalk | Upgrade Programming for Mobile Cloud AGERE! Gul Agha University of Illinois at Urbana-Champaign | ||
09:35 25mTalk | Selectors: Actors with Multiple Guarded Mailboxes AGERE! | ||
10:30 - 12:00 | |||
10:30 22mTalk | Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing AGERE! | ||
10:52 22mTalk | Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures AGERE! | ||
11:15 22mTalk | Multiple Inheritance in AgentSpeak(L)-style Programming Languages AGERE! | ||
11:37 22mTalk | From Actor Event-Loop to Agent Control-Loop - Impact on Programming AGERE! Alessandro Ricci University of Bologna | ||
13:30 - 15:00 | |||
13:30 22mTalk | CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications AGERE! | ||
13:52 22mTalk | An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks AGERE! | ||
14:15 22mTalk | Event-based Analysis of Timed Rebeca Models using SQL AGERE! | ||
14:37 22mTalk | Efficient TCTL Model Checking Algorithm for Timed Actors AGERE! | ||
15:30 - 17:00 | |||
15:30 15mTalk | Savina - An Actor Benchmark Suite AGERE! | ||
15:45 5mTalk | Composita: Bringing Order to Agent Communications AGERE! | ||
15:50 5mTalk | Modular Reasoning in Capsule AGERE! | ||
15:55 5mTalk | Supporting Relative Location Constraints in Actor Systems AGERE! | ||
16:00 55mMeeting | Brainstorming & Discussion AGERE! | ||
16:55 5mDay closing | Closing AGERE! | ||
Accepted Papers
Call For Submissions
The Fourth Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE) at SPLASH 2014.
See the following web site for further information on AGERE 2014: http://soft.vub.ac.be/AGERE14/