Donnerstag, 30. Dezember 2010

Karlsruher E N T W I C K L E R T A G 2011

************** Karlsruher  E N T W I C K L E R T A G  2011 **************
*********************** 26. Mai bis 27. Mai 2011 **********************
********************** - Software Made in Germany – *********************

           Strategien für den Entwicklungsstandort Deutschland

********************** AGILITÄT, INNOVATION, QUALITÄT *******************

 

!!!!!!!!!!!!!!!!!!!!!!!  Call for Contributions  !!!!!!!!!!!!!!!!!!!!!!!

Der Karlsruher Entwicklertag 2011 wird dieses Jahr über zwei Tage, vom
26..05.2011 bis zum 27.05.2011, stattfinden.
Wir bitten um Einreichungen für den Conference Day und den Agile Day.
Der bisherige VKSI Day wird als eigenständiger Track im Conference Day
integriert.

Formate:
Sessions von 45 Minuten, inklusive Diskussion.
Angela Lokermans, Tel.: 0721 - 6105-162
mailto:entwicklertag@andrena.de

Ihr Ansprechpartner zu allen inhaltlichen Fragen:
Timm Reinstorf, Tel.: 0721 – 6105-122
mailto:timm.reinstorf@andrena.de

Jochen Winzen, Tel. 0721 – 6105-122
mailto:jochen.winzen@andrena.de

Ein frohes Weihnachtsfest und einen guten Rutsch,
Matthias Grund, andrena objects ag
Prof. Dr. Ralf Reussner, VKSI, KIT/FZI
Dr. Daniel Sommer, Regionalgruppe Karlsruhe der Gesellschaft für
Informatik, KIT

Veranstalter:

ObjektForum, Regionalgruppe Karlsruhe der GI,
Verein der Karlsruher Software-Ingenieure (VKSI)
Gastgeber: IHK Karlsruhe, Organisation: andrena objects ag

---

andrena objects ag                                    Tel.: 0721/6105-122
Albert-Nestler-Str. 11                                Fax.: 0721/6105-140
76131 Karlsruhe                          

mailto:entwicklertag@andrena.de
http://www.andrena.de

Donnerstag, 23. Dezember 2010

RuleML 2011@IJCAI – Call for Papers

CALL FOR PAPERS
                              RuleML 2011@IJCAI
   5th International Symposium on Rules: Research Based, Industry Oriented
                      Barcelona, Spain, 19-21 July 2011
http://2011.ruleml.org
About RuleML 2011 Symposia
--------------------------
The International Symposium on Rules, RuleML, has evolved from an annual series
of international workshops since 2002, international conferences in 2005 and
2006, and international symposia since 2007. In 2011 two instalments of the
RuleML Symposium will take place. The first one will be held in conjunction with
IJCAI 2011 (International Joint Conference on Artificial Intelligence) in
Barcelona in July, and the second will be co-located with the Business Rule
Forum to be held in late October-early November in North America including
Challenge Award that this year will be dedicate to Rules and Ontologies.
For RuleML-2011@IJCAI a selection of the best papers will be presented during a
joint session with IJCAI, and the authors of such papers will be invited to
submit a revised version of their papers for inclusion in the IJCAI proceedings.
Objectives
----------
RuleML-2011@IJCAI is a research-based, industry-focused symposium: its main goal
is to build a bridge between academia and industry in the field of rules and
semantic technology, and so to stimulate the cooperation and interoperability
between business and research, by bringing together rule system providers,
participants in rule standardization efforts, open source communities,
practitioners, and researchers. The concept of the symposium has also advanced
continuously in the face of extremely rapid progress in practical rule and event
processing technologies. As a result, RuleML-2011 will feature hands-on
demonstrations and challenges alongside a wide range of thematic tracks. It will
thus be an exciting venue to exchange new ideas and experiences on all issues
related to the engineering, management, integration, interoperation, and
interchange of rules in distributed enterprise intranets and open distributed
environments.
Topics
------
As in the previous years the Symposium will be organized in tracks, specifically
for RuleML-2011@IJCAI the focus will be on the following areas:
- Rules and Automated Reasoning
- Logic Programming and Non-monotonic Reasoning
- Rules, Workflows and Business Processes
- Rules, Agents and Norms
- Rule-Based Distributed/Multi-Agent Systems
- Rule-Based Policies, Reputation and Trust
- Rule-based Event Processing and Reaction Rules
- Fuzzy Rules and Uncertainty
- Rule Transformation and Extraction
- Vocabularies, Ontologies, and Business rules
Submission Guidelines
---------------------
Authors are invited to submit original contributions of practical relevance
and technical rigor in the field, experience reports and show case/use case
demonstrations of effective, practical, deployable rule-based technologies or
applications in distributed environments. Papers must be in English and may be
submitted at
http://www.easychair.org/conferences/?conf=ruleml2011@ijcai
as:
Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)
Please upload all submissions as PDF files in LNCS format
(http://www.springer.de/comp/lncs/authors.html). To ensure high quality,
submitted papers will be carefully peer-reviewed by at least 3 PC members based
on originality, significance, technical soundness, and clarity of exposition.
Publications
------------
The selected papers will be published in book form in the Springer Lecture Notes
in Computer Science (LNCS) series.
Authors of the best papers will be invited to submit a revised version of their
papers for inclusion in the IJCAI 2011 Proceedings.
Important Dates
---------------
Abstract submission: February 25, 2011 (11:59PM, UTC-12)
Paper submission: March 4, 2011 (11:59PM, UTC-12)
Notification of acceptance/rejection: March 31, 2011
Camera-ready copy due: April 15, 2011
RuleML-2011 dates: July 19-21, 2011
Other Activities
----------------
Apart from the rigorous scientific paper sessions, few other collocated
activities are planned, such as workshops focused on rule-specific areas, a PhD
student workshop, and a poster-demo session, where researchers can demonstrate
hands-on experience about solving real-world problems with rule-based
applications. Optionally, demos can also be considered for the RuleML Challenge
that will take place at the RuleML at BRF.
Stay tuned on the symposium site for future announcements about these
activities.
Program Committee
-----------------
General Chairs
Georg Gottlob, University of Oxford, UK
Juergen Dix, TU Clausthal, Germany
Program Chairs
Adrian Paschke, Freie Universitaet Berlin, Germany
Guido Governatori, NICTA, Australia
Nick Bassiliades, Aristotle University of Thessaloniki, Greece
Organization Chairs
Luis Polo, CITIC, Spain
Gines Moreno, Universidad de Castilla La Mancha, Spain
Steering Chairs
John Hall, Model Systems, UK
Christian Saint Marie, IBM ILog, France
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

CLIMA XII – Call for Papers

++++++++++++++++++++++++++++++++++++++++++++++++++++
                Preliminary Call for Papers
                         CLIMA XII
              12th International Workshop on
        Computational Logic in Multi-Agent Systems
with special sessions on:
          * Norms and Normative Multi-Agent Systems.
          * Logics for Games and Social Choice.
http://centria.di.fct.unl.pt/events/climaXII/
           Barcelona, Spain, July 17-18, 2011.
                 Affiliated with IJCAI'11.
               Submission deadline: April 4/8th.
Proceedings: LNCS/LNAI volume (available at the workshop).
JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation.
++++++++++++++++++++++++++++++++++++++++++++++++++++
The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.
Following the previous ten, very successful, editions, the 12th CLIMA
will be affiliated with IJCAI'11 and will take place in Barcelona, Spain,
on the 17th and 18th of July 2011.
In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:
* Norms and Normative Multi-Agent Systems
* Logics for Games and Social Choice
We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.
LNCS Proceedings: CLIMA's Proceedings will be published by
Springer as a volume in the Lecture Notes in Computer Science, and
will be available in time for the workshop.
JLC Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to be considered for inclusion
in a CLIMA Special Issue of the Journal of Logic and Computation.
Detailed information regarding CLIMA, its topics of interest, the two Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXII/
Important dates:
* Submission: April 4th (Abstracts) / April 8th (Papers)
* Notification: May 4th
* Camera Ready: May 16th
CLIMA XII Chairs:
* João Leite, New University of Lisbon, Portugal
* Paolo Torroni, University of Bologna, Italy
Special Session Organisers:
Norms and Normative Multi-Agent Systems: * Guido Boella, University of Turin, Italy
* Leon van der Torre, Univ. of Luxembourg, Luxembourg
Logics for Games and Social Choice: * Thomas Ågotnes, University of Bergen, Norway
Please send all enquiries about CLIMA XII to clima2011@easychair.org.

Dienstag, 21. Dezember 2010

ICEC-2011 – Call for Papers

Call for Workshop Proposals
The Thirteenth International Conference on
ELECTRONIC COMMERCE
Liverpool, UK
2-5th August 2011
http://icec11.org/

The ICEC-2011 Organizing Committee invites proposals for the Workshop Program to be held on August 2 immediately prior to the main technical program of the ICEC conference. The main goal of the ICEC-2011 workshops is to stimulate and facilitate active exchange, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Electronic Commerce. The ICEC-2011 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. Members from all areas of the ICEC community are invited to submit workshop proposals for review. Workshops on new and emerging topics, or on applications, are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main ICEC conference. Attendance is limited to active participants only.
Important Dates for Workshops
-----------------------------
*    FEBRUARY 20, 2011 - Proposal Submission Deadline
*    FEBRUARY 28, 2011 - Acceptance Notification
*    MARCH 11, 2011 - Deadline for posting Workshops Call for Papers
*    MARCH 11, 2011 - ICEC-2011 Workshops Program Announced
*    MAY 9, 2011 - Submission of contributions to workshops
*    JUNE 9, 2011 - Workshop paper acceptance notification
*    JUNE 24, 2011 - Deadline for complete workshop notes submission to Workshop chair
*    JUNE 24, 2011 - Deadline for posting a Call for Participation
*    AUGUST 2, 2011 - ICEC-2011 WORKSHOPS
ICEC-2011 Workshops Requirements for Submission
----------------------------------------------
Proposals for workshops should be a maximum of five pages in length, and
should contain the following information:
* Title of the workshop.
* A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference.
* A discussion of why and to whom the workshop is of interest.
* A list of related workshops held within the last three years, if any, and their relation to the proposed workshop.
* Information about previous offerings of the proposed workshop: when and where it has been offered in the past, organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issue).
* A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop.
* Description of paper review process and acceptance standards.
* The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions.
* The name of the primary contact for the organizing committee (this person must have an email address).
* A description of the qualifications of the individual committee members with respect to organizing an ICEC workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any.
* List of potential program committee members, including their title and affiliations.
* Expected duration of the workshop (half or full day).
* A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised.
Proposers are encouraged to send their draft proposal to potential participants for comments before submission. All proposals should be submitted by electronic mail, to the ICEC-2011 Workshop Chair:
Juan A. Rodriguez-Aguilar (jar@iiia.csic.es)
in plain ASCII text, as soon as possible but no later than:
*** Tuesday February 20, 2011 ***
Prospective organizers will be notified of the committee's decision no later than:
*** Tuesday February 28, 2011 ***
The selection of the workshops to be included in the final ICEC program will be based upon multiple factors, including: the scientific/technical interest of the topics, the quality of the proposal, balance and distinctness of workshop topics, and the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals.
Responsibilities of ICEC and workshop organizers
-------------------------------------------------
For all accepted proposals, ICEC will be responsible for:
*    Providing publicity for the workshop series as a whole.
*    Providing logistic support and a meeting place for the workshop.
*    Together with the organizers, determining the workshop date and time.
*    Duplicating working notes and distributing them to the participants.
Workshop organizers will be responsible for the following:
* Setting up a web site for the workshop.
* Advertising the workshop and issuing a call for papers (by MARCH 11, 2011) and a call for participation (by JUNE 30, 2011).
* Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the same deadlines for paper submissions and notifications of acceptance, i.e.,
o    MAY 9, 2011: Submissions of contributions to workshops
o    JUNE 9, 2011: Notifications
* Making the PDF of the whole workshop notes available to the workshop chair by JUNE 24, 2011, as well as a list of audio-visual requirements and any special room requirements.
* Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings).
ICEC reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few attendees register for the workshop to support its running costs. To cover costs, it will be necessary to charge workshop participants a workshop fee.
Submissions and Inquiries:
--------------------------
Please send proposals and inquiries to:
Juan A. Rodriguez-Aguilar
Artificial Intelligence Research Institute, IIIA
Spanish National Research Council, CSIC
jar@iiia.csic.es

