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