[TYPES/announce] CFP: AGERE! @ SPLASH 2012 - Programming based on Actors, Agents and Decentralized Control

Alessandro Ricci a.ricci at unibo.it
Mon Jun 4 10:02:25 EDT 2012


                       CALL FOR PAPERS

                     AGERE! @ SPLASH 2012

         2nd Int. Workshop on Programming based on
         Actors, Agents, and Decentralized Control

        Workshop held at the ACM SPLASH Conference 2012
                      Tucson, Arizona (US)
                        October 22, 2012

                http://agere2012.apice.unibo.it

Deadlines:

Abstracts       August 5, 2012
Papers          August 12, 2012
+ special issue in Science of Computer Programming

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

The AGERE! workshop is 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 control 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 first edition of AGERE! was organized in SPLASH 2011, drawing
significant interest and attendance (see program at
http://agere2011.apice.unibo.it). The workshop is now scheduled to
take place also at SPLASH 2012 and, related to this event, a special
issue on the journal Science of Computer Programming is scheduled for
the end of the year.

=== Organizers

Gul Agha, University of Illinois at Urbana-Champaign, USA
Rafael  H. Bordini, FACIN–PUCRS, Brazil
Assaf Marron, Weizmann Institute of Science, Israel
Alessandro Ricci, University of Bologna, Italy (ref: a.ricci at unibo.it)

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

Gul Agha, University of Illinois at Urbana-Champaign, USA
Joe Armstrong,  SICS / Ericsson, Sweden
Saddek Bensalem, Verimag, France
Rafael  H. Bordini, FACIN–PUCRS, Brazil
Gilad Braha, Google, USA
Rem Collier, UCD, Dublin
Tom Van Cutsem,  Vrije Universiteit, Brussel, Belgium
Amal El Fallah Seghrouchni,  LIP6 - Univ. P and M. Curie, Paris, France
Jurgen Dix, Technical University of Clausthal, Germany
Tom Holvoet, Dept. Computer Science K.U.Leuven, Belgium
Assaf Marron, Weizmann Institute of Science, Israel
Jens Palsberg, UCLA, Los Angeles, USA
Ravi Pandya, Microsoft, USA
Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
Alessandro Ricci, University of Bologna, Italy
Birna van Riemsdijk, Delft University of Technology, The Netherlands
Giovanni Rimassa, Whitestein Technologies, Switzerland
Gera Weiss, Ben Gurion University, Israel
Guy Wiener, HP, Israel
Akinori Yonezawa, University of Tokyo, Japan University, Japan
...

=== Main topics

The topics of interest for the workshop include:

- Programming languages and frameworks
+ theory and practice about languages and frameworks based on agents,
actors, and decentralized control.

- Foundations
+ ideas, concepts, formalization of the computation and programming
models for agents, actors and decentralized control.

- Design
+ design principles underlying the paradigms and bridging the gap
between design to programming

- 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
(concurrent and distributed) programming

=== Contributions & deadlines

AGERE! welcomes three kinds of contributions:

- full-papers
+ length up to 12 pages; covering new research, per the above topics,
not previously published.

- short-papers & position papers
+ length up to 4 pages, these papers are meant to 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 to be presented given its relevance to
the AGERE! topics, triggering discussions and interactions.

- reviews & surveys
+ up to 12 pages, these papers are meant to provide a good synthesis
& reflections about some aspect (specific or general) which is
relevant for the workshop, contributing then to workshop
discussions on the state of the art and open issues

- demo
+ length up to 4 pages, these contributions are about a
technology/system that will be demonstrated during the workshop.

Deadlines:

Abstracts     August 5, 2012
Papers (*)    August 12, 2012

Papers can be submitted at

  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.

(*) including full-papers, short/position papers, reviews & surveys,
 demo papers

=== Publication channels

Accepted papers (full, short/position, surveys/reviews, demo) will be
included in the ACM DL proceedings after the conference.

Besides, a selected set of papers will be invited to be extended and
included in a special issue which is being organized for the end of
the year in the journal Science of Computer Programming.  The special
issue will be about actor-oriented and agent-oriented programming, and
- more generally - on programming systems, languages, and applications
based on actors, agents, and decentralized control abstractions.

Read more at the AGERE! web site: http://agere2012.apice.unibo.it

=== SELECTED BIBLIOGRAPHY

* To “set the frequency”

[1] Actors and Agents as Programming Paradigms - An Overview. AGERE!
 2011 introductory talk. A. Ricci.
 http://apice.unibo.it/xwiki/bin/download/AGERE/WebHome/opening.pdf

[2] H. Sutter and J. Larus. Software and the concurrency revolution.
 ACM Queue: Tomorrow’s Computing Today, 3(7):54–62, Sept. 2005.

[3] M. Resnick. Turtles, Termites and Traffic Jams. Explorations in
 Massively Parallel Microworlds. MIT Press, 1994.

[4] A. Kay. Programming and programming languages, 2010. VPRI Research
 Note RN-2010-001.

[5] Howell R. Jordan, Goetz Botterweck, Marc-Philippe Huget, Rem
 Collier: A feature model of actor, agent, and object programming
 languages. SPLASH Workshops 2011: 147-158

* Actors & OO Concurrent Programming approaches

[1] G. Agha. Actors: a model of concurrent computation in distributed
 systems. MIT Press, Cambridge, MA, USA, 1986.

[2] C. Hewitt. Viewing control structures as patterns of passing
 messages. Artif. Intell., 8(3):323–364, 1977.

[3] G. Agha, I. A. Mason, S. Smith, and C. Talcott. A Foundation for
 Actor Computation.  Journal of Functional Programming, 7(01):1–72,
 1997.

[4] J.P. Briot, R. Guerraoui, and K.P. Lohr. Concurrency and
 distribution in object-oriented programming. ACM Comput. Surv.,
 30(3):291–329, 1998.

[5] G. Agha. Concurrent object-oriented programming. In in
 Communications of the ACM, Association for Computing Machinery,
 vol. 33, no. 9, pp 125-141, September, 1990.

[6] G. Agha, P. Wegner, and A. Yonezawa, editors. Research directions
 in concurrent object-oriented programming. MIT Press, Cambridge,
 MA, USA, 1993.

[7] R. K. Karmani, A. Shali, and G. Agha. Actor frameworks for the JVM
 platform: a comparative analysis.  In PPPJ ’09: Proceedings of the
 7th International Conference on Principles and Practice of
 Programming in Java, pages 11–20, New York, NY, USA, 2009. ACM.

[8] A. Yonezawa, editor. ABCL: an object-oriented concurrent
 system. MIT Press, Cambridge, MA, USA, 1990.

[9] J. Armstrong. Erlang. Commun. ACM, 53(9):68–75, 2010.

[10] J. Schafer and A. Poetzsch-Heffter. Jcobox: generalizing ¨active
  objects to concurrent components. In Proceedings of the 24th
  European conference on Object-oriented programming, ECOOP’10,
  pages 275–299, Berlin, Heidelberg, 2010. Springer-Verlag.

[11] P. Haller and M. Odersky. Scala actors: Unifying thread-based and
  event-based programming. Theoretical Computer Science, 2008.

[12] T. Van Cutsem: AmbientTalk: modern actors for modern
  networks. SPLASH Workshops 2011: 227-230

[13] M. S. Miller, Eric Dean Tribble, Jonathan S. Shapiro: Concurrency
  Among Strangers. TGC 2005: 195-229

* Agents and Agent-Oriented Programming

[1] J. J. Odell. Objects and agents compared. Journal of Object
 Technology, 1(1):41–53, 2002.

[2] N. R. Jennings. An agent-based approach for building complex
 software systems.  Commun. ACM, 44(4):35–41, 2001.

[3] Y. Shoham. Agent-oriented programming. Artificial Intelligence,
 60(1):51–92, 1993.

[4] R. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni,
 editors.  Multi-Agent Programming Languages, Platforms and
 Applications. Volume 1 (2005) and 2 (2009). Springer.

[5] A. Ricci, A. Santi. Designing a General-Purpose Programming
 Language based on Agent-Oriented Abstractions: The simpAL
 Project. SPLASH Workshops 2011: 159-170

[6] M. D. Travers. Programming with Agents: New metaphors for thinking
 about computation.  Massachusetts Institute of Technology, 1996.

[7] R. Bordini, J. Hubner, and M. Wooldridge. Programming Multi-Agent
 Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd, 2007.

[8] M. Dastani. 2apl: a practical agent programming
 language. Autonomous Agents and Multi-Agent Systems,
 16(3):214–248, 2008.

[9] K. V. Hindriks. Programming rational agents in GOAL. In
 R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni,
 editors, Multi-Agent Programming: Languages, Platforms and
 Applications (2nd volume), pages 3–37. Springer-Verlag, 2009.

[10] F. Bellifemine, G. Caire, A. Poggi, G. Rimassa: JADE: A software
  framework for developing multi-agent applications. Lessons
  learned. Information & Software Technology 50(1-2): 10-21 (2008)

[11] N. Howden, R. Ronnquist, A. Hodgson, and A. Lucas. JACK
  intelligent agentsTM — summary of an agent infrastructure. In
  Proceedings of Second International Workshop on Infras- tructure
  for Agents, MAS, and Scalable MAS, held with the Fifth
  International Conference on Autonomous Agents (Agents 2001),
  2001.

[12] Sean Edward Russell, Howell R. Jordan, Gregory M. P. O'Hare, Rem
  W. Collier: Agent Factory: A Framework for Prototyping
  Logic-Based AOP Languages. MATES 2011: 125-136

[13] A. Pokahr, L. Braubach, Kai Jander: Unifying Agent and Component
  Concepts: Jadex Active Components. MATES 2010: 100-112

* Other Decentralized Control Programming Approaches

[1] D. Harel, Assaf Marron, Gera Weiss: Programming Coordinated
 Behavior in Java. ECOOP 2010: 250-274

[2] S. Bliudze and J. Sifakis. A notion of glue expressiveness for
 component-based systems. CONCUR, 2008.

[3] D. Harel, Assaf Marron, Guy Wiener, Gera Weiss: Behavioral
 programming, decentralized control, and multiple time
 scales. AGERE! @ SPLASH Workshops 2011: 171-182

LA RICERCA C’È E SI VEDE:
5 per mille all'Università di Bologna - C.F.: 80007010376
http://www.unibo.it/5permille

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


More information about the Types-announce mailing list