Sonntag, 23. Januar 2011

STP AG – Fachdialog Kanzleimanagement

Impulse für einfache Kanzleiabläufe 

fachdialoge_02 

15. März im Dalí Museum Berlin

17. März im Bucerius Kunst Forum Hamburg

22. März in der Villa Kennedy Frankfurt

24. März in der Allianz Arena München

29. März im Kunstmuseum Stuttgart

Nutzen Sie unseren Fachdialog und informieren Sie sich, wie Ihre Kollegen die Abläufe in ihrer Kanzlei gestalten und optimieren.


______________________________________

"LEXolution.KMS bietet aus meiner Sicht interessante Ansätze, die den Bedürfnissen einer Wirtschaftskanzlei sehr entgegenkommen. Insbesondere der offene Dialog von STP mit den Anwendern bietet Chancen, dass das Kanzleimanagementsystem zu einem Komplettpaket der Premiumklasse weiterentwickelt werden kann."

Andreas Gilles, Office Manager, Oppenhoff & Partner 
_______________________________________________

 Agenda

08:30 Uhr

Empfang mit Business-Frühstück
Vorstellung der Teilnehmer und STP

   

10:00 Uhr

Ziele, Motivation und Erfahrungen bei der Entscheidung zur Einführung einer Kanzleimanagement-Software.
Referenten aus renommierten Kanzleien

10:30 Uhr

Kanzleiabläufe vereinfachen mit LEXolution.KMS
Umsetzung eines durchgängigen Time & Billing und Controlling-Ansatzes Live-Präsentation des KMS, Diskussionsrunde mit Erfahrungsaustausch

12:30 Uhr

Gemeinsames Mittagessen & Networking

 

Kostenlose Registrierung

Zur gleichzeitigen Anmeldung mehrerer Teilnehmer können Sie auch gerne per Mail unter events@stp-online.de anmelden.

15. März im Dalí Museum Berlin 
17. März im Bucerius Kunst Forum Hamburg
 
22. März in der Villa Kennedy Frankfurt 
24. März in der Allianz Arena München 
29. März im Kunstmuseum Stuttgart

Online Registrierung

Veranstalter:

STP Informationstechnologie AG
Lorenzstraße 29
76135 Karlsruhe

Tel.: 0721 - 82 81 5-0

vertreten durch
Gunther Thies und Ralph Suikat 

Handelsregister beim Amtsgericht Mannheim:
HR B 109684
Umsatzsteueridentifikationsnummer:
Ust.-ID Nr. DE 161334550

Samstag, 22. Januar 2011

TAFA 2011@IJCAI – CALL FOR PAPERS

CALL FOR PAPERS
TAFA 2011@IJCAI
First International Workshop on the Theory and Applications of Formal Argumentation
(TAFA-2011) 
Barcelona, Spain, 16 July 2011
http://www.csd.abdn.ac.uk/~niroren/TAFA-11/Welcome.html
About TAFA 2011

