The 3rd International Multi-Conference on
Engineering and Technological Innovation: IMETI 2010
www.sysconfer.org/imeti
========================================================================
June 29-July 2, 2010 ~ Orlando, Florida, USA
========================================================================
Deadlines: Submissions: March 17th, 2010
Notifications of Acceptance: April 28th, 2010
Camera Ready or Final version of Full Papers: May 19th, 2010
************************************************************************
OTHER COLLOCATED EVENTS: Check their web sites for their deadlines
************************************************************************
The SUMMER 4th International Conference on
Knowledge Generation, Communication and Management: KGCM 2010
www.sysconfer.org/kgcm
========================================================================
The 3rd International Symposium on Academic Globalization: AG 2010
www.sysconfer.org/ag
========================================================================
The 2nd International Symposium on Peer Reviewing: ISPR 2010
www.sysconfer.org/ispr
************************************************************************
Participants in any conference can attend the sessions of other collocated conferences, and will receive electronic proceedings, in a CD, which includes the papers presented at all conferences and symposia
Submissions for Face-to-Face or for Virtual Participation are both accepted. Both kinds of submissions will have the same reviewing process and the accepted papers will be included in the same proceedings.
Pre-Conference and Post-conference Virtual sessions (via electronic forums) will be held for each session included in the conference program, so that sessions papers can be read before the conference, and authors presenting at the same session can interact during one week before and after the conference. Authors can also participate in peer-to-peer reviewing in virtual sessions.
All Submitted papers/abstracts will go through three reviewing processes: (1) double-blind (at least three reviewers), (2) non-blind, and (3) participative peer reviews. These three kinds of review will support the selection process of those papers/abstracts that will be accepted for their presentation at the conference, as well as those to be selected for their publication in JSCI Journal.
Authors of accepted papers who registered in the conference can have access to the evaluations and possible feedback provided by the reviewers who recommended the acceptance of their papers/abstracts, so they can accordingly improve the final version of their papers. Non-registered authors will not have access to the reviews of their respective submissions.
Registration fees of an effective invited session organizer will be waived according to the policy described in the web page (click on 'Invited Session', then on 'Benefits for the Organizers of Invited Sessions'), where you can get information about the ten benefits for an invited session organizer.
Authors of the best 10%-20% of the papers presented at the conference (included those virtually presented) will be invited to adapt their papers for their publication in the Journal of Systemics, Cybernetics and Informatics.
IMETI 2010 Organizing Committee
If you wish to be removed from this mailing list, please send an email to remove@mail.sysconfer.org with REMOVE MLCONFERENCES in the subject line. Address: Torre Profesional La California, Av. Francisco de Miranda, Caracas, Venezuela.
Samstag, 27. Februar 2010
Multi-Conference on Engineering and Technological Innovation: IMETI 2010
11th Intl. Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI)
++++++++++++++++++++++++++++++++++++++++++++++++++++
Preliminary Call for Papers
CLIMA XI
11th International Workshop on
Computational Logic in Multi-Agent Systems
with special sessions on:
* Norms and Normative Multi-Agent Systems.
* Logics for Games and Strategic Reasoning.
http://centria.di.fct.unl.pt/events/climaXI/
Lisbon, Portugal, August 16-17, 2010.
Affiliated with ECAI'10.
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
AMAI Special Issue: Selected extended papers will be published in a
Special Issue of Annals of Mathematics and Artificial Intelligence.
++++++++++++++++++++++++++++++++++++++++++++++++++++
The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.
Following the previous ten, very successful, editions, the 11th CLIMA
will be affiliated with ECAI'10 and will take place in Lisbon, Portugal,
on the 16th and 17th of August 2010.
In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:
* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning
We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.
LNCS Proceedings: CLIMA's Proceedings will be published by
Springer as a volume in the Lecture Notes in Computer Science, and
will be available in time for the workshop.
AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to be considered for inclusion
in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence.
Detailed information regarding CLIMA, its topics of interest, the two Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXI/
Important dates:
* Submission: May 7th
* Notification: June 4th
* Camera Ready: June 16th
CLIMA XI Chairs:
* Jürgen Dix, Technical University of Clausthal, Germany
* João Leite, New University of Lisbon, Portugal
Special Session Organisers:
* Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems)
* Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
Games and Strategic Reasoning)
Please send all enquiries about CLIMA XI to clima2010@easychair.org.
Preliminary Call for Papers
CLIMA XI
11th International Workshop on
Computational Logic in Multi-Agent Systems
with special sessions on:
* Norms and Normative Multi-Agent Systems.
* Logics for Games and Strategic Reasoning.
http://centria.di.fct.unl.pt/events/climaXI/
Lisbon, Portugal, August 16-17, 2010.
Affiliated with ECAI'10.
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
AMAI Special Issue: Selected extended papers will be published in a
Special Issue of Annals of Mathematics and Artificial Intelligence.
++++++++++++++++++++++++++++++++++++++++++++++++++++
The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.
Following the previous ten, very successful, editions, the 11th CLIMA
will be affiliated with ECAI'10 and will take place in Lisbon, Portugal,
on the 16th and 17th of August 2010.
In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:
* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning
We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.
LNCS Proceedings: CLIMA's Proceedings will be published by
Springer as a volume in the Lecture Notes in Computer Science, and
will be available in time for the workshop.
AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to be considered for inclusion
in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence.
Detailed information regarding CLIMA, its topics of interest, the two Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXI/
Important dates:
* Submission: May 7th
* Notification: June 4th
* Camera Ready: June 16th
CLIMA XI Chairs:
* Jürgen Dix, Technical University of Clausthal, Germany
* João Leite, New University of Lisbon, Portugal
Special Session Organisers:
* Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems)
* Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
Games and Strategic Reasoning)
Please send all enquiries about CLIMA XI to clima2010@easychair.org.
Freitag, 26. Februar 2010
Eighth German Conference on Multi-Agent System Technologies (MATES 2010)
M A T E S 2 0 1 0 ================================================== Eighth German Conference on Multi-Agent System Technologies September 21 - 23, 2010, Karslruhe, Germany http://www.alg.ewi.tudelft.nl/mates2010 ================================================== FIRST CALL FOR PAPERS ================================================== AIMS & SCOPE The German Conference on Multi-Agent system Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers to present and discuss latest advances in research work as well as prototyped or fielded systems of intelligent agents and multi-agent systems. The conference covers the whole range of agent- and multi-agent technologies and aims to promote its theory and applications. For the eighth time, the German special interest group on Distributed Artificial Intelligence organizes this international conference in cooperation with the steering committee of MATES and thereby continues this successful track of events. Building on the successful predecessors from 2003 to 2009, MATES 2010 will be co-located with the 33st German Conference on Artificial Intelligence (KI 2010) and will take place from September 21 to 24, 2010 in Karlsruhe. The participants of MATES 2010 will also have full access to the concurrently running program of the KI 2010 conference. TOPICS OF INTEREST Topics of interest of MATES 2010 include all aspects of agent-oriented computing and agent technologies. We solicit both basic as well as applied research papers on recent advances in the area of intelligent agents and multi-agent systems in general.
Also papers reporting on the successful application of agent technologies in any kind of domain are very welcome. MATES 2010 encourages especially submissions from recent and emerging areas of interest such as autonomic computing, distributed coordination and robust multi-agent systems. Additionally, we encourage the submission of elaborated vision and challenge papers that discuss mid-term and long-term directions for research and application. Topics of interest for MATES 2010 include, but are not limited to:
- Adaptive agents and multi-agent learning
- Advanced theories of collaboration:
- Modelling and formation of teams, coalitions, groups, and organizations
- Agents and autonomic computing
- Agent and multi-agent architectures
- Agents and peer-to-peer computing
- Agents and pervasive computing
- Agents for Ambient Intelligence
- Agent-based service discovery, matchmaking, brokering, and composition
- Agent communication languages
- Agents for e-business and e-government
- Agent technologies in the context of service-oriented computing and architectures
- Agent to non-agent interoperability
- Agents in novel applications
- Application of agent-technologies in industrial practice
- Artificial social systems: Conventions, norms, institutions; trust and reputation
- Autonomous robots and robot teams
- Commitment, delegation, responsibility, and obligations in artificial and hybrid societies
- Complex systems and their management
- Coordination, negotiation, argumentation, and conflict resolution
- Deployed agent-based business applications
- Hybrid human and agent societies
- User modelling and interface agents
- Embodied conversational actors and believable agents
- Mobile agents
- Model-driven design of multi-agent systems
- Multi-agent planning and scheduling
- Multi-agent platforms and tools
- Multi-agent (social) simulation and (cognitive) modelling with agents
- Practical aspects of programming agent systems: Robustness, fault tolerance, scalability and performance measurement
- Roles and structures, adaptive learning and cognition in organizational models
- Semantics of the dynamics of organizational models
- Standards for agents and multi-agent systems
DOCTORAL MENTORING PROGRAM MATES 2010 will include a doctoral mentoring program, chaired by Ingo Timm, aimed at PhD students at advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. PROCEEDINGS The proceedings of MATES 2010 will appear in the Springer-Verlag series, Lecture Notes in Artificial Intelligence (LNAI). AWARDS MATES will issue a "MATES 2010 Best Paper Award". SUBMISSION DETAILS For the preparation of papers to be submitted, please follow the instructions for authors available at the Springer LNCS Web page:http://www.springer.de/comp/lncs/authors.html The length of each paper, including figures and references, should not exceed 12 pages. Papers that have been accepted or are under review by other conferences or journals are not eligible for submission. However, we encourage interdisciplinary contributions submitted or presented in part to a forum outside of agent technology. The only acceptable document format is PDF. All papers must be written in English. Submissions not conforming to the above requirements may be rejected without review. Papers are to submit by the EasyChair system. Please follow the link: http://www.easychair.org/conferences/?conf=mates2010 Important Dates Submission Deadline: 9. 4. 2010 Notification of Acceptance: 28. 5. 2010 Camera Ready Copy: 11. 6. 2010 Conference Date: 21. 9. 2010 CONFERENCE OFFICIALS Program Co-Chairs: Juergen Dix (TU Clausthal, Germany) Cees Witteveen (TU Delft, The Netherlands) Steering Committee: Hans-Dieter Burkhard (HU Berlin, Germany) Stefan Kirn (U Hohenheim, Germany) Matthias Klusch (DFKI, Germany) Jˆrg P. M¸ller (TU Clausthal, Germany) Rainer Unland (U Essen, Germany) Gerhard Weiss (Maastricht University, The Netherlands) Program Committee: Klaus-Dieter Althoff Federico Bergenti Ralph Bergmann Vicent Botti Lars Braubach Longbing Cao Torsten Eymann Klaus Fischer Maria Ganzha Paolo Giorgini Christian Guttmann Koen Hindriks Benjamin Hirsch Wiebe van der Hoek Stefan Kirn Franziska Klügl Gabriela Lindemann Stefano Lodi Beatriz López Viviana Mascardi Mirjam Minor Daniel Moldt Joerg Mueller Peter Novák Andrea Omicini Sascha Ossowski Marcin Paprzycki Alexander Pokahr Alessandro Ricci Abdel-Badeeh Salem Amal Seghrouchni Ingo Timm Rainer Unland Doctoral Consortium: Ingo Timm (U. Frankfurt, Germany) CONTACTS Juergen Dix Clausthal University of Technology 38678 Clausthal-Zellerfeld Germany Tel: +49 5323 727180 Fax: +49 5323 727189 Email dix"at"tu-clausthal.de Cees Witteveen Delft University of Technology Dept. of Software Technology Tel. +31-15-2782521 Fax. +31-15-2786632 Email: C.Witteveen"at"tudelft.nl
BIONETICS 2010 - Call for Workshop Proposals
http://www.bionetics.org Boston, Massachusetts, December 1-3, 2010 Sponsored by ICST Technical cooperation with Create-Net BIONETICS 2010, the 5th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems, is soliciting proposals for one-day and half-day workshops. These workshops should address emerging research directions, specific topics and interdisciplinary themes in the field of bio-inspired network, information and computing systems. Workshop proposals should be submitted via email to the Workshop Chair Marc Pomplun (marc at cs.umb.edu), and should include: - Name of the proposed workshop - Tentative theme, scope and topic areas of interest - Tentative list of workshop organizers and program committee members - Preliminary plan for workshop organization, such as paper solicitation, paper selection and time frame. BIONETICS workshops will be co-located at the BIONETICS conference. Workshop papers will be published in the BIONETICS proceedings published by Springer. Important Dates: Workshop proposal due: May 7 Notification of proposal acceptance: May 14 Workshop paper due: September 10 (approx.) Paper notification: September 24 (approx.) Camera ready paper due: October 10 Workshop Date: December 1-3
Donnerstag, 25. Februar 2010
4th International Conference on Web Reasoning and Rule Systems (RR 2010)
4th International Conference on Web Reasoning and Rule Systems (RR 2010)
Call for Papers
Bressanone/Brixen, Italy
September 22-24, 2010
http://www.rr-conference.org/RR2010
Co-located with the Italian Workshop on Semantic Web Applications
and Perspectives (SWAP) 2010.
The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results concerning
Web Reasoning and Rule Systems. RR 2010 builds on the success of the
first three International Conferences on Web Reasoning and Rule Systems
(see http://www.rr-conference.org), held in Innsbruck, Austria (2007),
Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which
received enthusiastic support from the Web Reasoning community. In 2010,
RR will continue the excellence of the new series and aim to attract
the best Web Reasoning and Rules researchers from all over the world.
Suggested topics include the following (but are not limited to):
* Representation techniques for Web-based knowledge
* Acquisition of rules and ontologies by knowledge extraction
* Combining open and closed-world reasoning
* Combining rules and ontologies
* Design and analysis of reasoning languages
* Efficiency and benchmarking
* Implemented tools and systems
* Foundations and applications related to relevant standardization
bodies such as the W3C Rule Interchange Format (RIF), Web
Ontology Language (OWL2) and SPARQL working groups, or the
W3C Uncertainty Reasoning for the WWW Incubator Group, etc.
* Ontology usability
* Ontology languages and their relationships
* Querying and optimization
* Rules and ontology management (such as inconsistency handling
and evolution)
* Reasoning with uncertainty and under inconsistency
* Reasoning with constraints
* Rule languages and systems
* Rule interchange formats and Rule markup languages
* Scalability vs. expressivity of reasoning on the Web
* Approximate reasoning techniques for the Web
* Integration of statistical methods and symbolic reasoning
* Stream reasoning
* Semantic Web Services modeling and applications
* Web and Semantic Web applications and experience papers
PUBLICATION
The proceedings will be published by Springer in the Lecture Notes
in Computer Science (LNCS) series (acceptance pending) and will
be available at the conference. After the conference, there will
be a special issue of the (new IOS Press) journal "Semantic Web
- Interoperability, Usability, Applicability" with selected
papers from the conference.
SUBMISSION OF PAPERS
Submissions must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science (see
http://www.springer.com/comp/lncs/Authors.html), and
must be in PDF format. Submission is via EasyChair
(http://www.easychair.org/conferences/?conf=rr2010).
The length should not exceed 15 pages for full papers,
9 pages for short papers, 4 pages for posters, and 6 pages
for system descriptions (for system demos at the conference).
The stated lengths include title, abstract, and references.
Short papers, posters, and system descriptions should be
clearly marked as such in the title and in the easychair
submission system. Submissions that deviate substantially
from these guidelines may be rejected without review.
Original research and application papers are welcome;
submissions will especially be judged for originality and
scientific quality. All accepted papers, posters, and
system descriptions will be included in the proceedings.
IMPORTANT DATES
Abstract submission deadline: May 15, 2010
Paper/poster/demo submission deadline: May 22, 2010
Paper/poster/demo accept/reject decisions: June 24, 2010
Camera-ready due: July 15, 2010
Last day for early registration fee: July 15, 2010
CONFIRMED INVITED SPEAKERS
Georg Gottlob (Oxford University, UK)
GENERAL CHAIR
José Júlio Alferes (Universidade Nova de Lisboa, Portugal)
PROGRAM CHAIRS
Pascal Hitzler (Wright State University, USA)
Thomas Lukasiewicz (Oxford University, UK)
LOCAL ARRANGEMENTS
Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy)
SPONSORSHIP CHAIR
Krzysztof Janowicz (Pennsylvania State University, USA)
PROGRAM COMMITTEE
Grigoris Antoniou (University of Crete, Greece)
Marcelo Arenas (PUC Chile, Chile)
Jie Bao (Rensselaer Polytechnic Institute, USA)
Chitta Baral (Arizona State University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Andrea Calì (Oxford University, UK)
Vinay Chaudri (Stanford Research Institute, USA)
Kendall Clark (Clark & Parsia, USA)
Claudia d'Amato (University of Bari, Italy)
Carlos Damasio (Universidade Nova de Lisboa, Portugal)
Wlodek Drabent (IPI PAN Warszawa, Poland)
Sergio Flesca (University of Calabria, Italy)
Christine Golbreich (University of Versailles Saint-Quentin, France)
Claudio Gutierrez (University of Chile, Chile)
Stijn Heymans (TU Vienna, Austria)
Rinke Hoekstra (VU Amsterdam, The Netherlands)
Giovambattista Ianni (University of Calabria, Italy)
Krzysztof Janowicz (Pennsylvania State University, USA)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Francesca A. Lisi (University of Bari, Italy)
Gergely Lukácsy (DERI Galway, Ireland)
Jan Maluszynski (University of Linköping, Sweden)
Wolfgang May (University of Göttingen, Germany)
Ralf Möller (TU Hamburg, Germany)
Boris Motik (Oxford University, UK)
Wolfgang Nejdl (LS3 and University of Hannover, Germany)
Matthias Nickles (University of Bath, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Sebastian Rudolph (University of Karlsruhe, Germany)
Alan Ruttenberg (ScientificCommons, Switzerland)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Heiner Stuckenschmidt (University of Mannheim, Germany)
Terrance Swift (SUNY Stony Brook, USA)
Sergio Tessaris (Free University of Bozen, Italy)
Dirk Vermeir (University of Brussels, Belgium)
Zhe Wu (Oracle, USA)
FURTHER INFORMATION
For further information refer to the RR 2010 web site at
http://www.rr-conference.org/RR2010
Call for Papers
Bressanone/Brixen, Italy
September 22-24, 2010
http://www.rr-conference.org/RR2010
Co-located with the Italian Workshop on Semantic Web Applications
and Perspectives (SWAP) 2010.
The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results concerning
Web Reasoning and Rule Systems. RR 2010 builds on the success of the
first three International Conferences on Web Reasoning and Rule Systems
(see http://www.rr-conference.org), held in Innsbruck, Austria (2007),
Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which
received enthusiastic support from the Web Reasoning community. In 2010,
RR will continue the excellence of the new series and aim to attract
the best Web Reasoning and Rules researchers from all over the world.
Suggested topics include the following (but are not limited to):
* Representation techniques for Web-based knowledge
* Acquisition of rules and ontologies by knowledge extraction
* Combining open and closed-world reasoning
* Combining rules and ontologies
* Design and analysis of reasoning languages
* Efficiency and benchmarking
* Implemented tools and systems
* Foundations and applications related to relevant standardization
bodies such as the W3C Rule Interchange Format (RIF), Web
Ontology Language (OWL2) and SPARQL working groups, or the
W3C Uncertainty Reasoning for the WWW Incubator Group, etc.
* Ontology usability
* Ontology languages and their relationships
* Querying and optimization
* Rules and ontology management (such as inconsistency handling
and evolution)
* Reasoning with uncertainty and under inconsistency
* Reasoning with constraints
* Rule languages and systems
* Rule interchange formats and Rule markup languages
* Scalability vs. expressivity of reasoning on the Web
* Approximate reasoning techniques for the Web
* Integration of statistical methods and symbolic reasoning
* Stream reasoning
* Semantic Web Services modeling and applications
* Web and Semantic Web applications and experience papers
PUBLICATION
The proceedings will be published by Springer in the Lecture Notes
in Computer Science (LNCS) series (acceptance pending) and will
be available at the conference. After the conference, there will
be a special issue of the (new IOS Press) journal "Semantic Web
- Interoperability, Usability, Applicability" with selected
papers from the conference.
SUBMISSION OF PAPERS
Submissions must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science (see
http://www.springer.com/comp/lncs/Authors.html), and
must be in PDF format. Submission is via EasyChair
(http://www.easychair.org/conferences/?conf=rr2010).
The length should not exceed 15 pages for full papers,
9 pages for short papers, 4 pages for posters, and 6 pages
for system descriptions (for system demos at the conference).
The stated lengths include title, abstract, and references.
Short papers, posters, and system descriptions should be
clearly marked as such in the title and in the easychair
submission system. Submissions that deviate substantially
from these guidelines may be rejected without review.
Original research and application papers are welcome;
submissions will especially be judged for originality and
scientific quality. All accepted papers, posters, and
system descriptions will be included in the proceedings.
IMPORTANT DATES
Abstract submission deadline: May 15, 2010
Paper/poster/demo submission deadline: May 22, 2010
Paper/poster/demo accept/reject decisions: June 24, 2010
Camera-ready due: July 15, 2010
Last day for early registration fee: July 15, 2010
CONFIRMED INVITED SPEAKERS
Georg Gottlob (Oxford University, UK)
GENERAL CHAIR
José Júlio Alferes (Universidade Nova de Lisboa, Portugal)
PROGRAM CHAIRS
Pascal Hitzler (Wright State University, USA)
Thomas Lukasiewicz (Oxford University, UK)
LOCAL ARRANGEMENTS
Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy)
SPONSORSHIP CHAIR
Krzysztof Janowicz (Pennsylvania State University, USA)
PROGRAM COMMITTEE
Grigoris Antoniou (University of Crete, Greece)
Marcelo Arenas (PUC Chile, Chile)
Jie Bao (Rensselaer Polytechnic Institute, USA)
Chitta Baral (Arizona State University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Andrea Calì (Oxford University, UK)
Vinay Chaudri (Stanford Research Institute, USA)
Kendall Clark (Clark & Parsia, USA)
Claudia d'Amato (University of Bari, Italy)
Carlos Damasio (Universidade Nova de Lisboa, Portugal)
Wlodek Drabent (IPI PAN Warszawa, Poland)
Sergio Flesca (University of Calabria, Italy)
Christine Golbreich (University of Versailles Saint-Quentin, France)
Claudio Gutierrez (University of Chile, Chile)
Stijn Heymans (TU Vienna, Austria)
Rinke Hoekstra (VU Amsterdam, The Netherlands)
Giovambattista Ianni (University of Calabria, Italy)
Krzysztof Janowicz (Pennsylvania State University, USA)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Francesca A. Lisi (University of Bari, Italy)
Gergely Lukácsy (DERI Galway, Ireland)
Jan Maluszynski (University of Linköping, Sweden)
Wolfgang May (University of Göttingen, Germany)
Ralf Möller (TU Hamburg, Germany)
Boris Motik (Oxford University, UK)
Wolfgang Nejdl (LS3 and University of Hannover, Germany)
Matthias Nickles (University of Bath, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Sebastian Rudolph (University of Karlsruhe, Germany)
Alan Ruttenberg (ScientificCommons, Switzerland)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Heiner Stuckenschmidt (University of Mannheim, Germany)
Terrance Swift (SUNY Stony Brook, USA)
Sergio Tessaris (Free University of Bozen, Italy)
Dirk Vermeir (University of Brussels, Belgium)
Zhe Wu (Oracle, USA)
FURTHER INFORMATION
For further information refer to the RR 2010 web site at
http://www.rr-conference.org/RR2010
AAMAS-2010 Call for Registration
NINTH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS-2010) http://www.cse.yorku.ca/AAMAS2010/ May 10 - 14, 2010 Toronto, Canada Registration is now open, at http://www.aaai.org/Forms/torontoregistration-form.php !!!EARLY REGISTRATION: 12 March 2010!!! You can find a preliminary conference schedule at http://www.cse.yorku.ca/AAMAS2010/ or go directly to http://www.csc.liv.ac.uk/~wiebe/AAMAS/timetable.shtml --------------------------------------------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. This year, AAMAS-2010 has joined forces with DL, FOIS, ICAPS, KR, and NMR. This has materialized in the possibility to register for events jointly, and at AAMAS there will be KR/AAMAS and ICAPS/AAMAS paper sessions, as well as combined invited talk sessions. PROGRAM: The list of accepted long and short papers is available through the website (see above) Among the invited talks are KR/AAMAS talk: Ron Brachman and Hector Levesque: Great moments in KR ICAPS/AAMAS talk: Daniele Nardi: Robotic Agents for Disaster Response Robotics On top of this, the program will include talks of winners of the ACM/SIGART Award and the IFAAMAS Dissertation Award, demos, posters of all accepted papers, an industrial track session, sessions on virtual agents, and many others. While the main conference program is on 12, 13 and 14 May, there are also possibilities to attend 13 tutorials, 30 workshops and a doctoral training consortium for PhD students on the days before. See you in Toronto! Wiebe van der Hoek
Knowledge Engineering Review
%%%%%%%%%%%%%%%%%%%% The Knowledge Engineering Review -- Cambridge University Press -- **NEW** Call for Tutorial Papers %%%%%%%%%%%%%%%%%%%% The Knowledge Engineering Review (KER) seeks to publish high-quality tutorials on various topics related to Artificial Intelligence and knowledge-based systems. All contributions within the scope of the journal are welcome. Tutorial papers fill a gap in the literature by addressing timely topics for which a book-length account is still premature (e.g. because the area is developing too rapidly). As such, tutorials play an important role in developing and promoting new ideas. Tutorial papers differ somewhat from survey papers. A survey aims at providing balanced but critical presentations of the primary concepts in an area. A tutorial, on the other hand, provides a detailed introduction to an area, possibly focusing on one specific approach or technique. It is hoped that the tutorial would focus on helping the reader become familiar with particular techniques, and so would make use of examples and, possibly, exercises. Tutorial papers will be reviewed for value, quality and style, and if accepted, will be published and indexed as is the case with normal KER articles. For further queries, please contact the Associate Editor for tutorials, Iyad Rahwan (http://homepages.inf.ed.ac.uk/irahwan/) This call for papers online: http://journals.cambridge.org/action/displaySpecialPage?pageId=1848
==============================================================
The 2010 International Conference on Computational Intelligence and
Software Engineering (CiSE2010)
CALL FOR PAPERS
http://www.ciseng.org/2010
Wuhan, China December 10-12, 2010
==============================================================
The 2010 International Conference on Computational Intelligence and
Software Engineering (CiSE2010)
CALL FOR PAPERS
http://www.ciseng.org/2010
Wuhan, China December 10-12, 2010
==============================================================
| The 2010 International Conference on Computational Intelligence and Software Engineering (CiSE2010) will be held from December 10 to 12, 2010 in Wuhan, China. The conference proceedings will be published by IEEE, all papers accepted will be included in IEEE Xplore and indexed by Ei Compendex and ISTP. |
The technical areas to be covered in this conference include:
|
| The deadline of full paper submission is June 21, 2010. |
| Notification of acceptance will be given by August 10, 2010. |
| For more information about this conference, please contact: info@ciseng.org |
Logics for Games and Strategic Reasoning
************************************************************************
Special session on ==Logics for Games and Strategic Reasoning==
at CLIMA XI (Computational Logic in Multi-Agent Systems)
Lisbon, Portugal, August 16-17, 2010
(colocated with ECAI'10)
http://centria.di.fct.unl.pt/events/climaXI/sessions.html
1st Call for Papers
************************************************************************
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
Postproceedings: extended versions of selected papers will be published
in a special issue of Annals of Mathematics and Artificial Intelligence.
************************************************************************
INTRODUCTION
Strategic reasoning occurs in many multi-agent systems. This is
especially evident in game-theoretical and decision-theoretical models
of MAS, but also in more informal settings using the game metaphor (like
computer games or social network services). Mathematical logic can
contribute to this view in many ways by providing specifications,
models, and/or algorithms for game-like scenarios. We invite papers that
address how logic can contribute to our understanding, modeling and
analysis of games, but also ones that investigate how the metaphor of
games and strategies can help in constructing and using logical formalisms.
The list of subjects includes (but is not limited to) the following topics:
- Logics for reasoning about games and strategies
- Modal logics of strategic ability
- Logical foundations of game and decision theory
- Logical approaches to rationality and bounded rationality
- Solving games and verification of strategies by model checking
- Logics for mechanism design
- Game semantics for logics
- Games in verification of logical specifications
SUBMISSION
We encourage submission of high quality, original papers which have not
been accepted for publication nor are currently under review for another
journal or conference. Submissions should not exceed 16 pages in the
Springer LNCS format. For templates and instructions for authors, see
http://www.springer.de/comp/lncs/authors.html . Papers should be
submitted electronically via EasyChair:
http://www.easychair.org/conferences/?conf=clima2010 .
PROCEEDINGS AND POST-PROCEEDINGS
LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.
AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to a special issue of
Annals of Mathematics and Artificial Intelligence.
IMPORTANT DATES
Paper submission: May 7, 2010
Author notification: June 4, 2010
Camera-ready deadline: June 16, 2010
Workshop: August 16-17, 2010
ORGANIZATION AND CONTACT
The special session is organized by Wojtek Jamroga, University of
Luxembourg. In case of questions, please do not hesitate to contact us
at wojtek.jamroga@uni.lu . General questions about CLIMA XI should be
sent to clima2010@easychair.org .
Special session on ==Logics for Games and Strategic Reasoning==
at CLIMA XI (Computational Logic in Multi-Agent Systems)
Lisbon, Portugal, August 16-17, 2010
(colocated with ECAI'10)
http://centria.di.fct.unl.pt/events/climaXI/sessions.html
1st Call for Papers
************************************************************************
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
Postproceedings: extended versions of selected papers will be published
in a special issue of Annals of Mathematics and Artificial Intelligence.
************************************************************************
INTRODUCTION
Strategic reasoning occurs in many multi-agent systems. This is
especially evident in game-theoretical and decision-theoretical models
of MAS, but also in more informal settings using the game metaphor (like
computer games or social network services). Mathematical logic can
contribute to this view in many ways by providing specifications,
models, and/or algorithms for game-like scenarios. We invite papers that
address how logic can contribute to our understanding, modeling and
analysis of games, but also ones that investigate how the metaphor of
games and strategies can help in constructing and using logical formalisms.
The list of subjects includes (but is not limited to) the following topics:
- Logics for reasoning about games and strategies
- Modal logics of strategic ability
- Logical foundations of game and decision theory
- Logical approaches to rationality and bounded rationality
- Solving games and verification of strategies by model checking
- Logics for mechanism design
- Game semantics for logics
- Games in verification of logical specifications
SUBMISSION
We encourage submission of high quality, original papers which have not
been accepted for publication nor are currently under review for another
journal or conference. Submissions should not exceed 16 pages in the
Springer LNCS format. For templates and instructions for authors, see
http://www.springer.de/comp/lncs/authors.html . Papers should be
submitted electronically via EasyChair:
http://www.easychair.org/conferences/?conf=clima2010 .
PROCEEDINGS AND POST-PROCEEDINGS
LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.
AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to a special issue of
Annals of Mathematics and Artificial Intelligence.
IMPORTANT DATES
Paper submission: May 7, 2010
Author notification: June 4, 2010
Camera-ready deadline: June 16, 2010
Workshop: August 16-17, 2010
ORGANIZATION AND CONTACT
The special session is organized by Wojtek Jamroga, University of
Luxembourg. In case of questions, please do not hesitate to contact us
at wojtek.jamroga@uni.lu . General questions about CLIMA XI should be
sent to clima2010@easychair.org .
WORLDCOMP'10
CALL FOR PAPERS
Paper Submission Deadline: March 1, 2010
WORLDCOMP'10
The 2010 World Congress in Computer Science,
Computer Engineering, and Applied Computing
July 12-15, 2010, Las Vegas, USA
http://www.world-academy-of-science.org/
You are invited to submit a full paper for consideration. All accepted
papers will be published in the respective conference proceedings.
The proceedings will be indexed in Inspec / IET / The Institute for
Engineering & Technology, DBLP / Computer Science Bibliography, and
others.)
CONFIRMED ACADEMIC & TECHNICAL CO-SPONSORS (a partial list):
The Berkeley Initiative in Soft Computing (BISC), University of
California, Berkeley, USA; Collaboratory for Advanced Computing and
Simulations (CACS), University of Southern California, USA; Intelligent
Data Exploration & Analysis Lab., University of Texas at Austin, Texas,
USA; Harvard Statistics Department Genomics & Bioinformatics Lab.,
Harvard University, Massachusetts, USA; BioMedical Informatics &
Bio-Imaging Lab., Georgia Institute of Technology & Emory University,
Georgia, USA; Hawkeye Radiology Informatics, Department of Radiology,
College of Medicine, University of Iowa, USA; Minnesota Supercomputing
Institute, University of Minnesota, USA; Center for the Bioinformatics
and Computational Genomics, Georgia Institute of Technology, USA; Medical
Image HPC & Informatics Lab. (MiHi Lab), University of Iowa, USA;
University of North Dakota, USA; NDSU-CIIT Green Computing &
Communications Lab., North Dakota State University, USA; Knowledge
Management & Intelligent System Center (KMIS) of University of Siegen,
Germany; UMIT, Institute of Bioinformatics and Translational Research,
Austria; SECLAB of University of Naples Federico II, University of
Naples Parthenope, & Second University of Naples, Italy; National
Institute for Health Research; World Academy of Biomedical Sciences and
Technologies; High Performance Computing for Nanotechnology (HPCNano);
Supercomputer Software Department (SSD), Institute of Computational
Mathematics & Mathematical Geophysics, Russian Academy of Sciences;
Int'l Council on Medical & Care Compunetics; The UK Department for
Business, Innovation and Skills, UK; VMW Solution Ltd.; Scientific
Technologies Corporation; HoIP - Health without Boundaries; Space for
Earth Foundation; and Manjrasoft (Cloud Computing Technology company),
Melbourne, Australia.
WORLDCOMP 2010 TRACKS:
BIOCOMP: Bioinformatics & Computational Biology
CDES: Computer Design
CGVR: Computer Graphics & Virtual Reality
CSC: Scientific Computing
DMIN: Data Mining
EEE: e-Learning, e-Business, Enterprise Info. Systems,
& e-Government
ERSA: Engineering of Reconfigurable Systems and Algorithms
ESA: Embedded Systems & Applications
FCS: Foundations of Computer Science
FECS: Frontiers in Education: Computer Science & Computer
Engineering
GCA: Grid Computing & Applications
GEM: Genetic & Evolutionary Methods
ICAI: Artificial Intelligence
ICOMP: Internet Computing
ICWN: Wireless Networks
IKE: Information and Knowledge Engineering
IPCV: Image Processing, Computer Vision, & Pattern Recognition
MSV: Modeling, Simulation and Visualization Methods
PDPTA: Parallel and Distributed Processing Techniques &
Applications
SAM: Security & Management
SERP: Software Engineering Research & Practice
SWWS: Semantic Web and Web Services
Each of the tracks listed above has its own proceedings; its own
program committee members, and infrastructures. A link to each
of these tracks can be found at:
http://www.world-academy-of-science.org
GENERAL INFORMATION:
WORLDCOMP 2010 will be composed of research presentations, keynote
lectures, invited presentations, tutorials, panel discussions, and
poster presentations. In recent past, keynote/tutorial/panel speakers
have included: Prof. David A. Patterson (pioneer/computer
architecture, U. of California, Berkeley), Dr. K. Eric Drexler
(known as Father of Nanotechnology), Prof. John H. Holland (known as
Father of Genetic Algorithms; U. of Michigan), Prof. Ian Foster
(known as Father of Grid Computing; U. of Chicago & ANL), Prof.
Ruzena Bajcsy (pioneer/VR, U. of California, Berkeley), Prof. Barry
Vercoe (Founding member of MIT Media Lab, MIT), Dr. Jim Gettys (known
as X-man, developer of X Window System, xhost; OLPC), Prof. John Koza
(known as Father of Genetic Programming, Stanford U.), Prof. Brian D.
Athey (NIH Program Director, U. of Michigan), Prof. Viktor K.
Prasanna (pioneer, U. of Southern California), Dr. Jose L. Munoz
(NSF Program Director & Consultant), Prof. Jun Liu (Broad Institute
of MIT & Harvard U.), Anousheh Ansari (CEO, Prodea Systems & first
female private space explorer), and many other distinguished speakers.
To get a feeling about the conferences' atmosphere, see the 2009
delegates photos available at: http://www.pixagogo.com/1672514104
Featured keynote speakers for 2010 are (confirmed):
Prof. Lotfi A. Zadeh (Father of Fuzzy Logic) and Dr. Firouz Naderi
(Head, NASA Mars Exploration Program/2000-2005 and Associate Director,
Project Formulation & Strategy, Jet Propulsion Lab, CalTech/NASA).
WORLDCOMP 2010 MEMBERS OF STEERING COMMITTEE:
http://www.world-academy-of-science.org/worldcomp10/ws/steering_committee
SUBMISSION OF PAPERS, PUBLICATION, INDEXING INFORMATION:
Prospective authors are invited to submit their papers by uploading
them to the evaluation web site at:
http://worldcomp.cviog.uga.edu/
Submissions must be uploaded by March 1, 2010 and they must be
in either MS doc (but not docx) or pdf formats (about 5 to 7 pages
- single space, font size of 10 to 12). At this time, all
reasonable typesetting formats are acceptable (later, the authors
of accepted papers will be asked to follow a particular
typesetting format to prepare their final papers for publication.)
The length of the Camera-Ready papers (if accepted) will be limited
to 7 (IEEE style) pages. Papers must not have been previously
published or currently submitted for publication elsewhere. The
first page of the draft paper should include: title of the paper,
name, affiliation, postal address, and email address for each
author. The first page should also identify the name of the Contact
Author and a maximum of 5 topical keywords that would best
represent the content of the paper.
All accepted papers will be published in the respective conference
proceedings (in both, printed book form as well as online). The
proceedings will be indexed in Inspec / IET / The Institute for
Engineering and Technology, DBLP / Computer Science Bibliography,
and others. 7247) The printed proceedings will be available for
distribution on site at the conference.
In addition to the publication of the proceedings, selected authors
will be invited to submit extended versions of their papers for
publication in a number of research books being proposed/contracted
with various publishers (such as, Springer, Elsevier, IOS, ...) -
these books would be composed after the conference. Also, many
chairs of sessions and workshops will be forming journal special
issues to be published after the conference.
IMPORTANT DATES:
March 1, 2010: Submission of papers (about 5 to 7 pages)
March 25, 2010: Notification of acceptance
April 22, 2010: Final papers + Copyright + Registration
July 12-15, 2010: The 2010 World Congress in Computer Science,
Computer Engineering, and Applied Computing
(WORLDCOMP'10)
LOCATION OF CONFERENCES:
See:
http://www.world-academy-of-science.org/worldcomp10/ws/location
Mittwoch, 24. Februar 2010
Workshop on Trading Agent Design and Analysis (TADA 2010)
Call for Papers
Workshop on Trading Agent Design and Analysis (TADA 2010)
http://www.cs.uwaterloo.ca/conferences/tada2010/index.html
June 7th or 8th, 2010, Cambridge, MA
Held in conjunction with ACM Conference on Electronic Commerce (EC10)
**Submission Deadline: April 1, 2010**
Trading agents have become a prominent application area in Artificial Intelligence because of their potential benefits in electronic commerce, and because they present a stiff challenge to models of rational decision-making. A wide variety of trading scenarios and agent approaches have been studied, creating a broad and rich research area. This workshop will focus on the design and evaluation of trading agents. Papers on trading agent architectures, decision-making algorithms, theoretical analysis, empirical evaluations of agent strategies in negotiation scenarios, and game-theoretic analyses, are all within the scope of the workshop.
This workshop will be held in conjunction with the 2010 Trading Agent Competition (TAC-2010) http://www.sics.se/tac with finals held during the 11th ACM Conference on Electronic Commerce (EC-2010) http://www.sigecom.org/ec10/, but paper submissions need not be directly related to TAC. In fact, we encourage submissions related to other trading scenarios.
**Important Dates and Deadlines**
Deadline for submission of full papers: April 1, 2010
Notification of acceptance/rejection: April 23, 2010
Early registration deadline for EC 2010: May 7, 2010
Camera Copy Deadline: May 15, 2010
Workshop: June 7th or 8th, 2010
**Submission Instructions**
Papers should be 8 two-column pages, including references. Manuscripts are exptected to be in English, and should be in PDF format. You should use the ACM SIG proceedings template http://www.acm.org/sigs/publications/proceedings-templates.
Papers are to be submitted through the EasyChair Conference System website
https://www.easychair.org/login.cgi?conf=tada2010.
**Program Committee**
Michael Benisch, Carnegie Mellon University
John Collins, University of Minnesota
Enrico Gerding, University of Southampton
Maria Gini, University of Minnesota
Sverker Janson, Swedish Institute of Computer Science (SICS)
Patrick Jordan, University of Michigan
Wolf Ketter, RSM Erasmus University
Kate Larson, (Chair) University of Waterloo
Peter McBurney, University of Liverpool
Tracy Mullen, Pennsylvania State University
Victor Naroditskiy, University of Southampton
Jinzhong Niu, City University of New York
David Pardoe, University of Texas
Michael Wellman, University of Michigan
Dongmo Zhang, University of Western Sydney
Workshop on Trading Agent Design and Analysis (TADA 2010)
http://www.cs.uwaterloo.ca/conferences/tada2010/index.html
June 7th or 8th, 2010, Cambridge, MA
Held in conjunction with ACM Conference on Electronic Commerce (EC10)
**Submission Deadline: April 1, 2010**
Trading agents have become a prominent application area in Artificial Intelligence because of their potential benefits in electronic commerce, and because they present a stiff challenge to models of rational decision-making. A wide variety of trading scenarios and agent approaches have been studied, creating a broad and rich research area. This workshop will focus on the design and evaluation of trading agents. Papers on trading agent architectures, decision-making algorithms, theoretical analysis, empirical evaluations of agent strategies in negotiation scenarios, and game-theoretic analyses, are all within the scope of the workshop.
This workshop will be held in conjunction with the 2010 Trading Agent Competition (TAC-2010) http://www.sics.se/tac with finals held during the 11th ACM Conference on Electronic Commerce (EC-2010) http://www.sigecom.org/ec10/, but paper submissions need not be directly related to TAC. In fact, we encourage submissions related to other trading scenarios.
**Important Dates and Deadlines**
Deadline for submission of full papers: April 1, 2010
Notification of acceptance/rejection: April 23, 2010
Early registration deadline for EC 2010: May 7, 2010
Camera Copy Deadline: May 15, 2010
Workshop: June 7th or 8th, 2010
**Submission Instructions**
Papers should be 8 two-column pages, including references. Manuscripts are exptected to be in English, and should be in PDF format. You should use the ACM SIG proceedings template http://www.acm.org/sigs/publications/proceedings-templates.
Papers are to be submitted through the EasyChair Conference System website
https://www.easychair.org/login.cgi?conf=tada2010.
**Program Committee**
Michael Benisch, Carnegie Mellon University
John Collins, University of Minnesota
Enrico Gerding, University of Southampton
Maria Gini, University of Minnesota
Sverker Janson, Swedish Institute of Computer Science (SICS)
Patrick Jordan, University of Michigan
Wolf Ketter, RSM Erasmus University
Kate Larson, (Chair) University of Waterloo
Peter McBurney, University of Liverpool
Tracy Mullen, Pennsylvania State University
Victor Naroditskiy, University of Southampton
Jinzhong Niu, City University of New York
David Pardoe, University of Texas
Michael Wellman, University of Michigan
Dongmo Zhang, University of Western Sydney
The 8th International Workshop on SERVICE-ORIENTED COMPUTING: AGENTS, SEMANTICS, AND ENGINEERING (SOCASE)
CALL FOR PAPERS
The 8th International Workshop on
SERVICE-ORIENTED COMPUTING: AGENTS, SEMANTICS, AND ENGINEERING (SOCASE)
to be held at the 9th International Joint Conference on AUTONOMOUS AGENTS AND
MULTIAGENT SYSTEMS (AAMAS-2009) Toronto Canada
IMPORTANT DATES
Please realize that we had to shorten the submission deadline by a week. For those who cannot make it till the 28 February we will still accept the paper till 7 March as long as we are informed about the possible paper submission till 28 February. The problem is that the AAMAS organizers need the final version of the papers by 28 February. Moreover, the deadline for early registration will end on 12 March. We will try our best to inform you about the outcome of our review process by 11 March but cannot guarantee that, especially not if we get the paper pretty late. Thus, be prepared to have to pay a slightly higher fee if you don't want to register for the workshop and AAMAS without knowing the result of the review process for your paper. Also, make sure that you can revise your paper till 28 March. This deadline cannot be extended any further.
| Submission Deadline Acceptance Notification Final Version Submission Deadline Workshop held | 28 Feb 2010 (7 March 2010 (see above)) 20 March 2010 27 March 2010 11 May 2010 |
DESCRIPTION
The purpose of this workshop is to present and discuss the recent significant developments at the intersections of Multi-agent Systems, Semantic Technology, and Service-oriented Computing, and to promote cross-fertilization of techniques. In particular, the workshop aims at identifying techniques from Multi-agent System and Semantic Technology research that will have the greatest impact on automating service-oriented application construction and management, focusing on critical challenges such as service quality assurance, reliability, and adaptability.
The Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE) workshop continues the theme of the previous SOCASE workshops successfully held at AAMAS’09, AAMAS’08 and AAMAS’07, the SOCABE workshops held at AAMAS’06, AAMAS’05 and the WSABE workshops held at AAMAS’04 and AAMAS’03, with an expanded theme reflecting the wide spectrum of issues of the cross section between agent-based and service-oriented paradigms.
TOPICS
We invite papers on all aspects relating to the overlap of Agent Technology, Semantic Web Services, and Service-oriented Computing. Topics of interest include, but are not limited to:
* Agent-oriented architectures, frameworks, and infrastructures for distributed service-oriented software and Semantic Web systems
* Agent-oriented modeling and design methods and tools for service-oriented software and
Semantic Web development
* Web services and Semantic Web technologies and standards for multi-agent system design, development, and integration
* Agent-enabled adaptation, evolution, and optimization of services and processes
* Agent-based service description, advertisement, matchmaking, discovery, and brokering
* Agent-based service composition, orchestration, and choreography
* Agent-based monitoring and exception-handling for service execution and delivery
* Agent-based negotiation and management of Quality of Service and Service Level Agreements
* Deployment and distribution of agent-based service systems and service-oriented agent systems
* Agent-based service business models, application scenarios and demos (e.g. in e-Business, e-Science, Enterprise
* Ontology matching for service discovery, negotiation, orchestration, composition, and execution
* Ontology generation, hearing and reasoning, and ontology-oriented dynamic mediation among agents
SUBMISSION and PUBLICATION
Submission is to be done electronically. The detailed instructions are provided at the SOCASE'10 web page https://www.easychair.org/login.cgi?conf=socase10.
Contact Zakaria Maamar (Zakaria.Maamar@zu.ac.ae) for help if required.
Submitted papers have a page limit of 15 pages and should be formatted according to LNCS specification. Authors should submit the manuscript in PDF format. Instructions and templates can be found at http://www.springer.de/comp/lncs/authors.html.
Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include:
Relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Since this is associated with the AAMAS conference, accepted papers must be of real relevance to the multi-agent research community. Accepted papers will be published in the workshop proceedings. Similarly to the previous years the SOCASE 2010 post-proceedings will be published with Springer’s LNCS, subject to an appropriate number and quality of submissions. A selection of best papers will also be invited to submit extended and enhanced versions of the papers to a special issue of a major international journal.
ORGANIZING COMMITTEE
* Rainer Unland, University of Duisburg-Essen , Germany
(point of contact: rainer.unland@icb.uni-due.de)
* Ryszard Kowalczyk, Swinburne University , Australia
* Michael Huhns, University of South Carolina , USA
* Zakaria Maamar, Zayed University
* Quoc Bao Vo, Swinburne University , Australia
* Mohan Baruwal Chhetri, Swinburne University , Australia
PROGRAM COMMITTEE
* Stanislaw Ambroszkiewicz, Polish Academy of Sciences , Poland
* Taleb Bendiab, Liverpool John Moores University , UK
* M. Brian Blake, University of Notre Dame , USA
* Ivona Brandic, Vienna University of Technology , Austria
* Cherif Branki, University of West Scotland - Paisley , UK
* Frances Brazier, Delft University of Technology , The Netherlands
* Owen Cliffe, University of Bath , UK
* Christian Derksen, University of Duisburg-Essen , Germany
* Frank Dignum, University of Utrecht , The Netherlands
* Virginia Dignum, Delft University of Technology , The Netherlands
* Antonio Garcia Dominguez, University of Cadiz
* Torsten Eymann, University of Bayreuth , Germany
* Christian Guttmann, Monash University , Australia
* Benjamin Hirsch , Berlin University of Technology , Germany
* Matthias Klusch, German Research Center for Artificial Intelligence , Germany
* Winfried Lamersdorf, University of Hamburg , Germany
* Tim Lessner, University of Scotland - Paisley , UK
* Wathiq Mansoor, American University of Dubai , Dubai
* Lars Moench, University of Hagen , Germany
* Ganna Monakova, University of Stuttgart , Germany
* Volker Nissen, Technical University of Ilmenau , Germany
* Andreas Oberweis, Karlsruhe Institute of Technology
* Guadalupe Ortiz-Bellot, University of Cadiz , Spain
* Sascha Ossowski, University Rey Juan Carlos, Span
* Julian Padget, University of Bath , UK
* Marcin Paprzycki, Systems Research Institute of the Polish Academy of Sciences , Poland
* Dana Petcu, Western University of Timisoara , Romania
* Thomas Quillinan, Thales Netherlands , Netherlands
* Munindar Singh , North Carolina State University, USA
* Sebastian Stein, University of Southampton , UK
* Huaglory Tianfield, Glasgow Caledonian University , UK
* Ingo Timm, Goethe University , Frankfurt , Germany
* Alexander Walz, University of Stuttgart , Germany
* Danny Weyns, K.U. Lueven , Belgium
* Franco Zambonelli, Universita' di Modena e Reggiio Emilia , Italy
Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN)
================ CALL FOR PAPERS ========================== Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN) June 21 - 24, 2010, Delft, The Netherlands http://mmi.tudelft.nl/HuCom10/ IMPORTANT DATES:
- April 1, 2010: Paper Submissions Due
- April 16, 2010: Notification of paper acceptance/rejection
- May 1, 2010: Camera-ready copies of accepted papers
- June 21 - 24, 2010: Working Conference on Human Factors and Computational
- Models in Negotiation
PUBLICATION: We are pleased to solicit original and unpublished papers for publication and presentation in the Working Conference on Human Factors and Computational Models in Negotiation. Articles describing novel ideas and applications in all areas related to human factors and computational models in negotiation are of interest. We also invite submissions of statements of interests or position papers. Submit your paper electronically in either PDF or postscript format. Papers should not be more 6000 words. Submission is entirely automated by a paper management tool, which is available from the main web site: http://www.easychair.org/conferences/?conf=hucom10. Accepted papers will be published in the Proceedings of the Group Decision and Negotiation conference. AIMS AND SCOPE: Negotiation is a complex and sometimes emotional decision-making process aiming to reach an agreement to exchange goods or services. Although a daily activity, extensive research has shown that few people are effective negotiators. Current state of the art negotiation support systems can help make a significant improvement in negotiation performance. In particular, when the negotiation space is well-understood such systems can make a difference, partly because machines can much better deal with the computational complexity involved. However, the negotiation space can only be properly developed if the human parties jointly explore their interests. The inherent semantic problem and the emotional issues involved make that negotiation cannot be handled by artificial intelligence alone, and a human-machine collaborative system is required. Such systems are not only to support humans in providing strategic advice but also in coping with emotions and moods in human-human interactions. In order to develop human-machine collaborative negotiation support systems there is a need for the development of computational models, frameworks, and experimental, user-centred and ergonomic methods that enable the engineering of negotiation support systems. It is important for this purpose to study the role of human factors in negotiation as well as computational models to enable intelligent support for negotiation. To develop the next generation of negotiation support systems there are still many, diverse challenges: models of (qualitative, incomplete) preferences, preference change and strategies, preference elicitation, assessment methods for negotiation performance, learning and adaptativeness in negotiation, models of emotion and user awareness, the use and creation of domain knowledge, user interfaces for negotiation support, human-supported assessment of opponent, conflict handling styles, experimental methods. Topics covered include but are not limited to: - Negotiation strategies (bidding, acceptance) - Argumentation for negotiation - Negotiation interaction - Learning in negotiation - Negotiation domain knowledge - Case studies - Preference elicitation - Qualitative preferences - Incomplete preferences - Ontologies for negotiation (protocols, preferences, domain knowledge) - Negotiation Support Systems - User interfaces for Negotiation Support Systems - Human-machine negotiation - Negotiation, conflict handling, and experiments related to e.g. consensus building - Personality in negotiation (e.g. Big Five) - Emotions in negotiation - Cultural factors in negotiation - Negotiation bidding advice - Negotiation conflict styles - Trust in automatically generated negotiation advice - Negotiation applications - E-commerce - Methods and tools for negotiation tasks - Design and Evaluation of support systems - Conflict handling styles and consensus building - HCI aspects and human factors of negotiation Program Chairs:
Koen Hindriks - Delft University of Technology, Delft, The Netherlands Catholijn Jonker - Delft University of Technology, Delft, The Netherlands Pascal Wiggers - Delft University of Technology, Delft, The Netherlands PROGRAM COMMITTEE: Brooke Abrahams - Victoria University, Melbourne, Australia Reyhan Aydogan - Bogazici University, Turkey Willem-Paul Brinkman - Delft University of Technology Frank Dignum - Utrecht University, The Netherlands Shaheen Fatima - Loughborough University, UK Yakov Gal - Harvard University, US Joseph Giampapa - Carnegie Mellon University, US Gert Jan Hofstede - Wageningen University, The Netherlands Mark Hoogendoorn - Vrije Universiteit, The Netherlands Takayuki Ito - Nagoya Institute of Technology, Japan Raz Lin - Bar-Ilan University, Israel Steve Love - Brunel University, UK Tom McEwan - Napier University, UK Mark Neerincx - TNO, The Netherlands Iyad Rahwan - British University in Dubai, United Arab Emirates Valentin Robu - University of Southamption, UK Carles Sierra - IIIA-CSIC, Spain Liz Sonenberg - University of Melbourne, Australia Dmytro Tykhonov - Delft University of Technology Tim Verwaart - Delft University of Technology Hans Weigand - Tilburg University, The Netherlands John Zeleznikow - Victoria University, Melbourne, Australia INFORMATION: For further information please contact: k.v.hindriks@tudelft.nl
Deadline Extension: AISC 2010
CALL FOR PAPERS
AISC 2010 - 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://cicm2010.cnam.fr/aisc/
CNAM, Paris, France, July 5th - July 6th, 2010
**********************************************************************
DEADLINE EXTENSION: - Abstracts: March 9, 2010
- Full papers: March 12, 2010
**********************************************************************
INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/)
Bruno Salvy (http://algo.inria.fr/salvy/)
**********************************************************************
Artificial Intelligence and Symbolic Computation are two views and
approaches for automating problem solving, in particular mathematical
problem solving. The two approaches are based on heuristics and on
mathematical algorithmics, respectively. Artificial Intelligence can
be applied to Symbolic Computation and Symbolic Computation can be
applied to Artificial Intelligence. Hence, a wealth of challenges,
ideas, theoretical insights and results, methods and algorithms arise
in the interaction of the two fields and research communities.
Advanced tools of software technology and system design are needed and
a broad spectrum of applications is possible by the combined problem
solving power of the two fields.
Hence, the conference is in the center of interest and interaction for
various research communities:
* Artificial Intelligence * Logic
* Symbolic Computation * Software Technology
* Computer Algebra * Semantic Web Technology
* Automated Reasoning * Mathematical Knowledge Management
* Formal mathematics * Computer-based Math Teaching & Didactics
* Machine Learning * Computer-Supported Publishing
* Automated Discovery * Language and System Design
Topics
======
Topics of particular interest of the conference include:
* AI in Symbolic Mathematical Computing
* Computer Algebra Systems and Automated Theorem Provers
* Symmetries in AI problems
* Engineering, Industrial and Operations Research Applications
* Foundations and Complexity of Symbolic Computation
* Mathematical Modeling of Multi-Agent Systems
* Implementations of Symbolic Computation Systems
* Programming Languages for Symbolic Computation
* Symbolic Computations for Expert Systems and Machine Learning
* Symbolic Computation and Ontologies
* Logic and Symbolic Computing
* Implementation and Performance Issues
* Intelligent Interfaces
* Symbolic Techniques for Document Analysis
Papers on other topics with links to the above research fields and
topics will also be welcomed for consideration.
Proceedings
===========
The proceedings of the conference will be published as a volume in the
series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the requirements of the Springer's LNAI series
(the corresponding style files can be downloaded from
http://www.springer.de/comp/lncs/authors.html and are the same for
LNCS and LNAI). In addition to the formal proceedings published by
Springer, we intend to make online versions of the published papers
available from the conference website.
Submission
==========
Theoretical and applied research papers on all topics within the scope
of the conference are invited. Submitted papers (in English) must not
exceed 15 pages in length (in the LNCS style). The title page should
contain the title, author(s) with affiliation(s), e-mail address(es),
listing of keywords and abstract plus the topics from the above list
to which the paper is related. The program committee (PC) will subject
all submitted papers to a peer review. Theoretical papers will be
judged on their originality and contribution to their field, and
applied papers on the importance and originality of the application.
Results must be original and have not been published elsewhere.
The web page for electronic submission is at:
http://www.easychair.org/conferences/?conf=aisc20100
Best Paper Awards
=================
Every submission automatically competes for the Best Paper Award.
Papers which have been mainly developed by (PhD) students can be
marked as student papers upon submission to also compete for the Best
Student Paper Award.
Important Dates
===============
Abstract Submission deadline (extended): Tuesday, March 9, 2010
Submission deadline (extended): Friday, March 12, 2010
Notification: April 18, 2010
Camera Ready Version: April 28, 2010
Conference: July 5 - July 6, 2010
A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE: Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI
/---------------\
| CALL FOR PAPERS |
\---------------/
"Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"
A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
http://www.kluweronline.com/issn/1012-2443
DEADLINE: 10th March 2010
--------------------------
[ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ]
Special Issue editors:
======================
Manuela Bujorianu [University of Manchester, UK]
Michael Fisher [University of Liverpool, UK]
Corina Pasareanu [CMU and NASA, USA]
TOPICS OF INTEREST:
===================
The topics of interest of this special issue include (but are not
limited to)
* new modeling paradigms
* formal verification of safety properties
* formal models for cyber-physical systems
* autonomous and autonomic systems
* performance modelling and verification
* heterogeneous and hybrid system models
* multi-agent systems and coordination technologies
* probabilistic logics for system specification
* stochastic modelling and verification methods
* control techniques that span over multiple disciplines
* communication and control co-design
specifically formal methods concerning the above within the area of
aerospace.
This special issue is inspired by the FMA workshop held within
FM-2009. However, submission to this special issue is open to
everyone.
IMPORTANT DATES:
================
Submission deadline: 10th March 2010
Author notification: 10th May 2010
Revised papers due: 10th June 2010
| CALL FOR PAPERS |
\---------------/
"Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"
A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
http://www.kluweronline.com/issn/1012-2443
DEADLINE: 10th March 2010
--------------------------
[ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ]
Special Issue editors:
======================
Manuela Bujorianu [University of Manchester, UK]
Michael Fisher [University of Liverpool, UK]
Corina Pasareanu [CMU and NASA, USA]
TOPICS OF INTEREST:
===================
The topics of interest of this special issue include (but are not
limited to)
* new modeling paradigms
* formal verification of safety properties
* formal models for cyber-physical systems
* autonomous and autonomic systems
* performance modelling and verification
* heterogeneous and hybrid system models
* multi-agent systems and coordination technologies
* probabilistic logics for system specification
* stochastic modelling and verification methods
* control techniques that span over multiple disciplines
* communication and control co-design
specifically formal methods concerning the above within the area of
aerospace.
This special issue is inspired by the FMA workshop held within
FM-2009. However, submission to this special issue is open to
everyone.
IMPORTANT DATES:
================
Submission deadline: 10th March 2010
Author notification: 10th May 2010
Revised papers due: 10th June 2010
Montag, 22. Februar 2010
2010 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10)
It would be highly appreciated if you could share this announcement with your colleagues, students and individuals whose research area is in artificial intelligence, knowledge-based systems, soft-computing, evolutionary computing and related areas.
Call for papers: AIPR-10, Orlando, USA, July 2010
The 2010 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) (website: http://www.PromoteResearch.org ) will be held during 12-14 of July 2010 in Orlando, FL, USA. AIPR is an important event in the areas of Artificial Intelligence (AI) as well as Pattern Recognition (PR) and focuses on all areas of AI, PR and related topics. The conference will be held at the same time and location where several other major international conferences will be taking place. The conference will be held as part of 2010 multi-conference (MULTICONF-10).
MULTICONF-10 will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10.
• International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10)
• International Conference on Automation, Robotics and Control Systems (ARCS-10)
• International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10)
• International Conference on Computer Communications and Networks (CCN-10)
• International Conference on Enterprise Information Systems and Web Technologies (EISWT-10)
• International Conference on High Performance Computing Systems (HPCS-10)
• International Conference on Information Security and Privacy (ISP-10)
• International Conference on Image and Video Processing and Computer Vision (IVPCV-10)
• International Conference on Software Engineering Theory and Practice (SETP-10)
• International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)
MULTICONF-10 will be held at Imperial Swan Hotel and Suites. It is a full-service resort that puts you in the middle of the fun! Located 1/2 block south of the famed International Drive, the hotel is just minutes from great entertainment like Walt Disney World® Resort, Universal Studios and Sea World Orlando. Guests can enjoy free scheduled transportation to these theme parks, as well as spacious accommodations, outdoor pools and on-site dining — all situated on 10 tropically landscaped acres. Here, guests can experience a full-service resort with discount hotel pricing in Orlando.
We invite draft paper submissions. Please see the website http://www.PromoteResearch.org for more details.
Sincerely
John Edward
Sonntag, 21. Februar 2010
Mixed Reality at Robocup 2010
Mixed Reality
at RoboCup 2010
CALL FOR TEAMS
There is still time for you to join us for the Mixed Reality games at the RoboCup 2010 in Singapore! You don't even need to have a robot to participate!
The Mixed Reality is an original concept which explores the balance between simulation and real robot applications. The league is based on real tiny little robots that operate on a virtual environment where anything is possible.
Put together a team and join us to play at our robot soccer tournament and share your creative ideas for the augmented reality setup.
Don't have the budget to acquire the robots? No problem. A complete simulation framework is provided for you to develop and debug your code. During the event robots will be available for you to borrow.
You can find some videos of our system at work in this YouTube playlist. More info at our wiki and fell free to join our mailing list and participate in our forum. For those looking for a more formal description please have a look at this paper (and its references). Our software package is open-source and it can be found here.
Interested? Hurry-up! Pre-registration should be done up to February, 28th, at midnight (UTC).
Decision Making in Multiagent Systems
AAMAS-2010 Tutorial
on
Decision Making in Multiagent Systems
on
Decision Making in Multiagent Systems
Call for Participation
Toronto, Canada,
May 10-14 2010
May 10-14 2010
We are glad to invite you to participate in the Decision Making in Multiagent Systems Tutorial, that brings together two very successful tutorial from previous years: the DEMI Tutorial from AAMAS-09 and the Decision Theoretic Planning Tutorial from IJCAI-09. This full-day tutorial deals with time-extended decision making in multi-agent systems. Drawing motivation, in part, from the search and rescue applications in disaster management, the tutorial will span the range of multiagent interactions of increasing generality, and study a set of optimal and approximate solution techniques to time-extended decision making in both noncooperative and cooperative multiagent contexts. This self-contained tutorial will begin with the relevant portions of game theory and culminate with several advanced decision-theoretic models of agent interactions. The list of topics includes: * Requirements for the multiagent decision model and solution * Game theory background -- Repeated strategic and Bayesian games -- Iterative solution methods (e.g. fictitious play) * Partially observable stochastic games (POSGs) -- Basics of Markov Decision Processes (MDPs) and Partial Observability (POMDPs) -- Decentralised Formulation of MDPs (Dec-MDPs) -- Interactive POMDPs (I-POMDPs) * Uncertainty utilization -- Targeted trajectory distributions (TTD-MDP) -- Stigmergic solution with perceptual control (Multi-agent EMT) * Team decision making in Dec-MDP models -- Decision theoretic view of Dec-MDPs -- Computational and structural analysis of Dec-MDP models -- Optimal and approximate algorithm design for Dec-MDPs All tutorial materials will be made available on-line at http://users.isr.ist.utl.pt/~mtjspaan/tutorialDMMS/ Registration information will be available soon at http://www.cse.yorku.ca/AAMAS2010/index.php?content=registration Sincerely, Tutorial Organizing Committee Prashant Doshi, Zinovi Rabinovich, Piotr Gmytrasiewicz, Matthijs Spaan, Shlomo Zilberstein, Christopher Amato
Abonnieren
Posts (Atom)