COIN@AAMAS 2011 – Call for Papers

CALL FOR PAPERS
12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems,
         at the 10th International Conference on Autonomous Agents and Multiagent Systems
                                        (COIN@AAMAS 2011)
                                Taipei, Taiwan on May 2 or 3, 2011
http://coin-aamas2011.iiia.csic.es

AIMS and SCOPE
The pervasiveness of open systems raises a range of challenges and opportunities for technologies in
the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled
entities interacting within a society that usually has some overall measures of quality or
efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the
participating entities, their modes of interaction or the intended purpose of the system may change
over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work
against the effectiveness of the society. There is therefore a need for tools and techniques for
articulating and/or regulating interactions in order to make the system more effective in attaining
collective goals, more certain for participants or more predictable.
Coordination, organizations, institutions and norms are four key governance elements for the
regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and
exploration of these four elements that are central in the design and use of open systems.
We seek to attract high-quality papers addressing mathematical, logical, computational,
philosophical and pragmatic issues related to those four aspects; also papers concerned with
modelling, animation and simulation techniques for these types of multi-agent systems; as well as
papers that discuss tools, prototypes and actual working systems. Papers that present formal
treatment of topics as well as those that provide experimental support to claims are welcome. We
also encourage authors to report on their experience with systems that have been deployed,
applications based on regulated open multi-agent systems, and tools for their development. Of
particular interest for the workshop are those papers that articulate a challenging or innovative
view.
TOPICS OF INTEREST
Topics of particular interest for COIN@AAMAS2011 will include:
* logics, languages and tools for specifying coordination and norms, implementing or simulating
organizations and institutions;
* law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution
and conflict prevention;
* agent societies and communities, social networks, electronic institutions and virtual
organizations;
* formal lifecycle models: formation, maintenance, evolution and dissolution of organizations,
institutions and normative multi-agent systems;
* formal methods for specifying coordination and organizational structures; models for verification,
validation and visualisation;
* autonomic institutions and self-organization in multi-agent systems;
* frameworks and protocols for organized and organizational adaptation;
* mechanisms for governance of common pool resources;
* agent environments: physical and institutional resources for physical capability and institutional
power;
* discovery, openness and inter-operation in organizations and institutions;
* mixed human-agent coordination and institutions in virtual worlds; participatory simulation.
* reports on implemented systems.
IMPORTANT DATES
January 30, 2011:   Paper submission deadline
February 27, 2011:  Acceptance notification
March 6, 2011:      Camera-Ready  Copies.
May 2-3, 2011:      AAMAS 2011 workshops
VENUE
The workshop will be part of the AAMAS 2011 (Autonomous Agents and Multiagent Systems) workshop
programme, and will take place at the Taipei International Convention Center (TICC) in Taipei,
Taiwan in the first week of May.
PROCEEDINGS
Preliminary proceedings will be distributed to AAMAS 2011 registrants in electronic form. Printed
workshop notes will NOT be made available to workshop participants. As with previous COIN workshops,
revised and extended versions of selected papers will be published in a Springer LNCS volume in
combination with the post-proceedings of a second COIN workshop to be held in 2011. That volume will
be published as part of the Coordination, Organizations, Institutions, and Norms in Agent Systems
book series, with all the indexing, referencing and follow-up benefits associated with an
established line of publication. Revised papers must take into account the discussion held during
the workshop, hence only those papers that are presented during the workshop will be considered for
inclusion in the post-proceedings volume.
INSTRUCTIONS FOR AUTHORS
For preparation of papers to be submitted please follow the instructions for authors available at
the Springer LNCS Web page. The length of each paper including figures and references may not exceed
15 pages. All papers must be written in English and submitted in PDF format. Submission of a paper
should be regarded as an undertaking that, should the paper be accepted, at least one of the authors
will attend the workshop to present the work.
For submission of papers, please use:
http://www.easychair.org/conferences/?conf=coinaamas2011
ORGANIZATION
The programm committee will include the following people. See the workshop Web page for updates
(http://coin-aamas2011.iiia.csic.es).
Alexander Artikis (National Centre for Scientific Research "Demokritos", Greece)
Guido Boella (University of Torino, Italy)
Olivier Boissier (ENS Mines Saint-Etienne, France)
Cristiano Castelfranchi (ISTC/CNR, Italy)
Antonio Carlos da Rocha Costa (UCPEL, Brazil)
Virginia Dignum (University of Utrecht, Netherlands)
Marc Esteva (IIIA-CSIC, Spain)
Nicoletta Fornara (University of Lugano, Switzerland)
Jomi-Fred Hubner (University of Blumenau, Brazil)
Christian Lemaitre (Metropolitan Autonomous University, Mexico)
Victor Lesser (University of Massachusetts Amherst, USA)
Eric Matson (Purdue University, USA)
John-Jules Meyer (Utrecht University, Netherlands)
Simon Miles (Kings College London, UK)
Eugenio Oliveira (University of Porto, Portugal)
Andrea Omicini (University of Bologna, Italy)
Sascha Ossowski (University Rey Juan Carlos, Spain)
Julian Padget (University of Bath, UK)
Alessandro Ricci (University of Bologna, Italy)
Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, Spain)
Tony Savarimuthu (University of Otago, New Zealand)
Christophe Sibertin-Blanc (IRIT, France)
Jaime Sichman (University of Sao Paulo, Brazil)
Viviane Torres da Silva (Fluminense Federal University, Brazil)
Munindar Singh (North Carolina State University, USA)
Catherine Tessier (ONERA, France)
Leon van der Torre (University of Luxembourg)
Wamberto Vasconcelos (University of Aberdeen, UK)
Javier Vazquez-Salceda (Universitat Politecnica de Catalunya, Spain)
Harko Verhagen (Stockholm University, Sweden)
Marina de Vos (University of Bath, UK)
George Vouros (University of the Aegean, Greece)
Pinar Yolum (Bogazici University, Turkey)
COIN Steering Committee:
* Alex Artikis (National Centre for Scientific Research "Demokritos", Greece)
* Eric Matson (Purdue University, USA)
* Nicoletta Fornara (University of Lugano, Switzerland)
* George Vouros (University of the Aegean, Greece)
* Jeremy Pitt (Imperial College London, UK)
* Julian Padget (University of Bath, UK)
* Javier Vazquez-Salceda (Technical University of Catalonia, Spain)
* Vivian Torres da Silva (Fluminense Federal University, Brazil)
* Wamberto Vasconcelos (University of Aberdeen, UK)
COIN at AAMAS 2011 Co-Chairs:
Stephen Cranefield (University of Otago, New Zealand)
scranefield@infoscience.otago.ac.nz
Pablo Noriega (IIIA-CSIC, Spain)
pablo@iiia.csic.es