--------------------------
Recent years have witnessed a rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of AI. Argumentation thus shows great promise as a theoretically-grounded tool for a wide range of applications. This workshop aims at contributing to the realisation of this promise, by promoting and fostering uptake of argumentation as a viable AI paradigm with wide ranging application, and providing a forum for further development of ideas and the initiation of new and innovative collaborations. TAFA therefore encourages submission of papers on formal theoretical models of argumentation and application of such models in (sub-fields of) AI, and evaluation of models, both theoretical (in terms of formal properties) and practical (in concretely developed applications). We also particularly encourage work on theories and applications developed through inter-disciplinary collaborations. 
With the above aims and intended impact in mind, the workshop will include an extended panel session inviting leading researchers in argumentation and in sub-fields of AI in which argumentation has been applied. The panel session will address the topic: `The future of argumentation: what is its added value and how we communicate this to researchers in the Artificial Intelligence community and beyond.'
Topics
------
The workshop solicits papers dealing with, but not limited to, the following topics:
* Properties of formal models of argumentation
* Instantiations of abstract argumentation frameworks
* Relationships amongst different argumentation frameworks
* Argumentation and other Artificial Intelligence techniques
* Evaluation of formal models of argumentation
* Validation and evaluation of applications of argumentation
Submission Guidelines
---------------------
Submission to the workshop will take place via the EasyChair system, and will be anonymously reviewed. Contributors must submit papers (no longer than 15 pages) in the Springer Lecture Notes in Computer Science (style). Formatting instructions, as well as the style and sample files can be found here: 
http://www.springer.de/comp/lncs/authors.html
http://www.easychair.org/conferences/?conf=tafa11
Publications
------------
Accepted papers will be published in Springer LNAI post-proceedings 
Important Dates
---------------
14 March 2011: Submission Deadline
25 April 2011: Notifications of Acceptance
16 May 2011: Camera Ready Copy Due
16/17/18  July 2011: Workshop
Organising Committee
-----------------
Co-Chairs:
   * Sanjay Modgil (Corresponding Organiser)
     Department of Informatics,
     King’s College London
     sanjay.modgil [at] kcl.ac.uk
   * Nir Oren
      Department of Computer Science,
      University of Aberdeen
      n.oren [at] abdn.ac.uk
   * Francesca Toni
     Department of Computing, 
     Imperial College London
     ft [at] imperial.ac.uk
Program Committee
-----------------
Leila Amgoud, IRIT, Toulouse, France
Katie Atkinson, University of Liverpool, UK
Pietro Baroni, University of Brescia, Italy
Floris Bex, University of Dundee, UK
Elizabeth Black, Universiy of Utrecht, Netherlands
Guido Boella, Universita di Torino, Italy
Ivan Bratko, University of Ljubljana, Slovenia
Gerhard Brewka, University of Leipzig, Germany
Martin Caminada, University of Luxembourg, Luxembourg
Carlos Chesnevar, Universidad Nacional del Sur, Argentina
Sylvie Doutre, University of Toulouse 1, France
Phan Minh Dung, Asian Institute of Technology, Thailand
Paul Dunne, University of Liverpool, UK
Dov Gabbay, King’s College London, UK
Massimilliano Giacomin, University of Brescia, Italy
Tom Gordon, Fraunhofer FOKUS, Germany
Anthony Hunter, Univeristy College London, UK
Antonis Kakas, University of Cyprus, Cyprus
Nicholas Maudet, Universite Paris Dauphine, France
Peter McBurney, University of Liverpool, UK
Sanjay Modgil, King's College London, UK
Pavlos Moraitis, Paris Descartes University, France
Nir Oren, University of Aberdeen, UK
Simon Parsons, City University of New York, USA
Henry Prakken, Utrecht University, & University of Groningen, The Netherlands
Iyad Rahwan, Masdar Institute, UAE, & Massachusetts Institute of Technology, USA
Chris Reed, University of Dundee, UK
Nicholas Rotstein, University of Aberdeen, UK
Guillermo Simari, Universidad Nacional del Sur, Argentina
Francesca Toni, Imperial College, London, UK
Serena Villata, University of Turin, Italy
Simon Wells, University of Dundee, UK
Stephan Woltran, TU Vienna, Institute of Information Systems, Austria
Leon van der Torre, University of Luxembourg, Luxembourg

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

Serena Villata, PhD
Department of Computer Science
University of Turin

C.so Svizzera 185

10149 - Turin
Italy

Phone +39 011 67 06 838

Fax +39 011 75 16 03

e-mail villata@di.unito.it

web http://www.di.unito.it/~villata/

IEEE WETICE 2011 – CALL FOR PAPERS

#################################################################
                 IEEE WETICE 2011
            2nd International Track on
       Collaborative Modeling and Simulation
                 CALL FOR PAPERS
#################################################################

June 27 - June 29, 2011, Paris (France)

#################################################################
# Papers Due: *** March 5, 2011 ***
# Accepted papers will be published in the conference proceedings
# by the IEEE Computer Society Press and indexed by EI.
#################################################################

Modeling and Simulation (M&S) is increasingly becoming a central
activity in the design of new systems and in the analysis of
existing systems because it enables designers and researchers to
investigate systems behavior through virtual representations. For
this reason, M&S is gaining a primary role in many industrial and
research fields, such as space, critical infrastructures,
manufacturing, emergency management, biomedical systems and
sustainable future. However, as the complexity of the
investigated systems increases and the types of investigations
widens, the cost of M&S activities increases for the more
complex models and for the communications among a wider number and
variety of M&S stakeholders (e.g., sub-domain experts, simulator
users, simulator engineers, and final system users). To address
the increasing costs of M&S activities, collaborative
technologies must be introduced to support these activities by
fostering the sharing and reuse of models, by facilitating the
communications among M&S stakeholders, and more generally by
integrating processes, tools and platforms.

Aside from seeking applications of collaborative technologies to
M&S activities, the track seeks innovative contributions that
deal with the application of M&S practices to the design of
collaborative environments. These environments are continuously
becoming more complex and therefore their design requires
systematic approaches to meet the required quality of
collaboration. This is important for two reasons: to reduce
rework activities on the actual collaborative environment, and to
maximize the productivity and the quality of the process the
collaborative environment supports. M&S offers the methodologies
and tools for such investigations and therefore it can be used to
improve the quality of collaborative environments.

A non–exhaustive list of topics of interest includes:

* collaborative environments for M&S
* collaborative Systems of Systems M&S
* workflow modelling for collaborative environments and processes
* agent-based M&S
* collaborative distributed simulation
* collaborative component-based M&S
* net-centric M&S
* web-based M&S
* model sharing and reuse
* model building and evaluation
* modeling and simulation of business processes
* modeling for collaboration
* simulation-based performance evaluation of collaborative networks
* model-driven simulation engineering
* domain specific languages for the simulation of collaborative environments
* domain specific languages for collaborative M&S
* databases and repositories for M&S
* distributed virtual environments
* virtual research environment for M&S

To stimulate creativity, however, the track maintains a wider
scope and invites interested researchers to present contributions
that offer original perspectives on collaboration and M&S.

+++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
+++++++++++++++++++++++++++++++++++

CoMetS'11 intends to bring together researchers and practitioners
to discuss key issues, approaches, open problems, innovative
applications and trends in the track research area.

Papers should contain original contributions not published or
submitted elsewhere. Papers up to six pages (including figures,
tables and references) can be submitted. Papers should follow the
IEEE format, which is single spaced, two columns, 10 pt
Times/Roman font. All submissions should be electronic (in PDF)
and will be peer-reviewed by at least three program committee
members.

Accepted full papers will be included in the proceedings and
published by the IEEE Computer Society Press (IEEE
approval pending). Please note that at least one author for each
accepted paper should register to attend WETICE 2011 to have the
paper published in the proceedings.

Authors may contact the organizers for expression of interests
and content appropriateness at any time. Papers can be submitted
in PDF format at the submission site
supported by the EasyChair conference management system. Please
contact the track chairs (comets2011@easychair.org) if you
experience problems with the EasyChair Web site.

+++++++++++++++
Important Dates
+++++++++++++++

* Submission Deadline: March 5, 2011
* Decision to paper authors: April 4, 2011
* Final version of accepted papers due to IEEE: April 29, 2011
* Conference dates: June 27 - June 29, 2011


++++++++++++++++++++
Organizing Committee
++++++++++++++++++++

* Andrea D'Ambrogio, University of Roma TorVergata, Italy
* Daniele Gianni, European Space Agency, The Netherlands
* Joachim Fuchs, European Space Agency, The Netherlands
* Giuseppe Iazeolla, University of Roma TorVergata, Italy

+++++++++++++++++
Program Committee
+++++++++++++++++

* Santiago Balestrini, Georgia Institute of Technology, USA
* Torsten Bieler, European Space Agency, The Netherlands
* Olivier Dalle, University of Nice Sophia Antipolis, CNRS & INRIA, France
* Joseph Giampapa, SEI, Carnegie Mellon University, USA
* Ralph Huntsinger, Beijng University of Aeronautics and Astronautics, China
and California State University, USA
* Axel Lehmann, Universitaet der Bundeswehr Muenchen, Germany
* Cristiano Leorato, Rhea, The Netherlands
* Brian Lewis, Vanguard Software Corporation, USA
* Steve McKeever, University of Oxford, UK
* David Nickerson, Auckland Bioengineering Institute, NZ
* Alfred Park, IBM T.J. Watson Research Center, USA
* Wolfgang Prinz, Fraunhofer FIT and RWTH Aachen, Germany
* José L. Risco-Martin, Universidad Complutense de Madrid, Spain
* Maarten Sierhuis, NASA and Palo Alto Research Center, USA
* Hans Vangheluwe, University of Antwerp, Belgium, and McGill University, Canada
* Gabriel Wainer, Carleton University, Canada
* Quirien Wijnands, European Space Agency, The Netherlands
* Heming Zhang, Tsinghua University, China

*** Contact Information ***
Daniele Gianni (track co-chair)

SNAMAS@AISB 2011 – CALL FOR PAPERS

EXTENDED DEADLINE: Jan 31st
CALL FOR PAPERS
THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM
SNAMAS@AISB 2011 Convention
http://snamas2011.res-ear.ch/
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 (EXTENDED): January 31, 2011.
Notification of acceptance: February 28, 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)
------------------------------------------------------------
POST PROCEEDINGS
Selected papers, under a second review process, will be considered for
a special issue of the Computational and Mathematical Organization
Theory Journal (CMOT) Springer.
------------------------------------------------------------
CONTACTS
For further inquiries please contact: snamas2011@res-ear.ch
--
Dra. Clara Smith
Facultad de Informática
Universidad Nacional de La Plata.
Calle 50 esquina 120
(1900) La Plata, Argentina.

ASONAM 2011 – CALL FOR PAPERS

The 2011 International Conference on Advances in Social Network Analysis and Mining (ASONAM 2011)
Kaohsiung, Taiwan
July 25st~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.

Sonntag, 16. Januar 2011

CLIMA XII – special session

++++++++++++++++++++++++++++++++++++++++++++++++++++
                   Special session on
       **Norms and Normative Multi-Agent Systems**
                        CLIMA XII
             12th International Workshop on
       Computational Logic in Multi-Agent Systems
http://centria.di.fct.unl.pt/events/climaXII/sessions.html
          Barcelona, Spain, July 17-18, 2011.
                Affiliated with IJCAI'11.
              Submission deadline: April 4/8th.
               Preliminary Call for Papers
++++++++++++++++++++++++++++++++++++++++++++++++++++
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.
++++++++++++++++++++++++++++++++++++++++++++++++++++
INTRODUCTION
Norms are pervasive in everyday life and influence the conduct of the
entities subject to them. One of the main functions of norms is to
regulate the behaviour and relationships of agents. Accordingly, any
agent or multi agent system, if intended to operate in or model a
realistic environment has to take into account to norms regulating.
Norms have been proposed in multi-agent systems and computer science
to deal with coordination issues, to deal with security issues of
multi-agent systems, to model legal issues in electronic institutions
and electronic commerce, to model multi-agent organizations, etc.
The list of subjects includes (but is not limited to) the following topics:
- logical foundations of normative systems
- computational models of normative systems
- computational models of normative multi-agent systems
- formal models of norm dynamics
- agent autonomy and norms
- agent deliberation and norms
- normative agent types
- programming normative multi-agent systems
SUBMISSION
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.
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/
PROCEEDINGS AND POST-PROCEEDINGS
LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.
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.
Important dates:
* Submission: April 4th (Abstracts) / April 8th (Papers)
* Notification: May 4th
* Camera Ready: May 16th
Special Session Organisers:
* Guido Boella, University of Turin, Italy
* Leon van der Torre, Univ. of Luxembourg, Luxembourg
In case of questions, please do not hesitate to contact us
at clima2011@easychair.org .

CLIMA XII – special session

++++++++++++++++++++++++++++++++++++++++++++++++++++
                  Special session on
          **Logics for Games and Social Choice**
                       CLIMA XII
            12th International Workshop on
      Computational Logic in Multi-Agent Systems
http://centria.di.fct.unl.pt/events/climaXII/sessions.html
         Barcelona, Spain, July 17-18, 2011.
               Affiliated with IJCAI'11.
             Submission deadline: April 4/8th.
              Preliminary Call for Papers
++++++++++++++++++++++++++++++++++++++++++++++++++++
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.
++++++++++++++++++++++++++++++++++++++++++++++++++++
INTRODUCTION
Logic and game theory form two theoretical underpinnings of
multi-agent systems. On one hand, formal logic is a foundation for
knowledge representation and reasoning, and opens the door to
techniques for formal specification and automated verification. On the
other hand, the interaction of rational decision makers has been
studied in game theory for a long time. However, traditional game
theory is not concerned with formal languages or reasoning systems,
nor with computational issues, and until relatively recently formal
logic has not been concerned with game theoretic issues. For reasoning
about interesting properties of many, if not most, multi-agent
systems, we need game theoretic concepts such as strategies,
preferences, etc. In particular, many multi-agent systems can be seen
as implementing social choice mechanisms.
We invite papers on logical formalisation of concepts related to games
and social choice, including but not limited to the following topics:
- Logics for strategic reasoning
- Logics for coalitional ability
- Preference representation
- Logical approaches to bounded rationality and limited cognition
- Formal verification of games
- Logic for mechanism design
- Logical aspects of computational social choice
- Judgment aggregation
- Logical foundations of games and social choice
- Epistemic logic
SUBMISSION
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.
Papers are submitted to the special session by following the
submission instructions for CLIMA:
http://centria.di.fct.unl.pt/events/climaXII/submissions.html
The special session on Logics for Games and Social Choice is chosen
under "category" in Easychair.
PROCEEDINGS AND POST-PROCEEDINGS
LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.
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.
Important dates:
* Submission: April 4th (Abstracts) / April 8th (Papers)
* Notification: May 4th
* Camera Ready: May 16th
Special Session Organiser:
* Thomas Ågotnes, University of Bergen, Norway
In case of questions, please do not hesitate to contact us at
thomas.agotnes@infomedia.uib.no (enquiries particularly related to the
special session) or clima2011@easychair.org (general CLIMA
enquiries).
----------------------------------------------------------------------
Thomas Ågotnes
Department of Information Science and Media Studies
University of Bergen
P.O. Box 7802, N-5020 Bergen, Norway
Tel: (+47) 55584105  Fax: (+47) 55589149
Thomas.Agotnes@infomedia.uib.no
http://folk.uib.no/nmita/

SpringSim'11 Poster Sessions CALL FOR PAPERS

SpringSim'11 Poster Sessions CALL FOR PAPERS

April 4 - 7, 2011
Boston, MA, USA

The SpringSim'11 Poster Session is Part of the 2011 Spring Simulation
Multiconference (SpringSim'11) Sponsored by: The Society for Modeling and
Simulation International (SCS) in collaboration with ACM/SIGSIM.
All accepted papers will also be published in the ACM Digital Library

Key Dates

Short Paper due          20 Jan 2011
Notification             13 Feb 2011
Camera-ready Paper due   28 Feb 2011

SpringSim11 Poster session Web Site:
http://www.scs.org/springsim/2011?q=node/239
------------------------------------------------------------------------

We are seeking outstanding short paper (2 pages) submissions that will be
presented in a poster format at the conference. Short papers should
present interesting recent results or novel ideas that are not quite ready
for a regular full-length paper. Student papers are particularly welcome.
A Best Student Paper Award will be selected. Paper submission is encouraged
in any modeling and simulation related areas including but not limited to :

    *  Computer/Communication Networks
    *  Numerical Simulation and Optimization as Applied to Business and
       Industry
    *  Modeling and Simulation in Computer Security
    *  Modeling and Simulation and Military applications
    *  Modeling, Analysis and Simulation of Telecommunication Systems
    *  Web-based Modeling and Simulation
    *  High-performance Computing and Simulation
    *  Network/Internet Traffic Modeling and Workload Characterization
    *  Simulation Languages, Tools, and Environments
    *  Simulation of Parallel Systems, Distributed Systems and Databases
    *  Simulation of Clusters, Grids and Wireless Systems
    *  Simulation of Multimedia Applications and Systems
    *  Modeling and Simulation of Real-Time and Embedded Systems
    *  Simulation Methodology, Theory and Philosophy
    *  Parallel and Distributed Simulators and Simulation Techniques
    *  Application of Modelling and Simulation in Biology
    *  Discrete Event Modeling and Simulation


Submission Instructions

Prepare a 2-page paper using the Paper Formatting Guidelines for the
conference. All final paper submissions are to be made electronically to
SCS via the SCS Conference Proceedings Management System. Submissions
will be peer-reviewed to ensure quality. Accepted short papers will be
presented in the poster session as well as the poster proceedings and
ACM DL.

Chair
Mohammad Moallemi (Carleton University)

Co-chairs
Syed S. Rizvi (University of Bridgeport)
Qi Zheng (Texas A&M University)

DEVS 2011 – call for workshop papers

SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (DEVS 2011)
April 4-7 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.
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. With over 80 submissions to the Symposium, this
promises to be a very exciting venue for the interchange of ideas and
scientific discusion in M&S.


THE FOLLOWING WORKSHOPS ARE OPEN

- Work-In-Progress (WIP) Workshop
This Workshop is focused on recent advances in the field of Theory of
M&S, and will include recent advanced that have not been fully developed.
The workshop topics, committee, are the same as the main symposium. The
paper (up to 6 pages long in final conference format), will appear in
the proceedings (in the Workshops section).
http://www.sce.carleton.ca/faculty/wainer/DEVS11
- DEVS Standardization (Chairs: Xiaolin Hu - Georgia State - and Hessam
Sarjoughian - Arizona State University -).
http://www.acims.arizona.edu/EVENTS/DEVSStandardization.htm
- Mod4Sim: M&S and Software Engineering (Chairs: Andrea D'Ambroggio -
UniRoma "Tor Vergata" - and Dorina Petriu - Carleton University -).
http://www.sel.uniroma2.it/mod4sim11/

Important Dates
===============
Paper Submission:       30 Jan 2011
Notification:           10 Feb 2011
Ready-Camera Paper:     25 Feb 2011
Conference:             4-7 Apr 2011

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_committee
Further information:
http://sce.carleton.ca/faculty/wainer/DEVS11/doku.php
[Apologies for multiple postings]
[Problems/issues: contact Gabriel.Wainer@sce.carleton.ca]

PADS 2011 – call for papers

***************** DEADLINE EXTENDED TO JANUARY 29, 2011******************

ABSTRACT DUE BY JANUARY 20th

CALL FOR PAPERS

       PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS) 2011

                   June 14-17, 2011. Nice, France.

https://sites.google.com/site/pads2011/

The Workshop on Principles of Advanced and Distributed Simulation (PADS), (formerly called Parallel and Distributed Simulation), is soliciting papers in all aspects of simulation technology, expanding the traditional focus on parallel and distributed simulation methods and applications.

Specifically, the steering and program committees look forward to high-quality paper submissions in the following areas:

  • The construction of simulation engines using advanced computer science technology.
  • Techniques for constructing scalable simulations.
  • Advanced modeling techniques.
  • New research in previously difficult problem domains.
  • Simulation visualization techniques.
  • Algorithms and methods for parallel or distributed simulation, including synchronization, scheduling, memory management, load balancing, and reverse computation.
  • Applications of large-scale or distributed simulation methods.
  • Distributed interactive simulation and distributed virtual environments.
  • Tools and techniques for interoperability of simulations.
  • Integration of simulation with other IT systems, including automatic simulation model generation and initialization and simulation based decision making.
  • Online and symbiotic simulation.
  • Simulation as emulation of real systems.
  • Mechanisms for efficient design of experiments applied to ensembles of simulations for parameter estimation, optimization, variance estimation, etc.
  • Unifying approaches towards mixed discrete and continuous simulation
  • Verification, validation, and uncertainty quantification of simulations

Sponsors (approvals pending):

  • ACM Special Interest Group on Simulation (SIGSIM)
  • IEEE Computer Society Technical Committee on Simulation (IEEE-TCSIM)
  • Society for Modeling and Simulation International (SCS)

Important Dates:

  • - (new) Abstract must be submitted no later than January 20, 2011.
  • Paper manuscripts must be submitted no later than January 29, 2011.
  • Electronic submission of postscript or PDF is required, using the  electronic paper submission system available on the PADS website.
  • Notification of acceptance will be made by February 28, 2011.
  • Camera ready copies must be submitted by March 30, 2011.

Submissions:
Papers must be unpublished and must not be submitted for publication elsewhere.  Each submission must be accompanied by the following information: a short abstract, a complete list of authors and their affiliations, a contact person for correspondence, post and email addresses.  Papers must be written in English and should not exceed 10 pages using IEEE Formatting Guidelines (the final versions of accepted papers will be limited to 8 pages, with the option to buy additional pages).  All submissions will be reviewed using a double-blind review process, i.e., the identity of authors and referees will not be revealed to each other. To ensure blind reviewing, authors' names and affiliations should not appear in the paper, and bibliographic references should be suitably modified.

Freitag, 14. Januar 2011

FAM-LbR/KRAQ'11 – first call of papers

-------------------------- First call for papers --------------------------------
Joint Workshop FAM-LbR/KRAQ'11
Learning by Reading and its Applications in Intelligent Question-Answering
with IJCAI 2011
July 16-18, 2011
http://www.rutumulkar.com/FAM-LbR-KRAQ-2011.php
Call for Papers

It has been a long term dream of AI to develop systems that can emulate human levels of language understanding and reasoning. Recent foundational, methodological and technological developments in Knowledge Representation (e.g. ontologies, knowledge bases incorporating various forms of incompleteness or uncertainty), Reasoning (e.g. data fusion-integration, argumentation, decision theory, fuzzy logic, incomplete knowledge bases, etc.), Natural Language Processing (such as information extraction, relation detection) and formal pragmatics (user models, intentions, etc.) make it possible to foresee the elaboration of much more accurate, cooperative and robust systems dedicated to understanding, learning and answering questions from textual data, operating either on open or closed domains. The time is right to start placing the pieces from all these different areas to develop a unified system for Learning by Reading and Automated Question Answering.
Until now, most approaches for QA and Learning by Reading have been either “narrow and deep” or “broad and shallow”. Many text mining systems embody the latter. An important question arises whether a “broad and deep” approach is a possibility at this stage.
The goal of this workshop is to bring together researchers from different backgrounds (AI, NLP, linguistics, HLT and pragmatics) to explore possibilities of integrating the different techniques for building a system for Learning by Reading and/or Automated Question Answering. The workshop will be focused on models for intelligently analyzing data and cooperatively responding to the user queries. This includes areas such as AI models for processing data coming e.g. from search engines and models that provide users with explanations and arguments about response contents and the way they have been elaborated. Numerous interesting questions arise, including, how can we evaluate such systems automatically or semi-automatically? Is it possible to run such systems on a massive scale? What role does commonsense play in reasoning of textual data? Is it possible to extract this commonsense knowledge automatically?
Topics of interest include (but are not limited to)
    * Language processing:
          o Analysis of existing language resources such as Wikipedia
          o Language analysis (such as question processing, answer identification)
          o Language generation and Explanation production
    * Reasoning aspects:
          o Abductive/deductive, commonsense, and other reasoning
          o Reasoning under uncertainty or with incomplete knowledge, models for explanation production and argumentation
          o Information fusion-integration,
          o Knowledge extraction from text vs. using pre-built knowledge resources
          o Bridging knowledge gaps in text through inference
          o Knowledge Integration into evolving models
          o Bootstrapping Learning
    * Pragmatic dimensions of intelligently answering questions:
          o User intentions, plans and goals recognition and production
          o Conversational implicatures in responses, principles for the design of cooperative systems.
          o Learning temporal sequences, causality, and other semantics from text
          o Ontology learning, population, or expansion
    * Applications:
          o Question answering of semi-structured documents such as wikipedia
          o Multimedia question answering, where you question a more or less formal representation of the media objects
          o Spoken question answering (increasing uncertainty caused by the speech recognition)
    * Evaluation:
          o Automatic Evaluation of learned Knowledge
          o Intrinsic evaluation of inference methods
          o Data-intensive vs Knowledge-intensive methods
          o Portability techniques for closed domains.
Submission Information
-----------------
We welcome short papers (max 4 pages), describing projects or ongoing research and long papers (max. 6 pages), that relate more established results. Papers must be sent in .pdf format. The following information MUST be included:
    * Title
    * Authors' names, affiliations, and email addresses
    * Topic(s) of the above list, as appropriate
    * Abstract (short summary up to 5 lines)
Important Dates
-----------------
March 14, 2011 - Paper Submission
April 25, 2011 - Acceptance Notification
May 16, 2011 - Camera ready paper due
Location
FAM-LbR/KRAQ 2011 is held with IJCAI 2011 (July 16-18, 2011) in downtown Barcelona. Local information can be found from the conference website.
Organizing Co-Chairs
-----------------
Rutu Mulkar-Mehta (me@rutumulkar.com), Patrick Saint-Dizier (stdizier@irit.fr)
Eduard Hovy (hovy@isi.edu), Marie-Francine Moens (Sien.Moens@cs.kuleuven.be)
Bernardo Magnini (magnini@fbk.eu)
Chris Welty (welty@us.ibm.com)

Rutu Mulkar-Mehta
Ph.D. Candidate
4676 Admiralty Way, Suite 1001,
Marina Del Rey
90292
email: me@rutumulkar.com
url: http://www.rutumulkar.com

SCSC ‘11 - Computer Architecture Simulation (CAS)

Workshop/Paper Track at the Summer Computer Simulation Conference 2011 (SCSC ‘11)

Chairs:
José L. Risco-Martín, Complutense University of Madrid, Madrid, Spain;
J. Manuel Colmenar C.E.S. Felipe II - Complutense University of Madrid, Madrid, Spain
Track Description
(http://www.msc-les.org/conf/summersim2011/SCSC2011/index_file/ComputerArchitectureSimulation.htm)
In an era in which designers navigate the entangled problems of power consumption, performance, parallelism, thermal effects, and reliability, we find ourselves increasingly dependent on models and simulation to ensure that our designs will meet expectations.
Simulators have become an integral part of the computer architecture research and design process. Since they have the advantages of cost, time, and flexibility, engineers apply simulation to guide the design space exploration and to quantify the efficacy of any new enhancement.
However, long simulation times and poor accuracy limit their effectiveness in most cases.
This track is devoted to present, discus, and debate innovative ideas and techniques for advanced simulation related to processors, memories, system-on-chips, network-on-chips, datapaths or any computer architecture proposal.
Topics of particular interest include, but are not limited to:

· Microarchitecture modeling and simulation methodology
· Microarchitecture support for reliability
· Novel memory and storage architectures
· Low power design, design efficiency optimizations
· Novel approaches to fine-grain parallel processing
· Architectures, simulators and compilers for MPSoCs, graphics/gaming
· embedded processors, DSPs, ASIPs (network, multimedia, wireless, etc.)

Authors must strictly follow SCSC guidelines for paper submission.
http://www.msc-les.org/conf/summersim2011/SCSC2011/index_file/AuthorsInstructions.htm

SPONSORED BY
The Society for Modeling and Simulation International (http://www.scs.org/)

Key Dates
Special session proposals - January 31, 2011
Submission of papers  (and tutorials proposals) - February 15, 2011
Notification of Acceptance - April 15, 2011

Final Submission - May 15, 2011

SpringSim '11 – Call for Papers

Call for Papers
               2011 Spring Simulation Multiconference (SpringSim '11)
http://www.scs.org/springsim/2011
April 4-7, 2011
Boston, MA, USA

Sponsored by the Society for Modeling and Simulation (SCS) and in
cooperation with ACM/SIGSIM

(Proceedings will appear in the ACM Digital Library)
The 2011 Spring Simulation Multiconference (SpringSim'11) is an annual
conference which covers state-of-the-art developments in computer simulation technologies, as well as scientific, industrial, and business applications. The conference includes keynote
speeches presented by science and industry leaders, technical sessions, professional development courses and seminars, as well as vendor exhibits. Furthermore, the 2011 conference will be co-located with the SISO Spring Interoperability Workshop.
Original contributions in all areas of modeling and simulation are welcome.
This year's multiconference will consist of the following symposia:

* Agent Directed Simulation Symposium  (ADS) (Deadline: February 1, 2011)
* 44th Annual Simulation Symposium (ANSS) (Deadline: February 1, 2011)
* 14th Communications and Networking Symposium (CNS) (Deadline: February 1,
2011)
* Symposium on Theory of Modeling and Simulation (DEVS) (Deadline: December
6, 2010)
* Emerging M&S Applications in Industry and Academia Symposium (EAIA)
(Deadline: February 1, 2011)
* 19th High Performance Computing Symposium (HPC) (Deadline: February 1,
2011)
* Military Modeling and Simulation Symposium (MMS) (Deadline: February 1,
2011)
* Symposium on Simulation for Architecture and Urban Design (SimAUD)
(Deadline: December 6, 2010)
* Poster Sessions and Works in Progress (Deadline: February 15, 2011)

Please see the conference website (http://www.scs.org/springsim/2011) for
complete details.
Author Guidelines:
Papers should be formatted according to SCS Conference and Workshop
formatting guidelines (available at http://www.scs.org/PDFs/formattingkit.pdf).
All submissions will be fully refereed for accuracy, technical content, and
relevance. Papers should be formatted in accordance with SCS formatting guidelines. Accepted papers will appear in the SpringSim
2011 Conference Proceedings and the ACM Digital Library. Authors of top
papers will also be encouraged to submit a follow-on paper for publication in Transactions of the Society for Modeling and Simulation.

General Chair
Dr. Eric Imsand, Auburn University
imsand@auburn.edu

Vice-General Chair
Dr. Hala ElAarag, Stetson University
helaarag@stetson.edu

Exhibits Chair
Ms. DJ Weed, Executive Director, SCS
(858) 277-3911, djweed@scs.org

For further information please contact the SpringSim General Chair, Eric
Imsand (imsand@auburn.edu) or visit the conference website at http://www.scs.org/springsim/2011

Freitag, 7. Januar 2011

ICAIL 2011 - Final Call for Papers

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

ICAIL 2011


Final Call for Papers and Deadline Extension

For a full version of the call for papers, please see http://www.law.pitt.edu/icail2011/call-for-papers.
Important Dates

  • Submission of papers:  January 17, 2011 (extended from January 10)
  • Notification of acceptance:  late March, 2011
  • Final revised and formatted papers due:  late April, 2011
  • 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 electronically to the conference support system, https://www.conftool.net/icail2011/, in PDF or MS Word format, by January 17, Eastern Standard Time (GMT - 5).  If an abstract or preliminary version of a paper is submitted by the deadline, a few days will be permitted within which the full paper or a revised version of the paper may be uploaded.  A contribution that has not been registered with the system in any form by the January 17 deadline will be rejected. 
Authors will be notified of the referees’ decision in late 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 late 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

Donnerstag, 6. Januar 2011

SCSC'11 Call for Papers

Modeling and Simulation of Dynamic Structure Systems
Workshop/Paper Track at the Summer Computer Simulation Conference 2011

http://www.msc-les.org/conf/summersim2011/scsc2011/index_file/MSDynamicStructureSystems.htm
Chairs
Fernando Barros, University of Coimbra, Portugal;
Gabriel Wainer, Carleton University, Canada
Track Description
Many systems are better represented by models with a dynamic structure/topology. Changes in system structure involve the modification of components' interactions and the addition/removal of components.
Examples of structure variant systems include adaptive computer architectures, self-configuring sensor networks and biological systems. The ability to mimic changes in system structure into model topology provides a powerful construct to obtain simpler descriptions of reality, enabling the representation of very complex systems.
We solicit original, previously unpublished papers offering new contributions in the following (non-exhaustive) list of topics:
Methodology
· Discrete event, synchronous and hybrid dynamic structure M&S formalisms
· Verification & validation of dynamic structure models
Applications
· Reconfigurable computer architectures
· Biological systems
· Self-adaptive systems
· Self-configuring sensor networks
· Random networks
· Adaptive software topologies
· Adaptive algorithms
· Manufacturing systems
· Mobile agents
· Dynamic structure cellular automata
International Program Committee
Norbert Giambiasi, LSIS, France
Zhi Han, The MathWorks, USA
David Hill, Blaise Pascal University, France
Jan Himmelspach, University of Rostock, Germany
Xiaolin Hu, Georgia State University, USA
Thorsten Pawletta, Wismar University of Applied Sciences, Germany
John Plaice, University of New South Wales, Australia
Hessam Sarjoughian, Arizona State University, USA
Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada
Alexander Verbraeck, Delft University of Technology, The Netherlands
SPONSORED BY
The Society for Modeling and Simulation International
Key Dates
Special session proposals - January 31, 2011
Submission of papers  (and tutorials proposals) - February 15, 2011
Notification of Acceptance - April 15, 2011
Final Submission - May 15, 2011