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

Montag, 19. April 2010

Workshop on Goal-based Business Process Engineering

------------------------------------------------------------------------------------------------------------------------------------------
                    WGBP 2010 - Call for Papers

International Workshop on Goal-based Business Process Engineering (WGBP 2010)
at the Fourteenth IEEE International EDOC Conference (The Enterprise Computing Conference)

Vitória/ES – Brazil
25-29 October 2010

Papers submission deadline: 17 April 2010
Web site: http://edoc2010.inf.ufes.br/wgbp2010

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

- ABOUT THE WORKSHOP -
--------------------------------------------
Competitive businesses and an ever changing market have demanded that current organizations constantly evolve. To achieve that, it becomes necessary to develop a deep understanding of the organizational practices and systems. This motivates an increasing interest in business processes engineering. Such interest has the benefit to allow a deep understanding of the processes that generate the main products and services offered by the organization. This may lead to: a) enhance these processes to obtain higher quality both in products and services; b) develop information systems which are more in line with the current processes, so that such systems more appropriately satisfy user requirements; and c) provide documentation of the applied practices, reading to more efficient knowledge management, which enables the integration of newcomers within the organization.

However, to guarantee that business process engineering is applied to its full potential, keeping the organization competitive, it is necessary to understand how these processes achieve the local and strategic goals of the organization. This may guide the decision regarding which activities and processes should be the priorities of that particular organization.

Goal modeling has gained a lot of attention in the past few years, especially in the field of Requirements Engineering. In this context, goals are applied as a natural modeling construct to capture the requirements of a system to-be. Within the Business Process Engineering community, some works have included the concept of goal as modeling primitive, acknowledging its importance to motivate processes that underlie organizations. However, up to very recently, such goal models have remained peripheral and often ignored in current business process engineering practices.

The International Workshop on Goal-based Business Process Engineering (WGBP 2010) is the first of what we hope to be many events that bring together researchers and practitioners in the areas of goals and business process engineering to discuss how these two complementary areas may be integrated. This way, we hope to contribute to the development of each of these areas, as well as to create a forum where works that combine them may be published and discussed.


- TOPICS -
--------------------------
The workshop encourages submissions on the relation of Goals and Business Process Engineering with the following topics, but not limited to:
• Methodologies for Goal-based Business Process Engineering
• Goal-based Organizational Modeling
• Enterprise Architectures
• Viewpoint Alignment in Goal-based Business Process Engineering
• Ontologies in Goal-based Business Process Engineering
• Semantics in Goal-based Business Process Engineering
• Service-oriented architectures in Goal-based Business Process Engineering
• Simulations of Goal-based Business Process Engineering
• Monitoring of Goal-based Business Process Engineering
• Formal Description, Verification and Validation in Goal-based Business Process Engineering
• Reengineering in Goal-based Business Process Engineering
• Requirements Engineering in Goal-based Business Process Engineering
• Knowledge Management in Goal-based Business Process Engineering
• Security issues in Goal-based Business Process Engineering
• Quality of service in Goal-based Business Process Engineering
• Norms and Regulations in Goal-based Business Process Engineering
• Autonomic Systems in Goal-based Business Process Engineering
• Product Line in Goal-based Business Process Engineering
• Industrial Case Studies in Goal-based Business Process Engineering


