CfParticipation: ProMAS @ AAMAS-2011

[Rafael H Bordini]

(apologies if you receive multiple copies;
  NB: AAMAS-2011 registration now open)


                         ----------------------
                         Call for Participation
                         ----------------------

                    Ninth International Workshop on
              Programming Multi-Agent Systems (ProMAS'11)
                   <http://inf.ufrgs.br/promas2011/>

            ProMAS'11 is a satellite workshop at AAMAS 2011
                      Taipei, Taiwan, 2-6 May 2011
                       <http://www.aamas2011.tw/>


The ProMAS workshop series has produced, throughout this decade, a
number of solid contributions towards programming languages and
development tools that are appropriate for the development of complex
autonomous systems that operate in dynamic environments. With
applications of autonomous software (e.g., UAVs, companion robots,
ambient intelligence, and semantic applications, to name just a few)
becoming required with wide commercial interest, it is imperative to
support the ever more complex task of professional programmers of
multi-agent systems. Importantly, such languages and tools must be
developed in a principled but practical way. ProMAS aims to address
both theoretical and practical issues related to developing and
deploying multi-agent systems.


Workshop Programme
------------------


09:00–10:30    First Session
============================

09:00–09:30    Workshop Opening

09:30–10:30    Invited Talk
"Towards a Framework for Programming Social Intelligence"
Pablo Noriega -- IIIA-CSIC, Spain
<http://www.iiia.csic.es/~pablo/>


10:30–11:00    Coffee Break


11:00–12:00    Foundations of Agent Programming Languages
=========================================================

"Logical Foundations for a Rational BDI Agent Programming Language
  (Extended Version)"
Shakil M. Khan and Yves Lespérance

"A Coupled Operational Semantics for Goals and Commitments"
Pankaj R. Telang, Neil Yorke-Smith, and Munindar P. Singh


12:00–13:00    Applying (Multi-)Agent Oriented Programming
==========================================================

"Developing a Knoweldge Management Multi-Agent System Using JaCoMo"
Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti, and Maria
R. Galli

"Notes on Pragmatic Agent-Programming with Jason"
Radek Pibil, Peter Novák, Cyril Brom, and Jakub Gemrot


13:00–14:00    Lunch


14:00–15:30    Programming Languages and Platforms
==================================================

"The Agent Programming Language Meta-APL"
Thu Trang Doan, Natasha Alechina, and Brian Logan

"BDI4JADE: a BDI Layer on Top of JADE"
Ingrid Nunes, Carlos J. P. de Lucena, and Michael Luck

"Integrating Expectation Handling into Jason"
Surangika Ranathunga, Stephen Cranefield, and Martin Purvis


15:30–16:00    Coffee Break


16:00–17:30    Model Checking
=============================

"Abstraction for Model Checking Modular Interpreted Systems over ATL"
Michael Köster and Peter Lohmann

"MAS: Qualitative and Quantitative Reasoning"
Ammar Mohammed and Ulrich Furbach

"State Space Reduction for Model Checking Agent Programs"
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, and M. Birna van Riemsdijk


17:30–18:00    Final Session
============================

17:30–17:50    Multi-Agent Programming Contest (Announcement)
                Tristan Behrens, Jürgen Dix, Jomi Hübner,
                Michael Köster, and Federico Schlesinger

17:50–18:00    Workshop Close



Programme Committee
-------------------

Matteo Baldoni (Italy)             John-Jules Meyer (Netherlands)
Juan Botia (Spain)                 Jörg Müller (Germany)
Lars Braubach (Germany)            Andrea Omicini (Italy)
Rem Collier (Ireland)              Agostino Poggi (Italy)
Ian Dickinson (UK)                 Alexander Pokahr (Germany)
Marc Esteva (Spain)                Alessandro Ricci (Italy)
Michael Fisher (UK)                Birna Van Riemsdijk (Netherlands)
Jorge Gomez-Sanz (Spain)           Ralph Ronnquist (Australia)
Vladimir Gorodetsky (Russia)       Ichiro Satoh (Japan)
Dominic Greenwood (Switzerland)    Michael I. Schumacher (Switzerland)
James Harland (Australia)          Munindar Singh (USA)
Koen Hindriks (Netherlands)        Tran Cao Son (USA)
Benjamin Hirsch (Germany)          Patrick Taillibert (France)
Jomi Hübner (Brazil)               Paolo Torroni (Italy)
João Leite (Portugal)              Jørgen Villadsen (Denmark)
Brian Logan (UK)                   Gerhard Weiss (Netherlands)
Viviana Mascardi (Italy)           Michael Winikoff (New Zealand)
Philippe Mathieu (France)          Neil Yorke-Smith (USA)


Organising Committee
--------------------

- Olivier Boissier (Ecole des Mines de St Etienne, France)
- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Louise Dennis (University of Liverpool, UK)


Steering Committee
------------------

- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Mehdi Dastani (Utrecht University, Netherlands)
- Juergen Dix (Clausthal University of Technology, Germany)
- Amal El Fallah Seghrouchni (University of Paris VI, France)