[ecoop-info] CFP Workshop on Programming based on Actors, Agents, and Decentralized Control

[米澤明憲]

=====  CALL FOR PAPERS

AGERE! @ SPLASH 2013

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

http://agents.usask.ca/agere2013

ACM SIGPLAN sponsored Workshop held at SPLASH Conference 2013
http://splashcon.org/2013/

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:

Foundations
- 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
- programming techniques based on these paradigms
-- programming large scale actor/agent based systems
- actor-based / agent-based programming idioms
- integration with mainstream languages and technologies
Design
- Design principles underlying relevant paradigms and bridging the gap
between
 design and programming
- Design patterns for actor/agent based systems
Validation and verification
- Theory and tools about testing, debugging, profiling, verifying and
validating
 software systems based on such paradigms
Applications
- Design and development of real-world applications
Teaching
- 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

Deadlines:

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

Papers can be submitted here:

https://www.easychair.org/conferences/?conf=ageresplash2012

in PDF format. Submissions should use the ACM format, following the
guidelines in
http://www.sigplan.org/authorInformation.htm.

===== Organization and Committees

Organizers:

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-UFRS, Brazil
Alessandro Ricci, University of Bologna, Italy
Assaf Marron, Weizmann Institute of Science, Israel

Program Committee (partial list, other names are to be confirmed)

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-UFRS, 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

5x1000 AI GIOVANI RICERCATORI
DELL'UNIVERSITÀ DI BOLOGNA
Codice Fiscale: 80007010376
www.unibo.it/Vademecum5permille

Questa informativa è inserita in automatico dal sistema al fine esclusivo
della realizzazione dei fini istituzionali dell’ente.

-- 
Akinori Yonezawa (米澤 明憲） yonezawa at riken.jp
Riken Advanced Institute of Computational Sciences
(理化学研究所 計算科学研究機構） +81-78-940-5572
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20130627/797102f2/attachment.html