Mittwoch, 15. Dezember 2010

CARE 2011 - Workshop

Third International Workshop

on

Collaborative Agents - Research and development

CARE 2011

in conjunction with AAMAS 2011

Paper submission deadline               30th January 2011
Notification of acceptance/rejection
           27th February 2011
Camera-ready copies due               13th March 2011
Workshop Date            2nd or 3rd May 2011

Do you care? For the lifetime value of customers, patients, products, information, and plan execution? If yes, then how do you work together with those that care for the same entity? Collaborative care is today's primary means to achieve complex outcomes and to increase the lifetime value of the cared entities. Collaboration enables agents to 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. How can we create computational models, representations, algorithms and protocols to enable the next generation of intelligent collaborative care technologies? How can we build technologies that support collaboration under this complexity and uncertainty?
This workshop aims to foster discussions on computational models of collaboration support 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. The CARE workshop series not only addresses a gap in the existing agent and AI landscape, but also tries to push the boundaries of existing work by addressing a problem that is relatively new to the agent community and that presents the community with exciting applications.
Application domains include healthcare, e-services, intelligent campuses, intelligent work places, business process management, telecommunications, and distance learning. For example, it includes the long term care of patients with a chronic disease (patient care), support of students in their studies (student care), and service provision in telecommunication (customer care). In many cases, caring requires a team of collaborators to work together under various constraints and market conditions. A team needs to achieve desired outcomes while decreasing costs associated with required activities.
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.
Topics of interest include, without limitation:
    * How can we support/guide collaborative teams. How can we offer flexibility in the way how teams execute plans. How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?)
    * How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence).

    * How to enable agents to monitor and change agreements, if required (agreement variation).
    * How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework).
    * How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents).
    * How to build a model of the features of individuals (customer/patient behaviour).
    * How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients.
    * How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses.
    * How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents.
    * How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market).
    * What are the implications of partial regulation on the management of contractual relationships and service delivery.
    * How organisational structures influence the negotiation of agents and the distribution/execution of tasks.
    * How to cope with collaborators that exhibit unreliable and non-conformant behaviour, e.g. where agreements are made but are not always conformed with.
    * How can interventions assist in managing contractual relationships and service delivery.
    * How can we make individuals encourage to perform activities to stay on-track and achieve desired outcomes (incentive frameworks).
    * How can we enable flexible, goal-driven and contextualised plan creation and business process management (including intelligent execution, monitoring, management, and optimization of business processes).
    * How to assign transaction costs to actions in planning, assignment, and execution in organisational structures.
    * 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.
    * How to build an effective monitoring-recognition-intervention framework.
    * Can lessons learnt in game theoretic computation inform collaborative agent settings.
    * What role does learning and adaptivity play in building organisational MAS.
    * How to deal with partially regulated market (free markets are possibly an unrealistic paradigm as they don't really existent).

Dienstag, 14. Dezember 2010

ESSLLI 2011 Student Session – Call for Papers

Deadline for submissions: March 25, 2011
The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
ESSLLI 2011 will be held in Ljubljana, Slovenia, and will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI website for further information, including registration informationand course listings.
Instructions for Authors:
Authors must be students, i.e., may not have received the Ph.D. degree before August 2011. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper.
There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session.
Submissions must be received by midnight GMT on March 25, 2011. Accepted papers will eventually have to be written in LaTeX in standard LNCS format; the easiest thing is to do this in advance by using the Springer class files for LaTeX2e, which can be downloadedhere.
Springer has continued their support of the Student Session by offering generous prizes for Best Paper, Best Poster, and several Runners-Up.
To get a sense of the range and subject matter of the Student Session, take a look at the proceedings from the 2010 Student Sessionand the 2009 Student Session. A Springer volume of selected papers from the 2008-2009 Student Sessions was published and can be found here.
Please direct inquiries about submission procedures or other matters relating to the Student Session to the chair, Daniel Lassiter (NYU), at esslli2011stus@easychair.org. For general inquiries about ESSLLI 2011, please consult the main ESSLLI page.

Samstag, 11. Dezember 2010

ICAIL 2011 - Call for Papers (revised)

13th International Conference on
Artificial Intelligence & Law (ICAIL 2011)
June 6 - June 10, 2011
University of Pittsburgh School of Law
Pittsburgh, Pennsylvania, USA
http://www.law.pitt.edu/icail2011
Call for Papers (revised)

The 13th International Conference on AI and Law (ICAIL 2011) will be held in Pittsburgh, Pennsylvania, USA, June 6-10, 2011, at the University of Pittsburgh School of Law under the auspices of the International Association for Artificial Intelligence and Law (IAAIL), an organization devoted to promoting research and development in the field of AI and Law with members throughout the world.  The conference is held in cooperation with the Association for the Advancement of Artificial Intelligence, www.aaai.org.
The field of AI and Law is concerned with the study of legal reasoning using computational methods; computational models of argumentation; knowledge acquisition techniques for the legal domain, including natural language processing and data mining; and the formal representation of norms, normative actions, normative systems, norm-governed societies, and multi-agent systems. The field also includes the investigation of techniques from advanced information technology, using law as the illustrative domain; and applications of advanced information technology to support tasks in the legal domain.
ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications and stimulates interdisciplinary and international collaboration. Previous ICAIL conferences have been held biennially since 1987, with proceedings published by ACM. The journal Artificial Intelligence and Law regularly publishes expanded versions of selected ICAIL papers.
Authors are invited to submit papers on topics including but not restricted to

  • Formal and computational models of legal reasoning
  • Knowledge acquisition techniques for the legal domain, including natural language processing and data mining
  • Computational models of argumentation and decision making
  • Legal knowledge representation including legal ontologies and common sense knowledge
  • Computational models of evidential reasoning
  • Modeling norms for multi-agent systems
  • Modeling negotiation and contract formation
  • Computational models of case-based legal reasoning
  • Conceptual or model-based legal information retrieval
  • Automated information extraction from legal databases and texts
  • Intelligent legal tutoring systems
  • Intelligent support systems for the legal domain
  • E-discovery and e-disclosure
  • Automatic legal text classification and summarization
  • Machine learning and data mining applied to legal databases
Papers proposing formal or computational models should provide examples and/or simulations that show the models’ applicability to a realistic legal problem or domain. Papers on applications should describe clearly the motivations behind the project, the techniques employed, and the current state of both implementation and evaluation. All papers should make clear their relation to prior work.
Position papers [new]
Since the field of AI and Law is typically multi-disciplinary and evolves in a dynamic environment, some researchers may have undertaken challenging research concerning ideas of interest to the AI and Law community but that has not yet been completely evaluated.  We welcome papers describing such ideas, so-called “position papers."  These papers should nevertheless meet academic standards, particularly addressing the problem(s), scientific and societal relevance, relation to prior research and literature, research methods and approaches.  Position papers do not have to report actual results although preliminary results are appreciated.
Important Dates (tentative):
  • Submission of abstracts (optional): January 3, 2011
  • Submission of papers: January 10, 2011
  • Notification of acceptance: tba
  • Final revised and formatted papers due: tba
  • Conference: June 6 - June 10, 2011
Submission details [updated]
Papers should not exceed 5000 words.  If an approved style file is used, the maximum length is 10 pages.  Style format template files can be found at http://www.acm.org/sigs/pubs/proceed/template.html. Papers should be submitted by the above paper submission deadline, in PDF or MS Word format.
To aid the reviewing process, authors are requested to submit abstracts of their papers by the above abstract submission deadline.  Abstracts should include at least the title of the paper, up to four keywords, and a contact address for the author.
Both papers and abstracts should be submitted electronically to the conference support system, https://www.conftool.net/icail2011/.
Authors will be notified of the referees’ decision in March 2011.  Papers not accepted for full publication and presentation may be accepted as short research abstracts.  Papers (including research abstracts) must be presented at the conference in order to appear in the proceedings.  Final versions of papers for publication in the proceedings will be due in April 2011.
Donald H. Berman Award for Best Student Paper
To encourage participation by students, IAAIL has created the Donald H. Berman Award for the best paper submitted to ICAIL by a student or students. The award consists of a cash gift and free attendance at ICAIL 2011. For a paper to be considered for the award, the student author(s) should be clearly designated as such when the paper is submitted, and any nonstudent co-authors should provide a statement that the paper is primarily student work. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet.
Conference Officials
Program Chair
Tom van Engers
University of Amsterdam/Faculty of Law
Leibniz Center for Law
www.LeibnizCenter.org
vanEngers@uva.nl
Conference Chair
Kevin D. Ashley
Professor of Law and Intelligent Systems
University of Pittsburgh School of Law
Ashley@pitt.edu
Secretary/Treasurer
Anne Gardner
Atherton, California, USA
gardner@cs.stanford.edu
Program Committee Topic Chairpersons
  Argumentation: Prof. dr. Giovanni Sartor
  E-government and lawyering applications: dr. Patries Kordelaar
  Information Retrieval: Dr. Jack Conrad
  Knowledge Representation and Knowledge Acquisition: Prof. dr. Nicola Guarini
  Logic and agents: Prof. dr. Leon van der Torre
  Natural Language Processing: Prof. dr. Francine Moens
Program Committee
Thomas Agotnes, Infomedia, Norway
Alex Artikis, National Centre for Scientific Research “Demokritos”, Greece
Kevin Ashley, University of Pittsburgh, USA
Katie Atkinson, University of Liverpool, UK
Trevor Bench-Capon, University of Liverpool, UK
Floris Bex, University of Groningen, Netherlands
Guido Boella, University of Turino, Italy
Alexander Boer, University of Amsterdam, Netherlands
Karl Branting, The MITRE Corporation, USA
Joost Breuker, Universiteit van Amsterdam, Netherlands
Ted Briscoe, University of Cambridge, UK
Jan Broersen, Universiteit Utrecht, Netherlands
Pompeu Casanovas, Universitat Autònoma de Barcelona, Spain
Jack Conrad, Thomson Reuters, USA
Celia da Costa Pereira, University of Milan, Italy
Bojana Dalbelo Basic, University of Zagreb, Croatia
Paolo Di Lucia, University of Lugano, Italy
P.M.D. Dung, Asian Institute of Technology, Thailand
Nicoletta Fornara, University of Lugano, Italy
Enrico Francesconi, CNR ITTIG, Italy
Dov Gabbay, King’s College London, UK
Tom Gordon, Fraunhofer FOKUS, Germany
Guido Governatori, NICTA Queensland Research Laboratory, Australia
Davide Grossi, University of Amsterdam, Netherlands
Claire Grover, University of Edinburgh, UK
Nicola Guarino, CNR, Italy
Ben Hachey, Macquarie University, Australia
Carole Hafner, Northeastern University, USA
Jaap Hage, University of Maastricht, Netherlands
Bruce Hedin, H5, USA
Rinke Hoekstra, University of Amsterdam, Netherlands
Joris Hulstijn, Vrije Universiteit Amsterdam, Netherlands
Peter Jackson, Thomson Reuters, USA
Wojtek Jamroga, Université du Luxembourg, Luxembourg
David Koepsell, Delft University of Technology, Netherlands
Patries Kordelaar, Leibniz Foundation for Law, Netherlands
Jerome Lang, Institut de Recherche en Informatique de Toulouse (IRIT), France
Guy Lapalme, Université de Montréal, Canada
David D. Lewis, Chicago, Illinois, USA
Arno Lodder, Vrije Universiteit Amsterdam, Netherlands
Emiliano Lorini, Institut de Recherche en Informatique de Toulouse (IRIT), France
Michael Luck, King’s College London, UK
L. Thorne McCarty, Rutgers University, USA
Sien Moens, Catholic University of Leuven, Belgium
Jan Odelstad, University of Gävle, Sweden
Monica Palmirani, University of Bologna, Italy
Gabriella Pigozzi, University of Luxembourg, Luxembourg
Jeremy Pitt, Imperial College London, UK
Henry Prakken, University of Groningen and University of Utrecht, Netherlands
Edwina Rissland, University of Massachusetts, Amherst, USA
Antonino Rotolo, University of Bologna, Italy
Giovanni Sartor, European University Institute and University of Bologna, Italy
Uri Schild, Bar Ilan University, Israel
Frank Schilder, Technical University of Danmark, Denmark
Erich Schweighofer, University of Vienna, Austria
Marek Sergot, Imperial College London, UK
Daniela Tiscornia, CNR ITTIG, Italy
Viviane Torres da Silva, Universidade Federal Fluminente - UFF , Brazil
Johan van Benthem, University of Amsterdam, Netherlands
Leon van der Torre, Université du Luxembourg, Luxembourg
Wamberto Vasconcelos, University of Aberdeen, UK
Bart Verheij, University of Groningen, Netherlands
Doug Walton, University of Windsor, Canada
Radboud Winkels, University of Amsterdam, Netherlands
Adam Wyner, University of Liverpool, UK

Freitag, 10. Dezember 2010

AISB 2011 – CALL FOR PAPERS

CALL FOR PAPERS
THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM
SNAMAS@AISB 2011 Convention
http://www.aisb.org.uk/convention/aisb11/
4-7 April 2011, University of York, UK
-------------------------------------------------------------
SYMPOSIUM CHAIRS
- Matthias Mailliard (Cemagref, France)
- Clara Smith (UNLP and UCALP, Argentina)
- Frédéric Amblard (IRIT, France)
- Samuel Thiriot (INRIA, France)
--------------------------------------------------------------
The aim of the SNAMAS Symposium is to exchange ideas, tools,
methodologies, on various works in MAS that integrate the social network
component.
--------------------------------------------------------------
TOPICS
The 2011 release of SNAMAS will be focused on "social relations and
their underlying processes in social organizations". Special
attention will be paid to empirical studies. Topics of interest
include (but are not limited to) works exhibiting:
- empirical and/or theoretical research on a specific social
relation (e.g. relation of power, solidarity, legitimity, trust...);
- the role of specific social relations in structuring organizations;
- the role of agents´ attributes in structuring social relations
(values, emotions, cognitive abilities, ...);
- the role of social relation structures on agent behaviour;
- agent mechanisms and algorithms dealing with representations for
social relations;
- social relations regulations;
- comparative and ontological studies for SNA and MAS;
- mathematical representations for describing and analysing structures for
social relations, and their dynamics.
--------------------------------------------------------------
IMPORTANT DATES
Paper submission deadline: January 9, 2011.
Notification of acceptance: February 6, 2011.
Camera ready version deadline: TBA
Symposium: 4th - 7th April, 2011.
--------------------------------------------------------------
PAPER SUBMISSION
Authors should consult the instructions on the website for submitting
their papers electronically.
Guidelines for paper submission are as the following:
- The paper should be written in English.
- The maximum length of a paper is 6 A4-sized pages in ECAI format
(format download:
http://www.aisb.org.uk/convention/aisb08/download.html).
- The paper should be in PDF format.
- Please submit via the online paper submission system.
(http://www.easychair.org/conferences/?conf=aisb11 (Track : Social
Networks and Multi-agent systems))
--------------------------------------------------------------
PROGRAM COMMITTEE
Luis Antunes (Univ. Lisbon, Portugal)
Guido Boella (University of Turin)
Cristiano Castelfranchi, (ISTC-CNR Rome, Italy)
Edmund Chattoe-Brown (Univ. Leicester, UK)
Rosaria Conte (ISTC-CNR Rome, Italy)
Bruce Edmonds (Manchester Metropolitan University, UK)
Terrill Frantz (Carnegie Mellon University, USA)
Jeremy Pitt (Imperial College London, UK)
Camille Roth (CNRS-EHESS, Paris, France)
Giovanni Sartor (Univ. Bologna, Italy)
Serena Villata (University of Turin)
Justin Zhan (CMU, Pittsburgh, USA)
------------------------------------------------------------
CONTACTS
For further inquiries please contact: snamas2011@res-ear.ch
http://snamas2011.res-ear.ch/

Samstag, 4. Dezember 2010

ICAIL 2011 – Final Call for Workshop

13th International Conference on
Artificial Intelligence & Law (ICAIL 2011)
June 6 - June 10, 2011
University of Pittsburgh School of Law
Pittsburgh, Pennsylvania, USA
http://www.law.pitt.edu/icail2011
Final Call for Workshop and Tutorial Proposals

ICAIL 2011 will include workshops and tutorials on the first and last days.  Proposals for workshops and tutorials are invited, and should be sent to the Program Chair, vanEngers@uva.nl, with a copy to the Conference Chair, Ashley@pitt.edu.
Tutorials should cover a broad topic of relevance to the AI and Law community.  Proposals should contain enough information to permit evaluation on the basis of importance, quality, and community interest.  Each workshop should have one or more designated organizers and a program or organizing committee.  Proposals should be about 2 to 4 pages and include at least the following information

  • The workshop or tutorial topic and goals, their significance, and their appropriateness for ICAIL 2011
  • The intended audience, including the areas from which participants may come, the likely number of participants (with some of their names, if known), and plans for publicizing the workshop
  • Organization of the workshop or tutorial, including the intended format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day or half day)
  • Organizers’ details: a description of the main organizers’ background in the proposed topic; and complete addresses including web pages of all organizers and committee members (if applicable).