- SUBMISSION GUIDELINES -
----------------------------------------------
This workshop accepts two kinds of papers: short papers (up to 4 pages long) and full papers (up to 8 pages long). All submissions to workshops must comply with the IEEE Computer Society conference proceedings format guidelines (http://www2.computer.org/portal/web/cscps/formatting) (please use the latest template as there have been updates recently). Submissions must be in English and must be made using EasyChair (http://www.easychair.org/conferences/?conf=wgbp2010).

Workshop proceedings will be published by the IEEE Computer Society Press and will be accessible through IEEE Xplore and the IEEE Computer Society Digital Library. In order to have the paper published, at least one author of each accepted workshop paper will have to register for the whole EDOC 2010 conference and attend the workshop to present the paper. The IEEE reserves the right to exclude a paper from distribution after the conference (e.g., removal from IEEE Xplore) if the paper is not presented at the workshop.

All papers will be refereed by at least 3 members of the international program committee. Reviews are based on originality, relevance, technical soundness and presentation  (all paper sections are considered for review, not only an extended abstract).


- IMPORTANT DATES -
--------------------------------------
Paper submission due (extended!!!!): 2 May 2010
Paper notification: 4 June 2010
Paper camera-ready paper due: 16 June 2010
Workshop held: 25th or 26th October 2010 (in one of the two first days of EDOC’10)


- ORGANIZING COMMITTEE -
---------------------------------------------
Renata S.S. Guizzardi (Federal University of Espírito Santo, Brazil), rguizzardi@inf.ufes.br
Anna Perini (FBK-IRST Trento, Italy), perini@fbk.eu
Jaelson Castro (Federal University of Pernambuco, Brazil), jbc@cin.ufpe.br


- PROGRAM COMMITTEE -
---------------------------------------------
Alberto Siena (CIT, FBK-IRST Trento, Italy)
Angelo Susi (CIT, FBK-IRST Trento, Italy)
Anthony Finkelstein (UCL, UK)
Carson Woo (UBC, Canada)
Claudia Cappelli (NP2TEC/UNIRIO, Brazil)
Collete Rolland (Univ. Paris I Panthéon-Sourbonne, France)
Daniel Amyot (Univ. Ottawa, Canada)
Dimitris Karagiannis (Univ. Wien, Austria)
Eric Yu (Univ. Toronto, Canada)
Fernanda Baião (UNIRIO, Brazil)
Fernanda Alencar (UFPE, Brazil)
Gerd Wagner (Cottbus Univ. Technology, Germany)
Giancarlo Guizzardi (UFES, Brazil)
João Paulo A. Almeida (UFES, Brazil)
John Mylopolous (Univ. Toronto, Canada)
Jolita Ralyte (Univ. Geneva, Switzerland)
Julio Leite (PUC-Rio, Brazil)
Lin Liu (Tsinghua, China)
Lucineia Heloísa Thom (UFRGS, Brazil)
Luiz Olavo Bonino (Univ. Twente, The Netherlands)
Manfred Reichert (Ulm Univ., Germany)
Maria Beatriz Felgar de Toledo (IC/UNICAMP, Brazil)
Maria-Eugenia Iacob (Univ. Twente, The Netherlands)
Oscar Pastor (UPV, Spain)
Paul Johannesson (Royal Institute of Technology, Sweden)
Xavier Franch (UPC, Spain)
Yiyun Yu (Open Univ., UK)
-----------------------------------------------------------------------------------------------

Montag, 12. April 2010

Workshop on New Frontiers in Service-Oriented Computing

Workshop on New Frontiers in Service-Oriented Computing
 
                                 In conjunction with
                        The Fifth International Conference on
                 P2P, Parallel, Grid, Cloud, and Internet Computing 
                                   (3PGCIC'2010)
 
                          November 4-6, 2010, Fukuoka, Japan
                 
                   http://serviceware.insa-lyon.fr/nfsoc/index.html 
 

WORKSHOP OBJECTIVES 
===================
The widespread use of Internet technologies has an important impact on the way organizations deal with their partners and customers. To remain competitive, organizations are under pressure to take advantage of the information revolution that the Internet and the Web have brought about. Most organizations are adopting Web-based approaches for more automation, efficient business processes, personalization, and worldwide visibility.
 
Service-Oriented Computing design principles and their implementation technologies such as Web services, JBI, and SCA could help organizations to become more Web-oriented. This should result in building interoperable business applications that can cross organizational boundaries. The development of different industry standards, products and tools for supporting service-based  system design and development is advancing at a very rapid rate. Despite all the efforts that are put into Service-Oriented Computing research and development, many organizations still struggle with how to make their core business operations comply with Service-Oriented Computing principles.
 
The purpose of this workshop is to discuss the recent and significant developments in the field of Service-Oriented Computing. The workshop will provide a forum for articles that tackle challenges related to specification, modeling, design, development and deployment of Service-Oriented Computing-based solutions.
 
TOPICS
======
Topics of interest for each of the main research tracks of the 2009 conference edition include, but are not  limited to:
  * Foundations of Services Computing
       Formal methods for services computing
       Services composition
       Services delivery
       Services discovery
       Services modeling
       Services science 
 
  * Service-centric Computing Models
       Service-oriented architecture (SOA)
       SOA industry solutions
       SOA industry standards
       SOA solution stack
 
  * Service Computing Management 
  Service Governance
  Service Monitoring 
  Trust and Security
  Risk assessment and Mitigation  
  Performance and Evaluation
 
 
  * Service Applications
  Software as a Service 
 Business, Educational and finance Services
    Application integration services
       Service computing process modeling
 Service transformation and integration
       Service level automation and orchestration
 Software architecture development and deployment
       
 
PAPER SUBMISSION
===============================
Authors are invited to submit original, unpublished research papers. All submissions should comply with the IEEE 8.5 two-column format. Papers should contain up to 5 keywords. Papers will be evaluated for originality, significance, clarity, and soundness, and will be reviewed by at least two independent reviewers. All papers are to be submitted in PDF electronically via the workshop
Web site and will be peer-reviewed by members of the international program committee.
 
IMPORTANT DATES
===============================
Paper Submission: April 30, 2010 
Notification of Acceptance: June 31, 2010 
Camera-Ready Submission: September 15, 2010
Conference days: November 4-6, 2010 
 
ORGANIZERS
==============================
Youakim Badr, INSA de Lyon, France
Zakaria Maamar, Zayed University, UAE
Zhongjie Wang, Harbin Institute of Technology, China
 
===============================
For more information about FSOC please visit the workshop home page at
http://serviceware.insa-lyon.fr/nfsoc/index.html 

Donnerstag, 8. April 2010

Special Issue on: FORMAL MODELS OF NORM CHANGE

Journal of Applied Non-Classical Logic

Special Issue on:

FORMAL MODELS OF NORM CHANGE

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

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends in Artificial Intelligence have recently revived this attention emphasizing the importance of a formal analysis of the type(s) of dynamics involved in systems of norms, and norm change has become the topic of a dedicated international workshop: http://www.cs.uu.nl/events/normchange2/index.html

This special issue aims at providing an up to date account of this recent and lively research area at the interface of logic, philosophy, computer science and legal theory.

We invite submissions on any topic in the following, not exclusive, list:

  * Dynamic logic approaches to norm change
  * AGM-like approaches to norm change
  * Deontic logic and the dynamics of informational attitudes
  * Deontic logic and game theory
  * Formal analysis of legal procedures
  * Norm change in legal theory
  * Norm change and multi-agent systems


SUBMISSION
==========

The papers can be submitted via email to Davide Grossi (d.grossi@uva.nl ).

The paper must be unpublished and not submitted for publication elsewhere. Submissions will be refereed according to the usual high standards of JANCL.

Submissions exceeding 25 pages will require a specific justification and the agreement of the editors.

The paper must be prepared in LaTeX. Typing instructions and style files can be obtained:
- in .ZIP format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.zip
- in TAR.GZ format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.tar.gz

Any further information about submission can be asked to Davide Grossi (d.grossi@uva.nl ).


PLANNED SCHEDULE
================

Deadline for submissions:               15 June 2010
First referee reports:                  15 August 2010
Submission revision (if necessary):     15 September 2010
Notification:                           30 September 2010
Final version:                          30 October 2010


GUEST EDITORS
=============

Jan Broersen, Utrecht University (broersen@cs.uu.nl )
Davide Grossi, University of Amsterdam (d.grossi@uva.nl )
Leendert van der Torre, University of Luxembourg (leon.vandertorre@uni.lu )


URL of the CFP: http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL





=================================
Davide Grossi
ILLC, University of Amsterdam
phone: +31 020 525 8254
_www.illc.uva.nl/~grossi_
=================================

Special Issue on: Distributed Intelligence and Data Fusion for Sensor Systems

Call for Papers

Special Issue on:
Distributed Intelligence and Data Fusion for Sensor Systems

in IET Communications (SCI Indexed)
http://scitation.aip.org/IET-COM

===========================================================

Scope

Use of intelligence, data mining and data fusion has provided new momentum in 
the use of sensors and converted WSNs into a new brand of dynamic, autonomous 
and intelligent Distributed Sensor Systems. These features enable new smart 
sensors to play new roles as intelligent nodes gathering, manipulating and 
decimating data for more reliable and secure communication whilst performing 
more efficiently using less energy and number crunching.

This special issue aims at presenting innovative and signifi cant research 
papers on the design, implementation and evaluation of wireless sensors, 
especially for use of distributed intelligence and data fusion. 



Topics of primaryinterest include, but are not limited to:
 
* applications and deployment of intelligence in sensor systems and distributed 
  data fusion
* sensor networking protocols and algorithms
* sensor network management protocol and systems
* cross-layer design and sensor network management protocols
* security of distributed intelligence in sensor networks
* inter-connection between distributed sensor systems
* testbed, experimental measurements & performance analysis
* systems for context sensing and context awareness
* tools and methodologies for sensory data fusion
* QoS provisioning protocols with data fusion technology
* collaborative in-network processing and data sharing
* use of Intelligence and data in energy harvesting



IMPORTANT DATES

* Deadline for Submission of Paper:   01 July 2010
* Authors to receive a 1st decision:  30 September  2010
* Final notification of acceptance:   31 January 2011
* On-line and print publication:      Q1/Q2 2011



Paper Submission:
All papers must be submitted through the journal's Manuscript Central system:




Guest editors:
 
 Dr. Lei Shu (Corresponding)
 Nishio Lab., Department of Multimedia Engineering
 Graduate School of Information Science and Technology
 Osaka University, Japan
 E-mail: lei.shu@ieee.org
 
 Prof. Jaime Lloret Mauri
 Polytechnic University of Valencia, Spain
 E-mail: jlloret@dcom.upv.es

 Prof. Joel Rodrigues
 University of Beira Interior, Portugal
 E-mail: joeljr@ieee.org

 Prof. Min Chen
 Seoul National University, Korea
 E-mail: minchen@ieee.org



IET Publishing Dept. contact:
 Paul Rowley
 Editorial Assistant
 IET Communications
 E-mail: prowley@theiet.org
 
 Professor Habib F. Rashvand
 Series Editor
 IET Communications
 E-mail: h.rashvand@warwick.ac.uk

BWSS 2010 - SECOND BRAZILIAN WORKSHOP ON SOCIAL SIMULATION

BWSS 2010 -  SECOND BRAZILIAN WORKSHOP ON SOCIAL SIMULATION

[Workshop co-located with the 20th Brazilian Symposium on Artificial Intelligence - SBIA, the XI Brazilian Symposium on Artificial Neural Network - SBRN, the IV Intelligent Robotics Meeting - JRI (with IX Latin American Robotics Competition - LARC, and Latin American Robotics Symposium - LARS)]

São Bernardo do Campo, São Paulo, Brazil, 23-28 October, 2010

The BWSS 2010 Website is http://www.ncc.furg.br/bwss2010 .

BWSS 2010 - Social simulation has a dialectical relationship to Artificial Intelligence, in general, and Multi-agent Systems, in particular. It is both an area for the application of methods, techniques and technologies of AI and MAS, as well as a source of inspiration for new theories, models and methods for AI and MAS, as it draws upon the theories, models and methods of the social sciences (anthropology, sociology, political science, economy, government, management, etc.).

This one-day workshop will address theoretical, methodological, technical and instrumental issues concerning the area of simulation of social systems. The workshop will thus have an interdisciplinary character.

Theories and models of societies and smaller social systems that embody a computational concern are at the center of area.

Micro-level and macro-level issues concerning structures and processes at the social and individual levels, as well as the mutual influence between such conceptual levels, and problems of upward and downward causation between them should also be contemplated.

Techniques, tools and computational environments for the simulation of those models, specially those based on agent and multi-agent technology, and AI methods in general, should be of primary concern.

Application of social simulation to the various areas of social sciences (anthropology, sociology, political science, economy, government, management, etc.) should also be of interest to the audience.

BWSS 2010 will have two invited speakers:

- Prof. Nigel Gilbert (University of Surrey, UK) Title: Intra & inter-network dynamics, and the 'semantics' of the links
- Prof. Cristiano Castelfranchi (ISTC-CNR, Italy) Title: Modelling complex social systems: opportunities and challenges

We are cordially inviting you to submit a paper to BWSS 2010. The topics of interest are (not exclusively):

- theoretical foundations of social simulation
- methods and models for social simulation
- AI and MAS tools, techniques, models and environments for social simulation
- applications of social simulation (in research, government, management, education, etc.)


Important dates:

- Deadline for paper submission: June 28, 2010
- Notification to authors: July 28, 2010
- Camera-ready copies of papers: August 12, 2010
- Workshop date: co-located with SBIA, 23-28 October, 2010 (day yet to be announced)


Paper format:

Papers should be written in English, with at most 12 pages, and submitted in PDF format, following the Springer LNCS style (see http://www.springer.de/comp/lncs/authors.html). The submission system will be JEMS/SBC, through the BWSS 2010 website.  At least one author of any accepted paper should attend the workshop.


Proceedings:

The papers accepted for the workshop will be published in the Workshop Proceedings.


Best Paper:

An extended version of the best paper presented at the workshop, selected by the Program Committee, will be invited to be submitted for the JBCS - Journal of the Brazilian Computer Society. (http://www.sbc.org.br/index.php?language=2&subject=309)


Post-Proceedings:

Depending on the number of submissions, we are planning to propose a special issue on Social Simulation of the JBCS, where the authors of a selection of best papers presented at workshop, among other possible submissions, would be invited to submit extended versions of their papers, including the discussions and suggestions arised at the workshop oral presentations and working meetings.


Organizing committee:

* Graçaliz Pereira Dimuro, FURG, Brazil (corresponding chair, email:
gracaliz@gmail.com)
* Diana Francisca Adamatti, FURG, Brazil
* Jaime Sichman, USP, Brazil
* João Balsa, Universidade de Lisboa, Portugal
* Luis Antunes, Universidade de Lisboa, Portugal
* Patricia Tedesco, UFPE, Brazil

Program committee (preliminary list):
 
*Alessandro de Lima Bicho (FURG, Brazil)
*Alexei Sharpanskykh (Vrije Universiteit Amsterdam)
*Ana Lucia Cetertich Bazzan (UFRGS, Brazil)
*André Maurício Cunha Campos (UFRN, Brazil)
*Antônio Carlos da Rocha Costa (FURG, Brazil)
*Armando Geller (George Mason University, USA)
*Bruce Edmonds (Centre for Policy Modelling, UK)
*Claudio Cioffi-Revilla (George Mason University, USA)
*Cristiano Castelfranchi (ISTC-CNR, Italy)
*Diana Francisca Adamatti (FURG, Brazil)
*Fabio Yoshimitsu Okuyama (FTEC, Brazil)
*Fernando Buarque de Lima Neto (UPE)
*Fernando Lopes (INETI, Portugal)
*Flaminio Squazzoni (University of Brescia, Italy)
*Frederic Amblard (Universite Toulouse 1, France)
*Graçaliz Pereira Dimuro (FURG, Brazil)
*Gustavo Lugo (UTFPR, Brazil)
*Harko Verhagen (Stockholm University, Sweden)
*Helder Coelho (University of Lisbon, Portugal)
*Iqbal Adjali (Unilever R&D Colworth Lab, UK)
*Jaime Sichman (University of Sao Paulo, Brazil)
*Jean-Daniel Kant (University of Paris Pierre et Marie Curie, France)
*João Balsa (University of Lisbon, Portugal
*Jorge Louçã (ISCTE, Portugal)
*Juan Pavón (Universidad Complutense Madrid, Spain)
*Julie Dugdale (Laboratoire d'Informatique de Grenoble, France)
*Juliette Rouchier (Greqam/CNRS, France)
*Keith Sawyer (Washington University in St. Louis, USA)
*Klaus Troitzsch (University of Koblenz, Germany)
*Luis Antunes (University of Lisbon, Portugal)
*Laszlo Gulyas (AITIA Intl. Inc., Lorand Eotvos University, Hungary)
*Maíra Ribeiro Rodrigues (UFMG, Brazil)
*Maria das Graças Bruno Marietto (UFABC, Brazil)
*Mario Paolucci (ISTC/CNR, Italy)
*Nick Gotts (Macaulay Institute, Scotland, UK)
*Nigel Gilbert (University of Surrey, UK)
*Nuno David (ISCTE, Portugal)
*Patrícia Restelli Tedesco (UFPE, Brazil)
*Paulo Roberto Ferreira Junior (UFPel, Brazil)
*Paulo Trigo (ISEL, Portugal)
*Pedro Andrade (INPE, Brazil)
*Pietro Terna (University of Torino, Italy)
*Ricardo Rodrigo Stark Bernard (UFSC, Brazil)
*Rino Falcone (ISTC-CNR, Italy)
*Rosaria Conte (ISTC-CNR, Italy)
*Samer Hassan (Univ. Complutense Madrid, Spain)
*Tibor Bosse (Vrije Universiteit Amsterdam, The Netherlands)
*Wander Jager (University of Groningen, The Netherlands)

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

ICSOFT 2010 - 5th International Conference on Software and Data Technologies

Due to several requests, we are extending the submission deadline to the following workshops that will be held with ICSOFT 2010 (5th International Conference on Software and Data Technologies).


WORKSHOPS IMPORTANT DATES
    Regular Paper Submission: April 30, 2010 (deadline extended)
    Authors Notification: May 12, 2010 (deadline extended)
    Final Paper Submission and Registration: May 19, 2010


CXCS


- ACT4SOC 2010 -
4th International Workshop on
Architectures, Concepts and Technologies for Service Oriented Computing
Website: http://www.icsoft.org/ACT4SOC.htm 

Co-chairs:
Marten van Sinderen
University of Twente
The Netherlands

Brahmananda Sapkota
University of Twente
The Netherlands


Supported by IICREST and seekda!

Topics of interest for the workshop include, but are not limited to:

    * Service Foundation and Design Issues
          o Principles of SOC/SOA, Service Science
          o Service Modelling Approaches
          o Formal Specification and Analysis
          o Reasoning Approaches
          o Model-driven Development, Platform-independence
          o Service Interoperability (Semantic, Pragmatic), Matching and (Dynamic) Composition
          o Ontology-centered Design
          o Requirements-functionality (Business-IT) Alignment
          o Web 2.0, Social Networking, Mash-ups
          o Rest vs WS
          o Repeated Aggregation of Services into Composite Applications and Business Processes

    * Service Technology and Infrastructure Issues
          o Architectural Patterns
          o Service Registry Management
          o Requirements Management, Service Evolution
          o Quality-of-Service Management
          o Cross-domain Service Delivery
          o Specific Technology Platform Solutions
          o Language-specific Solutions
          o Tool Support
          o Applicability and Performance Experiences
          o Service Level Agreements

    * Service Usage Issues and Applications of SOC/SOA
          o Service Registration, Update, de-Registration
          o Service Discovery, Matching, Selection, Replacement
          o Service Invocation, Interaction, Monitoring
          o Service Choreography, Mediation, Orchestration
          o Traceability of Technology Changes in Requirements and Vice versa
          o Mobile and Ubiquitous Applications
          o Health and Homecare Applications
          o Supply Chain Management Applications
          o e-Commerce Applications


- ACES 2010 -
1st International Workshop on
Autonomic Computing for Enterprise Systems 
Website: http://www.icsoft.org/ACES.htm 

Co-chairs:
Frances Brazier
Delft University of Technology
The Netherlands 

Martijn Warnier
Delft University of Technology
The Netherlands


Areas / Topics of interest include, but are not limited to:
1 - Software Engineering Methods for Building Autonomic Systems
2 - QoS Management in Autonomic and Dynamic Environments
3 - Emergent Behavior, Emergent Configurations
4 - Service Agreements and Negotiation
5 - Legal Implications of Self-management/autonomy in Networked Systems



- DMIA 2010 -
1st International Workshop on
Data Management and Information Analytics
Website: http://www.icsoft.org/DMIA.htm

Co-chairs:
Markus Helfert
School of Computing, Dublin City University
Ireland

Brian Donnellan
National University of Ireland, Maynooth
Ireland


Topics of interest include, but are not limited to:

    * Managing Large Data Manufacturing Systems
    * Organizational Concepts and Best Practice
    * Architectural Concepts
    * Data and Information Quality
    * Data Modeling
    * Methods for Data Management
    * Modeling and Analyzing Relationship Data
    * Modeling Large Data Manufacturing Systems
    * Data Warehousing and Data Cleansing
    * Data Visualization
    * Data Privacy and Integrity
    * Management of Uncertain Data
    * Accessibility of Data
    * Mobile Data Management
    * Management of Sensor Data
    * Data Integration
    * Integration and Analyzing Semi-structured and Unstructured Data
    * Text Analytics
    * Business Cases and Cost/Benefit Analysis of Data Management Approaches



- RTABIS 2010 -
1st International Workshop on
Recent Trends in Aspect based Information Systems
Website: http://www.icsoft.org/RTABIS.htm

Co-chairs:
Philippe Lahire
Laboratoire I3S, University of Nice Sophia-Antipolis
France

Jean-Yves Tigli
I3S Laboratory, Polytech'Nice Sophia Antipolis, University of Nice Sophia Antipolis
France

Valérie Monfort
Université Paris 1 Panthéon Sorbonne / ISIG, Kairouan University
France / Tunisia


Topics of interest include, but are not limited to:

- Software Engineering

    * Requirements Engineering
    * Analysis and Design Modeling
    * Domain Engineering
    * Software Architectures
    * Evaluation and Metrics
    * Modular Reasoning
    * Testing and Verification
    * Interference and Composition
    * Traceability
    * Software Development Methods
    * Process and Methodology Definition
    * Patterns

- Programming Languages

    * Language Design
    * Compilation and Interpretation
    * Verification and Static Program Analysis
    * Formal Languages and Calculi
    * Execution Environments and Dynamic Weaving
    * Dynamic and Scripting Languages
    * Domain-specific Aspect Languages

- Related Paradigms

    * Model-driven Development
    * Generative Programming
    * Software Product Lines
    * Meta-programming
    * Contracts and Components
    * View-based Development

- Tool Support

    * Aspect Mining
    * Evolution and Reverse Engineering
    * Crosscutting Program Views
    * Refactoring

- Applications

    * Distributed/Concurrent Systems
    * Middleware, Services, and Networking
    * Pervasive Computing
    * Runtime Verification
    * Performance Improvement SOA and Aspects
    * Multi Agent Systems and Aspects
    * E-learning and Intelligent Tutoring Systems and Aspect

- Industrial Feedback

    * Project Management with AOP
    * Success Story or Failure
    * Other Applications Experiences



- RTSE4CAA 2010 -
1st International Workshop on Recent Trends
in Software Engineering for Context-Aware Applications
Website: http://www.icsoft.org/RTSE4CAA.htm

Co-chairs:
Yacine Atif
College of Information Technology, United Arab Emirates University
U.A.E.

Olivier Camp
ESEO, Angers
France

Slimane Hammoudi
ESEO, Angers
France

Zakaria Maamar
College of Information Technology, Zayed University
U.A.E.


Topics of interest include, but are not limited to:

    * Modelling of Context and of Context Aware Applications
    * Model Driven Engineering of Context Aware Applications
    * Ontologies for Context-aware Applications
    * Dynamic Adaptation in Context Aware Applications
    * Discovery, Composition and Adaptation of Services in Context-aware Applications
    * Intelligent Context Aware Applications
    * Programming Paradigm and Software Architectures for Context Aware Applications
    * Benchmarking and Performance of Context Aware Applications
    * Specification, Verification and Test of Context Aware Applications
    * Context Aware Business Processes
    * Database and Knowledge Management in Context-aware Applications
    * Trust, Privacy and Security Issues in Context Aware Applications
    * Human-computer Interaction in Context-aware Applications



- S2C 2010 -
1st International Workshop on
Software and Simulation Components
Website: http://www.icsoft.org/S2C.htm

Co-chairs:
Alexander Verbraeck
Delft University of Technology
The Netherlands

Mamadou Seck
Delft University of Technology
The Netherlands


Areas / Topics of interest include, but are not limited to:

1 - Theory Formation for Hierarchical and Component-based Modeling
2 - Component-based and Hierarchical Modeling in the Software Engineering Field
3 - Component-based and Hierarchical Modeling in the Simulation Field
4 - Use of Libraries of Components to Enhance (Distributed) Systems Development
5 - Best Practices for Component Development, Reuse, and Hierarchical Systems Development



Kind regards,
Monica Saramago

ICSOFT Workshops Secretariat
Av. D. Manuel I, 27A 2.esq.
2910-595 Setubal, Portugal
Tel.: +351 265 520 185
Fax: +44 203 014 5433
Email: icsoft.workshops.secretariat@insticc.org
Website: http://www.icsoft.org