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/