Important Dates
  • Submission of workshop and tutorial proposals: December 6, 2010
  • Submission of abstracts (optional): January 3, 2011
  • Submission of papers deadline: January 10, 2011
  • Notification of acceptance: tba
  • Final revised and formatted papers due: tba
  • Conference: June 6 - June 10, 2011

Sonntag, 28. November 2010

PowerPoint Slides zum Thema Agile Softwareentwicklung

ASONAM 2011 - Call for Workshop Proposal

The 2011 International Conference on Advances in Social Network Analysis and
Mining
Kaohsiung, Taiwan
July 25st ĄV July 27th 2011
http://asonam.im.nuk.edu.tw/
CALL FOR WORKSHOP PROPOSAL
SUBMISSION DEADLINE : December 1st, 2010
All papers accepted for workshops will be included in the Workshop
Proceedings published by the IEEE Computer Society Press, which are indexed by
EI.
*********************************************************************
The ASONAM 2011 Committee invites proposals for workshops to be held on
25-27 July 2011 in conjunction with the main ASONAM 2011 conference.
http://asonam.im.nuk.edu.tw/workshops
Submission may be made by e-mail in PDF format with "ASONAM2011 Workshop
Proposal" in the subject header.
Proposals are suggested to include following contents:
1. The name of the workshop.
2. A statement of goals for the workshop.
3. The names and addresses of the organizers.
4. The names of potential participants, such as program committee members.
5. A description of the plans for call for participation (e.g., call for
papers).
6. The expected number of attendees and the planned length of the workshop.
7. A description of past versions of the workshop, including dates, organizers,
submission and acceptance counts, attendance, sites, registration fees and
summary budget information.
8. The URL of the workshop web site.
Please submit your workshop proposals by e-mail to the ASONAM 2011 Workshop Co-
Chair Dr. Shu-Chen Yang (henryyang@nuk.edu.tw) and cc to the Porgram Co-Chair
Dr. I-Hsien Ting (iting@nuk.edu.tw).
Important dates
===============
December 1, 2010 :  Submission Deadline for Workshop Proposal.
January 15, 2010 :  Notification of acceptance of Workshop Proposal.
March 25, 2011    : Workshop paper submission deadline.
May 1, 2011      : Notification of workshop paper acceptance.
May 20, 2011      : Workshop camera ready copy submission.
July 25-27, 2011 : Workshop dates.
Workshop Co-Chairs
====================
Yingzi Jin (University of Tokyo)
Kai Wang (National University of Kaohsiung)
Shu-Chen Yang (National University of Kaohsiung)

