WLIAMAS: Workshop on Logics for Intelligent Agents and Multi-agent Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
WLIAMAS 2010 The 3rd Workshop on Logics for Intelligent Agents and Multi-Agent Systems
Aug 31, 2010 - Sep 3, 2010 Toronto, Canada Apr 16, 2010
WLIAMAS 2009 The 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems
Sep 15, 2009 - Sep 18, 2009 Milano, Italy Apr 30, 2009
 
 

Present CFP : 2010

Workshop Aims:
This is the third Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2010). The inaugural Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) was held in conjunction with WI-IAT 2008 in Sydney, Australia in December 2008. The second Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009) was held in conjunction with WI-IAT 2009 in Milan, Italy in September 2009.

This workshop series will focus on latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency. This workshop in particular aims at bringing together researchers from the fields of modal logics, theoretical computer science and multi-agent systems as well as researchers who are interested in building agent-based systems that could draw inspiration from various forms of modal logics. Therefore, at this workshop, we expect to create a lively discussion and exchange medium for developers and practitioners of agent-based systems and researchers who are interested in formal models of agency.

Workshop Organisers:
Guido Governatori (NICTA)
Chuchang Liu (DSTO)
Mehmet Orgun (Macquarie University)
Mark Reynolds (The University of Western Australia )
Antonino Rotolo (University of Bologna)
Abdul Sattar (Griffith University)
Leon van der Torre (University of Luxembourg)
Program Committee (To be confirmed):
Thomas Ågotnes (Bergen University College)
Grigoris Antoniou (FORTH)
Matteo Baldoni (Università degli Studi di Torino)
Guido Boella (Università di Torino)
Jan Broersen (Universiteit Utrecht)
Samir Chopra (City University of New York)
Mehdi Dastani (Utrecht University )
Hans van Ditmarsch (University of Otago)
Patrick Doherty (Linköping University)
Michael Fisher (University of Liverpool)
Tim French (The University of Western Australia )
Dov M Gabbay (King's College London)
Manolis Gergatsoulis (Ionian University)
Aditya Ghose (University of Wollongong)
Valentin Goranko (University of the Witwatersrand)
Guido Governatori (The University of Queensland)
Andreas Herzig (IRIT)
Zhisheng Huang (Vrije University Amsterdam)
Wojtek Jamroga (Clausthal University of Technology)
Souhila Kaci (CRIL - IUT de Lens)
Jérôme Lang (Institut de Recherche en Informatique de Toulouse (IRIT))
Hong Lin (University of Houston-Downtown)
Chuchang Liu (DSTO)
John Lloyd (Australian National University)
Ji Ma (Griffith University & Macquarie University)
Michael Maher (NICTA)
Mehmet Orgun (Macquarie University)
Vineet Padmanabhan (University of Hyderabad)
Maurice Pagnucco (The University of New South Wales)
Pavlos Peppas (University of Patras)
Mark Reynolds (The University of Western Australia )
Panagiotis Rondogiannis (University of Athens)
Antonino Rotolo (University of Bologna)
Benferhat Salem (CRIL, Université d'Artois)
Abdul Sattar (Griffith University)
Kaile Su (Peking University)
Andrzej Szalas (Linköping University)
Tarmo Uustalu (Tallinn University of Technology)
Leon van der Torre (University of Luxembourg)
Kewen Wang (Griffith University)
Michael Winikoff (University of Otago)
Pınar Yolum (Boğaziçi University)
Dongmo Zhang (University of Western Sydney)
Yan Zhang (University of Western Sydney)
Topics of Interest:

Suggested, but not exclusive, topics of interest for the workshop are:

* algorithms in logics for agent-based systems
* executable logics for agent-based systems
* formal methods for verification of multi-agent systems
* formal approaches to communication, coordination and negotiation
* security, privacy and trust issues in multi-agent systems
* resource-bounded reasoning in agent-based systems
* models for context-awareness and mobility
* decision formation / automation in multi-agent enviornments
* models for dynamic agent-based systems

Publication:
The Workshop proceedings will be published by IEEE Computer Society Press, to be indexed by EI. Further details will be available in due course.

Paper Submission:
For authors who submit their papers to any workshop, please submit through the WI-IAT 2010 Workshop Paper Submission page.

Note that full workshop papers should be limited to a maximum of 4 pages in length in double column format as per IEEE CS conference proceedings style. A maximum of one additional page can be included, but is subject to a surcharge on the conference registration fee.

Detailed submission guidelines are available from http://www.yorku.ca/wiiat10/contributors.php.

Registration:
At least one author of every accepted paper should register for the WI / IAT-2010 conference. There is no separate workshop registration fee (i.e., only one conference registration covers everything).

Important Dates:

* Full paper submission due: April 16, 2010
* Notification of acceptance: June 7, 2010
* Camera-ready copy due: June 21, 2010
* Workshop date: August 31, 2010
* Conference date: September 1-3, 2010

Post-Workshop Activity:
The authors of selected papers from WLIAMAS 2008 were invited to submit an extended and revised version of their papers for possible publication in a special issue of the Journal of Applied Logic (Elsevier).

The authors of selected papers from WLIAMAS 2009 were invited to submit an extended and revised version of their papers for possible publication in a special issue of the Journal of Algorithms in Cognition, Informatics and Logic(currently published by Elsevier).

We may have a similar arrangement for selected papers from WLIAMAS 2010, either in the form of a journal special issue or an edited collection by a major publisher. Watch this space for further details.
 

Related Resources

AAMAS 2017   International Conference on Autonomous Agents and Multiagent Systems
PAAMS 2017   15th International Conference on Practical Applications of Agents and Multi-Agent Systems
EUMAS 2016   14th EUROPEAN CONFERENCE ON MULTI-AGENT SYSTEMS
ICAART 2017   9th International Conference on Agents and Artificial Intelligence
KES-AMSTA-17 / IS04 (AMAT-CMS 2017) 2017   Invited Session on Agent and Multi-Agent Based Technologies in Current and Future Combat and Mission Systems
IoA 2017   The Second International Workshop on the Internet of Agents (IoA)
CARE@AI 2016   The 8th International Workshop on Collaborative Agents Research & Development (CARE) -- CARE for a Smarter Society
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
IEEE-ICCSSE 2017   2017 3rd International Conference on Control Science and Systems Engineering (ICCSSE 2017)--IEEE, Ei Compendex
IoA - 2016   The IEEE/ACM/WIC Workshop on the Internet of Agents