[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CFP: AGERE! @ SPLASH 2014 - http://soft.vub.ac.be/AGERE14 4th Int. ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control - held at SPLASH Conference Portland, Oregon (US) - October 20, 2014 New deadlines: - Full-paper abstract deadline: August 10, 2014 - Full-paper deadline: August 17, 2014 - Position/work-in-progress papers: September 7, 2014 - demos: September 7, 2014 Papers can be submitted here: https://www.easychair.org/conferences/?conf=ageresplash2014 in PDF format. Submissions should use the ACM format, following the guidelines in http://www.sigplan.org/authorInformation.htm. ===== Introduction ===== 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. More info about the specific topics can be found on the AGERE! 2014 website. ===== Contributions ===== The workshop welcomes three main kinds of contributions: (1) mature contributions, to be published on the ACM Digital Library as an official ACM SIGPLAN publication; (2) position papers and work-in-progress contributions, to be discussed during the event and included in the informal proceedings; (3) demos, that will be presented and discussed during the event. Info about the format and the page limits can be found on the AGERE! 2014 website (http://soft.vub.ac.be/AGERE14) A special issue on a reference journal will be organized with the extended and revised version of the best papers accepted and presented to the workshop. This special issue follows a previous one published in Science of Computer Programming, collecting best papers from AGERE! 2011 and 2012. ===== Organization and Committees Organizers and PC chairs: Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Philipp Haller, Typesafe, Switzerland Alessandro Ricci, University of Bologna, Italy Carlos Varela, Rensselaer Polytechnic Institute 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 ===== AGERE! @ SPLASH 2014