Mittwoch, 24. November 2010

GandALF 2011

Second International Symposium on Games, Automata, Logics, and Formal Verification
            Minori, Amalfi Coast, Italy, June 15-17, 2011
http://gandalf.dia.unisa.it/
              ************************************************
              |      PRELIMINARY   CALL   FOR  PAPERS        |
              ************************************************
OBJECTIVES
The aim of the symposium is to bring together researchers from academia and
industry which are actively working in the fields of Games, Automata, Logics,
and Formal Verification. The idea is to cover an ample spectrum of themes,
ranging from theory to concrete applications, and to stimulate
cross-fertilization. Papers focused on formal methods are especially welcome.
Authors are invited to submit original research or tool papers on any
relevant
topic in these areas. Papers discussing new ideas that are at an early
stage of
development are also welcome.
INDICATIVE LIST OF TOPICS
The topics covered by the conference include, but are not limited to, the
following:
Automata Theory
Automated Deduction
Logical aspects of Computational Complexity
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Complex Systems (e.g., Interactive Systems, Systems
Biology)
Games and Automata for Verification
Game Semantics
Game Theory
Hybrid, Embedded, and Mobile Systems Verification
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Specification and Verification of Finite and Infinite-state Systems
Synthesis and Execution
PAPER SUBMISSION
Submitted papers should not exceed fourteen (14) pages using EPTCS
format, be unpublished and contain original research. For papers reporting
experimental results, authors are encouraged to make their data available
with their submission.
Submissions must be in  PDF or PS format and will be handled via EasyChair.
IMPORTANT DATES
Abstract submission                March 13,   2011
Paper submission                   March 20,   2011
Acceptance notification            April 22,   2011
Final version                      May   15,   2011
Conference                         June 15-17, 2011
INVITED SPEAKERS
Thomas Colcombet  (University  of Paris 7, FRANCE)
Erich Graedel            (RWTH Aachen University, GERMANY)
Moshe Vardi              (Rice University, Houston USA)
PROCEEDINGS
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science. A special issue of a major international journal to publish
an extended and revised version of the best symposium papers is also under
consideration. Revised versions of the selected papers from the last
GandALF (GandALF 2010)
will be published as a special issue of the
International Journal of Foundation of Computer Science
(http://www.cs.ucsb.edu/~ijfcs/).
INFO
Please visit the conference website (http://gandalf.dia.unisa.it) for more
information.
GENERAL CHAIR
Angelo Montanari (University of Udine, ITALY)
PROGRAM  CHAIRS
Giovanna D'Agostino (University of Udine, ITALY)
Salvatore La Torre (University of Salerno, ITALY)
PROGRAM COMMITTEE
Krishnendu Chatterjee (Inst. of Science and Tech, AUSTRIA)
Swarat Chaudhuri (Pennsylvania State University, USA)
Giorgio Delzanno (University of Genova, ITALY)
Javier Esparza (Technische Universitat Munchen, GERMANY)
Eric Graedel (RWTH Aachen University, GERMANY)
Neil Immerman, (University of Massachusetts, USA)
Wojtek Jamroga (University of Luxembourg, LUXEMBOURG)
Vineet Kahlon, (NEC Labs, Princeton, USA)
Martin Leucker (University of Lubeck, GERMANY)
Jerzy Marcinkowski (University of Wroclaw, POLAND)
Aniello Murano (University of Napoli "Federico II", ITALY)
Mimmo Parente (University of Salerno, ITALY)
Gabriele Puppis (Oxford University, UK)
Alexander Rabinovich (Tel Aviv University, ISRAEL)
Jean Francois Raskin (University of Bruxelles, BELGIUM)
Colin Stirling (University of Edinburgh, UK)
Tayssir Touili (University Paris Diderot,  FRANCE)
Yde Venema (ILLC, University of Amsterdam,  HOLLAND)
Bow-Yaw Wang  (INRIA, FRANCE and Tsinghua University, CHINA)
Igor Walukiewicz (LaBRI, University of Bordeaux1, FRANCE)
STEERING COMMITTEE
Mikolaj Bojanczyk (University of Warsaw,  POLAND)
Javier Esparza (University of Munich, GERMANY)
Angelo Montanari (University of Udine, ITALY)
Margherita Napoli (University of Salerno, ITALY)
Mimmo Parente (University of Salerno, ITALY)
Wolfgang Thomas (RWTH Aachen University, GERMANY)
Wieslaw Zielonka  (University of Paris7, FRANCE)
ADVISORY BOARD
Stefano Crespi Reghizzi (University of Milan, ITALY)
Jozef Gruska (Masaryk University, CZECH REPUBLIK)
Oscar H. Ibarra (University of California, USA)
Andrea Maggiolo-Schettini (University of Pisa, ITALY)
ORGANIZING COMMITTEE
TBA
--
Dario Della Monica, PhD Student
University of Udine - Department of Mathematics and Computer Science
via delle Scienze, 206 - 33100 - Udine (UD)
phone: (+39) 0432 558469 cell: (+39) 328 2477327
fax: (+39) 0432 558499
email: dario.dellamonica [at] dimi.uniud.it
web site: http://users.dimi.uniud.it/~dario.dellamonica

Sonntag, 21. November 2010

SCS SpringSim 2011 - Modeling and Simulation

#################################################################
              1st International Workshop on
     Model-driven Approaches for Simulation Engineering
  part of the Symposium on Theory of Modeling and Simulation
                    (SCS SpringSim 2011)
                      CALL FOR PAPERS
#################################################################
April 4-9, 2011, Boston, MA (USA)
http://www.sel.uniroma2.it/mod4sim11
#################################################################
# Papers Due: *** November 21, 2011 ***
# Accepted papers will be published in the conference proceedings
# and archived in the ACM Digital Library.
#################################################################
The workshop on model-driven approaches for simulation
engineering (Mod4Sim) aims to combine the most recent advances
in the software engineering field with well-known and widely used
techniques for simulation engineering.
The term simulation engineering denotes the set of activities to
be carried out first to build the simulation model that
specifies the behavior of a given source system and then to
implement the simulation model into a software application that
allows to "execute" the model onto a given centralized or
distributed computer platform.
In the software engineering community, the exploitation of
principles and standards introduced in the model-driven
engineering field has obtained a significant increase of the
degree of automation provided by software development processes
and has led to software products with higher quality and
reduced costs and time-to-market.
The Mod4Sim workshop aims to investigate the use of model-
driven approaches in the simulation engineering field and
provides a unique opportunity to bring together leading
researchers and practitioners from both the software engineering
community and the simulation community in a focused workshop
environment.
A non-exhaustive list of topics of interest includes:
* model-driven simulation engineering processes
* domain specific languages for modeling and simulation
* model transformations for simulation model building
* model transformations for simulation model implementation
* model-driven engineering of distributed simulation systems
* relationship between metamodeling standards (e.g., MOF, Ecore)
  and distributed simulation standards (e.g., HLA, DIS)
* metamodels for simulation reuse and interoperability
* model-driven technologies for different simulation paradigms
  (discrete event simulation, multi agent simulation,
  sketch-based simulation, etc.)
* model-driven methods and tools for performance engineering of
  simulation systems
* simulation tools for model-driven software performance
  engineering
* model-driven technologies for simulation verification and
  validation
* model-driven technologies for data collection and analysis
* model-driven technologies for simulation visualization
To stimulate creativity, however, the workshop maintains a wider
scope and invites interested researchers to present contributions
that offer original perspectives on model-driven engineering of
simulation systems.
+++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
+++++++++++++++++++++++++++++++++++
The Mod4Sim workshop accepts the following three types of papers:
1. Full Papers: 8 pages in final conference format.
   Full papers will be published both in hard copy and CD-ROM.
2. Work in Progress Papers: papers that describe novel research
   ideas and promising work that has not yet been fully
   evaluated. The size of such papers is up to 6 pages in final
   conference format.
3. Short Papers: Papers with industrial focus, military or
   government applications. The size of such papers is up to 6
   pages in final conference format.
Papers must be submitted as a PDF file through the Submission
Management System (http://www.softconf.com/scs/DEVS11).
The final version of all the papers must comply with the SCS
conference format. All the submitted papers should be original
and not have been submitted to other venues; they will be peer
reviewed with respect to their quality, originality and relevance.
The authors of the accepted paper must register in advance for
inclusion of their paper in the conference proceedings.
All papers will be included in the conference proceedings and
archived in the ACM Digital Library. Full Papers will be also
printed in hard copy.
+++++++++++++++
Important Dates
+++++++++++++++
* Submission Deadline: November 21, 2010
* Notification to authors: December 21, 2010
* Camera-ready version: January 25, 2011
* Workshop: April 4-9, 2011
++++++++++++++++++++
Organizing Committee
++++++++++++++++++++
* Andrea D'Ambrogio, University of Roma TorVergata, Italy
* Dorina C. Petriu, Carleton University, Canada
+++++++++++++++++
Program Committee
+++++++++++++++++
* Steffen Becker - University of Paderborn, Germany
* David Chen - Univeristy of Bordeaux I, France
* Juan De Lara - Universidad Autonoma de Madrid, Spain
* Huascar Espinoza - ESI-Tecnalia, Spain
* Paul A. Fishwick - University of Florida, USA
* Daniele Gianni - European Space Agency, Netherlands
* Carlos Juiz - University of Balearic Islands, Spain
* Halit Oğuztüzün - Middle East Technical University, Turkey
* Andreas Tolk - Old Dominion University, USA
* Hans Vangheluwe - University of Antwerp, Belgium
* Heming Zhang - Tsinghua University, China
*** Contact Information ***
Andrea D'Ambrogio (workshop co-chair)
Email: dambro@info.uniroma2.it
[Apologies for multiple postings. Problems: contact gwainer@sce.carleton.ca]

DEVS 2011 - MODELING AND SIMULATION

CALL FOR PAPERS - DEADLINE APPROACHING
    SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (DEVS 2011)
  April 4-9 2011. Boston Marriott Long Wharf Hotel Boston, MA. USA.
http://www.sce.carleton.ca/faculty/wainer/DEVS11
                           Sponsored by
       The Society for Modeling and Simulation International
             in cooperation with ACM/SIGSIM and ICST
The purpose of this symposium is to provide a forum to discuss recent
advancements in Theory of M&S. The main focus is on theory of modeling,
methodology, practice and software to cope with the challenges arising
out of these, as well as lessons learned and challenges. The Symposium
bridges different areas in the field of Theory of M&S, including formal
modeling, model-checking, graph transformation, modeling methodologies.
It also provides an opportunity to exchange ideas with other SpringSim'11
symposia participants in different fields.
Topics of interest include (but are not limited to) the following:
Theory: DEVS, Petri Nets, Finite State Machines, Timed Automata, Process
Algebras; Hybrid system modeling and integration of formalisms; Formal
analysis and symbolic reasoning; Model Checking; Graph Transformation.
M&S Software: frameworks and libraries for DEVS, PN, FSM, TA, PA, etc.;
Education aspects of Theory of M&S
Methodology: Parallel & distributed simulators; Middleware and simulators
Interoperability (grid, cloud, web services); M&S Engineering; M&S-Based
development methods.
Practice and Lessons Learned: Military systems and infrastructures;
Real-time and embedded systems; High performance computing; Software-
intensive/networked systems; Transportation and traffic systems;
Ecological and environmental systems; Standards.
All papers will be included in the conference proceedings and archived in
both the the ACM and EU Digital Libraries; Full Papers will be also
printed in hard copy.
Important Dates
===============
Paper Submission: 21 Nov 2010
Notification:   21 Dec 2010
Final Paper:    25 Jan 2011
Main conference: 4-9 Apr 2011
Submission Procedures
=====================
The conference committee will accept three types of papers submitted as a
PDF file to the conference website (http://www.softconf.com/scs/DEVS11/)
as listed below. All the submitted papers should be original and not have
been submitted to other venues; they will be peer reviewed with respect to
their quality, originality and relevance.
1. Full manuscript: 8 pages in final conference format. In addition to
publication in the conference proceedings, they will be considered for
a best paper award. Full papers will be published in hard copy and CD-ROM.
2. Work in Progress: Short papers up to 6 pages in final conference
format.
3. Short Papers: Papers with industrial focus, military or government
applications, and work-in-progress in abstract or short paper format.
DEVS AWARD
==========
This year, the Symposium will hold the Second Bernard P. Zeigler DEVS M&S
Award, to recognize high-impact innovations in M&S methods, applications
and tools (sponsored by RTSync - Chair: Doohwan Kim).
WORKSHOPS
=========
Authors interested in organizing satellite workshops can contact the
organizers. Up to date, two workshops have been confirmed:
- Mod4Sim: M&S and Software Engineering (Chairs: Andrea D'Ambroggio -
UniRoma "Tor Vergata" - and Dorina Petriu - Carleton University -).
http://www.sel.uniroma2.it/mod4sim11/
- DEVS Standardization (Chairs: Xiaolin Hu - Georgia State - and Hessam
Sarjoughian - University of Phoenix -).
DEVS 2011 Organizing committee
==============================
General Chairs:
Gabriel A. Wainer, Carleton University, Canada
Mamadou K. Traoré, Université Blaise Pascal, Clermont-Ferrand, France
Program Chairs:
Reiko Heckel, University of Leicester, United Kingdom
Jan Himmelspach, Universität Rostock, Rostock, Germany
Advisory Board
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), University of Arizona, (Chair)
Christos Cassandras (FIEEE, FIFAC), Boston University
François Cellier (FSCS), ETH Zürich
Mo Jamshidi (FIEEE, FASME, FAAAS), University of Texas at San Antonio
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University
DEVS 2011 International Technical Program Committee
===================================================
http://sce.carleton.ca/faculty/wainer/DEVS11/doku.php?id=organizing_committe
e
Further information:
http://sce.carleton.ca/faculty/wainer/DEVS11/doku.php
[Apologies for multiple postings]
[Problems/issues: contact Gabriel.Wainer@sce.carleton.ca]

EAIA 2011 - Emerging Applications of M&S

Call for Papers
Emerging Applications of M&S in Industry and Academia (EAIA'11) Symposium
The Symposium for Emerging Applications of Modeling and Simulation (M&S) in Industry and Academia (EAIA) has evolved into a hub for new ideas and successful applications thereof. The focus is on innovative applications of M&S in theory and practice. As such, we are looking for papers that show successful and promising trends. For 2011, we offer seven topic categories plus the "Other Emerging Application" category to be able to give a home to good papers that do not fit into the other categories. For more information, please visit the conference website http://scs.org/node/207.
T1 - M&S and Education will continue to look how M&S can be used to enrich education, ranging from public education in middle and high schools over colleges and universities to education of the work force.
T2 - M&S and Engineering has its focus on engineering applications of M&S as well as applying engineering methods to M&S. This includes new engineering management efforts, such as Scrum for M&S, or applying M&S as a Green Technology.
T3 - Business and Industry Simulation Applications shows "where the rubber meets the road." Where is M&S really making a difference in Industry? How can we optimize processes and businesses using new methods that combine M&S and heuristics?
T4 - M&S and Risk Management is looking for contributions regarding theory and application of supporting Risk Management with the full spectrum of M&S.
T5 - M&S and Philosophy is a new topic for EAIA, but as M&S grows as its own discipline, it is time to address some philosophical questions, including the question of how M&S is influenced and influences Philosophy and our understanding of what we understand.
T6 - M&S and Law Enforcement is starting to become a new application domain. The objective is to give a home to papers that evaluate the potential and applicability of the whole M&S spectrum to support law enforcement in training, analysis, and operations.
T7 - M&S Technology Transition is a contemporary interest to avoid the frequent loss of great ideas between R&D and distribution organizations.
T8 - Other Emerging Applications is interested other innovative applications of M&S in theory and practice.
We are looking forward to receive your papers soon!
==================== ;-)
Andreas Tolk, Ph.D.
Associate Professor
Engineering Management & Systems Engineering
Old Dominion University
Symposium Chair EAIA 2011

ASONAM 2011 - Social Network Analysis and Mining

The 2011 International Conference on Advances in Social Network Analysis and Mining (ASONAM 2011)
Kaohsiung, Taiwan
July 25st ĄV July 27th 2011
http://asonam.im.nuk.edu.tw/
CALL FOR PAPERS
SUBMISSION DEADLINE : March 1st, 2011
Proceedings published by the IEEE Computer Society Press, which are indexed by EI.
*********************************************************************
The international conference on Advances in Social Network Analysis and Mining (ASONAM 2011) will primarily provide an interdisciplinary venue that will bring together practitioners and researchers from a variety of SNAM fields to promote collaborations and exchange of ideas and practices.
ASONAM 2011 is intended to address important aspects with a specific focus on the emerging trends and industry needs associated with social networking analysis and mining.
The conference solicits experimental and theoretical works on social network analysis and mining along with their application to real life situations.
General areas of interest to ASONAM 2011 include information science and mathematics, communication studies, business and organizational studies, sociology, psychology, anthropology, applied linguistics, biology and medicine.
More specialized topics within ASONAM include, but are not limited to:
Anomaly detection in social network evolution Application of social network analysis
Application of social network mining
Communities discovery and analysis in large scale online social networks
Communities discovery and analysis in large scale offline social networks
Connection between biological similarities and social network formulation
Contextual social network analysis
Contextual social network mining
Crime data mining and network analysis
Cyber anthropology
Dark Web
Data protection inside communities
Detection of communities by document analysis
Dynamics and evolution patterns of social networks
Economical impact of social network discovery
Evolution of patterns in the Web
Evolution of communities in the Web
Evolution of communities in organizations
Geography of social networks
Impact of social networks on recommendations systems
Information acquisition and establishment of social relations
Influence of cultural aspects on the formation of communities
Knowledge networks
Large-scale graph algorithms for social network analysis
Misbehavior detection in communities
Migration between communities
Multi-agent based social network modeling and analysis
Open source intelligence
Pattern presentation for end-users and experts
Personalization for search and for social interaction
Preparing data for Web mining
Political impact of social network discovery
Privacy, security and civil liberty issues
Recommendations for product purchase, information acquisition and establishment of social relations
Recommendation networks
Scalability of social networks
Scalability of Search algorithms on social networks
Social and cultural anthropology
Social geography
Social psychology of information diffusion
Temporal analysis on social networks topologies
Visual representation of dynamic social networks
Web mining algorithms
Web communities
Important dates
===============
November 1, 2010 Paper submission process opens
March 1, 2011 Full paper submission deadline
April 8, 2011 Notification of acceptance
April 20, 2011 Camera-ready paper due
April 20, 2011 Presenting author registration due
June 10, 2011 Discount registration for general public due
July 25-27, 2011 Conference events
Paper Submission
====================
Papers reporting original and unpublished research results pertaining to the above topics are solicited.
Full paper submission deadline is March 1, 2011.
These papers will follow an academic review process.
Full paper manuscripts must be in English with a maximum length of 8 pages (using the IEEE two- column template).
Submissions should include the title, author(s), affiliation(s), e-mail address(es), tel/fax numbers, abstract, and postal address(es) on the first page. Papers should be submitted to http://www.easychair.org/conferences/?conf=asonam2011. If Web submission is not possible, manuscripts should be sent as an attachment via email to iting@nuk.edu.tw by March 1, 2011. The attachment must be in PDF or Word .doc format.
Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Authors should certify that their papers represent substantially new previously unpublished work. Paper submission implies that the intent is for one of the authors to present the paper if accepted and that at least one of the authors register for a full conference fee.

THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMP.

SNAMAS@AISB 2011 Convention
http://www.aisb.org.uk/convention/aisb11/
4-7 April 2011, University of York, UK


-------------------------------------------------------------

SYMPOSIUM CHAIRS

- Matthias Mailliard (Cemagref, France)
- Clara Smith (UNLP and UCALP, Argentina)
- Frédéric Amblard (IRIT, France)
- Samuel Thiriot (INRIA ? France)

--------------------------------------------------------------

The aim of the SNAMAS Symposium is to exchange ideas, tools,
methodology, on various works in MAS that integrate the social network
component.

--------------------------------------------------------------

TOPICS

The 2011 release of SNAMAS will be focused on "social relations and
their underlying processes in social organizations". A special
attention will be paid to empirical studies. Topics of interest
include (but are not limited to) works exhibiting:

- empirical and/or theoretical researches on a specific social
relation (relation of power, solidarity, legitimity, trust...);
- the role of specific social relations in structuring organizations;
- the role of agents´ attributes in structuring social relations
(values, emotions, cognitive abilities, ...);
- the role of social relation structures on agent behaviour;
- agent mechanisms and algorithms dealing with representations for
social relations representations;
- social relations regulations;
- comparative and ontological studies from SNA and MAS;
- mathematical representations to describe and analyse structures for
social relations, and their dynamics.

--------------------------------------------------------------

IMPORTANT DATES

Paper submission deadline: January 9, 2011.
Notification of acceptance: February 6, 2011.
Camera ready version deadline: TBA
Symposium: 4th - 7th April, 2011.

--------------------------------------------------------------

PAPER SUBMISSION

Authors should consult the instructions on the website for submitting
their papers electronically.
Guidelines for paper submission are as the following:
? The paper should be written in English.
? The maximum length of a paper is 6 A4-sized pages in ECAI format
(format download:
http://www.aisb.org.uk/convention/aisb08/download.html).
? The paper should be in PDF format.
? Please submit via the online paper submission system.
(http://www.easychair.org/conferences/?conf=aisb11 (Track : Social
Networks and Multi-agent systems))

--------------------------------------------------------------

PROGRAM COMMITTEE (confirmed)

Luis Antunes (Univ. Lisbon, Portugal)
Guido Boella (University of Turin)
Cristiano Castelfranchi, (ISTC-CNR Rome, Italy)
Edmund Chattoe-Brown (Univ. Leicester, UK)
Rosaria Conte (ISTC-CNR Rome, Italy)
Terrill Frantz (Carnegie Mellon University, USA)
Jeremy Pitt (Imperial College London, UK)
Camille Roth (CNRS-EHESS, Paris, France)
Giovanni Sartor (Univ. Bologna, Italy)
Serena Villata (University of Turin)
Justin Zhan (CMU, Pittsburgh, USA)

------------------------------------------------------------

CONTACTS

For further inquiries please contact: snamas2011@res-ear.ch

MIWAI'10 - CALL FOR PARTICIPATION

The 4th Mahasarakham International Workshop on Artificial Intelligence.

December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand.
(Tutorials December 8)

http://khamreang.msu.ac.th/miwai10/

---------------------------------------------------------------------------
Important Dates
---------------------------------------------------------------------------
Early Registration deadline:     December 2, 2010
Tutorials:                       December 8, 2010
Workshop dates:                  December 9-10, 2010


---------------------------------------------------------------------------
Registration
---------------------------------------------------------------------------
Fees are as follows (in Thai Baht. 1,000 Thai Baht = 33 USD approx.):

Early Registration (on or before Dec. 2):
2,500 (students), 3,500 (non-students)

Late Registration (after Dec. 2):
3,500 (students), 6,000 (non-students)

To register, please fill in the registration form (1 form for each
participant, available from
http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Registration.html) and either
fax it to Ms Suwicha Nantawong (+66 43 754 359), or send scanned versions
by email to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th).

Late registration on-site is also possible.

For more details see
http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Registration.html


---------------------------------------------------------------------------
Invited Speakers + Tutorials
---------------------------------------------------------------------------
Invited Speakers:
1.Arun Agarwal (University of Hyderabad, India)
"Excitement of Research in Document Forensics"

2.Anthony Cohn (University of Leeds, UK)
"Learning about Activities and Objects from Video"

Tutorials (December 8):
1.Siba K. Udgata (University of Hyderabad, India)
"Swarm Intelligence - A Tool for Optimization in various Information
Technology Applications"

2.Richard Booth (University of Luxembourg and Mahasarakham)
"Reasoning using Argumentation: An Introduction"


---------------------------------------------------------------------------
About MIWAI
---------------------------------------------------------------------------
Artificial Intelligence (AI) research has broad applications in real world
problems. Examples include control, planning and scheduling, pattern
recognition, knowledge mining, software applications and strategy games.
The ever-evolving needs in business both on a local and on a global scale
demand better technologies for solving more and more complex problems. Such
needs can be found in all industrial sectors and in any part of the world.

This workshop aims to be a meeting place where excellence in AI research
meets the needs for solving dynamic and complex problems in the real world.
The academic researchers, developers, and industrial practitioners will
have extensive opportunities to present their original work, technological
advances and practical problems. Participants can learn from each other and
exchange their experiences in order to fine tune their activities in order
to help each other better.

The main purposes of the MIWAI series of workshops are as follows:

. to provide a meeting place for AI researchers and practitioners in
Thailand and beyond.

. to inform Thai students about cutting-edge AI research via the presence
of outstanding international invited speakers.

. to raise the standards of practice of AI research in the whole of
Thailand by providing Thai researchers and students with feedback from an
internationally-renowned program committee.