[TYPES/announce] AGERE! @ SPLASH 2013 - Final CFP

Alessandro Ricci a.ricci at unibo.it
Mon Aug 5 03:23:08 EDT 2013


3rd Int. Workshop on Programming based on  Actors, Agents, and Decentralized Control


- Abstracts:   August 11, 2013
- Papers:     August 18, 2013


ACM SIGPLAN sponsored Workshop held at SPLASH Conference

Indianapolis, Indiana (US)
October 27-28, 2013

=====  Introduction

ă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.

The workshop is designed to cover both the theory and the practice of design
and programming, bringing together researchers working on the models,
languages and  technologies, and practitioners developing real-world systems
and applications.
The proceedings of the workshop will be published on the ACM Digital Library,
as an official ACM SIGPLAN publication.

Topics include (but are not limited to):

- Ideas, concepts, formalization of the computation and programming models
  for concurrent objects, actors, agents and decentralized control Programming
- Theory and practice of programming languages based on actors/concurrent
  objects/agents (typing, modularity, mechanism for extensibility, reuse, etc)
- Libraries, frameworks and platform based on actors, concurrent objects,
  agents and high-level paradigms for concurrent/distributed/asynchronous
- Programming techniques
- Actor-based / agent-based programming idioms
- Integration with mainstream languages and technologies
- Design principles underlying relevant paradigms and bridging the gap between
  design and programming
- Design patterns for actor/agent based systems
- Theory and tools about testing, debugging, profiling, verifying and validating
  software systems based on such paradigms
- Design and development of real-world applications
- Experiences and reflections about using these paradigms in teaching
  programming (concurrent, distributed - but not only)
===== Contributions

AGERE! welcomes three kinds of contributions:

- Full papers

 Length up to 10 pages (ACM format).  These papers should present new previously
 unpublished research in one or more of the topics identified above.

- Short papers & position papers

 Length up to 4 pages (ACM format).  These papers should introduce a contribution
 (an idea, a viewpoint, an argument, work in progress...) which may be in its initial
 stage and not fully developed but which is worth being presented given its relevance
 to the AGERE! topics, to trigger discussions and interactions.

- Reviews & surveys:

 Length up to 10 pages (ACM format).  These papers should provide a good synthesis
 and reflections about some aspect (specific or general) relevant to topics of the
 workshop, contributing to discussions on the state of the art and open issues.

- Demos:

 Length up to 4 pages (ACM format).  These contributions should be about a
 technology/system to be demonstrated during the workshop.

=====  Important dates and submission


- Abstracts:   August 11, 2013
- Papers:     August 18, 2013

Papers can be submitted here:


in PDF format. Submissions should use the ACM format, following the guidelines in

===== Organization and Committees


Nadeem Jamali, University of Saskatchewan, Canada
Gera Weiss,  Ben Gurion University of Negev, Israel
Alessandro Ricci, University of Bologna, Italy
Akinori Yonezawa, Riken Advanced Institute of Computational Science, Kobe, Japan

Steering Committee

Gul Agha, University of Illinois-Urbana, US
Rafael Bordini, FACIN-PUCRS, Brazil
Alessandro Ricci, University of Bologna, Italy
Assaf Marron, Weizmann Institute of Science, Israel

Program Committee

Philipp Haller, Typesafe, Switzerland
Marjan Sirjani, Reykjavik University, Iceland
Tom Van Cutsem, Vrije Universiteit, Belgium
Arnd Poetzsch-Heffter, University of Kaiserslautern
Wolfgang De Meuter, Vrije Universiteit, Belgium
Carlos Varela, Rensselaer Polytechnic Institute, US
Assaf Marron, Weizmann Institute of Science, Israel
Olaf Owe, University of Oslo, Norway
Rafael Bordini, FACIN-PUCRS, Brazil
Birna van Riemsdijk, TUDelft, The Netherlands
Amal El Fallah Segrouchni, LIP6, Paris
Giovanni Rimassa, Whitestein, Switzerland
Mirko Viroli, Università di Bologna, Italy
Yoshiki Ohshima, VPRI, US

===== AGERE! @ SPLASH 2013

More information about the Types-announce mailing list