AGERE!@SPLASH 2013: Indianapolis, IN, USA

Keynote address

Architectures, mechanisms & applications

Formal methods

Actor interaction

Runtime & performance

Agent-orientation

Keynote address

a service of Schloss Dagstuhl - Leibniz Center for Informatics