AOSE 2012 13th International Workshop on Agent-Oriented Software Engineering ********** SUBMISSION DEADLINE EXTENDED *********** Held with AAMAS 2012, Valencia, Spain, June 4, 2012 http://winf.in.tu-clausthal.de/events/aose12 MOTIVATION Since the early 1990s, multi-agent system researchers have developed a large body of knowledge on the foundations and engineering principles for designing and developing agent-based systems. The 12 past editions of the agent-oriented software engineering workshop (AOSE) had a key role in this endeavor. For 2012, the workshop organizers and the steering committee propose to organize an edition of AOSE workshop aimed at exploring the new emerging role of agent-oriented software engineering as a bridge from the now consolidated agent oriented programming languages and platforms, to recent systems modelling paradigms like self-*, autonomic systems, and systems of systems (SoS). Thus, it is our hope to explore from an agent-based perspective, foundations, models, methods, architectures, and tools for engineering future software-intensive IT eco-systems. The workshop organizers plan to publish accepted papers on a USB stick as part of the AAMAS workshop registration package. Revised post-proceedings papers will later be published in a volume of the Lecture Notes for Computer Science series. GOALS and TOPICS The general goal of this year workshop is twofold: The first goal is to study the role of agent-oriented software engineering in the design phase of agents development. It is well known and accepted that agents - from the software engineering perspective - are of particular interest as an analysis abstraction. This has been true for several years but the most recent advancements in agent-oriented programming languages have proposed new challenges: software engineers may now design and code their solutions in terms of agents. The old need of moving to the object-oriented level of abstraction is overpassed and the new developing platforms allow for a more natural transformation of AO analysis models into AO design models. This reality has been soon perceived by researcher and practitioners. An example of this new trend may be found in the refreshed interest about testing of agents. The second goal concerns the other side of the proposed ideal bridge: the needs of new design approaches specifically suited for facing the needs of self-organizing systems, autonomic systems and systems of systems. In the last years we have seen considerable research efforts on these topics; however, only few of them have their scope and foundations in the software engineering field. Novel efforts are necessary to cope with these new challenges in order to find specific solutions that could bring such systems from research to industrialization. In this context, a means for bridging the above mentioned research (and application) streams may come from the advances on organizations, norms, and institutions. Are they mature enough for being applied to stable agent-oriented languages and for contributing to the engineering of self-organizing and autonomic systems? The proposed aim is find an answer to this question or to propose further hints for future investigations on the application of organizations, norms and institutions to the design of agent-oriented systems. Topics of regular papers include but are not restricted to: * Agent-based concepts for systems of systems engineering * Agent-based solutions for managing complexity in software engineering * Agents and model-driven approaches * Agents and services * Agents for self-adaptive systems * Alignment of agents with service-oriented software development * Autonomy vs. dependability and robustness * CASE tools to support agent-oriented software development in practice * Coordination infrastructures for multi-agent systems * Engineering multi-agent organizations * Engineering self-organizing systems * Goal-oriented design * Implications of introducing agent-based solutions on the development organization * Integration of agents with legacy systems * Middleware integration of agent-based software * Multi-agent based simulation * Programming agents and multi-agent systems * Qualities and tradeoffs of agent-based architectures * Reusable design knowledge: patterns and reference architectures * Social engineering * Software architectures for multi-agent systems * Standardization efforts for multi-agent systems * Testing of agent-based software * Validation of agent technology in practice * Verification of agent-based software AUTHOR GUIDELINES AOSE welcomes the submission of theoretical, experimental, methodological as well as application papers with a clear research focus on the topics outlined above. Each paper will be evaluated by three members of the PC. Papers that present a valuable idea that needs further development can be accepted as a short paper. SUBMISSIONS Papers should be between 8 and 12 pages, including the text, figures, and references. The submissions must be formatted according to the Springer Verlag LNCS style. PDF format is required. Papers can be submitted via EasyChair 'AOSE2012', https://www.easychair.org/conferences/?conf=aose2012 The good receipt of your submission will be confirmed by email. PUBLICATIONS Pre-proceedings containing all accepted papers are provided electronically on a USB stick as part of the AAMAS workshop registration package. The plan is to publish revised versions of accepted papers in a Lecture Notes in Computer Science volume. For this purpose, authors will be given the opportunity to revise and re-submit their contributions after the conference. IMPORTANT DATES Paper submission deadline: 11th March 2012 Paper notifications: 6th April 2012 Camera ready paper (pre-proceedings): 8th April 2012 Workshop: 4th June 2012 COMMITTEES Organizing Committee * Massimo Cossentino, National Research Council of Italy, Palermo, Italy * Joerg P. Mueller, Technische Universitaet Clausthal, Institut for Informatik, Germany Preliminary Program Committee: Carole Bernon,Universite Paul Sabatier, France Lars Braubach,University of Hamburg, Germany Scott A. Deloach,Kansas State University, USA Amal El Fallah Seghrouchni,University Pierre and Marie Curie, France Giancarlo Fortino,Universita della Calabria, Italy Aditya Ghose,University of Wollongong, Australia Holger Giese,University of Potsdam, Germany Adriana Giret,Universidad Politecnica de Valencia, Spain Marie-Pierre Gleizes,Universite Paul Sabatier, France Jorge Gomez-Sanz,Universidad Complutense Madrid, Spain Juan Carlos Gonzalez Moreno,Universidad de Vigo, Ourense, Spain Joao Leite,University of Lisbon, Portugal Philippe Mathieu,Universite Lille 1, France Frederic Migeon,Universite Paul Sabatier, France Ambra Molesini,University of Bologna, Italy Pavlos Moraitis,Universite Paul Descartes, France Andrea Omicini,University of Bologna, Italy Flavio Oquendo,Universite de Bretagne Sud, France Juan Pavon,Universidad Complutense Madrid, Spain Alexander Pokahr,University of Hamburg, Germany Alessandro Ricci,University of Bologna, Italy Fariba Sadri,Imperial College of Science, Technology and Medicine, England Valeria Seidita,University of Palermo, Italy Onn Shehory,IBM Haifa Research Lab, Israel Danny Weyns,Linnaeus University, Sweden
Intelligent agents, autonomous agents, rational agents, avatars, robots, deliberative agents, BDI agents, reflex agents, learning agents, adaptive agents, fuzzy agents, embodied agents, hybrid agents, semantic agents, physical agents, temporal agents, multi-agent systems, self-organizing systems, distributed systems, complex systems
Labels
3d
active media
actuators
ad
adaptation
adaptibility
adaptive
advertiser
agent
agile
ai
analysis
aose
aspects
attention
auction
autonomic
autonomous
benchmark
bidding
bio-inspired
bioinformatics
bionetics
brain
business
buyer
cellular automata
charging
chi
cloud computing
cognition
collaboration
communication
competition
complexity
computer graphics
concurrency
constraints
control
cooperation
coordination
cots
creativity
cryptology
dai
data mining
decisionmaking
defense
design
disaster management
discovery
distributed
dl
ecommerce
eierlegendewollmilchsau
embedded
emotion
energy
engineering
entertainment
environment
evaluation
evolutionary computing
examples
exercises
formal
framework
fuzzy
game theory
gaming
genetic
globalization
goal
green computing
grid
hai
hci
health care
heterogeneous
heuristics
human
hybrid
icaps
information systems
integration
intelligence
interaction
knowledge
knowledge-based systems
language
learning
location-based
locomotion
logic
logistics
market
mas
mates
memory
meta
methodology
methods
mixedreality
mobile
model
multi-modal
multirobot systems
natural networks
negotiation
noncooperative
norms
ontology
owl2
parallel
pattern recognition
personalization
pervasive
placement
planning
preception
prediction
presentation
privacy
probabilistic
problem solving
procurement
programming
protocol
publishing
qos
quality
rational
real-time
reasoning
recommendation
reliability
representation
resilient
retrieval
rif
robocup
robot
robotics
robots
rules
safety
security
self*
semantic web
semantics
sensors
serious games
service-oriented
services
simulation
smart
soa
social
soft-computing
software engineering
sparql
specification
standard
stochastic
stockexchange
strategy
supplychain
symbolic
tagging
teaching
testing
tools
trading
trust
tutorial
ubiquitous
uncertainty
usability
verification
virtual reality
virtual worlds
visualization
web3d
wireless
Posts mit dem Label complexity werden angezeigt. Alle Posts anzeigen
Posts mit dem Label complexity werden angezeigt. Alle Posts anzeigen
Freitag, 24. Februar 2012
Agent-Oriented Software Engineering -AOSE 2012
Labels:
agent,
aose,
CASE,
complexity,
engineering,
goal,
mas,
model,
self*,
services,
simulation,
tools,
validation,
verification
Mittwoch, 2. März 2011
Eighth International Conference on Complex Systems (ICCS 2011)
Eighth International Conference | |||||||||||
| June 26 - July 1, 2011 Boston Marriott Quincy, MA, USA | Host: New England Complex Systems Institute (http://necsi.edu/) | ||||||||||
NEW UPDATES | |||||||||||
| Due to many requests from interested prospective authors, the formal deadline for the submission of abstracts to ICCS 2011 is being extended until March 7, 2011. Authors who have already submitted abstracts may continue to revise them until that date. | |||||||||||
CONFIRMED PLENARY SPEAKERS | |||||||||||
| Eshel Ben-Jacob (Tel Aviv University) Johan Bollen (Indiana University) Steven Bressler (Florida Atlantic University) Eric Davidson (California Institute of Technology) Leah Edelstein-Keshet (University of British Columbia) John Hopfield (Princeton University) Kunihiko Kaneko (University of Tokyo) Hod Lipson (Cornell University) Mark Newman (University of Michigan) Stuart Pimm (Duke University) Thomas Schelling (University of Maryland) Sorin Solomon (Hebrew University of Jerusalem) Didier Sornette (ETH Zurich) Gene Stanley (Boston University) Nassim N. Taleb (New York University) Elizabeth Tran (National Science Foundation) Stephen Wolfram (Wolfram Research) (More plenary speakers TBA) | |||||||||||
ABSTRACT SUBMISSION AND PROCEEDINGS PUBLICATION | |||||||||||
| For presentation at the conference, authors should submit an abstract through EasyChair, the online submission/reviewing system. Submitted abstracts will be peer-reviewed by the Program Committee and sorted into four categories: Oral presentation in a plenary session, oral presentation in a parallel session, poster presentation, or rejection. All the accepted abstracts will be published in the online proceedings (with an ISBN) on the conference website. Authors of accepted abstracts may submit full papers for inclusion in the online proceedings. Full paper submission is optional. | |||||||||||
IMPORTANT DATES AND DEADLINES | |||||||||||
Online registration is available on the conference website (http://necsi.edu/events/iccs2011/). Space is limited, so please register early. Contact us at iccs@necsi.edu | |||||||||||
| If you prefer not to receive messages about this and future programs please let us know by sending an email to: cx-web-off@necsi.org. If this does not work send an e-mail to: complex@necsi.org | |||||||||||
| New England Complex Systems Institute 238 Main Street Suite 319 Cambridge, MA 02142 Phone: 617-547-4100 Fax: 617-661-7711 | |||||||||||
Labels:
ai,
bio-inspired,
complexity,
emergent behavior,
methodology,
robot,
self*
Freitag, 17. September 2010
Nature Inspired Distributed Computing
**********************************************************************
The 14th International Workshop on
Nature Inspired Distributed Computing
(NIDISC'11)
http://nidisc2011.gforge.uni.lu/
held in conjunction with
The 25th IEEE International
Parallel and Distributed Processing Symposium (IPDPS'2010)
16-20 May 2011
Anchorage (Alaska) USA
http://www.ipdps.org
**********************************************************************
Workshop Theme :
=============
Techniques based on metaheuristics and nature-inspired paradigms can
provide efficient solutions to a wide variety of problems. Moreover,
parallel and distributed metaheuristics can be used to provide more
powerful problem solving environments in a variety of fields, ranging,
for example, from finance to bio- and health-informatics. This
workshop seeks to provide an opportunity for researchers to explore
the connection between metaheuristics and the development of solutions
to problems that arise in operations research, parallel computing,
telecommunications, bioinformatics, and many others.
Topics of interest include, but are not limited to:
* Nature-inspired methods (e.g. ant colonies, GAs, cellular automata,
DNA and molecular computing, local search, etc) for problem solving
environments.
* Parallel and distributed metaheuristics techniques (algorithms,
technologies and tools).
* Applications combining traditional parallel and distributed
computing and optimization techniques as well as theoretical issues
(convergence, complexity, etc).
* Other algorithms and applications relating the above mentioned
research areas.
Prospective authors of high quality research contributions are invited
to submit an electronic copy of their manuscript not exceeding 8
two-column pages including figures and references in the traditional
IEEE format used in IPDPS. Please, use Postscript or PDF when
possible. In your email, please indicate paper title, author(s), and
the corresponding author.
A selected group of papers from the workshop will be invited to
submit extended versions of their papers to a special issue of an
international scholarly journal. Further announcements will be made
during the workshop.
General Chair :
============
- Albert Y. Zomaya, The University of Sydney -Australia- (zomaya@it.usyd.edu.au)
Program Co-chairs :
==============
- Pascal Bouvry, University of Luxembourg -Luxembourg- ( pascal.bouvry@uni.lu )
- Franciszek Seredynski, Polish Academy of Sciences -Poland- ( sered@ipipan.waw.pl )
- El-Ghazali Talbi, University of Lille, INRIA -France- ( talbi@lifl.fr )
Program Committee (to be completed) :
=====================================
E. Alba, University of Màlaga, Spain
M. Affenzeller, Univ. of Hagenberg, Austria
A. Al-Dubai, Edinburgh Napier University, United Kingdom
A. Al-Jumaily, University of Technology Sydney, Australia
L. Bononi, University of Bologna, Italy
A. Boukerche, University of Ottawa, Canada
P. Bouvry, University of Luxembourg, Luxembourg
J. Branke, University of Karlsruhe, Germany
E. Cantù-Paz, Lawrence Livermore National Laboratory, USA
C. Coello, CINVESTAV-IPN, Mexico
T. Crainic, Univ. of Montreal, Canada
B. Di Martino, Univ. of Naples, Italia
T. El-Ghazawi, George Washington University, USA
P. Herrero, UPM, Spain
A. Lewis, Griffith University, Australia
M. Middendorf, University of Leipzig, Germany
N. Melab, University of Lille, France
M. D. Moore, Texas A & M - Corpus Christi, USA
S. Mostaghim, Univ. of Karlsruhe, Germany
A. J.Nebro, Univ. of Malaga, Spain
C. Ribeiro, Univ. of Fluminense, Brazil
H. Sarbazi-azad, Sharif University of Technology, Iran
G. Ch. Sirakoulis, Democritus University of Thrace, Greece
G. Spezzano, University of Calabria, Italy
Z. Tari, RMIT University, Australia
M. Tomassini, University of Lausanne, Switzerland
F. Xhafa, Universitat Politècnica de Catalunya, Spain
Publicity Chair:
==============================
- Grégoire Danoy, University of Luxembourg -Luxembourg- (gregoire.danoy@uni.lu)
Papers should be submitted to:
==============================
- P. Bouvry, University of Luxembourg -Luxembourg- ( pascal.bouvry@uni.lu )
- F. Seredynski, Polish Academy of Sciences -Poland- ( sered@ipipan.waw.pl )
- E-G. Talbi, University of Lille, INRIA -France- ( talbi@lifl.fr )
Important Dates:
================
- Submission Deadline - December 4, 2010
- Notification of Acceptance - January 8, 2011
- Final Copy Due - February 1, 2010
=========================
Gregoire Danoy, PhD
Scientific Collaborator
University of Luxembourg
FSTC - CSC - ILIAS
=========================
Labels:
ants,
cellular automata,
complexity,
distributed,
parallel
Donnerstag, 8. April 2010
UniDL'10 - First International Workshop on Uncertainty in Description Logics
New submission deadline: 11. of April
-------------------------------------------------------------------
UniDL'10
First International Workshop on Uncertainty in Description Logics
co-located with IJCAR 2010 at FLoC 2010
July 20, 2010
Edinburgh, UK
http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------
During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs). This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.
SPONSOR
UniDL is sponsored by the Artificial Intelligence Journal (AIJ)
INVITED SPEAKER
Ralf Moeller, Hamburg University of Technology
TOPICS OF INTEREST
include but are not limited to:
* Modeling of uncertain knowledge in DLs
* Different formalisations of uncertainty for DLs
* Formal semantics for uncertain information in DLs
* Extensions of DL reasoning problems to uncertainty
* Reasoning algorithms for DLs with uncertainty, in particular
* Tableau algorithms for probabilistic DLs or fuzzy DLs
* Tractable DLs with uncertainty
* Complexity of uncertain reasoning
* System descriptions for implemented reasoning algorithms
in uncertain DLs
* Novel applications of DLs with uncertainty
* Open and future problems
IMPORTANT DATES:
*New* submission deadline: April 11, 2010
Notification: April 29, 2010
Final version: May 18, 2010
Workshop: July 20, 2010
SUBMISSION DETAILS:
The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 . The workshop
prceedings will be published as CEUR proceedings.
We adopt the same double submission policy as the DL workshop,
that is, we also welcome submissions of papers that have recently
been published at other conferences and workshops (e.g., KR,
AAAI, ECAI, DL, and URSW).
WORKSHOP CHAIRS:
- Thomas Lukasiewicz, Oxford University, UK
- Rafael Penaloza, TU Dresden, Germany
- Anni-Yasmin Turhan, TU Dresden, Germany
PROGRAM COMMITTEE:
- Eyal Amir, University of Illinois, Urbana-Champaign
- Fernando Bobillo, University of Zaragoza
- Simona Colucci, Technical University of Bari
- Fabio G. Cozman, University of Sao Paulo
- Manfred Jaeger, Aalborg University
- Pavel Klinov, University of Manchester
- Ralf Moeller, Hamburg University of Technology
- Mathias Niepert, University of Mannheim
- Stefan Schlobach, Vrije Universiteit Amsterdam
- Luciano Serafini, IRS Trento
- Giorgos Stoilos, Oxford University
- Umberto Straccia, ISTI-CNR
- Guilin Qi, Southeast University, China
-------------------------------------------------------------------
UniDL'10
First International Workshop on Uncertainty in Description Logics
co-located with IJCAR 2010 at FLoC 2010
July 20, 2010
Edinburgh, UK
http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------
During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs). This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.
SPONSOR
UniDL is sponsored by the Artificial Intelligence Journal (AIJ)
INVITED SPEAKER
Ralf Moeller, Hamburg University of Technology
TOPICS OF INTEREST
include but are not limited to:
* Modeling of uncertain knowledge in DLs
* Different formalisations of uncertainty for DLs
* Formal semantics for uncertain information in DLs
* Extensions of DL reasoning problems to uncertainty
* Reasoning algorithms for DLs with uncertainty, in particular
* Tableau algorithms for probabilistic DLs or fuzzy DLs
* Tractable DLs with uncertainty
* Complexity of uncertain reasoning
* System descriptions for implemented reasoning algorithms
in uncertain DLs
* Novel applications of DLs with uncertainty
* Open and future problems
IMPORTANT DATES:
*New* submission deadline: April 11, 2010
Notification: April 29, 2010
Final version: May 18, 2010
Workshop: July 20, 2010
SUBMISSION DETAILS:
The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 . The workshop
prceedings will be published as CEUR proceedings.
We adopt the same double submission policy as the DL workshop,
that is, we also welcome submissions of papers that have recently
been published at other conferences and workshops (e.g., KR,
AAAI, ECAI, DL, and URSW).
WORKSHOP CHAIRS:
- Thomas Lukasiewicz, Oxford University, UK
- Rafael Penaloza, TU Dresden, Germany
- Anni-Yasmin Turhan, TU Dresden, Germany
PROGRAM COMMITTEE:
- Eyal Amir, University of Illinois, Urbana-Champaign
- Fernando Bobillo, University of Zaragoza
- Simona Colucci, Technical University of Bari
- Fabio G. Cozman, University of Sao Paulo
- Manfred Jaeger, Aalborg University
- Pavel Klinov, University of Manchester
- Ralf Moeller, Hamburg University of Technology
- Mathias Niepert, University of Mannheim
- Stefan Schlobach, Vrije Universiteit Amsterdam
- Luciano Serafini, IRS Trento
- Giorgos Stoilos, Oxford University
- Umberto Straccia, ISTI-CNR
- Guilin Qi, Southeast University, China
Labels:
complexity,
description logic,
formal,
fuzzy,
ontology,
reasoning,
semantic web,
semantics,
uncertainty
Donnerstag, 1. April 2010
WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010
Second INTERNATIONAL WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010
31st August 2010, York University, Toronto, Canada
Abstract submission: April 14, 2010
Full paper submission: April 16, 2010
http://www.csse.monash.edu.au/~xtg/CARE2010/
============================================================
The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT).
http://www.yorku.ca/wiiat10/
Summary
=======
Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity.
This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems.
Some issues of interest of this workshop are:
o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains.
o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains.
o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients.
o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses.
o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market).
o What are the implications of partial regulation on the management of contractual relationships and service delivery.
o How organisational structures influence the negotiation of agents and the distribution/execution of tasks.
o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with.
o How can interventions and incentive structures assist in managing contractual relationships and service delivery.
o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. o Can lessons learnt in game theoretic computation inform collaborative agent settings.
o What role does learning and adaptivity play in building organisational MAS.
The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers.
Contact
=======
CARE organisers
christian.guttmann@gmail.com
dignum@cs.uu.nl
Important Dates
===============
Abstract submission: April 14, 2010
Full paper submission: April 16, 2010
Notification: May 28, 2010
Camera ready: June 7, 2010
Topics of Interest include (but are not limited to):
====================================================
RESEARCH
* Collaboration frameworks
* Models of teamwork and joint action
* Organisation/Institutes/Norms
* Auctioning/Negotiation
* Task/Resource allocation
* Behaviour modelling/monitoring
* Adherence/Intervention mechanisms
* Incentive frameworks
* Intervention mechanisms
* Agreement technology
* Contract networks/formation
* Cloud computing
APPLICATION AREAS
* Collaborative care planning/management * Disaster planning/management
* Traffic planning/management
* Transport/Logistics
* Applications in primary and preventative healthcare * Chronic disease planning/management
* Epidemiological agent models
* Unmanned air/land vehicles
* Robotic soccer/Robotic rescues
* Weather forecast
* Artificial and natural immune systems
* Social networks (e.g., LinkedIn, Facebook,...)
* Smart grid network (e.g., electricity/gas metering)
Submission and Publication
==========================
Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification.
Style Files for Paper Submission
IEEE Computer Society Proceedings Manuscript Formatting Guidelines:
DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros:
ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip
Submissions will be peer-reviewed by two or 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.
Post-Proceedings will be published with a major international publisher (most likely Springer as for the CARE 2009).
Workshop Officials
==================
GENERAL CHAIRS
Christian Guttmann (Monash University, Australia)
Frank Dignum (University Utrecht, Netherlands)
PROGRAM COMMITTEE
Wei Chen (Intelligent Automation, Inc., United States of America)
Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom)
Lawrence Cavedon (NICTA and RMIT University, Australia)
Samin Karim (Accenture, Australia)
Cees Witteveen (Delft University of Technology, Netherlands)
Franziska Klügl (Örebro University, Sweden)
Toby Walsh (NICTA and UNSW, Australia)
Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy)
Alexander Pokahr (University Hamburg, Germany)
Lars Brauchbach (University Hamburg, Germany)
Wayne Wobcke (University of New South Wales, Australia)
Rainer Unland (University of Duisburg-Essen, Germany)
Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia)
Simon Thompson (British Telecom Research Laboratories, United Kingdom)
Gord McCalla (University of Saskatchewan, Canada)
Andrew Gilpin (Hg Analytics, United States of America)
David Morley (SRI International, United States of America)
Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil)
Simon Goss (Defence Science and Technology Organisation DSTO, Australia)
31st August 2010, York University, Toronto, Canada
Abstract submission: April 14, 2010
Full paper submission: April 16, 2010
http://www.csse.monash.edu.au/~xtg/CARE2010/
============================================================
The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT).
http://www.yorku.ca/wiiat10/
Summary
=======
Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity.
This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems.
Some issues of interest of this workshop are:
o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains.
o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains.
o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients.
o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses.
o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market).
o What are the implications of partial regulation on the management of contractual relationships and service delivery.
o How organisational structures influence the negotiation of agents and the distribution/execution of tasks.
o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with.
o How can interventions and incentive structures assist in managing contractual relationships and service delivery.
o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. o Can lessons learnt in game theoretic computation inform collaborative agent settings.
o What role does learning and adaptivity play in building organisational MAS.
The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers.
Contact
=======
CARE organisers
christian.guttmann@gmail.com
dignum@cs.uu.nl
Important Dates
===============
Abstract submission: April 14, 2010
Full paper submission: April 16, 2010
Notification: May 28, 2010
Camera ready: June 7, 2010
Topics of Interest include (but are not limited to):
====================================================
RESEARCH
* Collaboration frameworks
* Models of teamwork and joint action
* Organisation/Institutes/Norms
* Auctioning/Negotiation
* Task/Resource allocation
* Behaviour modelling/monitoring
* Adherence/Intervention mechanisms
* Incentive frameworks
* Intervention mechanisms
* Agreement technology
* Contract networks/formation
* Cloud computing
APPLICATION AREAS
* Collaborative care planning/management * Disaster planning/management
* Traffic planning/management
* Transport/Logistics
* Applications in primary and preventative healthcare * Chronic disease planning/management
* Epidemiological agent models
* Unmanned air/land vehicles
* Robotic soccer/Robotic rescues
* Weather forecast
* Artificial and natural immune systems
* Social networks (e.g., LinkedIn, Facebook,...)
* Smart grid network (e.g., electricity/gas metering)
Submission and Publication
==========================
Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification.
Style Files for Paper Submission
IEEE Computer Society Proceedings Manuscript Formatting Guidelines:
DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros:
ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip
Submissions will be peer-reviewed by two or 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.
Post-Proceedings will be published with a major international publisher (most likely Springer as for the CARE 2009).
Workshop Officials
==================
GENERAL CHAIRS
Christian Guttmann (Monash University, Australia)
Frank Dignum (University Utrecht, Netherlands)
PROGRAM COMMITTEE
Wei Chen (Intelligent Automation, Inc., United States of America)
Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom)
Lawrence Cavedon (NICTA and RMIT University, Australia)
Samin Karim (Accenture, Australia)
Cees Witteveen (Delft University of Technology, Netherlands)
Franziska Klügl (Örebro University, Sweden)
Toby Walsh (NICTA and UNSW, Australia)
Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy)
Alexander Pokahr (University Hamburg, Germany)
Lars Brauchbach (University Hamburg, Germany)
Wayne Wobcke (University of New South Wales, Australia)
Rainer Unland (University of Duisburg-Essen, Germany)
Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia)
Simon Thompson (British Telecom Research Laboratories, United Kingdom)
Gord McCalla (University of Saskatchewan, Canada)
Andrew Gilpin (Hg Analytics, United States of America)
David Morley (SRI International, United States of America)
Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil)
Simon Goss (Defence Science and Technology Organisation DSTO, Australia)
Labels:
adaptive,
agent,
ai,
autonomous,
collaboration,
complexity,
coordination,
framework,
learning,
mas,
negotiation,
planning,
rational
Dienstag, 23. März 2010
STCAN 2010 - Special Track on State-Topology Coevolution in Adaptive Networks
CALL FOR PAPERS
STCAN 2010:
Special Track on State-Topology Coevolution in Adaptive Networks
In BIONETICS 2010
December 1-3, 2010, Boston, Massachusetts, USA
http://www.bionetics.org/sp/stcan.shtml
==========
Aim and Scope
Complex network research has so far addressed mostly either "dynamics on networks" (state transition on a network with a fixed topology) or "dynamics of networks" (topological transformation of a network with no dynamic state changes). In many real-world complex biological and social networks, however, these two dynamics interact with each other and coevolve over the same time scales. Modeling and predicting state-topology coevolution is now recognized as one of the most significant challenges in complex network science.
This Special Track solicits theoretical, computational, experimental and/or application-oriented research on any aspects of the state-topology coevolution of complex networks---either biological, social, or engineered. Its goals are to promote the growth of a research community on this emerging new field of network research, to help develop a common conceptual "language" for modeling, analyzing
and discussing the state-topology coevolution of various real-world complex adaptive networks, and thereby to galvanize interdisciplinary discussion and collaboration across many different areas of applications.
The relevant topics of interest include, but are not limited to:
* Theoretical foundations
* Mathematical/analytical approaches
* Statistical/machine learning approaches
* Computational modeling/simulation tools
* Real-world examples
* Applications to biological network modeling
* Applications to social network modeling
* Applications to engineered network design
* Historical review
==========
Track Chairs
Hiroki Sayama
Binghamton University, State University of New York, USA
sayama@binghamton.edu
Thilo Gross
Max Planck Institute for the Physics of Complex Systems, Germany
thilo.gross@physics.org
==========
Program Committee Members
Alain Barrat (Centre de Physique Théorique, Marseille, France)
Kevin Bassler (University of Houston, USA)
René Doursat (ISC-PIF, France)
Gourab Ghoshal (Northeastern University, USA)
Chrystopher Nehaniv (University of Hertfordshire, UK)
Jorge Pacheco (Universidade do Minho, Portugal)
Reiji Suzuki (Nagoya University, Japan)
Leah Shaw (College of William and Mary, USA)
Kohji Tomita (AIST, Japan)
==========
Paper Submission Instructions
Authors are invited to submit papers in the following categories:
* Regular papers: Up to 15 pages
* Short papers: Up to 2 pages
* Work-in-progress papers: Up to 6 pages
* Demo papers: Up to 4 pages
Submissions must be in the Springer LNCS format (http://www.springeronline.com/lncs/). All papers will be handled electronically. Please visit http://www.bionetics.org/submissions.shtml for detailed submission requirements and procedures.
==========
Important Dates
Regular paper submission due: July 16
Short, work-in-progress and demo paper submission due: September 19
Notification of acceptance for regular papers: September 12
Notification of acceptance for other papers: September 30
Camera ready due: October 10
==========
Publication
All accepted paper will be published by Springer. A selected number of best papers will be considered for publication in leading journals such as:
* ACM Trans. on Autonomous and Adaptive Systems
* Int'l Journal of Autonomous and Adaptive Communications Systems
* Elsevier Nano Communication Networks Journal
==========
Contact
Hiroki Sayama, D.Sc.
Director, Collective Dynamics of Complex Systems Research Group
Assistant Professor, Department of Bioengineering
Binghamton University, State University of New York
Affiliate, New England Complex Systems Institute
P.O. Box 6000, Binghamton, NY 13902-6000
Tel 1-607-777-4439, Fax 1-607-777-5780
Email: sayama@binghamton.edu
http://bingweb.binghamton.edu/~sayama/
http://coco.binghamton.edu/
Sonntag, 21. März 2010
SIEC 2010 - 1st International Conference on Swarm Intelligence and Emergent Computing
SIEC 2010
The 1st International Conference on Swarm Intelligence and Emergent Computing
In conjunction with the “The 2010 Systemics and Informatics World Network” (SIWN 2010) Chongqing, China, 12-14 July 2010
Complex Adaptive Systems are widespread both in the nature and in socio-economic phenomena. A Multi-Agent Based Complex System has its dynamic behaviour that is inherently emerging as a result of intensive interactions among its massive agents. Examples of Multi-Agent Based Complex Systems include social insects, population aggregations in urbane regions, market based economy, city taxi cabs, etc. Swarm Intelligence represents a methodology for analyzing and modeling Multi-Agent Based Complex Systems, and Emergent Computing is concerned with the methodology for engineering robust, dependable, self-adaptable Multi-Agent Based Complex Systems out of massive, simple, unreliable objects, devices or units. Essentially Emergent Computing represents a new approach which takes a Collective Intelligence point of view upon all types of artificial systems, e.g., web/Internet based systems, social networking, online virtual communities, pervasive/ubiquitous computing, ambient intelligence, socio-technical systems, and so forth.
SIEC2010 aims to provide a timely international, multi-disciplinary forum on the latest theories, methods, techniques and applications in Swarm Intelligence and Emergence Computing.
Details can be found at: http://siwn.org.uk/2010/SIEC10.htm
Topics of particular interest include (but not limited to) the followings.
(1) Biological and Scio-economic Inspirations for Swarms
- artificial life
- biologically inspired computing
- biologically inspired interaction mechanisms
- biologically inspired process algebra and formal specifications
- collective intelligence
- computational pheromones, potential field, economy
- market economy
- models of social insects
- self-organization in biological systems
- social insets
- social intelligence
- stigmergy
(2) Emergence and Interactions
- autonomy based interactions
- cybernetic principles and self-organization
- formal approaches to handling local/global agent behaviors
- game theoretic approaches to emergence in multi-agent systems
- interaction mechanisms for self-organization and adaptation
- models, methods and tools for achieving global coherent behaviors
- multi-agent based complex systems
- principles of emergence, understanding, controlling, or exploiting emergent behaviors
- relation between high-level goals and local interactions
- specification based interaction mechanisms
- trust-based interaction mechanisms
(3) Swarm Optimization
- ant colony optimization (ACO)
- ants algorithms
- computational swarm models
- cultural evolution
- evolutionary computing
- particle swarm optimization (PSO)
- social evolution
(4) Emergent Computing
- amorphous computing
- analytic models of emergent behaviors
- cellular automata approaches to emergence in multi-agent systems
- cognitive computing
- collective intelligence/emergence in cloud/Grid computing, service-oriented computing (SOC)
- collective intelligence/emergence in pervasive/ubiquitous computing, ambient intelligence
- collective intelligence/emergence in service discovery and delivery, service-oriented architectures (SOA)
- collective intelligence/emergence in social networking, online virtual communities
- collective intelligence/emergence in web/Internet systems
- controllability of emergence
- granular computing
- molecular/cellular computer, DNA computing
- multi-agent based complex systems
- nanocomputing
- natural computing, evolutionary computation
- performance engineering of emergent behaviors in multi-agent systems
- quantum computing
(5) Applications
- industrial automation
- network routing
- socio-technical systems
- traffic scheduling
Submission
SIWN 2010 only accepts manuscripts of original contributions. A manuscript for submission to the Conference should neither have been published nor have been under consideration for publication elsewhere. A manuscript for submission to the Conference should be prepared according to the Instructions for Authors of the Journal that can be found at http://fatech.org.uk/press/ita.htm along with Sample Word Doc and Latex file of Camera-Ready Versions. There is a page limit of 8 formatted pages for the CRV of an accepted paper. Additional pages are subject to over-length charges.
All accepted papers of the Conferences will be included in the electronic Proceedings of SIWN 2010 and at the same time, will be published in the International Journal <> (ISSN 1757-4439).
After the Conferences, authors of selected papers will be invited to submit thoroughly expanded papers for publication at special issues of following International Journals:
IEEE Transactions on Systems, Man, and Cybernetics
International Transactions on Systems Science and Applications
Engineering Applications of Artificial Intelligence
Advanced Engineering Informatics
Important Dates
9 April 2010 Submission of manuscripts
30 April 2010 Notification of acceptance
28 May 2010 Camera-Ready Version (CRV) due
12-14 July 2010 Conference
Program Chairs
Jan Sudeikat
Multimedia Systems Laboratory, Hamburg University of Applied Sciences
Berliner Tor 7, 20099 Hamburg, Germany
Distributed Systems and Information Systems, Computer Science Department
University of Hamburg, Vogt–Kolln–Str. 30, 22527 Hamburg, Germany
Jan.Sudeikat@haw-hamburg.de
Professor Yu Wu
Network and Computation Research Center
Chongqing University of Posts and Telecommunications
Chongqing 400065, China
wuyu@cqupt.edu.cn
The 1st International Conference on Swarm Intelligence and Emergent Computing
In conjunction with the “The 2010 Systemics and Informatics World Network” (SIWN 2010) Chongqing, China, 12-14 July 2010
Complex Adaptive Systems are widespread both in the nature and in socio-economic phenomena. A Multi-Agent Based Complex System has its dynamic behaviour that is inherently emerging as a result of intensive interactions among its massive agents. Examples of Multi-Agent Based Complex Systems include social insects, population aggregations in urbane regions, market based economy, city taxi cabs, etc. Swarm Intelligence represents a methodology for analyzing and modeling Multi-Agent Based Complex Systems, and Emergent Computing is concerned with the methodology for engineering robust, dependable, self-adaptable Multi-Agent Based Complex Systems out of massive, simple, unreliable objects, devices or units. Essentially Emergent Computing represents a new approach which takes a Collective Intelligence point of view upon all types of artificial systems, e.g., web/Internet based systems, social networking, online virtual communities, pervasive/ubiquitous computing, ambient intelligence, socio-technical systems, and so forth.
SIEC2010 aims to provide a timely international, multi-disciplinary forum on the latest theories, methods, techniques and applications in Swarm Intelligence and Emergence Computing.
Details can be found at: http://siwn.org.uk/2010/SIEC10.htm
Topics of particular interest include (but not limited to) the followings.
(1) Biological and Scio-economic Inspirations for Swarms
- artificial life
- biologically inspired computing
- biologically inspired interaction mechanisms
- biologically inspired process algebra and formal specifications
- collective intelligence
- computational pheromones, potential field, economy
- market economy
- models of social insects
- self-organization in biological systems
- social insets
- social intelligence
- stigmergy
(2) Emergence and Interactions
- autonomy based interactions
- cybernetic principles and self-organization
- formal approaches to handling local/global agent behaviors
- game theoretic approaches to emergence in multi-agent systems
- interaction mechanisms for self-organization and adaptation
- models, methods and tools for achieving global coherent behaviors
- multi-agent based complex systems
- principles of emergence, understanding, controlling, or exploiting emergent behaviors
- relation between high-level goals and local interactions
- specification based interaction mechanisms
- trust-based interaction mechanisms
(3) Swarm Optimization
- ant colony optimization (ACO)
- ants algorithms
- computational swarm models
- cultural evolution
- evolutionary computing
- particle swarm optimization (PSO)
- social evolution
(4) Emergent Computing
- amorphous computing
- analytic models of emergent behaviors
- cellular automata approaches to emergence in multi-agent systems
- cognitive computing
- collective intelligence/emergence in cloud/Grid computing, service-oriented computing (SOC)
- collective intelligence/emergence in pervasive/ubiquitous computing, ambient intelligence
- collective intelligence/emergence in service discovery and delivery, service-oriented architectures (SOA)
- collective intelligence/emergence in social networking, online virtual communities
- collective intelligence/emergence in web/Internet systems
- controllability of emergence
- granular computing
- molecular/cellular computer, DNA computing
- multi-agent based complex systems
- nanocomputing
- natural computing, evolutionary computation
- performance engineering of emergent behaviors in multi-agent systems
- quantum computing
(5) Applications
- industrial automation
- network routing
- socio-technical systems
- traffic scheduling
Submission
SIWN 2010 only accepts manuscripts of original contributions. A manuscript for submission to the Conference should neither have been published nor have been under consideration for publication elsewhere. A manuscript for submission to the Conference should be prepared according to the Instructions for Authors of the Journal that can be found at http://fatech.org.uk/press/ita.htm along with Sample Word Doc and Latex file of Camera-Ready Versions. There is a page limit of 8 formatted pages for the CRV of an accepted paper. Additional pages are subject to over-length charges.
All accepted papers of the Conferences will be included in the electronic Proceedings of SIWN 2010 and at the same time, will be published in the International Journal <
After the Conferences, authors of selected papers will be invited to submit thoroughly expanded papers for publication at special issues of following International Journals:
IEEE Transactions on Systems, Man, and Cybernetics
International Transactions on Systems Science and Applications
Engineering Applications of Artificial Intelligence
Advanced Engineering Informatics
Important Dates
9 April 2010 Submission of manuscripts
30 April 2010 Notification of acceptance
28 May 2010 Camera-Ready Version (CRV) due
12-14 July 2010 Conference
Program Chairs
Jan Sudeikat
Multimedia Systems Laboratory, Hamburg University of Applied Sciences
Berliner Tor 7, 20099 Hamburg, Germany
Distributed Systems and Information Systems, Computer Science Department
University of Hamburg, Vogt–Kolln–Str. 30, 22527 Hamburg, Germany
Jan.Sudeikat@haw-hamburg.de
Professor Yu Wu
Network and Computation Research Center
Chongqing University of Posts and Telecommunications
Chongqing 400065, China
wuyu@cqupt.edu.cn
Labels:
adaptive,
agent,
bio-inspired,
complexity,
ecommerce,
game theory,
intelligence,
mas,
pheromones,
self*,
social,
swarm
Freitag, 19. März 2010
9TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY (ACRI 2010)
*********************************************************************** Call for Papers 9TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY (ACRI 2010) Ascoli Piceno (Italy), September 21-24, 2010 http://www.acri2010.disco.unimib.it/ acri2010 [ at > disco.unimib.it *********************************************************************** New Deadline for Paper submission: March 30, 2010 *********************************************************************** Cellular Automata (CA) present a very powerful approach to the study of spatio-temporal systems where complex phenomena build up out of many simple local interactions. The main goal of the 9th edition of ACRI 2010 Conference (Cellular Automata for Research and Industry) is to offer both scientists and innovation managers in academies and industries an opportunity to express and discuss their views on current and future trends, challenges, and state-of-the art solutions to various problems in the fields of arts, biology, chemistry, communication, cultural heritage, ecology, economy, engineering, physics, social science, traffic control, etc. Topics of either theoretical or applied interest about CA and CA-based models and systems include issues in parallelism, computational complexity, dynamical and complex systems, innovative and challenging models for real phenomena. Papers on languages, software platforms and hardware components based on CA are welcome. In order to emphasize the application power of CA and the increasing interest about these advanced computational models in the production world, papers and also demos will be welcome. *********************************************************************** Chairs Stefania Bandini (University of Milano-Bicocca - I) Hiroshi Umeo (University of Osaka Electro-Communication - J) Steering Committee Stefania Bandini (University of Milano-Bicocca - I) Bastien Chopard (University of Geneva - CH) Giancarlo Mauri (University of Milano-Bicocca - I) Hiroshi Umeo (University of Osaka Electro-Communication - J) Thomas Worsch (University of Karlsruhe - G) Program Committee Susumu Adachi (Japan) Andrew Adamatzky (UK) Franco Bagnoli (Italy) Stefania Bandini (Italy) Olga Bandman (Russia) Belgacem Ben Youssef (Canada) Dbashish Chowdhury (India) Bastien Chopard (Switzerland) Alberto Dennunzio (Italy) Andreas Deutsch (Germany) Salvatore Di Gregorio (Italy) Michel Droz (Switzerland) Samira El Yacoubi (France) Nazim Fatès (France) Alfons Hoekstra (The Netherlands) Teijiro Isokawa (Japan) Francisco Jiménez (Spain) Toshihiko Komatsuzaki (Japan) Anna T. Lawniczak (Canada) Jia Lee (Japan) Pradipta Maji (India) Danuta Makowiec (Poland) Sara Manzoni (Italy) Nobuyuki Matsui (Japan) Giancarlo Mauri (Italy) Michael Meyer-Hermann (Germany) Angelo Mingarelli (Canada) Shin Morishita (Japan) Katsuhiro Nishinari (Japan) Hidenosuke Nishio (Japan) Ferdinand Peper (Japan) Roberto Serra (Italy) Georgios Sirakoulis (Greece) Furio Suggi Liverani (Italy) Domenico Talia (Italy) Gianluca Tempesti (UK) Marco Tomassini (Switzerland) Leen Torenvliet (The Netherlands) Hiroshi Umeo (Japan) Giuseppe Vizzari (Italy) Burton Voorhees (Canada) Thomas Worsch (Germany) Organizing Committee Stefania Bandini Eliana Magnolo Lorenza Manenti Sara Manzoni Roberto Pedroli Andrea Valsecchi Giuseppe Vizzari Local Organizing Committee Giorgia Malavolta *********************************************************************** SUBMISSIONS: Authors are invited to submit papers presenting their original and unpublished research. Papers should not exceed 10 pages and should be formatted according to the usual LNCS article style (http://www.springer.com/computer/lncs). Details on the electronic submission procedure will be provided through the website of the conference (http://www.acri2010.disco.unimib.it/). *********************************************************************** PUBLICATION: A volume of proceedings, that will be published by Springer-Verlag in the Lecture Notes in Computer Science series, will be available by the time of the conference. Refereed volumes of selected proceedings containing extended papers will be organized after it as a special issues of international journals. *********************************************************************** REGISTRATION: Details about how to register will be provided through the website of the conference. *********************************************************************** IMPORTANT DATES (deadline extended!): Paper submission: March 30, 2010 Notification of paper acceptance or rejection: April 30, 2010 Final version of the paper for the proceedings: May 23, 2010 Conference: September 21-24, 2010
Mittwoch, 17. März 2010
Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN)
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, The Netherlands 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, Masdar Institute of Science & Technology, 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, The Netherlands Tim Verwaart, Delft University of Technology, The Netherlands Hans Weigand, Tilburg University, The Netherlands John Zeleznikow, Victoria University, Melbourne, Australia INFORMATION: For further information please contact: k.v.hindriks@tudelft.n
Labels:
ai,
complexity,
decisionmaking,
emotion,
hci,
human,
learning,
model,
negotiation,
ontology,
protocol,
semantics,
strategy,
trust
Dienstag, 16. März 2010
ACA 2010 - FIRST INTERNATIONAL WORKSHOP ON ASYNCHRONOUS CELLULAR AUTOMATA
ACA 2010 FIRST INTERNATIONAL WORKSHOP ON ASYNCHRONOUS CELLULAR AUTOMATA at 9th International Conference on Cellular Automata for Research and Industry (ACRI 2010) Ascoli Piceno (Italy), September 21-24, 2010 http://www.acri2010.disco.unimib.it/workshops.html *********************************************************************** New Deadline for Paper submission: March 30, 2010 *********************************************************************** ORGANIZER University of Milano - Bicocca AIMS Cellular Automata are a well-known formal model for complex systems that is used in many scientific fields and applications. Synchronicity is one of the main features of Cellular Automata evolutions. Indeed, all cells of common Cellular Automata are updated simultaneously at each discrete time step. Recent trends consider the modelling of asynchronous systems based on local interactions. The aim of this workshop is to bring together researchers dealing with the theme of the asyncronicity inside Cellular Automata in order to foster their interaction and to provide a forum for presenting new ideas and works in progress on the subject. Topics of either theoretical or applied interest include, but are not limited to the following aspects of Asynchronous Cellular Automata - dynamics - complexity issues - computational issues - emergent properties - models of parallelism and distributed systems - models of phenomena from biology, chemistry, physics, engineering and other fields SUBMISSION AND PUBLICATION Authors are invited to submit papers according to two contribution categories -- full and short papers -- meant to provide a differentiation of the papers in terms of their length, depth and/or maturity. Papers must comply with the Springer-Verlag format (see http://www.springer.com/computer/lncs) and the maximum length of 5 and 10 pages for short and full contributions, respectively. Details on the electronic submission procedure will be provided through the website of the ACRI conference (http://www.acri2010.disco.unimib.it/). Accepted papers will be published by Springer-Verlag in a volume of the Lecture Notes in Computer Science (LNCS) series. This volume will be available by the time of the workshop. It is also planned that selected papers will be considered for publication in a Special issue of Natural Computing. They will contain refereed extended versions of selected papers presented at ACA workshop. PROGRAM COMMITTEE Alberto Dennunzio (Universita' di Milano - Bicocca, Italy) co-chair Enrico Formenti (Universite' de Nice - Sophia Antipolis, France) co-chair Henryk Fuks (Brock University, CA) Eric Goles (Universidad Adolfo Ibáñez, Chile) Giancarlo Mauri (Universita' di Milano - Bicocca, Italy) Ferdinand Peper (National Institute of Information and Communications Technology, Japan) Nicolas Schabanel (CNRS, Universite' Paris Diderot, France) Marco Tomassini (Universite' de Lausanne, Switzerland) co-chair IMPORTANT DATES (with extended deadline!): Paper submission: March 30, 2010 Notification of paper acceptance or rejection: April 30, 2010 Final version of the paper for the proceedings: May 23, 2010 Conference: September 21-24, 2010 REGISTRATION: Details about how to register will be provided through the website of the ACRI conference.
Labels:
cellular automata,
complexity,
distributed,
emergent behavior,
formal,
model,
parallel
IEEE/WIC/ACM Intelligent Agent Technology 2010
#####################################################################
IEEE/WIC/ACM Intelligent Agent Technology 2010
CALL FOR PAPERS
#####################################################################
2010 IEEE/WIC/ACM International Conference on
Intelligent Agent Technology (IAT-10)
August 31 - September 3, 2010, York University, Toronto, Canada
http://www.yorku.ca/wiiat10
Sponsored By
IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)
##################################################################
# Papers Due: *** March 26, 2010 ***
# Accepted papers will be published in the conference proceedings
# by the IEEE Computer Society Press.
##################################################################
IAT 2010 will provide a leading international forum to bring together
researchers and practitioners from diverse fields, such as computer
science, information technology, business, education, systems
engineering, and robotics, to (1) examine the design principles and
performance characteristics of various approaches in intelligent agent
technology, and (2) increase the cross-fertilization of ideas on the
development of autonomous agents and multi-agent systems among
different domains. By encouraging idea-sharing and discussions on the
underlying logical, cognitive, physical, and sociological foundations
as well as the enabling technologies of intelligent agents, IAT 2010
will foster the development of novel paradigms and advanced solutions
in agent-based computing.
IAT 2010 will be jointly held with the 2010 IEEE/WIC/ACM International
Conference on Web Intelligence (WI-10). The two conferences will have
a joint opening, keynote, reception, and banquet. Attendees only need
to register for one conference and can attend workshops, sessions,
tutorials, panels, exhibits and demonstrations across the two
conferences. We are also planning a joint panel, joint paper sessions,
and a doctoral mentoring program to discuss
common problems in the two areas.
+++++++++++++++++++
Topics of Interest
+++++++++++++++++++
We invite submissions in all IAT related areas. Areas of interest include,
but are not limited to:
* Autonomy-Oriented Computing (AOC)
- Autonomy-Oriented Modeling and Computing Methods
- Complex Behavior Characterization
- Complex Systems Modeling and Simulation
- Emergent Behavior
- Hard Computational Problem Solving
- Large-Scale Systems Applications (e.g., Social, Policy, Sustainability,
Brain Informatics (BI), and Web Intelligence (WI) Applications)
- Nature-Inspired Computing
- Regularities and Models of AOC
- Self-Organization in Multi-Agent Systems
- Self-Organized Complex Networks
- Swarm or Collective Intelligence
- Unconventional, Self-Organized Computing Paradigms
* Autonomous Knowledge and Information Agents
- Agent-Based Knowledge Discovery and Sharing
- Autonomous Information Services
- Distributed Data Mining
- Distributed Knowledge Systems
- Evolution of Topics, Trends, Knowledge Networks and Communities
- Human-Agent Interaction
- Information Filtering Agents
- Knowledge Aggregation
- Ontology-Based Services
- Recommender Systems
* Agent Systems Modeling and Methodology
- Agent Interaction Protocols
- Cognitive Architectures
- Cognitive Modeling of Agents
- Emotional Modeling
- Fault-Tolerance in Multi-Agent Systems
- Formal Framework for Multi-Agent Systems
- Information Exchanges in Multi-Agent Systems
- Learning and Self-Adaptation in Multi-Agent Systems
- Mobile Agent Languages and Protocols
- Multi-Agent Autonomic Architectures
- Multi-Agent Coordination Techniques
- Multi-Agent Planning
- Neuroeconomics
- Peer-to-Peer Models for Multi-Agent Systems
- Social Interactions in Multi-Agent Systems
- Task-Based Agent Context
- Task-Oriented Agents
* Distributed Problem Solving
- Agent-Based Cloud Computing
- Agent Networks in Distributed Problem Solving
- Collective Group Behavior
- Coordination and Cooperation
- Distributed Intelligence
- Distributed Search
- Dynamics of Agent Groups and Populations
- Efficiency and Complexity Issues
- Market-Based Computing
- Problem-Solving in Dynamic Environments
* Autonomous Auctions and Negotiation
- Agent-Based Marketplaces
- Auction Markets
- Combinatorial Auctions
- Hybrid Negotiation
- Integrative Negotiation
- Mediating Agents
- Pricing Agents
* Applications
- Agent-Based Assistants
- Agent-Based Virtual Enterprise
- Embodied Agents and Agent-Based Systems Applications
- Games
- Interface Agents
- Knowledge and Data Intensive Systems
- Perceptive Animated Interfaces
- Scalability
- Social Simulation (e.g., Social Behavior, Social Inference, Social
Networks, and Social Norms)
- Socially Situated Planning
- Software and Pervasive Agents
- Tools and Standards
- Ubiquitous Systems and e-Technology Agents
- Virtual Humans
- XML-Based Agent Systems
++++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
++++++++++++++++++++++++++++++++++++
High-quality papers in all WI related areas are solicited.
Paper submissions should be limited to a maximum of 8 pages in
the IEEE 2-column format.
The same format will be used for final camera-ready papers
(see the Author Guidelines at
http://www.ieeeconfpublishing.org/cpir/AuthorKit.asp?Community=CPS&Facility=CPS_Dec&ERoom=WI%2DIAT+2008).
All submitted papers will be reviewed by the Program Committee
on the basis of technical quality, relevance, significance, and clarity.
Note that IAT'10 will accept ONLY on-line submissions in
PDF format. Please use the Submission Form on the WI'10
website to submit your paper. Accepted papers will be published in the
conference proceedings by the IEEE Computer Society Press that is
indexed by EI.
Submissions accepted as regular papers will be allocated 8 pages in the
proceedings and accorded oral presentation times in the main conference.
Submissions accepted as short papers will be allocated 4
pages in the proceedings and will have a shorter presentation time at
the conference than regular papers.
All co-authors will be notified at all time, for the submission,
notification, and confirmation on the attendance. Submitting a paper
to the conference and workshops means that, if the paper is accepted,
at least one author should attend the conference to present the
paper. The acceptance list and no-show list will be openly published
on-line. For no-show authors, their affiliations will receive a
notification.
Papers receiving outstanding review scores from IAT'10 will be
invited for possible inclusion, in an expanded/revised form,
in Web Intelligence and Agent Systems: An International Journal
(http://wi-consortium.org/journal.html). Those that are recommended by
reviewer(s) to the Journal will also be considered.
The best paper awards will be conferred at the conference on the
authors of (1) the best research paper and (2) the best application
paper. Application-oriented submissions will be considered for the
best application paper award.
More detailed instructions and the On-Line Submission Form will be
found on the IAT'10 homepage:
http://www.yorku.ca/wiiat10/contributors.php
++++++++++
Workshops
++++++++++
An important part of the conference is the workshop program which will
focus on new research challenges and initiatives. All papers accepted
for workshops will be allocated 4 pages and will be included in the
Workshop Proceedings published by the IEEE Computer Society Press that
are indexed by EI, and will be available at the workshops. Detailed
information is available at the conference homepage.
Note: we will not have a separate workshop registration fee
(i.e., conference registration covers everything).
Accepted Workshops:
The Third WI-IAT Doctoral Workshop (WI-IAT DW)
http://roughsets.home.pl/www/WI-IAT2010/DoctoralWS.html
First International Workshop on the Adaption of Web Services (AWS)
http://www.uc.rnu.tn/aws2010.html
Second International Workshop on Collaborative Agents -
Research and development (CARE)
http://www.csse.monash.edu.au/~xtg/CARE2010/
Human Aspects in Ambient Intelligence: Agent Technology,
Human-Oriented Knowledge, and Applications (HAI)
http://www.cs.vu.nl/~tbosse/HAI10/
Service Intelligence and Engineering (SIE)
http://166.111.68.103/WI-SI2010/
Service-Oriented Computing for Collective Intelligence (SOC4CI)
http://paginas.fe.up.pt/~melania/SOC4CI2010.html
Third Workshop on Logics for Intelligent Agents and Multi-Agent Systems
(WLIAMAS)
http://www.comp.mq.edu.au/conferences/wliamas10/
3rd Workshop on Collective Intelligence in Semantic Web and
Social Networks (CISWSN)
http://resources.smile.deri.ie/ciswsn2010/
4th International Workshop on Intelligent E-government and
Emergency Management (IEEM)
http://management.dlut.edu.cn/IEGEM10/index.htm
International Workshop on Computational Social Networks (IWCSN)
http://arg.vsb.cz/iwcsn2010/
International Workshop on Intelligent Web Interaction (IWI)
http://ymd.ex.nii.ac.jp/ws/iwi/10/
10th International Workshop on Meta-synthesis and Complex Systems (MCS)
http://meta-synthesis.iss.ac.cn/mcs2010/
Natural Language Processing and Ontology Engineering (NLPOE)
http://nlpoe2010.pqpq.net/
First International Workshop on Opinion Mining for Business Intelligence (OMBI)
http://www.yorku.ca/xhyu/OMBI10/
2nd Workshop on Soft Approaches to Information Access on the Web (SAIAW)
http://scdmir.ugent.be/node/16
Trust and Recommender Systems for Social Search and Web Logs Analysis (TReSSS)
http://www.tresss.org/public/
International Workshop on Web-scale Knowledge Representation, Retrieval,
and Reasoning (Web-KR3)
http://www.wici-lab.org/wici/web-kr3-2010/
3rd International Workshop on Web Information Retrieval Support Systems (WIRSS)
http://uxlab.cs.mun.ca/wirss2010/
Web Personalization and Recommender Systems (WebPRES)
http://www.webpres-workshop.com/
Optimization-based Data Mining and Web Intelligence (ODMWI)
http://www.feds.ac.cn/kxyj/WI-IAT2010.htm
++++++++++
Tutorials
++++++++++
IAT'10 also welcomes Tutorial proposals. IAT'10 will include tutorials
providing in-depth background on subjects that are of broad interest
to the Web intelligence community. Both short (2 hours) and long (half
day) tutorials will be considered. The tutorials will be part of the
main conference technical program. Detailed information is available
at the conference homepage.
Note: we will not have a separate tutorials registration fee
(i.e., only one conference registration covers everything).
++++++++++++++++++++
Industry/Demo-Track
++++++++++++++++++++
We solicit Industry/Demo-Track papers by the following methods.
(1) Industry papers of 4 pages can be submitted on the same schedule as
the research track.
(2) Separate 2 page demo proposals can submitted at a later schedule.
(3) Full regular paper submissions can include a demo option.
That is, a full paper submissions will be asked to
specify if they would like to give a demonstration; choice of
demonstrations (while utilizing information from the regular reviewing
process) will be selected based on value as a demonstration.
For options (1) and (2), more detailed instructions will be found at
the homepage: http://www.yorku.ca/wiiat10/participants.php
++++++++++++++++
Important Dates
++++++++++++++++
* Electronic paper submission (8 pages): March 26, 2010
* Tutorial proposal submission: March 26, 2010
* Workshop paper submission: April 16, 2010
* Author notification: May 28, 2010
* Conference dates: August 31-September 3, 2010
++++++++++++++++++++++++
Conference Organization
++++++++++++++++++++++++
Conference General Chair:
* Nick Cercone, York University, Toronto, Canada
Program Chair:
* Jimmy Huang, York University, Toronto, Canada
IAT Program Co-Chairs:
* Takahira Yamaguchi, Keio University, Japan
* Ali A. Ghorbani, University of New Brunswick, Canada
* Mohand-Said Hacid, Universite Claude Bernard Lyon 1, France
WI Program Co-Chairs:
* Vijay Raghavan, University of Louisiana, USA
* Irwin King, The Chinese University of Hong Kong, Hong Kong
* Gareth Jones, Dublin City University, Ireland
Organizing Co-Chairs:
* Aijun An, York University, Toronto, Canada
* Thomas Lynam, York University, Toronto, Canada
* Marshall Walker, York University, Toronto, Canada
Workshop Co-Chairs:
* Orland Hoeber, Memorial University of Newfoundland, Canada
* Yuefeng Li, Queensland University of Technology, Australia
Industry-Demo Co-Chairs:
* Dominik Slezak, Infobright Inc., Canada
* Tony Abou-Assaleh, GenieKnows.com, Canada
Tutorial Co-Chairs:
* Sourav Saha Bhowmick, Nanyang Technological University, Singapore
* Mounia Lalmas, University of Glasgow, UK
Publicity Co-Chairs:
* Vlado Keselj, Dalhousie University, Canada
* Markus Kirchberg, Institute for Infocomm Research, A*STAR, Singapore
* Jianhan Zhu, University College London, UK
IEEE-CS-TCII Chair:
* Ning Zhong, Maebashi Institute of Technology, Japan
ACM-SIGART Chair
* Maria Gini, University of Minnesota, USA
WIC Co-Chairs/Directors:
* Ning Zhong, Maebashi Institute of Technology, Japan
* Jiming Liu, Hong Kong Baptist University, Hong Kong
WIC Advisory Board:
* Edward A. Feigenbaum, Stanford University, USA
* Setsuo Ohsuga, University of Tokyo, Japan
* Benjamin Wah, University of Illinois, Urbana-Champaign, USA
* Philip Yu, University of Illinois, Chicago, USA
* L.A. Zadeh, University of California, Berkeley, USA
WIC Tech. Committee & WI/IAT Steering Committee:
* Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA
* Nick Cercone, York University, Canada
* Dieter Fensel, University of Innsbruck, Austria
* Georg Gottlob, Oxford University, UK
* Lakhmi Jain, University of South Australia, Australia
* Jianchang Mao, Yahoo! Inc., USA
* Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France
* Hiroshi Motoda, Osaka University, Japan
* Toyoaki Nishida, Kyoto University, Japan
* Andrzej Skowron, Warsaw University, Poland
* Jinglong Wu, Okayama University, Japan
* Xindong Wu, University of Vermont, USA
* Yiyu Yao, University of Regina, Canada
*** Contact Information ***
Jimmy Huang (Conference General Program Chair)
Email: wiiat10@yorku.ca
The WIC Office
Email: wi10@wi-consortium.org
Labels:
agent,
autonomous,
brain,
cognition,
complexity,
distributed,
emergent behavior,
hai,
intelligence,
logic,
mas,
robotics,
self*,
social,
swarm
Dienstag, 2. März 2010
FIRST INTERNATIONAL WORKSHOP ON ASYNCHRONOUS CELLULAR AUTOMATA (ACA 2010)
*********************************************************************** Call for Papers ACA 2010 FIRST INTERNATIONAL WORKSHOP ON ASYNCHRONOUS CELLULAR AUTOMATA at 9th International Conference on Cellular Automata for Research and Industry (ACRI 2010) Ascoli Piceno (Italy), September 21-24, 2010 http://www.acri2010.disco.unimib.it/workshops.html *********************************************************************** ORGANIZER University of Milano - Bicocca AIMS Cellular Automata are a well-known formal model for complex systems that is used in many scientific fields and applications. Synchronicity is one of the main features of Cellular Automata evolutions. Indeed, all cells of common Cellular Automata are updated simultaneously at each discrete time step. Recent trends consider the modelling of asynchronous systems based on local interactions. The aim of this workshop is to bring together researchers dealing with the theme of the asyncronicity inside Cellular Automata in order to foster their interaction and to provide a forum for presenting new ideas and works in progress on the subject. Topics of either theoretical or applied interest include, but are not limited to the following aspects of Asynchronous Cellular Automata - dynamics - complexity issues - computational issues - emergent properties - models of parallelism and distributed systems - models of phenomena from biology, chemistry, physics, engineering and other fields SUBMISSION AND PUBLICATION Authors are invited to submit papers according to two contribution categories -- full and short papers -- meant to provide a differentiation of the papers in terms of their length, depth and/or maturity. Papers must comply with the Springer-Verlag format (see http://www.springer.com/computer/lncs) and the maximum length of 5 and 10 pages for short and full contributions, respectively. Details on the electronic submission procedure will be provided through the website of the ACRI conference (http://www.acri2010.disco.unimib.it/). Accepted papers will be published by Springer-Verlag in a volume of the Lecture Notes in Computer Science (LNCS) series. This volume will be available by the time of the workshop. It is also planned that selected papers will be considered for publication in a Special issue of Natural Computing. They will contain refereed extended versions of selected papers presented at ACA workshop. PROGRAM COMMITTEE Alberto Dennunzio (Universita' di Milano - Bicocca, Italy) co-chair Enrico Formenti (Universite' de Nice - Sophia Antipolis, France) co-chair Henryk Fuks (Brock University, CA) Eric Goles (Universidad Adolfo Ibáñez, Chile) Giancarlo Mauri (Universita' di Milano - Bicocca, Italy) Ferdinand Peper (National Institute of Information and Communications Technology, Japan) Nicolas Schabanel (CNRS, Universite' Paris Diderot, France) Marco Tomassini (Universite' de Lausanne, Switzerland) co-chair IMPORTANT DATES: Paper submission: March 19, 2010 Notification of paper acceptance or rejection: April 16, 2010 Final version of the paper for the proceedings: May 7, 2010 Conference: September 21-24, 2010 REGISTRATION: Details about how to register will be provided through the website of the ACRI conference.
9TH INTL. CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY (ACRI 2010)
*********************************************************************** Call for Papers 9TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY (ACRI 2010) Ascoli Piceno (Italy), September 21-24, 2010 http://www.acri2010.disco.unimib.it/ acri2010 [ at > disco.unimib.it *********************************************************************** Cellular Automata (CA) present a very powerful approach to the study of spatio-temporal systems where complex phenomena build up out of many simple local interactions. The main goal of the 9th edition of ACRI 2010 Conference (Cellular Automata for Research and Industry) is to offer both scientists and innovation managers in academies and industries an opportunity to express and discuss their views on current and future trends, challenges, and state-of-the art solutions to various problems in the fields of arts, biology, chemistry, communication, cultural heritage, ecology, economy, engineering, physics, social science, traffic control, etc. Topics of either theoretical or applied interest about CA and CA-based models and systems include issues in parallelism, computational complexity, dynamical and complex systems, innovative and challenging models for real phenomena. Papers on languages, software platforms and hardware components based on CA are welcome. In order to emphasize the application power of CA and the increasing interest about these advanced computational models in the production world, papers and also demos will be welcome. *********************************************************************** Chairs Stefania Bandini (University of Milano-Bicocca - I) Hiroshi Umeo (University of Osaka Electro-Communication - J) Steering Committee Stefania Bandini (University of Milano-Bicocca - I) Bastien Chopard (University of Geneva - CH) Giancarlo Mauri (University of Milano-Bicocca - I) Hiroshi Umeo (University of Osaka Electro-Communication - J) Thomas Worsch (University of Karlsruhe - G) Program Committee Susumu Adachi (Japan) Andrew Adamatzky (UK) Franco Bagnoli (Italy) Stefania Bandini (Italy) Olga Bandman (Russia) Belgacem Ben Youssef (Canada) Dbashish Chowdhury (India) Bastien Chopard (Switzerland) Alberto Dennunzio (Italy) Andreas Deutsch (Germany) Salvatore Di Gregorio (Italy) Michel Droz (Switzerland) Samira El Yacoubi (France) Nazim Fatès (France) Alfons Hoekstra (The Netherlands) Teijiro Isokawa (Japan) Francisco Jiménez (Spain) Toshihiko Komatsuzaki (Japan) Anna T. Lawniczak (Canada) Jia Lee (Japan) Pradipta Maji (India) Danuta Makowiec (Poland) Sara Manzoni (Italy) Nobuyuki Matsui (Japan) Giancarlo Mauri (Italy) Michael Meyer-Hermann (Germany) Angelo Mingarelli (Canada) Shin Morishita (Japan) Katsuhiro Nishinari (Japan) Hidenosuke Nishio (Japan) Ferdinand Peper (Japan) Roberto Serra (Italy) Georgios Sirakoulis (Greece) Furio Suggi Liverani (Italy) Domenico Talia (Italy) Gianluca Tempesti (UK) Marco Tomassini (Switzerland) Leen Torenvliet (The Netherlands) Hiroshi Umeo (Japan) Giuseppe Vizzari (Italy) Burton Voorhees (Canada) Thomas Worsch (Germany) Organizing Committee Stefania Bandini Eliana Magnolo Lorenza Manenti Sara Manzoni Roberto Pedroli Andrea Valsecchi Giuseppe Vizzari Local Organizing Committee Giorgia Malavolta *********************************************************************** SUBMISSIONS: Authors are invited to submit papers presenting their original and unpublished research. Papers should not exceed 10 pages and should be formatted according to the usual LNCS article style (http://www.springer.com/computer/lncs). Details on the electronic submission procedure will be provided through the website of the conference (http://www.acri2010.disco.unimib.it/). *********************************************************************** PUBLICATION: A volume of proceedings, that will be published by Springer-Verlag in the Lecture Notes in Computer Science series, will be available by the time of the conference. Refereed volumes of selected proceedings containing extended papers will be organized after it as a special issues of international journals. *********************************************************************** REGISTRATION: Details about how to register will be provided through the website of the conference. *********************************************************************** IMPORTANT DATES: Paper submission: March 19, 2010 Notification of paper acceptance or rejection: April 16, 2010 Final version of the paper for the proceedings: May 7, 2010 Conference: September 21-24, 2010
Montag, 1. März 2010
16th Intl. Conference on Logic for Programming, Artificial Intelligence and Reasoning
=====================
CALL FOR SHORT PAPERS
=====================
LPAR-16
16th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning
April 25 - May 1, 2010
Dakar, Senegal
http://www.lpar.net/lpar-16/
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 16th
edition will be held in Dakar, Senegal.
---------------------------------------------------------------------------
In keeping with the tradition of LPAR, researchers and practioners are
encouraged submit short papers reporting on interesting work in progress or
providing system descriptions. They need not be original. Extended versions
of the short papers may be submitted concurrently with or after LPAR-16 to
another conference or a journal.
---------------------------------------------------------------------------
Logic is a fundamental organizing principle in nearly all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied.
At one extreme, it underlies computability and complexity theory and the
formal semantics of programming languages. At the other, it drives billions
of gates every day in the digital circuits of processors of all kinds. Logic
is in itself a powerful programming paradigm but it is also the quintessential
specification language for anything ranging from real-time critical systems
to networked infrastructures. Logical techniques link implementation and
specification through formal methods such as automated theorem proving and
model checking. Logic is also the stuff of knowledge representation and
artificial intelligence. Because of its ubiquity, logic has acquired a
central role in Computer Science education.
Topics
------
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
Topics of interest include, but are not limited to:
* Automated reasoning
* Verification
* Interactive theorem proving and proof assistants
* Model checking
* Implementations of logic
* Satisfiability modulo theories
* Rewriting and unification
* Logic programming
* Satisfiability checking
* Constraint programming
* Decision procedures
* Logic and the Web
* Ontologies and large knowledge bases
* Logic and databases
* Modal and temporal logics
* Program analysis
* Foundations of security
* Description logics
* Non-monotonic reasoning
* Specification using logics
* Logic in artificial intelligence
* Logic and types
* Logical foundations of programming
* Logical aspects of concurrency
* Logic and computational complexity
* Knowledge representation and reasoning
* Logic of distributed systems
Programme Chairs
----------------
* Ed Clarke
* Andrei Voronkov
Programme Committee
-------------------
* Rajeev Alur
* Matthias Baaz
* Peter Baumgartner
* Armin Biere
* Nikolaj Bjorner
* Iliano Cervesato
* Agata Ciabattoni
* Hubert Comon-Lundh
* Nachum Dershowitz
* Juergen Giesl
* Guillem Godoy
* Georg Gottlob
* Jean Goubault-Larrecq
* Reiner Haehnle
* Claude Kirchner
* Michael Kohlhase
* Konstantin Korovin
* Laura Kovacs
* Orna Kupferman
* Leonid Libkin
* Aart Middeldorp
* Luke Ong
* Frank Pfenning
* Andreas Podelski
* Andrey Rybalchenko
* Helmut Seidl
* Geoff Sutcliffe
* Ashish Tiwari
* Toby Walsh
* Christoph Weidenbach
Submission Details
------------------
Short papers are limited in length to 5 pages in the EasyChair format. The
class style may be downloaded from http://www.easychair.org/easychair.zip.
Short papers must be submitted through the EasyChair system using the web
page ...
http://www.easychair.org/conferences/?conf=lpar16short
The short paper proceedings will be available as an EasyChair collection
volume.
Participation
-------------
Authors of accepted papers are required to ensure that at least one of them
will be present at the conference. Papers that do not adhere to this policy
will be removed from the proceedings.
Important Dates
---------------
Paper submission deadline: 17 March 2010
Notification of acceptance: 25 March 2010
Final version: 1 April 2010
LPAR-16: 25 April - 1 May 2010
Labels:
ai,
complexity,
concurrency,
constraints,
distributed,
knowledge,
logic,
model,
ontology,
programming,
reasoning,
semantics,
verification
Abonnieren
Posts (Atom)