From angela22.zhu at gmail.com  Sat Dec  1 00:50:50 2007
From: angela22.zhu at gmail.com (Angela Zhu)
Date: Fri, 30 Nov 2007 17:50:50 -0600
Subject: Doctoral and Post-doctoral openings at Rice
Message-ID: <f82e818a0711301550l7e8eed83h1ca9a51b6ac874ad@mail.gmail.com>

The Resource-Aware Programming (RAP) research group at Rice University
is seeking qualified doctoral and post-doctoral students.  The openings will
support work on a wide range of topics, including the Concoqtion programming

language, physically safe computing, and device drivers.  The full
descriptions
of these positions can be found at:

      http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsGraduate
and  http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsPostdoctoral

Funding for these positions is provided by the National Science Foundation
(NSF) and by industrial partners including Intel, LogicBlox, and
Schlumberger.

Walid Taha, http://www.cs.rice.edu/~taha <http://www.cs.rice.edu/%7Etaha>
Department of Computer Science
Rice University
Houston, TX 77025
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071130/224e7089/attachment.html>

From tommie.meyer at meraka.org.za  Mon Dec  3 09:50:52 2007
From: tommie.meyer at meraka.org.za (Tommie Meyer)
Date: Mon, 3 Dec 2007 10:50:52 +0200
Subject: subscribe
Message-ID: <9CCCF95B-82C5-434F-86D2-3BF215FB5FE6@meraka.org.za>




From tommie.meyer at meraka.org.za  Mon Dec  3 10:21:02 2007
From: tommie.meyer at meraka.org.za (Tommie Meyer)
Date: Mon, 3 Dec 2007 11:21:02 +0200
Subject: Confirmation Request (2672436296)
In-Reply-To: <listadmin-28179368@tu-clausthal.de>
References: <listadmin-28179368@tu-clausthal.de>
Message-ID: <5F07C4A5-113E-4DE6-9725-812E494FD79B@meraka.org.za>


On 03/12/2007, at 11:15 AM, event administration wrote:

> This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <tommie.meyer at meraka.org.za> address
>
> If you want to confirm this operation,
>   use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>   the confirmation ID: 2672436296,
>   the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>   and the 'From' address of your reply is  
> <tommie.meyer at meraka.org.za>.
>
> If you do not want to confirm the requested operation, simply do  
> nothing
>
> All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>
>
>
> -- 
> This message is subject to the CSIR's copyright terms and  
> conditions, e-mail legal notice, and implemented Open Document  
> Format (ODF) standard.
> The full disclaimer details can be found at http://www.csir.co.za/ 
> disclaimer.html.
>
> This message has been scanned for viruses and dangerous content by  
> MailScanner,
> and is believed to be clean.  MailScanner thanks Transtec Computers  
> for their support.
>

---------------------------------------------
Thomas Meyer
Knowledge Systems Group
Meraka Institute
http://www.meraka.org.za/KSG




-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071203/2658054a/attachment.html>

From qapl08 at tcs.inf.tu-dresden.de  Mon Dec  3 15:04:15 2007
From: qapl08 at tcs.inf.tu-dresden.de (QAPL 2008)
Date: Mon, 03 Dec 2007 15:04:15 +0100
Subject: QAPL 2008 Second Call for Papers
Message-ID: <47540cdf.YUTeaDf9b2Lxr4n4%qapl08@tcs.inf.tu-dresden.de>

             [Apologies for multiple copies]

********************************************************************************
SECOND CALL FOR PAPERS Sixth Workshop on Quantitative Aspects of Programming 
Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest,
Hungary 
http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/
********************************************************************************

SCOPE:

Quantitative aspects of computation are important and sometimes essential in
characterising the behaviour and determining the properties of systems. They are
related to the use of physical quantities (storage space, time, bandwidth, etc.)
as well as mathematical quantities (e.g. probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design, semantics)
and the methodologies and tools for the analysis and verification of system
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either directly in the
model or as a tool for the analysis of systems. In particular, the workshop
focuses on:

  * the design of probabilistic, real-time, quantum languages and the
    definition of semantical models for such languages
  * the discussion of methodologies for the analysis of probabilistic and timing
    properties (e.g. security, safety, schedulability) and of other quantifiable
    properties such as reliability (for hardware components), trustworthiness (in
    information security) and resource usage (e.g., worst-case memory/stack/cache
    requirements)
  * the probabilistic analysis of systems which do not explicitly incorporate
    quantitative aspects (e.g. performance, reliability and risk analysis)
  * applications to safety-critical systems, communication protocols, control
    systems, asynchronous hardware, and to any other domain involving
    quantitative issues


TOPICS:

Topics include (but are not limited to) probabilistic, timing and general
quantitative aspects in: Language design, Information systems, Asynchronous HW
analysis, Language extension, Multi-tasking systems, Automated reasoning,
Language expressiveness, Logic, Verification, Quantum languages, Semantics,
Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
Program analysis, Risk and hazard analysis, Coordination models, Protocol
analysis, Scheduling theory, Distributed systems, Model-checking, Security,
Biological systems, Concurrent systems, ...


INVITED SPEAKER:

    * Simon Gay, University of Glasgow, UK
    * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium


SUBMISSIONS:

In order to encourage participation and discussion, this workshop solicits two
types of submissions - regular papers and presentations:

   1. Regular paper submissions must be original work, and must not have been
      previously published, nor be under consideration for publication elsewhere.
      Regular paper submission must not exceed 15 pages, possibly followed by a
      clearly marked appendix which will be removed for the proceedings and
      contains technical material for the reviewers.

   2. A presentation reports on recent or ongoing work on relevant topics and
      ideas, for timely discussion and feedback at the workshop. There is no
      restriction as for previous/future publication of the contents of a
      presentation. Typically, a presentation is based on a paper which recently
      appeared (or which is going to appear) in the proceedings of another
      recognized conference, or which has not yet been submitted. The (extended)
      abstract of presentation submissions should not exceed 4 pages.

All Submissions must be as PDF and use to the ENTCS style files. Submissions can
be made on the following website: www.easychair.org/QAPL2008. The program
co-chairs can be contacted at qapl08chairs at tcs.inf.tu-dresden.de. The workshop
PC will review all submissions of both types to select appropriate ones for
acceptance in each category, based on their relevance, merit, originality, and
technical content. The authors of the accepted submissions of both types are
expected to present and discuss their work at the workshop. Accepted regular
papers will be published in Elsevier's ENTCS. Publication of a selection of the
papers in a special issue of a journal is under consideration.


IMPORTANT DATES:

Submission (regular paper): December 17, 2007.
Notification (regular paper): January 28, 2008.
Submission (presentation): January 28, 2008.
Notification (presentation): January 31, 2008.


ORGANIZATION:

PC Chairs:

  * Alessandro Aldini, University of Urbino, Italy.
  * Christel Baier, University of Dresden, Germany.

Program Committee:

  * Rajeev Alur, University of Pennsylvania, US
  * Nathalie Bertrand, IRISA/INRIA Rennes, France
  * Patricia Bouyer, Oxford University, UK
  * Tomas Brazdil, Masaryk University, Czech Republic
  * Flavio Corradini, University of Camerino, Italy
  * Josee Desharnais, University of Laval, Canada
  * Alessandra Di Pierro, University of Verona, Italy
  * Maurizio Gabbrielli, University of Bologna, Italy
  * Marcus Groesser, Technical University Dresden, Germany
  * Marta Kwiatkowska, University of Oxford, UK
  * Mieke Massink, NR-ISTI Pisa, Italy
  * Paulo Mateus, Technical University of Lisbon, Portugal
  * Annabelle McIver, Maquarie University, Australia
  * Prakash Panangaden, McGill University, Canada
  * Paul Petersson, Malardalen University, Sweden
  * Jeremy Sproston, University of Torino, Italy
  * Franck van Breugel, York University, Toronto, Canada
  * Herbert Wiklicky, Imperial College London, UK


From stefano at cs.rhul.ac.uk  Mon Dec  3 17:12:57 2007
From: stefano at cs.rhul.ac.uk (stefano at cs.rhul.ac.uk)
Date: Mon, 3 Dec 2007 16:12:57 -0000 (UTC)
Subject: subscribe
Message-ID: <2876.134.219.188.253.1196698377.squirrel@www.cs.rhul.ac.uk>

subscribe



From stefano at cs.rhul.ac.uk  Mon Dec  3 23:49:22 2007
From: stefano at cs.rhul.ac.uk (stefano at cs.rhul.ac.uk)
Date: Mon, 3 Dec 2007 22:49:22 -0000 (UTC)
Subject: Confirmation Request (2698567810)
In-Reply-To: <listadmin-28195062@tu-clausthal.de>
References: <listadmin-28195062@tu-clausthal.de>
Message-ID: <1499.86.0.59.150.1196722162.squirrel@www.cs.rhul.ac.uk>

> This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <stefano at cs.rhul.ac.uk> address
>
> If you want to confirm this operation,
>   use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>   the confirmation ID: 2698567810,
>   the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <stefano at cs.rhul.ac.uk>.
>
> If you do not want to confirm the requested operation, simply do nothing
>
> All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>
>




From Benjamin.Hirsch at dai-labor.de  Wed Dec  5 14:45:27 2007
From: Benjamin.Hirsch at dai-labor.de (Benjamin Hirsch)
Date: Wed, 5 Dec 2007 14:45:27 +0100
Subject: JIAC IV agentplatform available for download
Message-ID: <996D29AAC4B8314882C25235E84ABED50923CCD86B@birke4.dai-lab.de>

[** apologies for any duplicates **]

===================================================
JIAC IV Agentplatform is available for download now ===================================================

The DAI Labor of Technische Universität Berlin is happy to announce that the agent framework "JIAC IV" is now available for the public - please point your browser to <http://www.jiac.de> to find the agent framework, a powerful tool suite for creating agents, as well as documentation and scientific papers.

JIAC IV is a FIPA-compliant platform that supports strong mobility, security (it has been certified by the German Ministry for Security (BSI) according to Common Criteria Level 3), and planning, among many other features.

JIAC IV is the winner of this years Agent Programming Contest, held in conjunction with ProMAS07 (<http://cig.in.tu-clausthal.de/index.php?id=agentcontest07>). It has also been used in numerous projects ranging from information retrieval over e-health applications to ambient intelligence. At <http://www.jiac.de/index.php?id=16> you can find more information about projects that make use of the JIAC IV agent framework.

Best Regards,
the JIAC IV developer team



From demis at dimi.uniud.it  Wed Dec  5 18:44:35 2007
From: demis at dimi.uniud.it (demis at dimi.uniud.it)
Date: 05 Dec 07 18:44:35 +0100
Subject: CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
Message-ID: <20071205174439.786D847C4BD@smtp.uniud.it>

             -- We apologize for multiple copies --

*******************************************************************
******************    Call for participation    *******************
*******************************************************************

             3rd International Workshop on Automated
                  Specification and Verification
                      of Web Sites (WWV'07)

          December 14, 2007, San Servolo, Venice (Italy)

                    http://wwv07.dimi.uniud.it
                      
           EARLY REGISTRATION DEADLINE: DECEMBER 11th
*******************************************************************


WWV'07 will  be held in Venice (Italy) in the  convention centre of 
the island of San Servolo.

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

The program contains papers on formal methods and techniques applied 
to Web sites, Web services or Web-based applications, such as:

 * rule-based approaches to Web site analysis, certification,
   specification, verification, and optimization
 * formal models for describing and reasoning about Web sites
 * model-checking, synthesis and debugging of Web sites
 
 
WWV'07 provides a forum for researchers from the communities of Rule-
based programming,  Automated Software  Engineering, and Web-oriented  
research to facilitate the cross-fertilization and the advancement of 
hybrid methods that combine the three areas.

REGISTRATION

Registration is web-based via the following link:

     http://wwv07.dimi.uniud.it/registration.html

The deadline for early registration is DECEMBER 11th.

ACCOMODATION

The  organization of  the workshop  has blocked single rooms in the 
research centre  of the island of San Servolo at a very special rate 
for the nights of Dec. 13th and 14th (so, you can arrive on the 13th 
and depart on the 15th). Some rooms are still available.

For further information, follow the link:

      http://wwv07.dimi.uniud.it/#accomodation


INVITED SPEAKERS

Paolo Traverso       ITC-IRST, Italy
Joost Visser         Software Improvement Group, The Netherlands

PROGRAM CO-CHAIRS

Santiago Escobar     Technical University of Valencia, Spain
Massimo Marchiori    University of Padova, Italy

WORKSHOP CHAIR

Demis Ballis         University of Udine, Italy

PROGRAM COMMITTEE

Jesus Almendros      University of Almeria, Spain
Maria Alpuente       Technical University of Valencia, Spain
Uwe Assmann          Technische Universtität Dresden, Germany
Demis Ballis         University of Udine, Italy
Gilles Barthe        INRIA Sophia-Antipolis, France
Tevfik Bultan        University of California, Santa Barbara, USA
Santiago Escobar     Technical University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Nora Koch            Ludwig Maximilians Universität München, Germany
Temur Kutsia         RISC, Linz, Austria
Massimo Marchiori    University of Padova, Italy
Tiziana Margaria     University of Potsdam, Germany
Catherine Meadows    Naval Research Laboratory, USA
Sebastian Schaffert  Salzburg Research, Austria	

ACCEPTED PAPERS

- Musab AlTurki and Jose Meseguer.
  Reduction Semantics and Formal Analysis of Orc Programs

- Peter Hofner and Florian Lautenbacher.
  Algebraic Structure of Web Services

- Jesus M. Almendros-Jimenez.
  A RDF Query Language Based on Logic Programming

- Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina.
  From a generic framework for the ALC description logic to formally verified reasoners

- Faisal Abouzaid and John Mullins.
  A Calculus for Generation, Verification and Refinement of BPEL Specifications

- Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi.
  Service discovery and negotiation with COWS

- Robin Message and Alan Mycroft.
  Controlling control flow in web applications

- Nawal Guermouche, Olivier Perrin and Christophe Ringeissen.
  Timed Specification For Web Services Compatibility Analysis

- Sonia Flores, Salvador Lucas and Alicia Villanueva.
  Formal Verification of Websites


From fs at doc.ic.ac.uk  Wed Dec  5 20:21:56 2007
From: fs at doc.ic.ac.uk (F Sadri)
Date: Wed, 05 Dec 2007 19:21:56 +0000
Subject: 2nd Call for Papers Special Issue on "Artificial Societies for Ambient
 Intelligence" 
Message-ID: <4756FA54.4050804@doc.ic.ac.uk>

2nd Call for Papers
the Computer Journal
ISSN : 0010-4620
Special Issue on "Artificial Societies for Ambient Intelligence"

http://asami07.cs.rhul.ac.uk/cj-cfp.html

Aim & Scope
Ambient Intelligence (AmI) seeks to create a society based on 
unobtrusive, often invisible interactions amongst people and 
computer-based services in a global computing environment. Services in 
AmI will be ubiquitous in that there will be no specific bearer or 
provider but, instead, they will be associated with a variety of objects 
and devices in the environment, which will not bear any resemblance to 
computers. People will interact with these services through intelligent 
and intuitive interfaces embedded in these objects and devices, which in 
turn will be sensitive to what people need.

In this special issue we aim at presenting the application and 
development of Artificial Societies for AmI, establish a body of 
knowledge and a theoretical umbrella for this, and use the resulting 
research to relate existing work on areas such as the semantic web, 
cognitive and social agents, and ambient and ubiquitous technologies. We 
also hope to present current research in the area of agent societies for 
AmI, where human activities are supported by social organisations of 
agents, computing devices or both, and assess the outcomes of such 
research. Our intention is to complement existing Ubiquitous Computing 
efforts that focus more on distributed systems and less on complex 
systems construed as artificial agent societies. This special issue 
therefore aspires to amalgamate ongoing research in distributed systems 
and complex multi-agent systems with the aim of strengthening the 
synergy between the two fields.

We encourage the submission of innovative and mature results in 
specifying, developing and deploying artificial societies for ambient 
intelligence. Areas of interest include, but are not limited to, the 
following topics:

    * Social architectures
    * Agent Interaction
    * Reasoning and knowledge representation
    * Reactivity and pro-activity
    * Learning and adaptivity
    * Decision making
    * Co-operation and co-ordination
    * Social Emergence and Evolution
    * Normative Reasoning and Regulations
    * Security, Trust and Privacy
    * Interaction Design and Interfaces
    * Mobility
    * Applications

Important Dates
Submission Deadline: January 21, 2008
Acceptance Notice: April 7, 2008
Final Manuscript: May 2, 2008
Publication Date: 2nd Quarter, 2008 (Tentative)

Submission Guidelines
The work submitted must be in the form of high quality, original papers, 
which are not simultaneously submitted for publication elsewhere. Papers 
should be formatted according to the journal style, and not exceed 25 
pages including figures, references, etc. The papers must be submitted 
via the journal web submission route and simultaneously submit a PDF 
version of complete manuscript to asami-guest-eds08 at cs.rhul.ac.uk.

Submitted papers will be peer reviewed according to their originality, 
quality and relevance to this special issue and the journal.


Guest Editors
Dr. Fariba Sadri
Department of Computing,
Imperial College London, UK
URL: http://doc.ic.ac.uk/~fs

Dr. Kostas Stathis
Computer Science Department,
Royal Holloway, University of London, UK
URL: http://www.cs.rhul.ac.uk/~kostas


From mdv at cs.bath.ac.uk  Wed Dec  5 22:58:38 2007
From: mdv at cs.bath.ac.uk (Marina De Vos)
Date: Wed, 05 Dec 2007 21:58:38 +0000
Subject: COIN @ AAMAS'07 Call for Papers
Message-ID: <1196891919.5669.118.camel@localhost.localdomain>

---------------------------------------------------------------
              COIN @ AAMAS'07 Call for Papers

                 The fifth workshop on
        Coordination, Organization, Institutions
                and Norms in agent systems

                  Workshop at AAMAS 2007
                     May 12|13, 2007
                    Estoril, Portugal 
   
                http://www.emse.fr/coin08
---------------------------------------------------------------


Multi-agent systems are often understood as complex entities where a
multitude of agents interact, usually with some intended individual or
collective goals. Such a view usually assumes some form of
organisation, or set of norms or conventions that articulate or
restrain interactions in order to make them more effective in
attaining those goals, more certain for participants or more
predictable. The engineering of effective coordination or regulatory
mechanisms is a key problem for the design of open complex multi-agent
systems.

In recent years, social and organisational aspects of agency have
become a major issue in MAS research specially in applications on
Service Oriented Computing, Grid Computing and Ambient Intelligence.
These applications enforce the need for using these aspects in order
to ensure social order within these environments. Openness,
heterogeneity, and scalability of MAS pose new demands on traditional
MAS interaction models. Therefore, the view of coordination and
control has to be expanded to consider not only an agent-centric
perspective but also a societal and organisation-centric views.

The overall problem of analysing the social, legal, economic and
technological dimensions of multi-agent organisations provides
theoretical and interdisciplinary research questions at different
levels of abstraction. Consequently, this workshop provides a space
for the convergence of concerns and developments from MAS researchers
that have been involved with these issues from the complementary
perspectives of coordination, organisations, institutions and norms.

The COIN workshop is a continuation of the workshop with the same name
at
AAMAS'07, AAMAS'06, and of the ANIREM and OOOP workshops held in
AAMAS'05. A twin event of COIN has been collocated with ECAI'06 in
Trento and with MALLOW'007 in Durham.


Theme and Topics
----------------

The topics of interest of the COIN workshop in AAMAS'08 are concerned
to Coordination, Organisation, Institutions and Norms in the context
of MAS. Relevant topics include, but are no limited to:

   * Models, ontologies and standards of COIN (Coordination,
     Organisation, Institutions and/or Norms) for MAS.
   * Social science background for COIN, e.g.: roles, authority,
     motivation, social power and other social relationships and
attitudes.
   * Languages for COIN: expressiveness vs efficiency.
   * Coordination and interaction conventions, technologies and
artifacts.
   * Methodologies to develop MAS based on COIN concepts.
   * Software frameworks and tools.
   * Scalability and openness.
   * Simulation, analysis and verification.
   * Industrial applications, case studies, and experimental work.
   * Integration and impact of COIN in other domains, e.g: service
     oriented computation, intelligent environments, B2B, P2P.

Papers describing ongoing work and position papers are welcome.


Proceedings
-----------
Proceedings will be available at the workshop. As with previous COIN
workshops, revised and extended versions of the papers of the two 2008
editions will be published in a single Springer LNCS volume (pending
confirmation). The revised versions must take into account the
discussion held during the workshop, hence, only those papers that are
presented during the workshop will be considered for inclusion in the
post-proceedings volume.


Important Dates
---------------
Paper submission deadline: January 25 2008
Notifications of acceptance/rejection: February 25 2008
Camera-ready copies due: March 5 2008
Workshop Date: May 12 or May 13 2008

Please notice that authors will have a very short time to take into
account the reviewers comments and to send their final contributions
to the workshop if the paper is accepted. Therefore, we strongly
encourage possible authors to be aware of this critical period
(February 25 - March 5).


Preparation and Submission of Papers
------------------------------------
For preparation of papers to be submitted please follow the
instructions for authors available at the Springer LNCS Web page:
http://www.springer.de/comp/lncs/authors.html.

The length of each paper including figures and references may not
exceed 15 pages. All papers must be written in English and submitted
in PDF format.

Submission of a paper should be regarded as an undertaking that,
should the paper be accepted, at least one of the authors will attend
the conference to present the work. 

For submission of papers please refer to the COIN webpage:
http://www.emse.fr/coin08


COIN Steering Committee
-----------------------
Christian Lematre (Universidad Autonoma Metropolitana, Mexico)
Eric Matson (Wright State University, USA)
Guido Boella (University of Torino, Italy)
Jaime Sichman (University of So Paulo, Brazil)
Javier Vazquez Salceda (Universitat Politecnica de Catalunya, Spain)
Julian Padget (University of Bath, UK)
Nicoletta Fornara (University of Lugano, Italy)
Olivier Boissier (ENS Mines Saint-Etienne, France)
Pablo Noriega (IIIA-CSIC, Spain)
Sascha Ossowski (Universidad Rey Juan Carlos, Spain)
Virginia Dignum (Utrecht University, The Netherlands)
Wamberto Vasconcelos (University of Aberdeen, UK) 


Workshop Chairs
---------------
Jomi Fred Hubner, University of Blumenau, Brazil
  jomi at inf.furb.br
Olivier Boissier, ENS Mines Saint-Etienne, France
  olivier.boissier at emse.fr

Programme Committee
-------------------
Alessandro Ricci (Universit di Bologna, Italy)
Alexander Artikis (National Centre for Scientific Research Demokritos,
Greece)
Andrea Omicini (Universit di Bologna, Italy)
Antonio Carlos da Rocha Costa (UCPEL, Brazil)
Carles Sierra (IIIA-CSIC, Spain)
Catherine Tessier (ONERA, France)
Catholijn Jonker (Delft University of Technology, The Netherlands)
Christian Lematre (Universidad Autnoma Metropolitana, Mexico)
Christophe Sibertin-Blanc (IRIT, France)
Cristiano Castelfranchi (ISTC/CNR, Italy)
Dan Corkill (University of Massachusetts Amherst, USA)
Daniel Moldt (University of Hamburg, Germany)
Eric Matson (Wright State University, USA)
Eric Platon (National Institute of Informatics, Japan)
Eugenio Oliveira (Universidade do Porto, Portugal)
Fuyuki Ishikawa (National Insitute of Informatics, Japan)
Guido Boella (University of Torino, Italy)
Harko Verhagen (Stockholm University, Sweden)
Jaime Sichman (University of So Paulo, Brazil)
Javier Vzquez-Salceda (University Politecnica de Catalunya, Spain)
John-Jules Meyer (Utrecht University, The Netherlands)
Juan Antonio Rodrguez Aguilar (IIIA-CSIC, Spain)
Julian Padget (University of Bath, UK)
Leon van der Torre (University of Luxembourg, Luxembourg)
Liz Sonenberg (University of Melbourne, Australia)
Luca Tummolini (ISTC/CNR, Italy)
Marina de Vos (University of Bath, UK)
Nicoletta Fornara (University of Lugano, Switzerland)
Olivier Gutknecht (France)
Pablo Noriega (IIIA-CSIC, Spain)
Pinar Yolum (Bogazici University, Turkey)
Sascha Ossowski (URJC, Spain)
Stephen Cranefield (University of Otago, New Zealand)
Vincent Louis (Orange Labs, France)
Virginia Dignum (University of Utrecht, The Netherlands)
Viviane Torres Da Silva (Universidad Complutense de Madrid, Spain)
Wamberto Vasconcelos (University of Aberdeen, UK)




From alexander.friedmann at uqam.ca  Thu Dec  6 05:23:08 2007
From: alexander.friedmann at uqam.ca (alex friedmann)
Date: Wed, 5 Dec 2007 23:23:08 -0500
Subject: WARNING! (2900068290)
In-Reply-To: <listadmin-28267821@tu-clausthal.de>
References: <listadmin-28267821@tu-clausthal.de>
Message-ID: <b343d1c90712052023h7dea2da6p669d16e5507cc667@mail.gmail.com>

On Dec 5, 2007 10:56 PM, event administration <
event-subscribe at in.tu-clausthal.de> wrote:

> This is an automated message from the
>  <event at in.tu-clausthal.de> mailing list manager
>
> List messages sent to your address <alexander.friedmann at uqam.ca> have
> bounced.
>
> If you read this message, your mail system has been probably fixed.
>
> To clear the bounce counter and to prevent automatic cancelation of
>  your subscription, use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>  the confirmation ID: 2900068290,
>  and the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>  and the 'From' address of your reply is <alexander.friedmann at uqam.ca>.
>
> All requests about this mailing list
>  should be sent to <event-request at in.tu-clausthal.de>
>
>


-- 
==================
Alex Friedmann                                      Tel:  +1 514 987-3000
ext. 3219#
Departement d'Informatique                   Fax: +1 514 987-8477
Universite du Quebec a Montreal
CP 8888 Centre Ville
Montreal, H3C 3P8, Canada                     E-mail :
alexander.friedmann.uqam.ca
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071205/d950516b/attachment.html>

From paolo.torroni at unibo.it  Thu Dec  6 08:23:37 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Thu, 06 Dec 2007 08:23:37 +0100
Subject: WARNING! (0394662215)
In-Reply-To: <listadmin-28267835@tu-clausthal.de>
References: <listadmin-28267835@tu-clausthal.de>
Message-ID: <4757A379.1000507@unibo.it>



event administration wrote:
> This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
> List messages sent to your address <paolo.torroni at unibo.it> have bounced.
>
> If you read this message, your mail system has been probably fixed.
>
> To clear the bounce counter and to prevent automatic cancelation of
>   your subscription, use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>   the confirmation ID: 0394662215,
>   and the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <paolo.torroni at unibo.it>.
>
> All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>
>
>   


From paige at cs.york.ac.uk  Thu Dec  6 23:31:52 2007
From: paige at cs.york.ac.uk (paige at cs.york.ac.uk)
Date: Thu, 6 Dec 2007 22:31:52 -0000 (UTC)
Subject: Kein Betreff
Message-ID: <1673.62.56.127.154.1196980312.squirrel@www.cs.york.ac.uk>

Apologies for any cross-posting.

---

		PRELIMINARY CALL FOR PAPERS
		Second IFIP Working Conference on
	Verified Software: Theories, Tools, and Experiments

				VSTTE 2008
		http://qpq.csl.sri.com/vsr/vstte-08
		Oct 6--10, 2008, Toronto, Canada

Program Chairs:
Jim Woodcock, University of York, jim at cs.york.ac.uk
Natarajan Shankar, SRI International, shankar at csl.sri.com

Program Committee:

Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,
Augusto Sampaio, Mark Utting, Jian Zhang

Conference Chair:
Eric Hehner, University of Toronto, hehner at cs.utoronto.ca

Workshop Chair: tba

Publicity Chair:
Richard Paige, University of York, paige at cs.york.ac.uk

Steering Committee:
Tony Hoare, Jay Misra

Important Dates:

April 30 2008:Submission deadline
June 30 2008:Decisions on papers
July 31 2008 Final versions due
October 6--9 2008: VSTTE 2008


The Second IFIP Working Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working conference at
Zurich, Switzerland in 2005.This conference formally inaugurates the
Verified Software Initiative (VSI), a fifteen-year, cooperative,
international project directed at the scientific challenges of large-scale
software verification.It is open to anyone who is interested in
participating actively in the VSI effort.

Scope: VSTTE 2008 invites submissions of technical papers on all
aspects of verified software covering theoretical as well as
experimental. The topics include requirements modeling, specification
languages, specification case-studies, formal calculi, programming
languages, language semantics, software design methods, software testing,
automatic code generation, refinement methodologies, type systems,
computer
security, verification tools (static analysis, dynamic analysis, model
checking, theorem proving, satisfiability), tool integration,
benchmarks, challenge problems, and integrated verification environments.
We are especially interested in specific challenges such as the POPLMark
(http://alliance.seas.upenn.edu/ plclub/cgi-bin/poplmark/), File system
(http://www.cs.york.ac.uk/circus/mc/abz), and medical devices
(http://www.cas.mcmaster.ca/sqrl/pacemaker.htm).

Invited Speakers:

Andreas Podelski, University of Freiburg
Sriram Rajamani, Microsoft Research
John Reynolds, Carnegie-Mellon University
Moshe Vardi, Rice University

Submissions: Submitted research papers and system descriptions
must be original and not submitted for publication elsewhere.Research
paper submissions are limited to 15 proceedings pages and must include a
cogent and self-contained description of the ideas, methods, results,
and comparison to existing work. Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those that
focus on specific problems or problem domains.

Papers can be submitted at http://www.easychair.org/VSTTE08.

Submissions that arrive late or are too long will not be considered.The
proceedings of VSTTE 2008 will be published by Springer-Verlag in the
LNCS series.Authors of accepted papers will be requested to sign a form
transferring copyright of their contribution to Springer-Verlag.The use
of LaTeX and the Springer llncs class files, obtainable from
http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.

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



From paige at cs.york.ac.uk  Fri Dec  7 10:49:14 2007
From: paige at cs.york.ac.uk (Richard Paige)
Date: Fri, 07 Dec 2007 09:49:14 +0000
Subject: Call for Papers: Verified Software: Theories, Tools, and Experiments
 2008
Message-ID: <4759171A.2020400@cs.york.ac.uk>

		PRELIMINARY CALL FOR PAPERS
		Second IFIP Working Conference on
	Verified Software: Theories, Tools, and Experiments

				VSTTE 2008
		http://qpq.csl.sri.com/vsr/vstte-08
		Oct 6--10, 2008, Toronto, Canada

Program Chairs:
Jim Woodcock, University of York, jim at cs.york.ac.uk
Natarajan Shankar, SRI International, shankar at csl.sri.com

Program Committee:

Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,
Augusto Sampaio, Mark Utting, Jian Zhang

Conference Chair:
Eric Hehner, University of Toronto, hehner at cs.utoronto.ca

Workshop Chairs:
Theory: David Naumann (Stevens) and Peter O'Hearn (Queen Mary)
Tools: Daniel Kroening (ETH) and Tiziana Margaria (Potsdam)
Experiments: Rajeev Joshi (JPL) and Joseph Kiniry (University College,
Dublin)

Publicity Chair:
Richard Paige, University of York, paige at cs.york.ac.uk

Steering Committee:
Tony Hoare, Jay Misra

Important Dates:

April 30 2008:Submission deadline
June 30 2008:Decisions on papers
July 31 2008 Final versions due
October 6--9 2008: VSTTE 2008


The Second IFIP Working Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working conference at
Zurich, Switzerland in 2005.This conference formally inaugurates the
Verified Software Initiative (VSI), a fifteen-year, cooperative,
international project directed at the scientific challenges of large-scale
software verification.It is open to anyone who is interested in
participating actively in the VSI effort.

Scope: VSTTE 2008 invites submissions of technical papers on all
aspects of verified software covering theoretical as well as
experimental. The topics include requirements modeling, specification
languages, specification case-studies, formal calculi, programming
languages, language semantics, software design methods, software testing,
automatic code generation, refinement methodologies, type systems,
computer security, verification tools (static analysis, dynamic analysis, model
checking, theorem proving, satisfiability), tool integration,
benchmarks, challenge problems, and integrated verification environments.
We are especially interested in specific challenges such as the POPLMark
(http://alliance.seas.upenn.edu/ plclub/cgi-bin/poplmark/), File system
(http://www.cs.york.ac.uk/circus/mc/abz), and medical devices
(http://www.cas.mcmaster.ca/sqrl/pacemaker.htm).

Invited Speakers:

Andreas Podelski, University of Freiburg
Sriram Rajamani, Microsoft Research
John Reynolds, Carnegie-Mellon University
Moshe Vardi, Rice University

Submissions: Submitted research papers and system descriptions
must be original and not submitted for publication elsewhere.Research
paper submissions are limited to 15 proceedings pages and must include a
cogent and self-contained description of the ideas, methods, results,
and comparison to existing work. Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those that
focus on specific problems or problem domains.

Papers can be submitted at http://www.easychair.org/VSTTE08.

Submissions that arrive late or are too long will not be considered.The
proceedings of VSTTE 2008 will be published by Springer-Verlag in the
LNCS series.Authors of accepted papers will be requested to sign a form
transferring copyright of their contribution to Springer-Verlag.The use
of LaTeX and the Springer llncs class files, obtainable from
http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.

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

Dr. Richard Paige
Senior Lecturer in Software Engineering
Department of Computer Science,
University of York,
Heslington, York, YO10 5DD, United Kingdom.
+44 1904 433242
paige at cs.york.ac.uk


From Wiebe.Van-Der-Hoek at liverpool.ac.uk  Fri Dec  7 14:28:24 2007
From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek)
Date: Fri, 7 Dec 2007 13:28:24 +0000
Subject: Fwd: Lectureship Agent ART Liverpool
References: <44D9CF97-75DF-473D-A1F8-F2722A268243@liverpool.ac.uk>
Message-ID: <5CCD3908-A7BB-4BC3-B627-FF746672463F@liverpool.ac.uk>


LECTURESHIP IN MULTI-AGENT SYSTEMS
DEPARTMENT OF COMPUTER SCIENCE - UNIVERSITY OF LIVERPOOL

The Agent Applications, Research and Technology (Agent ART) group in
the Computer Science Department at the University of Liverpool (UK)
invites applications for a lectureship in the group. The Agent ART
group has high international visibility, with key strengths in the
following areas:

(*) Theoretical Foundations of Multi-Agent Systems, including:
      complexity of games and complexity in social choice; logical and
      game theoretic foundations of multi-agent systems; computational
      social choice theory.

(*) Computational models of argument and dialogue.

(*) Ontologies and the Semantic Web.

We particularly encourage applications from researchers with interests
in these areas. More information about the group can be found at

     http://www.csc.liv.ac.uk/research/agents/

The post attracts a special HEFCE-funded "Golden Hello" to the value
of £9K, subject to individuals satisfying the eligibility criteria.

For more information, see

     http://www.liv.ac.uk/working/job_vacancies/academic/A-566808.htm

or, for informal feedback, contact:

     Trevor Bench Capon tbc at liv.ac.uk
     Michael Wooldridge mjw at liv.ac.uk
     Wiebe van der Hoek Wiebe.Van-Der-Hoek at liv.ac.uk

The closing date for applications is:

     **9 January 2008**

Please note: applications *must* be received via the University of
Liverpool's normal application procedure:

     http://www.liv.ac.uk/working/job_application_process/index.htm

This post is one of two funded in the department through a cooperation
with the Xi’an Jiaotong University in China; the second lectureship
will be attached to the Logic & Computation group.

     Quote reference: A-566808/WWW
     Salary in range £28289 - £42791 per annum
     An equal opportunity employer.



------------------------------------------------------------------------ 
------------------------------
Prof. Wiebe van der Hoek
Department of Computer Science
University of Liverpool
http://www.csc.liv.ac.uk/~wiebe/
tel (+44 151) 79 47480/54292
fax             (+44 151) 79 54235
Liverpool L69 3BX, United Kingdom
Wiebe.Van-Der-Hoek at liverpool.ac.uk





From georgev at aegean.gr  Sat Dec  8 11:46:02 2007
From: georgev at aegean.gr (Vouros  George)
Date: Sat, 8 Dec 2007 12:46:02 +0200
Subject: 1st CfP : "Organised Adaptation in Multi-Agent Systems" (OAMAS 08)
Message-ID: <C1D23DC6B63B99499FB377B9F664489E01D18BB9@hermes2.aegean.gr>

Apologies for cross posting.

 

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

CALL FOR PAPERS

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

International Workshop on

"Organised Adaptation in Multi-Agent Systems" (OAMAS 08),

 

May 12 or 13, 2008,

Estoril, Portugal.

 

To be held with AAMAS 08

 

http://oamas08.iit.demokritos.gr

 

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

 

AIMS & SCOPE:

Multi-agent systems (MAS) such as formal organizations, electronic
institutions and computational economies, often have to adapt in order
to reflect, among others, environmental, social and economic changes in
them. Adaptation may take place in several levels. The environment of a
MAS may need to be reorganised by introducing or removing new resources
to make the operation of the MAS more efficient. Changes in the MAS
environment may cause the existing members of the MAS to be
re-organized: existing members leave the MAS, new agents are introduced,
or the current members are allocated to different roles. The roles
themselves may be the subject of adaptation as the eligibility
conditions for occupying a role, and/or the permissions, obligations,
authorities, entitlements, responsibilities, institutional powers, and
other normative positions that are associated with a role, may be
subject to adaptation. 

 

We welcome high-quality, original contributions that address issues of
organized adaptation in a MAS, as opposed to unintended, emergent
modification of a MAS.

 

Topics of interest include, but are not limited to: 

-Organizational models of adaptive MAS.

-Methodologies for analysis, design and development of adaptive MAS.

-Formal models of norm (policy, law) change.

-Practical engineering issues of norm (policy, law) change. 

-Protocols and procedures for carrying out adaptation.

-Cooperative human-agent models of adaptation.

-Evaluating methods of adaptation in a MAS.

-Simulations of adaptive MAS.

-Real-world applications of adaptive MAS. 

-Scalability in adaptive MAS. 

-Legal implications of adaptation. 

-Agent architectures for adaptive MAS.

 

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

 

IMPORTANT DATES:

 

* Submission Deadline: January 25, 2008

* Acceptance/Rejection Notification:  February 25, 2008

* Camera-Ready Copies: March 7, 2008

 

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

 

SUBMISSION:

 

Papers should not exceed 16 pages and should be formatted according to
the 

Springer LNAI guidelines.

 

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

 

ORGANISERS:

 

- George Vouros, (University of the Aegean, Greece)

- Alexander Artikis, (NCSR 'Demokritos', Greece)

- Kostas Stathis, (Royal Holloway, University of London, UK)

- Jeremy Pitt, (Imperial College London, UK)

 

-----------

George Vouros

Professor of Artificial Intelligence, Univ. of the Aegean Head, AI-Lab

Dean of School of Sciences

President of the Hellenic Artificial Intelligence Society

 

Department of Information and Communication Systems Engineering

Karlovassi, Samos 83200, Greece

Phone: +30 2273 0 82226

Fax: +30 2273 0 82229

URL: http://www.icsd.aegean.gr/lecturers/georgev/

 

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071208/06c49655/attachment.html>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : OAMAS08-cfp.pdf
Dateityp    : application/octet-stream
Dateigröße  : 72389 bytes
Beschreibung: OAMAS08-cfp.pdf
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071208/06c49655/attachment.obj>

From leucker at in.tum.de  Sat Dec  8 22:21:18 2007
From: leucker at in.tum.de (Martin Leucker)
Date: Sat, 8 Dec 2007 22:21:18 +0100
Subject: CFP: RV'08 EXTENDED DEADLINE
Message-ID: <20071208212118.GA9198@in.tum.de>



=====================================================================
Due to numerous requests:

Submission Deadline now: December 21st, 2007

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

We apologize if you receive multiple copies of this email.

----------------------------------------------------------------------
                           Call for Papers

                                RV'08
                 8th Workshop on Runtime Verification

                        http://rv08.in.tum.de/
                            March 30, 2008
                          Budapest, Hungary

                       Affiliated with ETAPS'08
                      http://etaps08.mit.bme.hu/
----------------------------------------------------------------------

RV'08  brings together researchers in  order  to debate how to monitor
and  analyze  the  execution   of   programs. The  focus   of  runtime
verification varies    from  testing  software before   deployment  to
detecting errors after deployment.  Approaches to runtime verification
include checking conformance with  a formal specification written in a
temporal or  history-tracking logic. One of  the longer-term  goals of
the workshop  is to investigate the use  of lightweight formal methods
applied at runtime as  a viable complement to  methods aimed mainly at
proving programs correct prior to execution, e.g., theorem proving and
model checking.

Moreover, the  focus of RV  ranges from detecting (non)-conformance to
triggering  fault protection  mechanisms  in case non-conformance  has
been detected.  This  allows for  new software design  and programming
paradigms.  Thus,  RV's topics partially overlap   with those found in
other directions such   as aspect oriented  programming,  self-healing
systems, autonomous systems, adaptive systems, etc.

The subject covers several technical fields as outlined below.

    * Specification languages and logics:

      Formal methods scientists have investigated logics and developed
      technologies  that are suitable  for  model checking and theorem
      proving,   but  monitoring  can   reveal  new  observation-based
      foundational logics.

    * Aspect oriented languages with trace predicates:

      New  results in extending  aspect languages, such as for example
      AspectJ,   with   trace   predicates   replacing   the  standard
      pointcuts.    Aspect  oriented   programming  provides  specific
      solutions to program instrumentation and program guidance.

    * Program instrumentation in general:

      Any techniques for instrumenting programs, at the source code or
      object  code/byte  code level, to  emit  relevant  events  to an
      observer.

    * Program Guidance in general:

      Methodologies, architectures,  and  techniques  for  guiding the
      behavior  of a program  once  its specification is violated, for
      developing    self-healing,     autonomous,    or       adaptive
      systems. Techniques ranging from standard exceptions to advanced
      planning  lead  to  new development  methodologies  and software
      architectures  such    as    monitor-oriented    programming  or
      monitor-based runtime reflection.

    * Combining static and dynamic analysis:

      Monitoring a program with respect to a temporal formula can have
      an impact  on the monitored  program, with respect  to execution
      time as well as memory consumption.  Static analysis can be used
      to   minimize  the   impact     by optimizing     the    program
      instrumentation.  Runtime   monitors  can    be seen   as  proof
      obligations left over from proofs - what  is left that could not
      be proved.

    * Dynamic program analysis:

      Techniques that gather information  during program execution and
      use it to conclude  properties about the program, either  during
      test or in  operation. Algorithms for detecting  multi-threading
      errors  in execution   traces,    such as deadlocks   and   data
      races.  Algorithms   for generating specifications from   runs -
      dynamic  reverse      engineering, including     also    program
      visualization.

    * Security analysis:

      Monitoring for the enforcement  of security policies. Successful
      applications  include   operating system and   middleware access
      control, firewalls, stack inspection based sandboxing, detecting
      the    threats of untrustworthy     (malicious or  buggy)  code,
      intrusion detection etc.

    * Contract Security analysis:

      Monitoring for the enforcement   of contract fulfillment in  SOA
      and  web-services,    especially  in contract-oriented  software
      development.

Both foundational and practical aspects are encouraged.

PROCEEDINGS:

Preliminary workshop proceedings will be available at the meeting as a
technical report.   As for RV'07, revised  final papers will appear as
Springer Lecture Notes in Computer Science (LNCS).

SUBMISSIONS:

    * All submissions should  be made electronically on the Submission
      Page.

    * Manuscripts of regular  papers are  limited to  a maximum of  15
      pages (excluding technical appendices) in PDF format (LNCS style
      mandatory).

DATES:

Submissions:            December 21, 2007
Notification:           January 14, 2008
Camera ready copy:      January 28, 2008
Workshop:               March 30, 2008

INVITED SPEAKER:

Jean Goubault-Larrecq:  Orchids, and Bad Weeds

PROGRAM COMMITTEE:

Mehmet Aksit            (University of Twente, NL)
Howard Barringer        (University of Manchester, UK)
Mads Dam                (KTH Stockholm, SE)
Bernd Finkbeiner        (Saarland University, DE)
Klaus Havelund          (NASA Jet Propulsion Laboratory, US)
Bengt Jonsson           (Uppsala Univesitet, SE)
Moonzoo Kim             (KAIST, KR)
Martin Leucker (Chair)  (Technical University of Munich, DE)
Dejan Nickovic          (Verimag, FR)
Doron Peled             (Bar Ilan University, IL)
Mauro Pezze             (University of Lugano, CH)
Shaz Qadeer             (Microsoft Research, US)
Grigore Rosu            (University of Illinois, Urbana-Champaign, US)
Gerardo Schneider       (University of Oslo, NO)
Henny Sipma             (Stanford University, US)
Oleg Sokolsky           (University of Pennsylvania, US)
Scott Stoller  	        (State University of New York, US)
Mario Sudholt           (Ecole des Mines de Nantes-INRIA, LINA, FR)
Serdar Tasiran          (Koc University, TR)
Stavros Tripakis        (Cadence Labs, US)
Yaron Wolfsthal         (IBM, IL)

STEERING COMMITTEE:

Klaus Havelund          (NASA Jet Propulsion Laboratory)
Gerard Holzmann         (NASA Jet Propulsion Laboratory)
Insup Lee               (University of Pennsylvania)
Grigore Rosu            (University of Illinois, Urbana-Champaign)


From riemsdijk at pst.ifi.lmu.de  Mon Dec 10 09:47:14 2007
From: riemsdijk at pst.ifi.lmu.de (Birna van Riemsdijk)
Date: Mon, 10 Dec 2007 09:47:14 +0100
Subject: First CFP: DALT@AAMAS'08
Message-ID: <475CFD12.3050503@pst.ifi.lmu.de>


  [Please accept our apologies if you receive multiple postings.]

*****************************************************************

                     6th International Workshop on
       Declarative Agent Languages and Technologies (DALT 2008)

                              12 or 13 May 2008

                   	     Estoril, Portugal
                 (held in conjunction with AAMAS 2008)

             URL: http://www.di.unito.it/~baldoni/DALT-2008/
				
*****************************************************************
CALL FOR PAPERS
*****************************************************************

The  workshop  on  Declarative  Agent  Languages and Technologies
(DALT), in its sixth  edition this year,  is  a  well-established
forum  for researchers interested in sharing their experiences in
combining declarative and formal approaches with engineering  and
technology  aspects  of  agents  and multiagent systems. Building
complex agent systems calls for models and technologies that  en-
sure  predictability,  allow  for the verification of properties,
and guarantee flexibility.  Developing technologies that can sat-
isfy  these  requirements  still poses an important and difficult
challenge. Here, declarative approaches have the potential of of-
fering solutions satisfying the needs for both specifying and de-
veloping multiagent systems.  Moreover, they are gaining more and
more  attention in important application areas such as the seman-
tic web, service-oriented  computing,  security,  and  electronic
contracting.  For  instance,  some convergence points between the
areas of formal methods for dealing with web services and  formal
methods  for agents are emerging and gaining more and more atten-
tion.

DALT 2008 will be held as a satellite workshop of AAMAS 2008, the
7th  International Joint Conference on Autonomous Agents and Mul-
tiagent Systems, in May 2008 in Estoril, Portugal. Following  the
success of five previous editions, DALT will again aim at provid-
ing a discussion forum  to  both  (i)  support  the  transfer  of
declarative  paradigms and techniques to the broader community of
agent researchers and practitioners, and (ii) to bring the  issue
of  designing  complex  agent  systems  to  the  attention of re-
searchers working on declarative languages and technologies.

*****************************************************************
TOPICS OF INTEREST
*****************************************************************

DALT topics of interest include, but are not limited to:

General themes:
* specification of agents and multiagent systems
* declarative approaches to engineering agent systems

Formal techniques:
* (constraint) logic programming approaches to agent systems
* distributed constraint satisfaction
* modal and epistemic logics for agent modelling
* verification of agents and multiagent systems
* formal semantics for agent programming languages and frameworks

Declarative models:
* declarative models of agent beliefs, goals and capabilities
* declarative models of bounded rationality
* declarative paradigms for the combination of heterogeneous
   agents
* declarative approaches to organizations and electronic
   institutions
* agent-inspired declarative approaches to web services or
   service-oriented architectures

Applications of declarative techniques to:
* agents and the semantic web
* service-oriented multiagent systems
* agent communication and coordination languages
* protocol specification and conformance checking
* description of contracts and negotiation policies
* security and trust in multiagent systems

Evaluation of declarative approaches:
* experimental analysis of declarative agent technologies
* industrial experiences with declarative agent technologies

*****************************************************************
SUBMISSION INSTRUCTIONS
*****************************************************************

We welcome and encourage the submission of high-quality, original
papers,  which  are  not  being   submitted   simultaneously  for
publication  elsewhere.  Papers  should  be  written in  English,
formatted according to the Springer LNCS style, and not exceed 16
pages. Paper submission is electronic via the conference website.

*****************************************************************
WORKSHOP PROCEEDINGS
*****************************************************************

Printed  copies  of  the  proceedings  will  be  available at the
workshop.   Assuming   a   sufficient   number  of   high-quality
submissions,  we are  again  going to consider the publication of
formal  post-proceedings  with  an  international  publisher. The
post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476),
DALT  2005  (LNAI 3904),  DALT  2006  (LNAI 4327), and DALT  2007
(LNAI 4897)  have been or will be published by Springer-Verlag in
the Lecture Notes in Artificial Intelligence series.

*****************************************************************
IMPORTANT DATES
*****************************************************************

* Paper submission deadline: 25 January 2008
* Notification of authors: 25 February 2008
* Final versions due: 5 March 2008
* Workshop: 12 or 13 May 2008

*****************************************************************
PROGRAMME COMMITTEE
*****************************************************************

* Thomas Agotnes (Bergen University College, NO)
* Marco Alberti (University of Ferrara, Italy)
* Natasha Alechina (University of Nottingham, UK)
* Grigoris Antoniou (University of Crete, Greece)
* Matteo Baldoni (University of Torino, Italy) -- co-chair
* Cristina Baroglio (University  of Torino, Italy)
* Rafael Bordini (University of Durham, UK)
* Federico Chesani (University of Bologna, Italy)
* Amit Chopra (North Carolina State University, USA)	
* Keith Clark (Imperial College  London, UK)
* Francesco M. Donini (University of Tuscia, Italy)	
* Benjamin Hirsch (Technical University Berlin, Germany)
* Shinichi Honinden (National Institute of Informatics, Japan)
* John Lloyd (Australian National University, Australia)
* Viviana Mascardi (University of Genova, Italy)
* Nicolas Maudet (Univ. Paris-Dauphine, France)		
* John-Jules Meyer (University of Utrecht, Netherlands)
* Enrico Pontelli (New Mexico State University, USA)
* Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen,
   Germany) -- co-chair
* Chiaki Sakama (Wakayama University, Japan)
* Tran Cao Son (New Mexico State University, USA) -- co-chair
* Wamberto Vasconcelos (University of Aberdeen, UK)	
* Mirko Viroli (University of Bologna, Italy)
* Marina De Vos (University of Bath, UK)
* Michael Winikoff (RMIT University, Australia) -- co-chair


*****************************************************************
ORGANISING COMMITTEE
*****************************************************************

* Matteo Baldoni (University of Torino, Italy)
* Tran Cao Son (New Mexico State University, USA)
* M. Birna van Riemsdijk (Ludwig-Maximilians-Universitaet
   Muenchen, Germany)
* Michael Winikoff (RMIT University, Australia)

*****************************************************************
STEERING COMMITTEE
*****************************************************************

* João Leite (New University of Lisbon, Portugal)
* Andrea Omicini (University of Bologna-Cesena, Italy)
* Leon Sterling (University of Melbourne, Australia)
* Paolo Torroni (University of Bologna, Italy)
* Pinar Yolum (Bogazici University, Turkey)

*****************************************************************


From mehdi at cs.uu.nl  Mon Dec 10 10:24:21 2007
From: mehdi at cs.uu.nl (Mehdi Dastani)
Date: Mon, 10 Dec 2007 10:24:21 +0100
Subject: EASSS 2008: Call for Tutorials
Message-ID: <475D05C5.1080304@cs.uu.nl>

     !!!   CALL FOR TUTORIALS -- EASSS 2008   !!!

The tenth edition of the European Agent Systems Summer
School (EASSS'08) will be co-located with AAMAS'08 and
take place at

         Universidade Nova de Lisboa, Portugal
                   5-9 May 2008

Researchers and lecturers in the field of autonomous agents
and multi-agent systems are invited to submit a proposal for
a state-of-the-art course in the tenth edition of the
European Agent Systems Summer School. Like its very successful
predecessors, EASSS 2008 aims to offer a valuable forum for
knowledge exchange between various research groups in this field
for the benefit of students and researchers at both beginner and
advanced level. The success of this summer school is essential
not only for the mutual benefit of research groups, but also in
forming future generations of researchers to maintain the
excellence of Agents research and development in Europe.

Tutors are encouraged to submit a 1-page course proposal including:
the topic and its importance for the field, intended audience and
their required background knowledge, outline of the topics to be
presented, how the course material will be prepared, the tutors and
their experience, level of the course (beginners/advanced), duration
(typically 4 or 6 hours), and any special equipment requirements.
Proposals will be evaluated based on the importance and quality of
the topic description, the quality of the presentation material, and
the teaching ability of the proposed speakers.

Deadline for proposals:         January 18, 2008
Notification:                   February 4, 2008
material for reader (< 26 pp)   March 23, 2008

A typical course has 4 hours in total, but variations are
possible. Courses should be broad enough to provide a general
introduction to the chosen topic, but it should also cover
the most important contributions in depth. Courses are expected
to take a wider perspective than one specific approach practised
by an individual or group. For an impression, the courses given in
2001 are collected in a volume of Springer's LNAI series (No 2086),
and programmes of previous editions of EASSS can be found via the
webpage of EASSS07 (http://www.dur.ac.uk/durham.agents007/EASSS07/).

The summer schools attract about 100 students each year. We intend
to give a modest contribution towards tutors' expenses by providing
free accommodation, but EASSS would not normally cover tutors'
travel costs. Please note that this year EASSS is co-located with
AAMAS 2008 and takes place one week before that event.

Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl).

The EASSS-2008 Committee members are:

Joao Leite (local chair)        Lisbon, Portugal
Mehdi Dastani (chair)           Utrecht, Netherlands
Rafael Bordini                  Durham, UK
Catholijn Jonker                Delft, Netherlands
Barbara Keplicz                 Warszawa, Poland
Michal Pechoucek                Prague, Czech Republic
Wiebe van der Hoek              Liverpool, UK
Gerhard Weiss                   Hagenberg, Austria

For information about local organisation please contact
Joao Leite (jleite at di.fct.unl.pt).

POSSIBLE TOPICS:

* action selection and planning in multi-/agent systems
* adaptation, evolution and learning in multi-/agent systems
* agent-based simulation and modeling
* agent communication, agent dialogues and agent argumentation
* agents, ontologies, web services and semantic web
* agent-oriented software engineering and development methodologies
* agent programming languages and development tools	
* agent standardizations in industry and commerce
* applications and deployment for agents and multi-agent systems
* architectures for multi-agent systems
* artificial market systems, auctions, trading agents and electronic
   commerce, electronic institutions
* autonomous robots and robot teams
* believability, human-like qualities of synthetic agents, humanoid
   and sociable robots
* game theory and coalition formation for agents based systems
* computational complexity in agent systems
* conventions, commitments, norms, social laws and legal issues in
   multi-agent systems
* coordination, cooperation, and collaboration in multi-agent systems
* emergence, self-organisation and collective behavior in agent-based
   systems
* foundational issues and theories of agency  	
* information agents, routers, brokering and matchmaking
* logics for specification, verification and validation of
   multi-agent systems
* mobile agents
* negotiation, task and resource allocation, and conflict handling
   in multi-agent systems
* privacy, safety and security in multi-agent systems
* scalability, robustness and dependability of multi-agent systems
* social and cognitive models for agents	
* social and organizational structures of multi-agent systems
* trust and reputation in multi-agent systems


-- 

Mehdi Dastani
Intelligent Systems Group
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 3599
Fax: +31 - 30 - 251 3791
URL: http://www.cs.uu.nl/~mehdi


From pcm at csail.mit.edu  Mon Dec 10 14:12:45 2007
From: pcm at csail.mit.edu (Philippe Cudre-Mauroux)
Date: Mon, 10 Dec 2007 14:12:45 +0100
Subject: Cfp: ESWC 2008 Ph.D. Symposium
Message-ID: <475D3B4D.2070104@csail.mit.edu>

CALL FOR EXTENDED ABSTRACTS

Ph.D. Symposium 2008
5th European Semantic Web Conference (ESWC)
June 2, 2008
Tenerife (Spain)
http://www.eswc2008.org/

Sponsored by the Okkam project http://www.okkam.org/


ESWC is the leading European conference on theory, practice and
application of Semantic Web Technologies, constantly attracting a
large number of high quality submissions from both academia and
industry. In addition to its plenary scientific sessions, the
conference includes a Ph.D. Symposium to allow doctoral students
to present their work and obtain guidance from leading scientists
in the field.

The ESWC 2008 Ph.D. Symposium will take place in Tenerife -
Spain, on June 2, 2008. We invite doctoral students working on
any aspect of the Semantic Web to submit an extended abstract
describing the research problem they tackle in the context of
their Ph.D. Each abstract will be thoroughly reviewed by two
expert researchers in the field. In addition to the feedback
received during the review process, students whose abstracts get
accepted will have the opportunity to present their research
agenda and interact with both their peers and experienced
scientists during the symposium. All students are encouraged to
submit an abstract, though preference will be given to students
who are at an early stage of their Ph.D. (first or second year).
Students who are submitting papers on specific portions of their
work to the main conference are also invited to apply to the
Ph.D. symposium. In that case, the short paper for the symposium
must give an overview of the student's dissertation, while the
paper for the main conference should focus on a specific piece of
this work.


TOPICS

Topics related to the symposium include, but are not limited, to:

Applications of the Semantic Web
Evaluations of Semantic Web technologies
Semantic Web technologies for multimedia content
Personal Information Management
Management of Semantic Web Data
Languages, tools and methodologies for representing and managing
Semantic Web data
Database technologies for the Semantic Web
Search, query, and visualization of the Semantic Web
Robust and scalable knowledge management and reasoning on the Web
Machine learning and human language technologies for the Semantic Web
Semantic Web content creation, annotation, and extraction
Ontology creation, extraction, evolution and search
Ontology mapping, merging, and alignment
Semantic Web architecture
Semantic Web middleware
Semantic Web services
Agents on the Semantic Web
Semantics in Peer-to-Peer systems and grids
Emergent Semantics
Semantic Web and Web 2.0 Applications
Social networks and processes on the Semantic Web
Semantic Web technology for collaboration and cooperation
Representing and reasoning about trust, privacy, and security
Semantic Web for e-business, e-science, e-government, and other
application domains


SUBMISSIONS:

Extended abstracts should not exceed five pages. Papers should be
formatted according to Springer LNCS guidelines (see
http://www.springer.de/comp/lncs/authors.html ) and submitted
electronically as pdf files through the main conference
submission system on http://www.eswc2008.org/ .

We encourage students to organize their extended abstract
according to the following template:

1. Research Problem: gives a description of the overall research
problem tackled in the context of the Ph.D. and its relevance to
the Semantic Web area
2. Related Work: discusses the state of the art in the particular
field
3. Contributions: describes how the proposed project will advance
the state of the art, summarizes the expected contributions and
real-world use-cases
4. Evaluation: describes the methodology used to
evaluate/validate the results of the projects
5. Work Plan: sketches the different stages of the project,
clearly differentiating between the results achieved so far,
current work and planned work.

Extended abstracts structured differently will be considered as
well. The best submissions -- in terms of innovation, scientific
soundness and clarity of presentation -- will be invited to the
symposium for presentation. In addition to the full papers, a
limited number of submissions will be accepted as two page
posters. Students whose work get accepted as a full paper or
poster will have to register to the symposium to present their
work. 500 Euro will be awarded to the best presenter. In
addition, papers and posters will be published online as CEUR
Workshop Proceedings.


IMPORTANT DATES

March 7, 2008 (11:59pm CET): Extended abstracts due
April 4, 2008: Notification of acceptance
April 25, 2008: Camera-ready version due
June 2, 2008: Ph.D. Symposium


PROGRAM COMMITTEE

Daniel Abadi, Yale University, U.S.A.
Karl Aberer, EPFL, Switzerland
Harith Alani, University of Southampton, U.K.
Abraham Bernstein, University of Zurich, Switzerland
Paolo Bouquet, University of Trento, Italy
Jeremy Carroll, HP Labs, U.K.
Isabel Cruz, University of Illinois at Chicago, U.S.A.
Boi Faltings, EPFL, Switzerland
Enrico Franconi, Free University of Bozen-Bolzano, Italy
Carole Goble, University of Manchester, U.K.
Peter Haase, University of Karlsruhe, Germany
Siegfried Handschuh, NUI Galway, Ireland
Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands
Matthias Klusch, DFKI, Germany
Diana Maynard, University of Sheffield, U.K.
Riichiro Mizoguchi, Osaka University, Japan
Enrico Motta, The Open University, U.K.
Natasha Noy, Stanford University, U.S.A.
Daniel Olmedilla, L3S Research Center, Germany
Jeff Z. Pan, University of Aberdeen, U.K.
Axel Polleres, NUI Galway, Ireland
Marta Sabou, Open University, U.K.
Sebastian Schaffert, Salzburg Research, Austria
Guus Schreiber, Free University Amsterdam, The Netherlands
Luciano Serafini, Istituto Trentino di Cultura, Italy
Amit Sheth, Wright State University, U.S.A.
Pavel Shvaiko, University of Trento, Italy
Elena Simperl, University of Innsbruck, Austria
Heiner Stuckenschmidt, University of Mannheim, Germany
Hideaki Takeda, University of Tokyo, Japan
Tomas Vitvar, NUI Galway, Ireland
Chris Welty, IBM Watson Research Center, U.S.A.
Ilya Zaihrayeu, University of Trento, Italy
Michal Zaremba, University of Innsbruck, Austria


For further information and for any questions regarding the event
or the submission process, please contact the Ph.D. Symposium Chair:

Philippe Cudre-Mauroux
M.I.T. -- U.S.A.
pcm (AT) csail mit edu

We would like to thank the Okkam project (http://www.okkam.org/)
for sponsoring this event and STI International
(http://www.sti2.org/) for its help in organizing the symposium.



From Klaus.Fischer at dfki.de  Mon Dec 10 20:08:27 2007
From: Klaus.Fischer at dfki.de (Klaus Fischer)
Date: Mon, 10 Dec 2007 20:08:27 +0100
Subject: First Call for Papers: ATOP@AAMAS2008
Message-ID: <475D8EAB.2020703@dfki.de>

[Please accept our apologies if you receive multiple postings.]

			       Call for Papers

		  Agent-based Technologies and applications
		       for enterprise interOPerability
				  ATOP 2008

		  (http://www-ags.dfki.uni-sb.de/~kuf/atop)

			  Workshop to be held at the
		  Seventh International Joint Conference on
	     Autonomous Agents & Multiagent Systems (AAMAS 2008)
		    (http://gaips.inesc-id.pt/aamas2008/)

			      Estoril, Portugal

			     12 or 13th May 2008
				
MOTIVATION

Today's enterprises operate in a dynamic environment which is characterized by
global  outsourcing, shrinking  product life-cycles,  and unstable  demand. To
prosper  in  this  environment,  enterprises  face a  growing  need  to  share
information and  to collaborate  with each  other at all  levels of  the value
chain.    As  organizations   are  gradually   transforming   into  "networked
organizations",  interoperability becomes  the main  challenge to  realize the
vision  of  seamless business  interaction  across organizational  boundaries.
Interoperability  problems occur at  different levels:  at the  business level
(how organizations do business together, what needs to be described and how?),
at the  knowledge level (different  formats, schemas, and ontologies),  and at
the level  of the underlying information and  communication technologies (ICT)
and systems.

Agent  technologies  provide  a  cross-cutting approach  promising  to  enable
intelligent  and  proactive   automation,  adaptive  planning  and  execution,
decentralized coordination,  and semantic interoperability.   The Model-Driven
Architecture  (MDA)   is  another  promising  approach  for   the  support  of
interoperability  due  to  its  promise  of  providing  consistent  models  at
different  abstraction  layers with  well-defined  mappings  in between  these
layers.  As  a third thread  of activity Service-Oriented  Architectures (SOA)
try  to reach  interoperability, focusing  upon,  but not  restricted to,  the
information and  communication technology (ICT) level.   The main contribution
and  goal  of  SOA  is  to  achieve loose  coupling  among  software  entities
representing business objects (processes, organizational units, etc.).

Agents, MDA, and SOA provide complementary solution components to parts of the
enterprise interoperability problems.  Agents enable dynamic collaboration and
orchestration   in  changing  and   unpredictable  situations;   MDA  provides
mechanisms  that generate  artifacts  for different  platforms;  SOA gives  us
late-binding  interoperability  between   business  process  requirements  and
providers of service implementations. It  is unlikely, then, that any of these
approaches   will   succeed   stand-alone   in   achieving   the   degree   of
interoperability that  will be necessary  to successfully construct,  run, and
optimize networked organizations.   It is rather likely that  a combination of
these  basic  technologies  will  evolve  in  the next  years  to  provide  an
appropriate  basis  for  interoperability.   Therefore the  workshop  aims  at
bringing together  researchers and fostering interaction  and collaboration to
work jointly on solutions to achieve interoperability.

The  workshop  focuses  on   technologies  that  support  interoperability  in
networked organizations, on successful applications of these technologies, and
on lessons  learned.  The main  goal is to  stimulate a discussion on  how far
agent technologies can support interoperability in this context and to compare
current  trends   in  the  development  of  agent   technologies  with  recent
developments in  service-oriented and model-driven system  design with respect
to their  ability to solve interoperability  problems.  Regarding model-driven
system design the presentation and  discussion of metamodels of the underlying
technologies  like   for  example  agent   technologies  and  service-oriented
architectures is especially of interest.

WORKSHOP TOPICS

We  would like  to focus  the  ATOP 2008  around modeling  and metamodels  for
interoperability  in agent-based  systems and  business  applications. Ideally
submitted  papers  should  deal   with  model-driven  agent  technologies  and
methodologies in the context of:

     * simulation and validation of business systems
     * decision-support in value creation networks
     * enterprise and business process modeling
     * case studies of implemented interoperability solutions and
       systems
     * coordination and negotiation in distributed business networks
     * cross-organizational business processes
     * normative environments for enterprise agents interoperability
     * decentralized and peer-to-peer models and enactment of
       business processes
     * goal-driven and adaptive business process management
     * semantic annotations of business process descriptions
     * intelligent enterprise application integration
     * business process modeling, enactment and integration
     * intelligent execution, monitoring, management, and optimization
       of business processes
     * service-oriented architectures and related topics like service
       choreography, orchestration, composition, brokering, and mediation
     * autonomic computing and adaptive autonomous architectures
     * model-driven architectures for business processes and systems
     * models and meta-models for agent-based systems
     * platform-independent models and their relation to agent models
     * model-to-model and model-to-text transformations
     * knowledge representations and ontologies in the context of
       (collaborative) business processes
     * agent communication languages and standards
     * self-organization and adaptation in the context of interoperable systems

The discussion  of agent  technologies is recommended  as it relates  with the
interoperability  objective.  However, a  proposal  of  new, preferably  model
driven, techniques  or technologies  to increase interoperability  of business
applications  without direct  reference to  agent technologies  is acceptable,
too.  Still   it  is  recommended  that   such  work  should   be  related  to
agent-oriented  approaches   if  such  approaches   already  exist.  Workshops
specializing in some of the topics mentioned in the above list will be held at
AAMAS 2008.  Authors of papers that  are dealing with such topics without much
discussion of  interoperability aspects are encouraged to  submit their papers
to  the more  specialized  workshops.  The  workshop  organizers will  closely
collaborate in the evaluation  of the papers.  Therefore, multiple submissions
do not increase the chance of a paper to be accepted.

SUBMISSION DETAILS

Authors  should submit  original research  papers  (must not  exceed 12  pages
including all figures and tables) including  an abstract of about 200 words or
position  papers  (must  not  exceed  3  pages). In  any  case  submission  of
preliminary  abstracts some time  before the  official submission  deadline is
very much appreciated. All submissions must be sent electronically to

			    Klaus.Fischer at dfki.de

Acceptable formats  are PDF  and PostScript.  It  is planned to  structure the
workshops into  invited talks, technical presentations  and panel discussions.
A  publication of  selected  workshop  papers is  planned  in Springer's  LNAI
series.       Formatting      instructions      can      be      found      at
http://www.springer.de/comp/lncs/authors.html    and   should    be   strictly
followed. The first  page should include the full name  and contact details of
at least one author (email and full postal address).

IMPORTANT DATES

Submissions due              January 25 2008
Notifications sent           February 25 2008
Final papers due             March 5 2008
Workshop                     May 12 or 13 2008

ORGANIZING COMMITTEE

Arne-Jorgen Berre, SINTEF, Norway
Klaus Fischer, DFKI, Germany
James Odell, Oslo Software, USA
Joerg P. Mueller, Technische Universitaet Clausthal, Germany

PROGRAM COMMITTEE

Sahin Albayrak, TU Berlin, Germany
Bernhard Bauer, University Augsburg, Germany
Amit Chopra, NC State University, USA
Michael Georgeff, Monash University, Australia
Axel Hahn, University Oldenburg, Germany
Christian Hahn, DFKI, Germany
Oystein Haugen, SINTEF, Norway
Timo Kahl, IWi, Germany
Stefan Kirn, Hohenheim University, Germany
Renato Levy, IAI, USA
Margaret Lyell, IAI, USA
Saber Mansour, Oslo Software, France
Michele Missikoff, LEKS; IASI-CNR, Italy
Eugenio Oliveira, University of Porto, Portugal
Herve Panetto, University Nancy, France
Omer Rana, Cardiff University, UK
Ralph Ronnquist, Intendico Pty. Ltd., Australia
Rainer Ruggaber, SAP, Germany
Omeir Shafiq, Digital Enterprise Research Institute (DERI), Austria
Carles Sierra, IIIA, Spain
Leon Sterling, Melbourne University, Australia
Hiroki Suguri, Comtec, Japan
Joerg Ziemann, IWi, Germany
Ingo Zinnikus, DFKI, Germany
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : smime.p7s
Dateityp    : application/x-pkcs7-signature
Dateigröße  : 3343 bytes
Beschreibung: S/MIME Cryptographic Signature
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071210/37eaaed1/attachment.bin>

From pokahr at informatik.uni-hamburg.de  Mon Dec 10 20:20:30 2007
From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr)
Date: Mon, 10 Dec 2007 20:20:30 +0100
Subject: CFP: ProMAS @ AAMAS'08
Message-ID: <475D917E.9090406@informatik.uni-hamburg.de>

(please accept our apologies if you receive multiple postings)

CALL FOR PAPERS: ProMAS'08

Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'08)
<http://www.cs.uu.nl/ProMAS/2008>

ProMAS'08 is a satellite workshop at AAMAS 2008 Estoril, Portugal, 12-16
May 2008
<http://gaips.inesc-id.pt/aamas2008/>


Even though the contributions of the multi-agent systems (MAS)
community can make a significant impact in the development of open
distributed systems, the techniques resulting from such contributions
will only be widely adopted when suitable programming languages and
development tools are available. Furthermore, such languages and tools
must incorporate those techniques in a principled but practical way, so
as to support the ever more complex task of professional programmers,
in particular when the systems have to operate in dynamic environments.

The ProMAS workshop series aims to address the theoretical and
practical programming issues related to developing and deploying
multi-agent systems. In particular, ProMAS aims to address how
multi-agent systems designs or specifications can be effectively
implemented. In its previous editions, ProMAS constituted an invaluable
occasion bringing together leading researchers from both academia and
industry to discuss issues on the design of programming languages and
tools for multi-agent systems. In particular, the workshop promotes the
discussion and exchange of ideas concerning the techniques, concepts,
requirements, and principles that are important for multi-agent
programming technology. These include the theory and applications of
agent programming languages, the verification and analysis of agent systems,
as well as the implementation of social structure in agent-based systems
(e.g. roles within organizations, coordination and communication in
multi-agent systems).

We encourage the submission of proposals for programming languages and
development tools that provide specific programming constructs to
facilitate
the implementation of the essential concepts used in multi-agent system
analysis and specifications (e.g., mental attitudes, distribution, and
social interaction). We also welcome submissions describing significant
multi-agent applications, as well as agent programming tools that allow
the integration of agents with legacy systems. Further, we are particularly
interested in approaches or applications that show clearly the added-value
of multi-agent programming, and explain why and how this technology should
be adopted by designers and programmers both in academia and industry.

The main areas of interest of the ProMAS workshop concern the development
and programming of Multi-Agent Systems, ranging from tools, (new) agent and
organizational programming concepts to semantics and formal
verification. These
themes are related to other workshops, including among others the AOSE
and AT2AI
workshops, which are also organized at AAMAS’08. These workshops aim to
coordinate
their activities, in particular, by organizing a joint session. Details
will be
published on the ProMAS web site.


Specific topics for this workshop include, but are not limited to:

- Programming Languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- Semantics for multi-agent programming languages
- High-level executable multi-agent specification languages
- Algorithms, techniques, or protocols for multi-agent issues
  (e.g., coordination, cooperation, negotiation)
- Agent communication issues in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Test and debugging tools and techniques
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools


Important Dates:
----------------

Paper submission deadline:               25  January,    2008
Notifications of acceptance/rejection:   25  February,   2008
Camera-ready copies due:                 12 March,       2008
Workshop Date:                           12th/13th May,  2008 (TBA)


Submission Details:
-------------------

Authors can submit their papers via the conference management system,
available at the following address:

http://www.conftool.net/ProMAS2008/

First, you will be asked to register into the system, then you will
get a user id and a password that you can use to submit your paper.
Papers should be formatted using Springer LNCS style
(http://www.springer.de/comp/lncs/authors.html) and have a maximum
of 15 pages.

Accepted papers will be published as a technical report and distributed
among participants during the workshop. As was the case for previous
editions of the ProMAS workshop, we are planning to publish extended
versions of selected papers as a volume of the Lecture Notes in Computer
Science series by Springer-Verlag.


Workshop Chairs:
---------------------

- Koen Hindriks (Delft University of Technology, The Netherlands)
  http://www.mmi.tudelft.nl/
- Alexander Pokahr (University of Hamburg, Germany)
  http://vsis-www.informatik.uni-hamburg.de/members/info.php/84
- Sebastian Sardina (RMIT University, Australia)
  http://goanna.cs.rmit.edu.au/~ssardina/home.shtml


Steering Committee:
---------------------

- Rafael Bordini (University of Durham, UK)
- Mehdi Dastani (Utrecht University, The Netherlands)
- Juergen Dix (Clausthal University of Technology, Germany)
- Amal El Fallah Seghrouchni (University of Paris VI, France)


Programme Committee
-------------------
Matteo Baldoni (Università degli Studi di Torino, Italy)
Juan A. Botía Blaya (Universidad de Murcia, Spain)
Lars Braubach (University of Hamburg, Germany)
Jean-Pierre Briot (University of Paris 6, France)
Keith Clark (Imperial College, UK)
Rem Collier (University College Dublin, Ireland)
Yves Demazeau (Institut IMAG - Grenoble, France)
Frank Dignum (Utrecht University, Netherlands)
Michael Fisher (University of Liverpool, UK)
Jorge Gómez-Sanz (Universidad Complutense Madris, Spain)
Vladimir Gorodetsky (Russian Academy of Sciences, Russia)
Dominic Greenwood (Whitestein Technologies, Switzerland)
Benjamin Hirsch (TU-Berlin, Germany)
Shinichi Honiden (NII, Tokyo, Japan)
Jomi Hübner (Universidade Regional de Blumenau, Brazil)
Michael Huhns (University of South Carolina (USA)
Yves Lespérance (York University, Canada)
João Leite (Universidade University Nova de Lisboa, Portugal)
John-Jules Meyer (Utrecht University, Netherlands)
David Morley (SRI, USA)
Jörg Müller (Clausthal University of Technology, Germany)
Oliver Obst (Koblenz-Landau University, Germany)
Andrea Omicini (University of Bologna, Italy)
Agostino Poggi (Università degli Studi di Parma, Italy)
Alessandro Ricci (DEIS, Universit di Bologna, Italy)
Birna van Riemsdijk (Ludwig-Maximilians-Universität, Germany)
Ralph Rönnquist (Intendico, Australia)
Ichiro Satoh (NII, Kyoto, Japan)
Kostas Stathis (City University London, UK)
Paolo Torroni (University of Bologna, Italy)
Tran Cao Son (New Mexico State University, Mexico)
Gerhard Weiß (Software Competence Center Hagenberg, Austria)
Michael Winikoff (RMIT University, Melbourne, Australia)
Wayne Wobke (University of New South Wales, Australia)



From bernhard.jung at ofai.at  Mon Dec 10 21:08:43 2007
From: bernhard.jung at ofai.at (bernhard.jung at ofai.at)
Date: Mon, 10 Dec 2007 21:08:43 +0100
Subject: CfP -- AT2AI @ AAMAS
Message-ID: <200712102008.lBAK8hZQ004192@fichte.ofai.at>

========================================================================
Call for Papers:                

                     Sixth International Workshop
             "From Agent Theory to Agent Implementation"
                               AT2AI-6
        <URL: http://www.ofai.at/research/agents/conf/at2ai6/>
                       at2ai6 (AT) ofai (DOT) at

              at the Seventh International Conference on
        Autonomous Agents and Multiagent Systems (AAMAS 2008)
              <URL:http://gaips.inesc-id.pt/aamas2008/>

               May 21-13, 2008, Estoril, Portugal (EU)

                Submission deadline: January 25, 2008

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

"From Agent Theory to Agent Implementation" (AT2AI) is a forum to
present and discuss experiences and innovative ideas that help to
strengthen the connection and dialogue between theory and practice of
agent-oriented systems.

AT2AI builds upon the success of previous editions that promoted the
exchange of ideas and experiences, needs and opportunities between
researchers, practitioners and further stakeholders working on and
with the whole range of theoretical and application-oriented aspects
of agent technology.  Of particular relevance to the workshop are
reflections that share insights and lessons learnt when applying
specific agent theories or technologies to application problems, or,
from the recipients' end, when contracting agent technologies to
provide a service envisioned.  The workshop will critique methods,
methodologies, and other tools meant to help system designers to
perceive the full range of options offered by the agent-oriented
approach and to accomplish the mapping between available agent
technology and application needs.  Other stakeholders should be
rewarded with a better understanding of the current potential of and
challenges for agent-oriented systems.

Introduction & Background
-------------------------

Since its first edition in 1998, the symposium series "From Agent
Theory to Agent Implementation" has been not only documenting the
progress in agent-related technologies, but also managed to contribute
to the rapid development of this area. AT2AI actively promotes the
exchange of ideas and experiences between researchers and
practitioners working on the whole range of theoretical and
application-oriented issues of agent technology. It covers both the
micro and macro aspects of agent-oriented design, and discusses the
relations of drawing boards and partly idealised models to modelling
tools and frameworks to deployment, management and maintenance of
implementations. The focus of AT2AI lies in the discussion of direct
experience reports from all stakeholders, so as to remain well aware
of the actual target domains while using the language of current agent
terminology.

Previous AT2AI editions produced a first blueprint of a layered
ecology of technologies for the development of agent based
applications (see http://www.ofai.at/~paolo.petta/conf/at2ai3/ and the
editorial: "Engineering Agent Systems: Best of ``From Agent Theory to
Agent Implementation (AT2AI-3)''" of Applied Artificial Intelligence
16(9-10):671-67, 2003 --- available as OFAI TR-2002-41 from
http://www.ofai.at/tr-online/). This perspective considers middleware,
tools, off-the shelf platforms, integrated development environments
(IDEs), and the like, with respect to their practical value to improve
the application performance delivered. The qualities of these support
technologies can in turn be improved and better exploited with the
design of architectural frameworks and the deployment of
standards. The evolution of these in turn can be assisted by the
development of sound theoretical foundations and related formal
methods. Methodologies are considered as working know-that and
know-how, capturing and maintaining the best practises how to
identify, align, and process application- and environment-derived
(bottom-up) and support technology related (top-down) requirements and
options.

AT2AI also compiled an updated inventory against the maturing agent
field: the status of logic-based approaches was addressed in
particular; but evidence was also provided for how routine
consideration of a multitude of perspectives is finally starting to
meet the requirements posed by serious application needs (including
e.g. issues of privacy and flexible access right management). These
results have been published in the triple issue of Applied AI 20(2-4),
2006.

AT2AI-6 is aimed at pushing the envelope further still, as more
substantial experiences with more sizeable and persisting systems
deployed become available. In addition to the understanding of what
approaches and aspects can contribute in which ways to system
resilience, sustainability, and other properties of practical
importance, further reflection is now starting to identify inherent
dynamical properties that are particular to agent-oriented systems and
that may enable to expand the range of application support
significantly. This for example includes consideration of the pros and
cons of functional and physical approaches to encapsulation, and
accepting and devising solutions to cope with limited control over the
environment and system coherence at the macro level.

This workshop has strong links to two other AAMAS workshops: Agent
Oriented Software Engineering (AOSE) and Programming Multi-Agent
Systems (ProMAS). These workshops will coordinate their activities,
including the organisation of a joint session. Details will be
published on the AT2AI-6 web site in due course.

Topics of Interest
------------------

Of particular relevance to the workshop are reflections that share
insights about experiences and lessons learnt when applying specific
agent theories or architectures to application problems, or, from the
recipients' end, when contracting agent technologies to provide a
service envisioned. Such discussions and critiques may be aimed at
conceptual vocabulary, methods, methodologies, good and bad management
practices, and other tools and activities: anything that may be of
value for system designers to improve the mapping of their
agent-oriented toolbox to application needs, and for other
stakeholders to better understand the available potential and current
challenges of agent-oriented systems.

Topics of interest therefore include, but are not limited to:

 * Conceptual and theoretical foundations
 * Agent languages and architectures
 * The nature and relation of the micro and macro levels
 * Learning and adaptability
 * Communication, coordination and collaboration within MAS
 * Monitoring and regulation of MAS behaviour
 * Reactivity, pro-activeness, autonomy at the macro level
 * Use and adaptation of Meta-Models at run-time
 * Solutions for (soft-)real-time characteristics
 * Social issues in agent societies
 * Safety, security, and responsibility
 * Granularities of system design (single-agent, multi-agent, ant, ...)
 * Agents vs. Middleware vs. Grids vs. Web Services
 * Development, engineering, and management methodologies
 * User interfaces and usability
 * MAS Information interfaces 
   (handling of discrete and continuous information)
 * Testbeds and evaluations
 * Applications of agent technology in routine use
 * Bio-inspired theories/techniques for MAS implementations

Important dates
---------------

January 25,  2008   Submission deadline
February 25, 2008   Paper acceptance notification
March 5,     2008   Camera-ready copies
May 12/13,   2008   Workshop at AAMAS 2008

Submission
----------

Submissions are encouraged to cast the presentation in terms of the
schema described below, or to propose changes to it. As the previous
editions of AT2AI have shown, this is a significant aid for the
workshop audience to grasp more readily the significance of the work
presented and to relate it to their own activities: the quality and
variety of feedback provided to authors improves accordingly, often
leading to persisting fruitful contacts.

       m ---------------------------------------------------+
         e                                                  |
       |   t                 theoretical foundations        |
       |     h                                              |
       |       o -----------------------------------------+ |
       |         d                                        | |
       |       |   o               standards              | |
       |       |     l                                    | |
       |       |       o -------------------------------+ | |
       |       |         g                              | | |
       |       |       |   i       middleware           | | |
       |       |       |     e                          | | |
       |       |       |       s ---------------+       | | |
       |       |       |                        |       | | |
       |       |       |  IDEs |  APPLICATIONS  | tools | | |
       |       |       |       |                |       | | |
       |       |       |       +----------------+       | | |
       |       |       |    off-the-shelf platforms     | | |
       |       |       +--------------------------------+ | |
       |       |                   architectures          | |
       |       +------------------------------------------+ |
       |                        formal methods              |
       +----------------------------------------------------+

Papers should be formatted using Springer LNCS style
(http://www.springer.de/comp/lncs/authors.html) and have a 
maximum of 14 pages.

Papers will have to be submitted through the following page:
http://www.easychair.org/conferences/?conf=at2ai6 in PDF format.

Reviewing process
-----------------

Each paper will be triple reviewed. Criteria for the selection of
papers include: originality, readability, coverage of relevant state
of the art, relevance to themes, soundness, and overall quality. An
affirmative action policy will hold for strongly innovative papers.

Proceedings
-----------

Selected contributions of previous editions were published in Applied
Artificial Intelligence. For the 2008 edition, we again plan to
compile a special issue out of revised and extended versions of
selected papers arising out of the workshop discussions in Applied AI,
Multi-agent and Grid Systems (MAGS), or another journal.

Organising committee
--------------------

Bernhard Jung     Austrian Research Institute for AI (OFAI), AT
Fabien Michel     CReSTIC / LERI, Univ. Reims, FR
Alessandro Ricci  DEIS, Universit� di Bologna, IT
Paolo Petta       Austrian Research Institute for AI (OFAI), AT

Programme Committee
-------------------

Ardissono, Liliana             Goua�ch, Abdelkader           
Bauer, Bernhard                Gustavsson, Rune              
Bergenti, Federico             Hanachi, Chihab               
Boissier, Olivier              Holvoet, Tom                  
Bordini, Rafael                Hubner, Jomi Fred             
Coelho, Helder                 Leite, Jo�o                   
Dastani, Mehdi                 Omicini, Andrea               
Demazeau, Yves                 Platon, Eric                  
Dickinson, Ian                 Schumacher, Michael Ignaz     
El Fallah Seghrouchni, Amal    Simonin, Olivier              
Ferber, Jacques                Vizzari, Giuseppe             
Giorgini, Paolo                van Riemsdijk, Birna          
Gomez Sanz, Jorge J.           Weyns, Danny                  

<EOT>


From jv at imm.dtu.dk  Tue Dec 11 07:03:03 2007
From: jv at imm.dtu.dk (=?iso-8859-1?Q?J=F8rgen_Villadsen?=)
Date: Tue, 11 Dec 2007 07:03:03 +0100 (CET)
Subject: 5th International Workshop on Constraints and Language Processing
Message-ID: <20071211060304.2E96FA50037@pfepb.post.tele.dk>

2008
Sender: =?iso-8859-1?Q?J=F8rgen_Villadsen?= <jv at imm.dtu.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
Date: Tue, 11 Dec 2007 07:03:07 +0100
Message-ID: <20071211060307718.539B791E4CCC28DF at nbjv>
X-Priority: 3 (Normal)
Importance: Normal

CALL FOR PAPERS
5th International Workshop on Constraints and Language Processing (CSLP2008)
http://control.ruc.dk/CSLP2008.html
August 11-15, 2008

organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/), 4-15 August, 2008 in Hamburg, Germany

Workshop Organizers:

Philippe Blache (Provence University, France)
Henning Christiansen (Roskilde University, Denmark), co-chair henning at ruc.dk
Veronica Dahl (Simon Fraser University, Canada)
J�rgen Villadsen (Technical University of Denmark), co-chair jv at imm.dtu.dk

Workshop Purpose:

The CSLP 2008 workshop addresses the question of constraints and language processing from an interdisciplinary perspective. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: natural language processing, knowledge representation, cognitive modelling, problem solving
mechanisms, etc. The purpose is to pursue a paradigm, unifying the different approaches into a common framework capable of explaining how constraints play a role in representing, processing and acquiring linguistic information, and this from a formal, technical, and cognitive perspective.

Workshop Topics:

The topics include, but are not limited to, constraint-based linguistic theories, constraints in human language comprehension and production, context modelling and discourse interpretation, acquisition of constraints, probabilistic constraint-based reasoning, constraint satisfaction
technologies and constraint logic programming.

Submission details:

Authors are invited to submit a full paper of up to 12 pages in PDF format.
The font size must be at least 10 pt when printed on A4 paper.
It is recommended that the LaTeX "article" style is used.
Previously published papers cannot be accepted.
The submissions will be reviewed by the program committee.
The accepted papers will appear in the workshop proceedings published by ESSLLI.
One author for each accepted paper must attend the workshop in order to present the paper.
A volume at an international publisher will be considered for selected and revised papers, if number and quality of submissions permits.
Please use the CSLP 2008 submission page handled by the EasyChair conference system: http://www.easychair.org/conferences/?conf=CSLP2008

Workshop format:

The workshop is part of ESSLLI and is open to all ESSLLI participants. 
It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI.

Invited Speakers:
TBA

Workshop Programme Committee:

Philippe Blache (Provence University, France)
Henning Christiansen (Roskilde University, Denmark), co-chair
Veronica Dahl (Simon Fraser University, Canada)
Denys Duchier (University of Orl�ans, France)
John Gallagher (Roskilde University, Denmark)
Claire Gardent (CNRS/LORIA, Nancy, France)
Barbara Hemforth (Provence University, France)
M. Dolores Jim�nez-L�pez (Tarragona, Spain)
Lars Konieczny (Freiburg University, Germany)
Shalom Lappin (King's College, UK)
Detmar Meurers (Ohio State University, USA)
V�ronique Moriceau (LIMSI-CNRS, Orsay, France)
Gerald Penn (University of Toronto, Canada)
Kiril Simov (Bulgarian Academy of Sciences, Bulgaria)
J�rgen Villadsen (Technical University of Denmark), co-chair
Eric Villemonte de la Clergerie (INRIA, France)

Important Dates:
Submission Deadline: March 8, 2008
Notification: April 21, 2008
Preliminary Program: April 24, 2008
ESSLLI Early Registration: May 1, 2008
Final Papers for Proceedings: May 17, 2008
Final Program: June 21, 2008
Workshop Dates: August 11-15, 2008

Local Arrangements:

All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. There will be no reimbursement for travel costs and accommodation.

Further Information:

About the workshop: http://control.ruc.dk/CSLP2008.html
About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/


From reiner at chalmers.se  Tue Dec 11 16:22:44 2007
From: reiner at chalmers.se (=?iso-8859-15?Q?Reiner_H=E4hnle?=)
Date: Tue, 11 Dec 2007 16:22:44 +0100 (CET)
Subject: Ph.D. position at Chalmers Univ., Sweden in Formal Methods/Dependable
 Computing
Message-ID: <alpine.DEB.0.99.0712111611290.11901@reiner-desktop>

Ph.D. position at Chalmers in Formal Methods/Dependable Computing
=================================================================

Application deadline January 11, 2008. Reference number 2007/178

The Department of Computer Science and Engineering of Chalmers University 
is offering a Ph.D position. The Department provides strongly 
international and dynamic research environments with 75 faculty and 75 PhD 
students from over 30 countries. For more information, see 
http://www.chalmers.se/cse/EN/.

The Ph.D. student will be part of the Formal Methods research group. The 
position is located in the CEDES project (Cost Efficient Dependable 
Electronic Systems, a joint project in collaboration with Volvo Car 
Corporation, Volvo AB, Autoliv Electronics AB, and SP Technical Research 
Institute of Sweden. CEDES aims at developing techniques and methods to 
design and build cost efficient, dependable automotive electronics, see 
http://www.cedes.se/.

The research work in the advertised Ph.D. position will concentrate on 
using formal methods for automated location of fault injection points in 
safety-critical software written in C, partly supplied by the industrial 
project partners. It will include experiments with the KeY tool, a 
state-of-art verification and test generation tool partially developed at 
Chalmers (http://www.key-project.org/). The KeY tool supports Java and C 
as target languages. Its C front end will have to be extended and 
specifically instrumented as part of the envisaged research.

Applicants
----------

  * shall have a Master Degree or corresponding (sw. civilingenjörsexamen)
    in Computer Science and Engineering, Electrical Engineering, Physics
    Engineering or an equivalent degree. You may even apply if you have not
    yet completed your degree, but expect to do so by 1 February 2008.

The applicant should possess as many of the following qualifications as 
possible:

  * programming skills in Java and C
  * interest in both formal methods and dependable computing
  * experience with program analyses and/or compilation technologies
  * documented capability of doing research (e.g., with a research-oriented
    MS thesis or a first paper)
  * good communication skills; as the project is done in collaboration with
    the Swedish industry, it is necessary to learn Swedish to the extent of
    being able to read technical documentation
  * high motivation and a genuine interest in the area of the project

In order to improve gender balance, Chalmers welcomes in particular 
applications from female candidates.

Details about employment
------------------------

Ph.D. student positions are limited to five years and normally include 20 
per cent departmental work, mostly teaching duties. Salary follows 
Chalmers' general agreement for Ph.D. student positions.

Further information
-------------------

Deputy Head of department, Pro-Prefect for Postgraduate Studies and CEDES 
project leader:
Reiner Hähnle, tel. +46 31-772 1061, email: reiner at chalmers.se

How to apply
------------

The full application should contain:
1. A letter of application with the reference number 2007/178 stated,
    listing specific research interests
2. A curriculum vitae
3. Copies of relevant work, for example your M.Sc-thesis, dissertation, or
    any articles, that you have authored or co-authored
4. Letters of recommendation from your teachers or employers.

Closing date for the application is January 11, 2008.

The application should preferably be sent by email to:

  registrator at chalmers.se

or else by surface mail to:

  Registrator
  Chalmers University of Technology
  SE-412 96 Göteborg, Sweden
  Phone via Chalmers exchange: +46 31 772 10 00
  Fax of registrator: +46 31 772 49 22

All applications *must* be sent to the registrator with reference number 
2007/178, otherwise they cannot be processed!

Union representatives
---------------------

SACO Jan Lindér
ST-ATF Marie Wenander
SEKO Ralf Berndtsson
All reachable via Chalmers exchange: +46 31 772 10 00

--
( Reiner H"ahnle                     Phone:       +46-31-772-1061 )
) Professor of Computer Science      Email:    reiner at chalmers.se (
( Chalmers University of            `Nichts,                      )
)  Technology                               Niemand,              (
( Department of Comp. Science & Engg.               Nirgends,     )
) 412 96 Gothenburg, Sweden                                  Nie' (
( http://www.cs.chalmers.se/~reiner               -- Arno Schmidt )

From david.mainzer at tu-clausthal.de  Wed Dec 12 10:48:25 2007
From: david.mainzer at tu-clausthal.de (David Mainzer)
Date: Wed, 12 Dec 2007 10:48:25 +0100
Subject: subscribe
Message-ID: <475FAE69.1090800@tu-clausthal.de>




From thor at informatik.uni-leipzig.de  Thu Dec 13 15:16:36 2007
From: thor at informatik.uni-leipzig.de (Andreas Thor)
Date: Thu, 13 Dec 2007 15:16:36 +0100
Subject: CFP:  WAIM08 - Web-Age Information Management, Zhangjiajie, China
In-Reply-To: <4731D49A.4090500@informatik.uni-leipzig.de>
References: <4731D49A.4090500@informatik.uni-leipzig.de>
Message-ID: <47613EC4.1090405@informatik.uni-leipzig.de>

[Apologies if you receive multiple copies of this message.]

WAIM 2008 Call for Papers

The Ninth International Conference on Web-Age Information Management

URL: http://waim2008.nudt.edu.cn/index.html

Email: waim2008 at nudt.edu.cn

July 20-22, 2008, Zhangjiajie, China

Organized by National Laboratory for Parallel and Distributed 
Processing, China.

Sponsored by: Database Society, Chinese Computer Federation; Natural 
Science Foundation of China

The rapid development and prevalent use of the World Wide Web continue 
to stimulate the need for new technologies for the design, 
implementation and management of better Web-based information systems.
With widely distributed data of diverse types (structured records, 
texts, images, video/audio, etc) from millions of autonomous sites and 
hundreds of millions of users, the Web introduces new challenges beyond 
the capabilities of traditional database and information retrieval 
systems. These challenges include the development of effective and 
efficient techniques and tools for querying, retrieving, integrating, 
analyzing, and managing the data on the Web.

WAIM'08 will continue the fine tradition of the previous WAIM 
conferences in providing an international forum for researchers and 
practitioners in the Web and database communities to share and exchange 
new ideas, results, experience, techniques and tools related to all 
aspects of Web data management. The conference invites original research 
and industrial papers on the theory, design and implementation of 
Web-based information systems, as well as proposals for demonstrations, 
tutorials and panels. WAIM'08 is expected to attract outstanding 
researchers from all over the world to Zhangjiajie, one of the most 
beautiful areas in China.

WAIM'08 topics include but are not limited to the following areas

- Advanced application of databases
- Biological and genome information systems
- Data mining and knowledge discovery
- Data and information quality control
- Data grid
- Data migration and integration
- Database security
- Emerging Web technologies
- Information retrieval
- Interoperability and heterogeneous systems
- Location dependent data management
- Mobile data management
- Multidimensional databases and OLAP
- Multimedia information systems
- Parallel and distributed database systems
- Peer-to-peer data management
- Performance and benchmarking
- Query processing and optimization
- Semantic web and web ontology
- Spatial and temporal databases
- Storage management and access methods
- Web community analysis
- Web mining
- Web data management
- Web services and information management
- Workflow and E-services
- XML and semi-structured data management

PUBLICATION and PAPER SUBMISSION
The proceedings will be published by IEEE Computer Society’s Conference 
Publishing Services (agreement pending).

All submitted manuscripts must be in English. Only original manuscripts 
whose main technical contents have not been published by or submitted to 
other conferences and journals are allowed. If a paper is accepted, at 
least one author is required to attend the conference to present the 
work. Authors are required to submit a paper title and short abstract 
(about 100 words) before submitting the paper. Paper submission will be 
electronic through the WAIM'08 paper submission site 
(https://cmt.research.microsoft.com/WAIM2008/Default.aspx). Information 
about paper format is forthcoming at the WAIM 2008 website. Papers not 
satisfying the above requirements will be rejected without review.

Best Paper Awards and Special Issue of JCST

Hongjun Lu Best Paper Award and Hongjun Lu Best Student Paper Award will 
be given to the best regular paper and the best student paper, 
respectively. For a paper to qualify for consideration for the Hongjun 
Lu Best Student Paper Award, the first author of the paper must be a 
student by the time the paper is submitted to WAIM 2008. The best papers 
will be selected by the best paper selection committee.

Authors of selected high quality papers will be invited to submit 
extended manuscripts for possible publication in a special issue of 
Journal of Computer Science and Technology (JCST). The extended 
manuscripts will go through another round of review.

WORKSHOP, PANELS, TUTORIALS, INDUSTRIAL PAPERS AND DEMOS
In addition to technical contributions, WAIM'08 invites proposals for 
workshops, panels and tutorials, as well as industrial and demo papers. 
For workshops, WAIM'08 will provide administrative support for workshop 
room booking, registration, and publication. Information about the 
format for industrial papers and demo proposals will be available at the 
WAIM 2008 website soon. All submitted industrial and demo papers must 
have not been published by or submitted to other conferences and 
journals. All accepted industrial and demo papers will be published in 
the main proceedings of the conference. Papers accepted by WAIM'08 
workshops will be published separately.

Workshop, panel and tutorial Proposals and industrial and demo papers 
should be sent as e-mail attachments to the corresponding chairs.

IMPORTANT DATES
Abstracts of research papers due: January 8, 2008
Full research papers due: January 15, 2008
Industrial/Demo papers due: January 15, 2008
Acceptance notification:  March 17, 2008
Camera-ready copy: April 17, 2008

Workshop proposals: January 22, 2008
Panel/Tutorial Proposals: March 24, 2008


ORGANIZING COMMITTEE

Honorary Conference Chair:
Huowang Chen, National Laboratory for Parallel and Distributed 
Processing, China

General Co-Chairs:
Jianzhong Li, Harbin Institute of Technology, China.
Clement Yu, University of Illinois at Chicago, USA.

Program Committee Co-Chairs:
Yan Jia, National Laboratory for Parallel and Distributed Processing, China.
Weiyi Meng, State University of New York at Binghamton, USA.

Proceedings Chair:
Ning Jing, National University of Defense Technology, China.

Industrial Track Chair:
Jiangning Liu, CVIC Software Engineering CO., China

Demonstration Track Chair:
Dongwon Lee, Penn State University, USA

Tutorial Chair:
Susan Gauch, University of Arkansas, USA

Workshop Chair:
Weihong Han, National Laboratory for Parallel and Distributed 
Processing, China

Panel Chair:
Aoying Zhou, Fudan University, China

Publicity Co-Chairs:
Andreas Thor, University of Leipzig, Germany
Wai Gen Yee, Illinois Institute of Technology, USA
Lihua Yue, University of Science and Technology of China, China

Local Arrangements Co-Chairs:
Shuqiang Yang, National Laboratory for Parallel and Distributed 
Processing, China
Wei Xiong, National University of Defense Technology, China

Steering Committee Liaison:
Sean X. Wang, University of Vermont, USA


PROGRAM COMMITTEE
- James Bailey, University of Melbourne, Australia
- Sourav S. Bhowmick, Nanyang Technological University, Singapore
- Lei Chen, Hong Kong Univ. of Sci. & Tech., Hong Kong
- Qiming Chen, Hewlett-Packard Laboratories, USA
- Reynold Cheng, Hong Kong Polytechnic University, Hong Kong
- Gao Cong, Microsoft Research Asia, China
- Alfredo Cuzzocrea, University of Calabria, Italy
- Xiaoyong Du, Renmin University of China, China
- Ling Feng, Tsinghua University, China
- Ophir Frieder,Illinois Institute of Technology, USA
- Jun Gao, Peking University, China
- Madhusudhan Govindaraju, State University of New York at Binghamton,USA
- Stephane Grumbach, LIAMA(The Sino-French IT Lab Institute of 
Automation), China
- Giovanna Guerrini, Universita di Genova, Italy
- Weihong Han, National Laboratory for Parallel and Distributed 
Processing,China
- Yoshiharu Ishikawa, Nagoya University, Japan
- Ruoming Jin, Kent State University, USA
- Hiroyuki Kitagawa, University of Tsukuba, Japan
- Chiang Lee, National Cheng-Kung University, Taiwan
- Dik Lun Lee, Hong Kong University of Science and Technology, China
- Wang-Chien Lee, Pennsylvania State University, USA
- Yoon-Joon Lee, Korea Advanced Institute of Science and Technology 
(KAIST), Korea
- Jinyan Li, Nanyang Technological University, Singapore
- Qing Li, City University of Hong Kong, Hong Kong
- Quanzhong Li, IBM, USA
- Ee Peng Lim, Nanyang Technological University, Singapore
- Xuemin Lin, University of New South Wales, Australia
- Tok Wang Ling, National University of Singapore, Singapore
- Chengfei Liu, Swinburne University of Technology, Australia
- Huan Liu, Arizona State University, USA
- Jiangning Liu, CVIC Software Engineering CO, China
- Qiong Luo, Hong Kong Univ. of Sci. & Tech., Hong Kong
- Xiaofeng Meng, Renmin University, China
- Mukesh K Mohania, IBM India Research Lab., India
- Anne H. H. Ngu, Texas State University, USA
- Wilfred Siu-Hung Ng, Hong Kong University of Science and Technology,China
- Jian Pei, Simon Fraser University, Canada
- Zhiyong Peng, Wuhan University, China
- Evaggelia Pitoura, University of Ioannina, Greece
- Weining Qian, Fudan University, China
- Vijay Raghavan, University of Louisiana at Lafayette, USA
- Keun Ho Ryu, Chungbuk National University, Korea
- Albrecht Schmidt, Aalborg University, Denmark
- Heng Tao Shen, University of Queensland, Australia
- Timothy K. Shih, Tamkang University, Taiwan
- Markus Schneider, University of Florida, USA
- Changjie Tang, Sichuan University, China
- David Taniar, Monash University, Australia
- Yufei Tao, Chinese University of Hong Kong, Hong Kong
- Yicheng Tu, University of South Florida, USA
- Anthony Tung, National University of Singapore, Singapore
- Guoren Wang, Northeastern University, China
- Haixun Wang, IBM T. J. Watson Research Center, USA
- Jianyong Wang, Tsinghua University, China
- Shan Wang, Renmin University, China
- X. Sean Wang, University of Vermont, USA
- Wei Wang, Fudan University, China
- Wei Wang, University of New South Wales, Australia
- Jirong Wen, Microsoft Research Asia, China
- Raymond Wong, University of New South Wales, Australia
- Wensheng Wu, IBM, USA
- Zonghuan Wu, University of Louisiana at Lafayette, USA
- Wei Xiong National University of Defense Technology, China
- Shuqiang Yang National Laboratory for Parallel and Distributed 
Processing, China
- Jian Yang, Macquarie University, Australia
- Jun Yang, Duke University, USA
- Ge Yu, Northeastern University, China
- Jeffrey Xu Yu, Chinese University of Hong Kong, China
- Lei Yu, State University of New York at Binghamton, USA
- Philip S. Yu, University of Illinois at Chicago, USA
- Qing Zhang, CSIRO, Australia
- Yanchun Zhang, Victoria University, Australia
- Hongkun Zhao, Bloomber, USA
- Aoying Zhou, Fudan University, China
- Lizhu Zhou, Tsinghua University, China
- Xuan Zhou, L3S Research Center, Germany
- Yongluan Zhou, EPFL, Switzerland
- Qiang Zhu, University of Michigan, USA


From fs at doc.ic.ac.uk  Thu Dec 13 20:38:52 2007
From: fs at doc.ic.ac.uk (F Sadri)
Date: Thu, 13 Dec 2007 19:38:52 +0000
Subject: CPF: (ASAmI'08) 2nd Symposium on  "Artificial Societies for Ambient
 Intelligence"
Message-ID: <47618A4C.6020705@doc.ic.ac.uk>


  2nd Symposium on
  "/*Artificial Societies for Ambient Intelligence*/"
  (ASAmI'08)


      AISB Convention,
      <http://www.aisb.org.uk/convention/aisb08/index.html> 3rd April
      2008, Aberdeen, UK.

SEE:  http://asami08.cs.rhul.ac.uk/

*Background & Motivation *

The vision of Ambient Intelligence (AmI) is a society based on 
unobtrusive, often invisible interactions amongst people and 
computer-based services in a global computing environment. Services in 
AmI will be ubiquitous in that there will be no specific bearer or 
provider but, instead, they will be associated with a variety of objects 
and devices in the environment, which will not bear any resemblance to 
computers. People will interact with these services through intelligent 
and intuitive interfaces embedded in these objects and devices, which in 
turn will be sensitive to what people need.

For a large class of the envisaged AmI applications, the added value of 
these new services is likely to be for people in ordinary social 
contexts. Such applications beg for technologies that are transparent, 
so that their functional behaviour can be understood easily. Put simply, 
transparency should bring AmI interactions closer to the way people 
think rather than the way machines operate.

Another challenge posed by the AmI vision is that the electronic part of 
the ambience will often need to act intelligently on behalf of people. 
The conceptual components of ambience will need to be both reactive and 
proactive, behaving as if they were agents that act on behalf of people. 
It would be more natural, in other words, to use the agent metaphor in 
order to understand components of an intelligent ambience. An agent in 
this context can be a software (or hardware) entity that can sense and 
affect the environment, has knowledge of the environment and its own 
goals, and can proactively plan to achieve its goals or those of its 
user(s), so that the combined interactions of the electronic and 
physical environment provide a desirable outcome for one or more people.

If we assume that agents are abstractions for the interaction within an 
ambient intelligent environment, one aspect that we need to ensure is 
that their behaviour is regulated and coordinated, so that the system as 
a whole functions effectively. For this purpose, we need rules that take 
into consideration the social context in which these interactions take 
place, and the whole system begs for an organisation similar to that 
envisaged by artificial agent societies. The society is there not only 
to regulate behaviour but also to distribute responsibility amongst the 
member agents.

*Goals*

We expect that the symposium will help develop scenarios for the use of 
agent societies for AmI, establish a body of knowledge and a theoretical 
framework in this context, use the framework to link existing work on 
related areas such as the semantic web, cognitive and social agents, and 
ambient and ubiquitous technologies. We also anticipate to present 
current research in the area of agent societies for AmI, where people 
activities are mapped onto social organisations of agents, computing 
devices or both, and assess the outcomes of such research. The symposium 
will identify issues for future investigation, establish links between 
researchers and encourage international collaborations.

* Topics *

Topics of relevance to the symposium include, but are not limited to, 
the following:

    * Social architectures
    * Agent interaction
    * Reasoning and knowledge representation
    * Reactivity and pro-activity
    * Learning
    * Decision making
    * Co-operation and co-ordination
    * Social emergence and evolution
    * Normative reasoning and regulations
    * Security, trust and privacy
    * Interaction design and interfaces
    * Mobility
    * Applications

This workshop complements previous events, such as the /European 
Symposium on Ambient Intelligence,/ and ongoing events, such as /ESAW/ 
and /AITAmI/ workshop series.


*Important Dates*

This one-day Symposium has the following important dates:

Submission Deadline: 14 January 2008
Notification: 15 February 2008
Camera Ready Copy Due: 29 February 2008
Workshop Date: 3rd April 2008

*Submission*

Submission is now open through OpenConf. 

*Proceedings*

A printed volume of the proceedings will be available at the symposium. 
Selected best papers of ASAMI2008 would be considered as a special issue 
of the /International Journal on Autonomous and Adaptive Communications 
Systems/. IJCAS intends to be the leader journal in the area.


*Co-Chairs *

/Dr. Fariba Sadri /
fs 'at' doc.ic.ac.uk
Department of Computing
Imperial College, U.K.

/Dr. Kostas Stathis /
kostas 'at' cs.rhul.ac.uk
Department of Computer Science,
Royal Holloway, U. of London, U.K.


*Program Committee*

/Alexander Artikis /
(NCSR Demokritos, Greece)

/Juan Carlos Augusto/
(University of Ulster at Jordanstown, UK)

/Cristiano Castelfranchi /
(CNR, Italy)

/ Oscar DeBruijn/
(University of Manchester, UK)

/Paul J. Feltovitch/
(IHMC, USA)

/Marie-Pierre Gleizes/
(IRIT, France)

/Gregory O'Hare/
(University College Dublin, Ireland)

/Andrea Omicini /
(University of Bologna, Italy)

/Paolo Petta /
(Medical Univ. of Vienna, Austria)

/Jeremy Pitt /
(Imperial College, UK)

/Eric Platon /
(NII, Japan)

/Alessandro Ricci /
(University of Bologna, Italy)

/Nicolas Sabouret/
(Laboratoire d'Informatique de Paris 6, France)

/Fariba Sadri /
(Imperial College, UK)

/Rob Saunders/
(University of Sydney, Australia)

/Daniel Shapiro/
(Stanford University, USA)

/ Maarten Sierhuis /
(NASA, US)

/Kostas Stathis/
(Royal Holloway - U. of London, UK)

/Francesca Toni /
(Imperial College, UK)

/George Vouros/
(University of Aegean, Greece)

/Pinar Yolum /
(Bogazici University, Turkey)




From Klaus.Fischer at dfki.de  Thu Dec 13 22:02:04 2007
From: Klaus.Fischer at dfki.de (Klaus Fischer)
Date: Thu, 13 Dec 2007 22:02:04 +0100
Subject: First Call for Papers: ATOP@AAMAS2008
Message-ID: <200712132202.05012.Klaus.Fischer@dfki.de>

[Please accept our apologies if you receive multiple postings.]

			       Call for Papers

		  Agent-based Technologies and applications
		       for enterprise interOPerability
				  ATOP 2008

		  (http://www-ags.dfki.uni-sb.de/~kuf/atop)

			  Workshop to be held at the
		  Seventh International Joint Conference on
	     Autonomous Agents & Multiagent Systems (AAMAS 2008)
		    (http://gaips.inesc-id.pt/aamas2008/)

			      Estoril, Portugal

			     12 or 13th May 2008
				   
MOTIVATION

Today's enterprises operate in a dynamic environment which is characterized by
global  outsourcing, shrinking  product life-cycles,  and unstable  demand. To
prosper  in  this  environment,  enterprises  face a  growing  need  to  share
information and  to collaborate  with each  other at all  levels of  the value
chain.    As  organizations   are  gradually   transforming   into  "networked
organizations",  interoperability becomes  the main  challenge to  realize the
vision  of  seamless business  interaction  across organizational  boundaries.
Interoperability  problems occur at  different levels:  at the  business level
(how organizations do business together, what needs to be described and how?),
at the  knowledge level (different  formats, schemas, and ontologies),  and at
the level  of the underlying information and  communication technologies (ICT)
and systems.

Agent  technologies  provide  a  cross-cutting approach  promising  to  enable
intelligent  and  proactive   automation,  adaptive  planning  and  execution,
decentralized coordination,  and semantic interoperability.   The Model-Driven
Architecture  (MDA)   is  another  promising  approach  for   the  support  of
interoperability  due  to  its  promise  of  providing  consistent  models  at
different  abstraction  layers with  well-defined  mappings  in between  these
layers.  As  a third thread  of activity Service-Oriented  Architectures (SOA)
try  to reach  interoperability, focusing  upon,  but not  restricted to,  the
information and  communication technology (ICT) level.   The main contribution
and  goal  of  SOA  is  to  achieve loose  coupling  among  software  entities
representing business objects (processes, organizational units, etc.).

Agents, MDA, and SOA provide complementary solution components to parts of the
enterprise interoperability problems.  Agents enable dynamic collaboration and
orchestration   in  changing  and   unpredictable  situations;   MDA  provides
mechanisms  that generate  artifacts  for different  platforms;  SOA gives  us
late-binding  interoperability  between   business  process  requirements  and
providers of service implementations. It  is unlikely, then, that any of these
approaches   will   succeed   stand-alone   in   achieving   the   degree   of
interoperability that  will be necessary  to successfully construct,  run, and
optimize networked organizations.   It is rather likely that  a combination of
these  basic  technologies  will  evolve  in  the next  years  to  provide  an
appropriate  basis  for  interoperability.   Therefore the  workshop  aims  at
bringing together  researchers and fostering interaction  and collaboration to
work jointly on solutions to achieve interoperability.

The  workshop  focuses  on   technologies  that  support  interoperability  in
networked organizations, on successful applications of these technologies, and
on lessons  learned.  The main  goal is to  stimulate a discussion on  how far
agent technologies can support interoperability in this context and to compare
current  trends   in  the  development  of  agent   technologies  with  recent
developments in  service-oriented and model-driven system  design with respect
to their  ability to solve interoperability  problems.  Regarding model-driven
system design the presentation and  discussion of metamodels of the underlying
technologies  like   for  example  agent   technologies  and  service-oriented
architectures is especially of interest.

WORKSHOP TOPICS

We  would like  to focus  the  ATOP 2008  around modeling  and metamodels  for
interoperability  in agent-based  systems and  business  applications. Ideally
submitted  papers  should  deal   with  model-driven  agent  technologies  and
methodologies in the context of:

     * simulation and validation of business systems
     * decision-support in value creation networks
     * enterprise and business process modeling
     * case studies of implemented interoperability solutions and
       systems
     * coordination and negotiation in distributed business networks
     * cross-organizational business processes
     * normative environments for enterprise agents interoperability
     * decentralized and peer-to-peer models and enactment of
       business processes
     * goal-driven and adaptive business process management
     * semantic annotations of business process descriptions
     * intelligent enterprise application integration
     * business process modeling, enactment and integration
     * intelligent execution, monitoring, management, and optimization
       of business processes
     * service-oriented architectures and related topics like service
       choreography, orchestration, composition, brokering, and mediation
     * autonomic computing and adaptive autonomous architectures
     * model-driven architectures for business processes and systems
     * models and meta-models for agent-based systems
     * platform-independent models and their relation to agent models
     * model-to-model and model-to-text transformations
     * knowledge representations and ontologies in the context of
       (collaborative) business processes
     * agent communication languages and standards
     * self-organization and adaptation in the context of interoperable systems

The discussion  of agent  technologies is recommended  as it relates  with the
interoperability  objective.  However, a  proposal  of  new, preferably  model
driven, techniques  or technologies  to increase interoperability  of business
applications  without direct  reference to  agent technologies  is acceptable,
too.  Still   it  is  recommended  that   such  work  should   be  related  to
agent-oriented  approaches   if  such  approaches   already  exist.  Workshops
specializing in some of the topics mentioned in the above list will be held at
AAMAS 2008.  Authors of papers that  are dealing with such topics without much
discussion of  interoperability aspects are encouraged to  submit their papers
to  the more  specialized  workshops.  The  workshop  organizers will  closely
collaborate in the evaluation  of the papers.  Therefore, multiple submissions
do not increase the chance of a paper to be accepted.

SUBMISSION DETAILS

Authors  should submit  original research  papers  (must not  exceed 12  pages
including all figures and tables) including  an abstract of about 200 words or
position  papers  (must  not  exceed  3  pages). In  any  case  submission  of
preliminary  abstracts some time  before the  official submission  deadline is
very much appreciated. All submissions must be sent electronically to

			    Klaus.Fischer at dfki.de

Acceptable formats  are PDF  and PostScript.  It  is planned to  structure the
workshops into  invited talks, technical presentations  and panel discussions.
A  publication of  selected  workshop  papers is  planned  in Springer's  LNAI
series.       Formatting      instructions      can      be      found      at
http://www.springer.de/comp/lncs/authors.html    and   should    be   strictly
followed. The first  page should include the full name  and contact details of
at least one author (email and full postal address).

IMPORTANT DATES

Submissions due              January 25 2008
Notifications sent           February 25 2008
Final papers due             March 5 2008
Workshop                     May 12 or 13 2008

ORGANIZING COMMITTEE

Arne-Jorgen Berre, SINTEF, Norway
Klaus Fischer, DFKI, Germany
James Odell, Oslo Software, USA
Joerg P. Mueller, Technische Universitaet Clausthal, Germany

PROGRAM COMMITTEE

Sahin Albayrak, TU Berlin, Germany
Bernhard Bauer, University Augsburg, Germany
Amit Chopra, NC State University, USA
Michael Georgeff, Monash University, Australia
Axel Hahn, University Oldenburg, Germany
Christian Hahn, DFKI, Germany
Oystein Haugen, SINTEF, Norway
Timo Kahl, IWi, Germany
Stefan Kirn, Hohenheim University, Germany
Renato Levy, IAI, USA
Margaret Lyell, IAI, USA
Saber Mansour, Oslo Software, France
Michele Missikoff, LEKS; IASI-CNR, Italy
Eugenio Oliveira, University of Porto, Portugal
Herve Panetto, University Nancy, France
Omer Rana, Cardiff University, UK
Ralph Ronnquist, Intendico Pty. Ltd., Australia
Rainer Ruggaber, SAP, Germany
Omeir Shafiq, Digital Enterprise Research Institute (DERI), Austria
Carles Sierra, IIIA, Spain
Leon Sterling, Melbourne University, Australia
Hiroki Suguri, Comtec, Japan
Joerg Ziemann, IWi, Germany
Ingo Zinnikus, DFKI, Germany


From bit.precise.reasoning at gmail.com  Sun Dec 16 05:07:13 2007
From: bit.precise.reasoning at gmail.com (Workshop BPR)
Date: Sat, 15 Dec 2007 20:07:13 -0800
Subject: Subscribe me!
Message-ID: <a7f861b0712152007n5a0a23eah821f0a7fddf0e98c@mail.gmail.com>


-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071215/8848ea24/attachment.html>

From bit.precise.reasoning at gmail.com  Sun Dec 16 05:29:39 2007
From: bit.precise.reasoning at gmail.com (Workshop BPR)
Date: Sat, 15 Dec 2007 20:29:39 -0800
Subject: Confirmation Request (3777491226)
In-Reply-To: <listadmin-28535687@tu-clausthal.de>
References: <listadmin-28535687@tu-clausthal.de>
Message-ID: <a7f861b0712152029u463c4ab6w558a391558d6042f@mail.gmail.com>

On Dec 15, 2007 8:13 PM, event administration <event-feed at in.tu-clausthal.de>
wrote:

> This is an automated message from the
>  <event at in.tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe(feed) operation
>  for your <bit.precise.reasoning at gmail.com> address
>
> If you want to confirm this operation,
>  use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>  the confirmation ID: 3777491226,
>  the reply is directed to <event-feed at in.tu-clausthal.de>,
>  and the 'From' address of your reply is <bit.precise.reasoning at gmail.com
> >.
>
> If you do not want to confirm the requested operation, simply do nothing
>
> All requests about this mailing list
>  should be sent to <event-request at in.tu-clausthal.de>
>
>
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071215/d0e1a1fc/attachment.html>

From axel at platon.escet.urjc.es  Sun Dec 16 10:46:09 2007
From: axel at platon.escet.urjc.es (axel at platon.escet.urjc.es)
Date: Sun, 16 Dec 2007 10:46:09 +0100 (CET)
Subject: WARNING! (2885443980)
In-Reply-To: <listadmin-28537751@tu-clausthal.de>
References: <listadmin-28537751@tu-clausthal.de>
Message-ID: <49174.89.100.226.250.1197798369.squirrel@platon.escet.urjc.es>

> This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
> List messages sent to your address <axel.polleres at urjc.es> have bounced.
>
> If you read this message, your mail system has been probably fixed.
>
> To clear the bounce counter and to prevent automatic cancelation of
>   your subscription, use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>   the confirmation ID: 2885443980,
>   and the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <axel.polleres at urjc.es>.
>
> All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>
>
>
>




From lobrst at mitre.org  Sun Dec 16 18:19:03 2007
From: lobrst at mitre.org (Obrst, Leo J.)
Date: Sun, 16 Dec 2007 12:19:03 -0500
Subject: CFP:  Interdisciplinary Ontology Conference, Tokyo, February 26-27,  2008
Message-ID: <9F771CF826DE9A42B548A08D90EDEA80029E181F@IMCSRV1.MITRE.ORG>

Apologies for cross-postings and duplications. Please forward to
colleagues. 


*******************************************************************
    Interdisciplinary Ontology Conference (InterOntology08 Tokyo)
*******************************************************************
We are pleased to announce an international conference to be held in
Tokyo on February 26-27, 2008. The conference will be co-organized and
co-sponsored by

  - JCOR: the Japanese Center for Ontological Research
  - NCOR: the (US) National Center for Ontological Research
  - ECOR: the European Center for Ontological Research

On the afternoon of Tuesday February 26 a special session will be held
on Biomedical Ontology, jointly organized by JCOR and the (US) National
Center for Biomedical Ontology.

This conference will serve to launch JCOR (the Japanese Centre for
Ontological Research), which has recently been funded by the Japanese
Government's Ministry of Education and Science (MEXT) under the
framework of the Open Research Centre on Logic and Formal Ontology.

The conference will be held at Keio University, Tokyo.

The invited speakers include;
  - Alan Ruttenberg (USA)
  - Werner Ceusters (USA)
  - Nicola Garino (Italy)
  - Riichiro Mizoguchi (Japan)
  - Mark Musen (USA), under negotiation
  - Jun Nakaya (Japan)
  - Barry Smith  (USA)
  - Takahira Yamaguchi (Japan)

Other invited speakers will be announced soon.

The purpose of the conference is to exchange ideas and state-of-the-art
technologies among researchers from different regions of the world
across various areas of ontology, including philosophy, informatics, AI
and biomedical sciences.

** CALL FOR PAPERS
Submissions are invited of short papers in pdf format up to 5 pages,
using the templates soon to be posted on our conference homepage:
http://abelard.flet.keio.ac.jp/ontology/
These papers are designed to serve as the basis for 20-minute oral 
presentations
at the conference. Accepted papers will be published in a volume of
Conference
Proceedings.

We apologize for the early deadline, but authors of accepted papers
will
have an opportunity at a later stage to submit extended versions.

Papers may address a wide variety of issues relating to ontology and
its
applications. Papers should be submitted before the deadline to:
interontology_AT_abelard.flet.keio.ac.jp

Deadlines
Receipt of short papers: Dec. 27th, 2007, at 12:00 Noon at the Japanese
Standard Time.
Notification of acceptance: Jan. 5th, 2008
(Final versions due: Jan. 12th, 2008)

For inquiries please write to
interontology_AT_abelard.flet.keio.ac.jp

The Scientific Committee of InterOntology08 will include
  - John Batemen (ECOR)
  - Mathias Brochhausen (ECOR)
  - Werner Ceusters (NCOR, USA)
  - Pierre Grenon (ECOR, Germany)
  - Hiromichi Fukui (Keio University, Japan)
  - Tatsuya Hagino (Keio University, Japan)
  - Riichiro Mizoguchi (Osaka University, Japan)
  - Mark Musen (NCBO, USA)
  - Sumio Nakagawa (Keio University, Japan)
  - Jun Nakaya (Tokyo Medical and Dental University, Japan)
  - Mitsuhiro Okada (Keio University, Japan), co-chair
  - Barry Smith  (NCOR, USA), co-chair
  - Hideaki Takeda (NII, Japan), under negotiation
  - Takahira Yamaguchi (Keio University, Japan)





From hr.at at deri.org  Mon Dec 17 11:26:06 2007
From: hr.at at deri.org (hr.at at deri.org)
Date: Mon, 17 Dec 2007 11:26:06 +0100
Subject: larkc open positions
In-Reply-To: <46FB61E4.4000607@deri.org>
References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <46FB61E4.4000607@deri.org>
Message-ID: <47664EBE.4040102@deri.org>


-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : PhD.pdf
Dateityp    : application/pdf
Dateigröße  : 23735 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071217/15930c4f/attachment.pdf>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : PostDoc.pdf
Dateityp    : application/pdf
Dateigröße  : 24492 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071217/15930c4f/attachment-0001.pdf>

From joerg.hoffmann at deri.at  Mon Dec 17 13:51:51 2007
From: joerg.hoffmann at deri.at (Joerg Hoffmann)
Date: Mon, 17 Dec 2007 13:51:51 +0100
Subject: ESWC 2008 2nd Call for System Demonstrations
In-Reply-To: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de>
References: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de>
Message-ID: <476670E7.4020306@deri.at>

Apologies for cross-postings. Please forward this email to anyone 
interested.

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

CALL FOR SYSTEM DEMOS     
    
5th European Semantic Web Conference
01 - 05 June 2008
Tenerife (Spain)
http://www.eswc2008.org/

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

BASIC FACTS:

Demo descriptions will be published as part of the ESWC'08
proceedings.

5 pages LNCS in PDF format.

Submission via ESWC'08 Demo EasyChair installation at
http://www.easychair.org/conferences/?conf=eswc08demo

Submission:   January 11, 2008, at 11:59 p.m. Hawaiian Time
Notification: February 29, 2008
Camera Ready: March 14, 2008

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

The ESWC is the leading European Conference on Theory, Practice and
Applications of Semantic Web Technologies, constantly attracting a
high number of high quality submissions and participants from academia
and industry.

Besides the research paper and poster tracks, ESWC asks for
demonstrations of semantic web systems and applications. This includes
applications, demonstrations of innovative technologies or
infrastructures that support the deployment of semantic web
applications in any area covered by topics of interest for ESWC'08.

To submit a demo to ESWC'08, the authors are requested to submit a
demo description. The description must be submitted as a PDF file; it
must be formatted in LNCS style, and it must be no longer than 5 pages
maximum.

The demo descriptions will be published as part of the ESWC'08
proceedings. As such, quality assurance will be strict, and the demos
will be subject to review by a separate Programme Committee. All demos
must show relevance, novelty and significance. The descriptions should
contain sections answering the following questions, as appropriate:
1. What is the research background and application context of the
demonstration?
2. What is the employed key technology, and how does it relate to
pre-existing work?
3. What exactly will be demonstrated?
4. What exactly will a visitor of the demonstration learn?


Submission and reviewing of demo descriptions will be electronic via
the ESWC'08 Demo EasyChair installation at:

http://www.easychair.org/conferences/?conf=eswc08demo

In order to submit, you need to have an EasyChair account. If you do
not already have such an account, you can create one by clicking on "I
have no EasyChair account".

Important Dates

Submission:   January 11, 2008, at 11:59 p.m. Hawaiian Time
Notification: February 29, 2008
Camera Ready: March 14, 2008


ESWC 2008 Demo Chair:
Joerg Hoffmann

ESWC 2008 Demo Programme Committee:
Harith Alani
Lora Aroyo
Alessandro Artale
Abraham Bernstein
Leopoldo Bertossi
Walter Binder
Kalina Bontcheva
John Breslin
Francois Bry
Paul Buitelaar
Christoph Bussler
Andrea Cali
Diego Calvanese
Ying Ding
Giorgios Flouris
Fabien Gandon
Nick Gibbins
John Goodwin
Guido Governatori
Mark Greaves
Gianluigi Greco
Volker Haarslev
Nicola Henze
Martin Hepp
Pascal Hitzler
Andreas Hotho
Vangelis Karkaletsis
Vipul Kashyap
Anastasios Kementsietsidis
Hak Lae Kim
Matthias Klusch
Joanne Luciano
Wolfgang May
Dunja Mladenic
Enrico Motta
Daniel Oberle
Bijan Parsia
Terry Payne
Axel Polleres
Michael Schumacher
Elena Simperl
Michael Sintek
Michael Stollberg
Christos Tryfonopoulos
Victoria Uren
Raphael Volz




From hra at pixel.cviog.uga.edu  Mon Dec 17 22:40:58 2007
From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia)
Date: Mon, 17 Dec 2007 16:40:58 -0500
Subject: Call For Papers: WORLDCOMP'08 - Computer Science and Engineering
 Conferences, USA, July 2008.
Message-ID: <20071217214058.BDEEF2246A1D@pixel.cviog.uga.edu>


Dear Colleagues:

Please disseminate the following announcement to those who may
be interested.  I would be grateful.
I hope you have a wonderful Christmas.
Thank you,
Hamid
-----
                       CALL  FOR  PAPERS
                             and
                  Call For Workshop Proposals

                         WORLDCOMP'08
          The 2008 World Congress in Computer Science,
          Computer Engineering, and Applied Computing
               July 14-17, 2008, Las Vegas, USA

              (composed of 25 Joint Conferences)

ACADEMIC SPONSORS: Research labs at Harvard University, UCLA,
Georgia Institute of Technology, University of Texas at Austin,
University of Iowa, and others (see below).

You are invited to submit a paper (and/or a proposal to organize
a session/workshop).  All accepted papers will be published in the
respective conference proceedings.

The 2008 World Congress in Computer Science, Computer Engineering,
and Applied Computing (WORLDCOMP'08) is composed of the following
25 conferences (all will be held simultaneously, same location
and dates: July 14-17, 2008, USA):

o BIOCOMP'08: The 2008 International Conference on Bioinformatics
  and Computational Biology

o CDES'08: The 2008 International Conference on Computer Design

o CGVR'08: The 2008 International Conference on Computer Graphics
  and Virtual Reality

o CIC'08: The 2008 International Conference on Communications in
  Computing

o CSC'08: The 2008 International Conference on Scientific Computing

o DMIN'08: The 2008 International Conference on Data Mining

o EEE'08: The 2008 International Conference on e-Learning,
  e-Business, Enterprise Information Systems, and e-Government

o ERSA'08: The 2008 International Conference on Engineering of
  Reconfigurable Systems and Algorithms

o ESA'08: The 2008 International Conference on Embedded Systems
  and Applications

o FCS'08: The 2008 International Conference on Foundations of
  Computer Science

o FECS'08: The 2008 International Conference on Frontiers in
  Education: Computer Science and Computer Engineering

o GCA'08: The 2008 International Conference on Grid Computing and
  Applications

o GEM'08: The 2008 International Conference on Genetic and
  Evolutionary Methods

o ICAI'08: The 2008 International Conference on Artificial Intelligence

o ICOMP'08: The 2008 International Conference on Internet Computing

o ICWN'08: The 2008 International Conference on Wireless Networks

o IKE'08: The 2008 International Conference on Information and
  Knowledge Engineering

o IPCV'08: The 2008 International Conference on Image Processing,
  Computer Vision, and Pattern Recognition

o ITSL'08: The 2008 International Conference on Information Theory
  and Statistical Learning

o MLMTA'08: The 2008 International Conference on Machine Learning;
  Models, Technologies and Applications

o MSV'08: The 2008 International Conference on Modeling, Simulation
  and Visualization Methods

o PDPTA'08: The 2008 International Conference on Parallel and
  Distributed Processing Techniques and Applications

o SAM'08: The 2008 International Conference on Security and Management

o SERP'08: The 2008 International Conference on Software Engineering
  Research and Practice

o SWWS'08: The 2008 International Conference on Semantic Web and
  Web Services

(a link to each conference's URL can be found at
http://www.world-academy-of-science.org)

General Co-Chair and Coordinator:

   H. R. Arabnia, PhD
   Professor, Computer Science
   Editor-in-Chief, The Journal of Supercomputing (Springer)
   Vice President, Int'l Society of Intelligent Biological Medicine
   The University of Georgia
   Department of Computer Science
   415 Graduate Studies Research Center
   Athens, Georgia 30602-7404, USA

   Tel: (706) 542-3480
   Fax: (706) 542-2966
   E-mail: hra at cs.uga.edu

PURPOSE / HISTORY:

   This set of joint conferences is the largest annual gathering of
   researchers in computer science, computer engineering and applied
   computing.  Many of the 25 joint conferences in WORLDCOMP are the
   premier conferences for presentation of advances in their respective
   fields.  We anticipate to have 2,600 or more attendees from over 80
   countries participating in the 2008 joint conferences.

   The motivation is to assemble a spectrum of affiliated research
   conferences into a coordinated research meeting held in a common
   place at a common time.  The main goal is to provide a forum for
   exchange of ideas in a number of research areas that interact.  The
   model used to form these annual conferences facilitates communication
   among researchers from all over the world in different fields of
   computer science, computer engineering and applied computing.  Both
   inward research (core areas of computer science and engineering) and
   outward research (multi-disciplinary, inter-disciplinary, and
   applications) will be covered during the conferences.

   WORLCOMP'08 will be composed of research presentations, keynote
   lectures, invited presentations, tutorials, panel discussions, and
   poster presentations.  In recent past, keynote and/or tutorial speakers
   included: Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland
   (U. of Michigan, Ann Arbor); Prof. H. J. Siegel (Colorado State U.);
   Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California,
   Berkeley); Prof. David Cheriton (Stanford U.), Prof. A. K. Dunker
   (Indiana U. and Purdue U.); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys
   (developer of X Window, ...); Dr. Chris Rowen (President and CEO,
   Tensilica, Inc.); and many other distinguished speakers.

SUBMISSION OF PAPERS:

   Prospective authors are invited to submit their draft paper
   (about 5 to 7 pages - single space, font size of 10 to 12) to
   H. R. Arabnia by Feb. 25, 2008. email submissions in MS document
   or PDF formats are preferable (Fax or postal submissions are also
   fine.)  All reasonable typesetting formats are acceptable (later,
   the authors of accepted papers will be asked to follow a particular
   typesetting format to prepare their papers for publication.)

   The length of the Camera-Ready papers (if accepted) will be limited
   to 7 (IEEE style) pages.  Papers must not have been previously
   published or currently submitted for publication elsewhere.  The
   first page of the draft paper should include: title of the paper,
   name, affiliation, postal address, email address, and telephone
   number for each author.  The first page should also identify the
   name of the Contact Author and a maximum of 5 topical keywords that
   would best represent the content of the paper.  Finally, the name
   of the conference that the paper is being submitted to must be
   stated on the first page.

   Papers will be evaluated for originality, significance, clarity,
   impact, and soundness.  Each paper will be refereed by two experts
   in the field who are independent of the conference program committee.
   The referees' evaluations will then be reviewed by two members of
   the program committee who will recommend a decision to the chair of
   the track that the paper has been submitted to.  The chair will make
   the final decision.  Lastly, the Camera-Ready papers will be reviewed
   by one member of the program committee.

PROPOSAL FOR ORGANIZING SESSIONS/WORKSHOPS:

   Each session will have at least 6 paper presentations from
   different authors (12 papers in the case of workshops).  The
   session chairs will be responsible for all aspects of their
   sessions; including, soliciting papers, reviewing, selecting, ...
   The names of session chairs will appear as Associate Editors in
   the conference proceedings and on the cover of the books.

   Proposals to organize sessions should include the following
   information: name and address (+ email) of proposer, title of
   session, a 100-word description of the topic of the session,
   the name of the conference the session is submitted for
   consideration, and a short description on how the session will
   be advertised (in most cases, session proposers solicit papers
   from colleagues and researchers whose work is known to the
   session proposer).  email your proposal to H. R. Arabnia (address
   is given above).  We would like to receive the proposals by
   January 16, 2008.

IMPORTANT DATES:

   Jan.  16, 2008:    Proposals for organizing/chairing sessions/workshops
   Feb.  25, 2008:    Submission of papers (about 5 to 7 pages)
   March 25, 2008:    Notification of acceptance
   April 25, 2008:    Camera-Ready papers and Registration due
   July 14-17, 2008:  The 2008 World Congress in Computer Science,
                      Computer Engineering, and Applied Computing
                      (WORLDCOMP'08 - 25 joint conferences)

MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES:

   The Program Committee includes members of chapters of World Academy
   of Science (chapters: supercomputing; scientific computing; AI;
   imaging science; databases; simulation; software engineering;
   embedded systems; internet and web technologies; communications;
   computer security; and bioinformatics.) The Program Committee for
   individual conferences is currently being formed.  Those interested
   in joining the Program Committee should email H. R. Arabnia
   (hra at cs.uga.edu) the following information: Name, affiliation
   and position, complete mailing address, email address, a short
   biography together with research interests and the name of the
   conference offering to help with.
   Many who have already joined the committees of individual tracks
   are renowned leaders, scholars, researchers, scientists and
   practitioners of the highest ranks; many are directors of research
   laboratories, fellows of various societies, heads/chairs of
   departments, deans and provosts.

LOCATION OF CONFERENCES:

   The conferences will be held in the Monte Carlo hotel, Las Vegas,
   Nevada, USA (with any overflows at other near-by hotels).  This is
   a mega hotel with excellent conference facilities and over 3,000
   rooms.  It is minutes from the airport with 24-hour shuttle
   service to and from the airport.  This hotel has many recreational
   attractions, including: waterfalls, spa, pools, sunning decks, Easy
   River, wave pool, lighted tennis courts, health spa, nightly shows,
   a number of restaurants, ...  The negotiated room rate for
   conference attendees is very reasonable.  The hotel is within
   walking distance from most other attractions (recreational
   destinations, Golf courses, ...)

SPONSORS: (this is a partial list)

   Academic Co-sponsors include:
   - Computational Biology and Functional Genomics Laboratory,
     Harvard University, Cambridge, Massachusetts, USA
     http://compbio.dfci.harvard.edu/
   - Horvath Laboratory, University of California, Los Angeles (UCLA), USA
     http://www.genetics.ucla.edu/labs/horvath/CoexpressionNetwork/
   - BioMedical Informatics & Bio-Imaging Laboratory, Georgia Institute
     of Technology and Emory University, Atlanta, Georgia, USA
     http://www.bio-miblab.org/
   - Intelligent Data Exploration and Analysis Laboratory, University of
     Texas at Austin, Austin, Texas, USA
     http://www.ideal.ece.utexas.edu/
   - Center for the Bioinformatics and Computational Genomics,
     Georgia Institute of Technology, Atlanta, Georgia, USA
     http://opal.biology.gatech.edu/GeneMark/
   - Hawkeye Radiology Informatics, Department of Radiology,
     College of Medicine, University of Iowa, Iowa, USA
     http://www.uiowa.edu/~hri/
   - Medical Image HPC & Informatics Lab (MiHi Lab), University of Iowa,
     Iowa, USA
     http://www.uiowa.edu/mihpclab/
   - The University of North Dakota, Grand Forks, North Dakota, USA
     http://www.und.edu
   - International Society of Intelligent Biological Medicine
     http://www.isibm.org/
   - Institute for Informatics Problems of the Russian Academy of
     Sciences, Moscow, Russia.
   Other Co-sponsors:
   - NIIT Technologies
     http://www.niit-tech.com/
   - High Performance Computing for Nanotechnology (HPCNano)
     http://www.hpcnano.org
   - International Technology Institute (ITI)
     http://www.itiworld.org/
   - GridToday
     http://www.gridtoday.com/gridtoday.html
   - HPCwire
     http://www.hpcwire.com/
   - Hodges' Health (H2CM), UK
     http://www.p-jones.demon.co.uk

Future Announcements: If you do not wish to receive future announcements
about this event, please send an email to hra at cs.uga.edu.


From esslli2008 at science.uva.nl  Mon Dec 17 20:04:57 2007
From: esslli2008 at science.uva.nl (ESSLLI2008)
Date: Mon, 17 Dec 2007 20:04:57 +0100
Subject: ESSLLI 2008
Message-ID: <4766C859.6060604@science.uva.nl>

Dear participants of past ESSLLIs,

As many of you may know, ESSLLI 2008 is being organized at the
Universität Hamburg, August 4 - 15, 2008.  If you have not already done
so, we would like to encourage you to subscribe to the newsletter for
ESSLLI 2008 to be kept informed about the summer school.  You can
subscribe via this link:

    http://www.illc.uva.nl/ESSLLI2008/newslettersubscription.html

Please also visit the ESSLLI 2008 homepage at

    http://www.illc.uva.nl/ESSLLI2008/

Sincerely,
The ESSLLI 2008 organizers


From mascardi at disi.unige.it  Tue Dec 18 10:17:16 2007
From: mascardi at disi.unige.it (Viviana Mascardi)
Date: Tue, 18 Dec 2007 10:17:16 +0100
Subject: MAGS Special Issue on "Agents, Web Services and Ontologies: Integrated
 Methodologies" -- Second CFP
Message-ID: <4767901C.4040801@disi.unige.it>

**************** Please, apologise for multiple copies *****************


                     S E C O N D   C A L L   F O R    P A P E R S

                    International Journal Multiagent and Grid Systems
                                            IOS Press

                                         Special Issue on
     "Agents, Web Services and Ontologies: Integrated Methodologies"



Guest Editors
-------------

Matteo Baldoni (baldoni at di.unito.it)
Cristina Baroglio (baroglio at di.unito.it)
Viviana Mascardi (mascardi at disi.unige.it)


Aims of the special issue
-------------------------

The realisation of distributed, open, dynamic, and heterogeneous software
systems is a challenge that involves many facets, from formal theories to
software engineering and practical applications. Scientists in various
research areas are attacking this problem from different perspectives.

In particular, in the last years service-oriented software technologies,
and especially Web Services, have been gaining popularity, becoming a
leading paradigm in the development of IT solutions. The current web
service technology, however, does not yet supply valid methodologies for
developing cross-enterprise systems which require complex interactions
among the parties nor it supports the automatic retrieval and composition
of web services as well as desired. These issues, actually, demand for
semantic descriptions and for a formal representation of organizational
aspects that are at the heart of research in other fields, such as Agents
and Multi-Agent Systems and Ontologies, where the concepts of autonomy,
proactivity, heterogeneity, interaction, inference, flexibility, semantic
matching have a central role.

Each of the mentioned research fields has its specific competencies,
among them:

- MAS face the representation of distributed, open systems from an abstract
 point of view, supplying theories, methodologies, and tools for modelling
 systems of heterogeneous, interacting entities.

- Agent-Oriented Software Engineering studies how existing techniques
 can be adapted or extended in order to engineer this kind of complex
 distributed systems, and offers methodologies, notations, and techniques
 suitable for analysing, modelling, prototyping and finally implementing
 them following the "Multiagent System" metaphor.

- Web Services provide an already available and widely accepted
 infrastructure for supporting interoperable machine-to-machine interaction
 over a network, allowing heterogeneous software applications written in
 various programming languages and running on various platforms both to
 expose themselves as WSs, and to use other WSs.

- The need of sharing either a common, sophisticated conceptualisation of
 the application domain, or just a simple vocabulary, is more and more often
 addressed by means of Ontologies.  Ontologies are a key technology both in
 the Agent-Oriented Software Engineering field, where they are used to make
 the exchange of meaningful information among autonomous entities possible,
 and in the Web Services field, where they represent the means for moving
 from Web Services to Semantic Web Services.

This Special Issue attempts to collect and compare such diverse experiences
with the aim of fostering cross-fertilization. It is *not necessary* 
that the
submitted works tackle all of the mentioned aspects, but emphasis on inter-
connections between the fields will be appreciated.

This Special Issue is a follow-up of the MALLOW-AWESOME'007 workshop, 
held at
Durham, UK in September 2007 (http://awesome007.disi.unige.it), which has
provided a discussion forum for researchers working on Agents, Web Services,
and Ontologies. A selection of extended and revised works presented at the
workshop will be considered for publication, together with new works, which
have not been presented at MALLOW-AWESOME and that will be submitted
by answering to this call.


Topics
------

Topics of interest are all those concerned with integrated and/or 
cross-field
approaches for engineering Agents, Web Services, Ontologies. They include,
but are not limited to:

* Semantic Web Agents and Semantic Web Services
* Integrated Methodologies, Notations, Infrastructures, Languages
 for Agents, WSs, Ontologies
* Enhancement of communication among Agents/WSs by means of Ontologies
* Formal aspects for Agents, WSs and Ontologies
* Service-Oriented Multiagent systems
* Implementing agents with WS technologies
* Agent-inspired Declarative Approaches to WSs or SOA
* Exploiting AOSE for engineering WSs and Ontologies
* Orchestrations, choreographies, and Interaction Protocols: languages,
 theory and practice
* Formal Description of contracts and negotiation policies
* Tools for Semantic Web Services/Agents
* Applications of Semantic Web Services/Agents


Instructions for Authors
------------------------

Authors are requested to submit their manuscripts by email as PDF files to
the Special Issue guest editors (baldoni at di.unito.it, baroglio at di.unito.it,
mascardi at disi.unige.it).  Please, clearly state in the email message both
the journal name and the special issue title.

If you mean to contribute to the special issue, please, send an email,
containing *tentative title*, *authors*, *short abstract*, and *keywords*,
to the guest editors as soon as possible (and no later than January, 15th,
2008).

Manuscripts must be formatted according to the guidelines that can be
retrieved through the link http://www.iospress.nl/html/15741702.php
(accessible also through the MALLOW-AWESOME'007 workshop web page:
http://awesome007.disi.unige.it/specialissue.html).

Notice that paper submission is to be done by email to the guest editors and
*not* by means of the IOS Press submission system, which can be used 
only for
papers that are not to be included in a special issue.

Important dates
---------------

* Deadline for abstracts: January, 15th, 2008.
* Deadline for submission: February, 20th, 2008
* Deadline for review: March, 24th, 2008


From tag at hib.no  Tue Dec 18 22:01:00 2007
From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=)
Date: Tue, 18 Dec 2007 22:01:00 +0100
Subject: CFP: Dynamics in Logic @ ESSLLI 2008 Hamburg
Message-ID: <58576BE5-08F5-439F-9910-0C0BEB964DA5@hib.no>

CALL FOR PAPERS
WORKSHOP DYNAMICS IN LOGIC @ ESSLLI 2008 HAMBURG
4-8 August 2008
http://home.hib.no/ansatte/tag/dil08


**organizers

Thomas Agotnes, University College Bergen, Norway, email: tag at hib.no
Hans van Ditmarsch, University of Otago, New Zealand & IRIT, France,
email: hans at irit.fr


**workshop purpose

The main topic of the workshop is logical models of information
change. Some different, well-known, ways to model change in logic are
'belief revision', 'dynamic epistemic logic', and 'temporal epistemic
logic'.  In the first change is usually modelled on a meta-level, in
the second in the logical language itself by way of dynamic modal
operators, and in the third the dynamics is expressed indirectly
(namely referring to the underlying structures) in temporal
operators. All three areas focus on the dynamics of information:
information change. In the workshop we are interested in approaches
with explicit dynamic operators in the language, i.e., as in dynamic
epistemics, temporal epistemics and approaches to belief revision with
explicit dynamic operators in the logical language.

Tradional and independently well-established approaches to dynamics
such as PDL and the many variants and extensions of dynamic logic in
general, mu-calculus, and pi-calculus, are also in the focus of the
workshop. We are interested in approaches to general logical dynamics
that can also be interpreted as dynamics of information.

New frontiers for dynamics in logic include: description logics and
decidable fragments of FOL, semantic-web approaches, BDI-type logics,
deontic logics, relations between knowability, ability, and the
dynamics of knowledge, and cognitively motivated approaches. The
workshop also welcomes work on information change as the result of
deliberation, i.e., on the dynamics of reasoning.

The purpose of the workshop is to discuss logical models of dynamics
with explicit dynamic operators (not necessarily modal operators) in
the logical language.

Are there such logics that combine interesting complexity features
from different areas? Formalisms that correspond to flexible and
appealing conceptualisations and result in succinct descriptions of
systems?  Convenient model checking tools?


**workshop topics

o dynamic epistemic logics
o belief revision (with explicit revision operators in the logical  
language)
o dynamics in mu-calculus and pi-calculus
o PDL (propositional dynamic logic) and dynamic logic in general
o logic of action
o logics of strategic ability
o alternating-time temporal logic
o temporal epistemic logics
o seeing-to-it-that logic
o knowability, and interactions between knowledge and ability
o description logics, semantic web representations, BDI logics - with
explicit dynamic features
o dynamic deontic logics
o cognitively motivated approaches to dynamics
o logics of resource bounded reasoning
o model checking and theorem proving tools for dynamic logics


**related ESSLLI workshop

The topic of this workshop is related to the topic of the workshop
'Logic and Intelligent Interaction' that takes place in week 2 of
ESSLLI. That workshop focuses on interaction, i.e., on what goes on
between agents. Ours focuses on logical descriptions of change; this
need not involve agents, or more than one agent. The organizers of
both workshops are in contact with one another.


**submission details

Authors are invited to submit an extended abstract describing original
work. Submissions should not exceed 10 pages. The following formats are
accepted: PDF, PS, Word, ASCII text. Please send your submission
electronically by an email to hans at irit.fr by the deadline listed
below. The submissions will be reviewed by the workshop's programme
committee and additional reviewers. The accepted papers will appear in
the workshop proceedings published by ESSLLI. The format for the final
versions will be available on the workshop website.


** post-workshop proceedings

A special issue of the journal 'Knowledge, Rationality, and Action', a
special section of 'Synthese', is dedicated to this workshop. Selected
presenters at the workshop will be invited to submit an extended
version of their submission to this special issue. There will be an
independent reviewing process.


**important dates

Submission deadline: March 8, 2008
Notification of acceptance: April 21, 2008
Full paper deadline: May 17, 2008
Proceedings due: May 24, 2008
Final workshop program: June 21, 2008


**workshop format

The workshop is part of ESSLLI and is open to all ESSLLI participants.
It will consist of five 90-minute sessions held over five consecutive
days in the second week of ESSLLI. There will be two or three slots
for paper presentation and discussion per session. On the first day
the workshop organizers will give an introduction to the topic.


**invited speakers

Jan van Eijck, CWI Amsterdam
Frank Wolter, University of Liverpool


**programme committee (confirmed so far)

Natasha Alechina, University of Nottingham
Alessandro Artale, Free University of Bozen-Bolzano
Johan van Benthem, University of Amsterdam/Stanford University
Jan Broersen, Utrecht University
Jim Delgrande, Simon Fraser University, Canada
Tim French, University of Western Australia
Giuseppe de Giacomo, University of Rome
Guido Governatori, University of Queensland
Andreas Herzig, IRIT-CNRS, Toulouse
Wiebe van der Hoek, University of Liverpool
Aaron Hunter, MacDonald Dettwiler and Associates Ltd
Wojtek Jamroga, Clausthal Technical University
Barteld Kooi, University of Groningen
Tiago de Lima, Technical University of Eindhoven
Ron van der Meyden, UNSW/NICTA, Sydney
Maurice Pagnucco, UNSW/NICTA, Sydney
Eric Pacuit, Stanford University
Rineke Verbrugge, University of Groningen
Renata Wassermann, University of Sao Paulo


** local arrangements

All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a
paper will correspond to the early student/workshop speaker
registration fee. Moreover, a number of additional fee waiver grants
will be made available by the OC on a competitive basis and workshop
participants are eligible to apply for those. There will be no
reimbursement for travel costs and accommodation. Workshop speakers
who have difficulty in finding funding should contact the local
organizing committee to ask for the possibilities for a grant.


** further information

More information on ESSLLI 2008 is found at http://www.illc.uva.nl/ 
ESSLLI2008/.


----------------------------------------------------------------------
Thomas Ågotnes
Bergen University College
P.O. Box 7030, N-5020 Bergen, Norway
Tel: (+47) 55587229  Fax: (+47) 55587790
http://home.hib.no/ansatte/tag/  tag at hib.no





From giurca at tu-cottbus.de  Tue Dec 18 23:59:34 2007
From: giurca at tu-cottbus.de (Adrian Giurca)
Date: Tue, 18 Dec 2007 23:59:34 +0100
Subject: REMAINDER: Handbook of Research on Emerging Rule-Based Languages
 and Technologies
In-Reply-To: <476670E7.4020306@deri.at>
References: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de> <476670E7.4020306@deri.at>
Message-ID: <476850D6.9010803@tu-cottbus.de>

Apologize for multiple cross-posting copies

The deadline for submitting the abstracts for the
"Handbook of Research on Emerging Rule-Based Languages and Technologies",
is December 23, 2007 23:59 GMT.

More information at http://oxygen.informatik.tu-cottbus.de/handbook/





From tarmo at cs.ioc.ee  Wed Dec 19 10:11:01 2007
From: tarmo at cs.ioc.ee (Tarmo Uustalu)
Date: Wed, 19 Dec 2007 11:11:01 +0200
Subject: 13th Estonian Winter School in Computer Science, 2nd Call for 
 Partic.
Message-ID: <20071219091356.01699BF0B6@sool.cc.ioc.ee>



[Lecturers: Benton, Harel, Kushilevitz, Meseguer, Persiano.
Place/time: Palmse, Estonia, 2-7 March 2008.
Deadline for application and submission of abstracts for student
talks/posters: ** 18 Jan 2008 **.]


                      2nd Call for Participation


         13th Estonian Winter School in Computer Science, EWSCS '08
                                       
                    Palmse, Estonia, 2-7 March 2008

                     http://cs.ioc.ee/ewscs/2008/



Background and objectives 

EWSCS is a series of regional-scope international winter schools held
annually in Estonia. EWSCS are organized by Institute of Cybernetics
(IoC), a research institute of Tallinn University of Technology.
EWSCS '08 is the thirteenth event of the series.
    
The main objective of EWSCS is to expose Estonian, Baltic, and Nordic
graduate students in computer science (but also interested students
from elsewhere) to frontline research topics usually not covered
within the regular curricula.  The subject of the schools is general
computer science, with a bias towards theory, this comprising both
algorithms, complexity and models of computation, and semantics, logic
and programming theory. The working language of the schools is
English.


Programme 

The schools' scientific programme consists of short courses by
renowned specialists and a student session.

The course list for EWSCS '08 is the following:

* Nick Benton (Microsoft Research, Cambridge, UK):
  Modelling and Reasoning about State
    
* David Harel (Weizmann Institute, Rehovot, Israel):
  Biological Systems as Reactive Systems
    
* Eyal Kushilevitz (Technion, Haifa, Israel):
  Randomization Techniques for Secure Computation and Parallel 
  Cryptography

* José Meseguer (Univ. of Illinois at Urbana-Champaign, USA):
  Specification, Verification and Programming in Rewriting Logic
    
* Giuseppe Persiano (Università di Salerno, Italy):
  Zero Knowledge and the Construction of Secure Encryption Schemes

The purpose of the student session is to give students an opportunity
to present their work (typically, thesis work) and get feedback.
Registrants are invited to propose short talks (20 min) or posters.
The selection will be based on abstracts of 150-400 words.
    
The social programme consists of an excursion and a conference dinner.


Venue 

Palmse is a small settlement 80 kms to the east from Tallinn in the
county of Lääne-Viru. It is renowned for a large manor that used to
belong to the von Pahlen family, today hosting the visitors' center of
the Lahemaa National Park, a museum, and a hotel.

Tallinn, Estonia's capital, is famous for its picturesque medieval Old
Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Dublin, Milan, Amsterdam, Brussels, Frankfurt,
Hamburg, Berlin, Vienna, Prague, Warsaw, Moscow, Kiev, Copenhagen,
Oslo, Stockholm, Gothenburg, Helsinki, Vilnius, Riga, ferries from
Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the
Eurolines coach services are the practical travel option.


Application and cost 

The deadline for application and submission of abstracts is 18 January
2008. All applicants will be notified of acceptance to school and
acceptance of their student talks/posters by 1 February 2008. The
participation fee 5000 EEK / 320 EUR includes course materials, full
board accommodation at Palmse, transportation from Tallinn to Palmse
and back, excursion and conference dinner.


Programme committee / organizing committee

Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger
Lipmaa (U. College London), Peeter Laud (U. of Tartu), Varmo Vene
(U. of Tartu), Sven Laur (Helsinki U. of Techn.), Ando Saabas (IoC)


Sponsors 

Tiger University Plus programme of Estonian Information Technology
Foundation, Doctoral School in ICT of Measure 1.1 of the Estonian NDP


Further information 

Details on the submission of abstracts, application procedure and cost
are available from the school webpage, http://cs.ioc.ee/ewscs/2008/. 
Questions should be sent to ewscs08(at)cs.ioc.ee.







From artale at inf.unibz.it  Wed Dec 19 16:16:29 2007
From: artale at inf.unibz.it (Alessandro Artale)
Date: Wed, 19 Dec 2007 16:16:29 +0100
Subject: TIME'08: Final Call for Papers
Message-ID: <4c841bb46860a8a70e1a8321ef73ef89@inf.unibz.it>

			   Call For Papers

			      TIME 2008

		 Fifteenth International Symposium on
		Temporal Representation and Reasoning

		  Montreal, Canada, June 16-18, 2008

		       http://www.time2008.org

TIME 2008 aims to bring together researchers from distinct research
areas involving the management of temporal data as well as the
reasoning about temporal aspects of information.

This unique and well-established event further has as its objectives
to bridge theoretical and applied research, as well as to serve as an
interdisciplinary forum for exchange among researchers from the areas
of artificial intelligence, database management, logic and
verification, and beyond.

TIME 2008 encompasses three tracks, but has a single program
committee. The conference will span three days, and will be organized
as a combination of technical paper presentations, poster sessions,
and keynote lectures.

			  KEYNOTE LECTURERS


o Carsten Lutz Institute of Theoretical Computer Science, TU Dresden,
   Germany

o Ravi Kothuri, Oracle Corporation, Nashua, NH, USA

o James Worrell, Computing Laboratory, Oxford University, GB


				TOPICS

Track 1: Temporal Representation and Reasoning in AI

- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- temporal languages for planning
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web

Track 2: Temporal Database Management

- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of workflow and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- novel applications of temporal database management
- experiences with real applications

Track 3: Temporal Logic and Verification in Computer Science

- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security


			   PAPER SUBMISSION

Submissions of high quality papers describing research results or
on-going work are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere.

Submitted papers will be refereed by at least three reviewers for
quality, correctness, originality, and relevance. Accepted papers will
be presented at the symposium and included in the proceedings, which
will be published by the IEEE Computer Society Press. Acceptance of a
paper is contingent on one author presenting the paper at the
symposium.

Submissions should be in PDF format (with the necessary fonts
embedded) and should use the format for camera-ready papers.
Submissions must not exceed 8 pages in using that format; over-length
submissions may be rejected without review.

Papers should be submitted electronically using the online system
available via the TIME 2008 web site, at

		http://www.time2008.org/submission.php


			 CONFERENCE OFFICERS

General Chair:
	Alessandro Artale, Free University of Bozen/Bolzano, Italy

Program Committee Chairs:
	Stephane Demri, CNRS, Cachan, Paris, France
	Christian S. Jensen, Aalborg University, Denmark

Organization co-chairs:
	Sylvain Hallé, University of Quebec, Montreal, Canada
	Roger Villemaire, University of Quebec, Montreal, Canada


		    PROGRAM COMMITTEE

Claudio Bettini, University of Milan, Italy
Alexander Bolotov, University of Westminster, UK
Estela Saquete Boro, University of Alicante, Spain
Carlo Combi, University of Verona, Italy
Clare Dixon, University of Liverpool, UK
Curtis Dyreson, Utah State University, USA
Michael Fisher, University of Liverpool, UK
Antony Galton, University of Exeter, UK
Johann Gamper, Free University of Bozen-Bolzano, Italy
Alfonso Gerevini, University of Brescia, Italy
Valentin Goranko, University of Witwatersrand, South Africa
Rajeev Gore, ANU, Australia
Fabio Grandi, Universita of Bologna, Italy
Ian Hodkinson, Imperial College, UK
Vijay Khatri, Indiana University, USA
Ranko Lazic, University of Warwick, UK
Nikos A. Lorentzos, Agricultural University of Athens, Greece
Claudio Masolo, LOA-CNR, Italy
Angelo Montanari, University of Udine, Italy
Ian Pratt-Hartmann, Manchester University, UK
James Pustejovsky, Brandeis University, MA, USA
Jean-Francois Raskin, ULB, Belgium
Peter Revesz, University of Nebraska-Lincoln, USA
Mirek Riedewald, Cornell University, USA
John F. Roddick, Flinders University, Australia
Richard T. Snodgrass, University of Arizona
Paolo Terenziani, University of Torino, Italy
David Toman, Free University of Bozen-Bolzano, Italy
Roger Villemaire, UQAM, Canada
Sean Wang, University of Vermont, USA
Pierre Wolper, University of Liege, Belgium
Frank Wolter, University of Liverpool, UK
Alberto Zanardo, University of Padova, Italy


			   IMPORTANT DATES

                  Paper Submission:        January 11
                  Paper Notification:      February 26
                  Camera Ready Copy Due:   March 11
                  TIME 2008 Symposium:     June 16-18


			 FURTHER INFORMATION

	e-mail: info at time2008.org and http://www.time2008.org



From klusch at dfki.de  Wed Dec 19 17:13:27 2007
From: klusch at dfki.de (Matthias Klusch)
Date: Wed, 19 Dec 2007 17:13:27 +0100
Subject: CFP: CIA 2008 - 12th International Workshop on Cooperative Information
 Agents
Message-ID: <47694327.5050608@dfki.de>

+++ Apologies for multiple copies due to cross posting. +++
+++ Please forward this email to anyone interested. Thanks! +++


             CALL FOR PAPERS

*********************************************

       Twelfth International Workshop on

  Cooperative Information Agents (CIA 2008)

          September 10 - 12, 2008

         Czech Technical University
            Prague, Czech Republic

*********************************************
     http://www.dfki.de/~klusch/cia2008

Co-sponsored by

     Whitestein Technologies
     IEEE FIPA
     Rockwell Automation
     CERTICON Corp.
     CTU Prague

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

IMPORTANT DATES

   Submission of papers:    MARCH 24, 2008

   Notification of authors: May 25, 2008
   Camera-ready papers:     June 22, 2008

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

AIMS & SCOPE
============

An intelligent information agent is a computational software entity
that is capable of accessing one or multiple, heterogeneous and
distributed information sources, proactively searching for,
mediating, and maintaining relevant information or services on behalf
of its human users, or other collaborating agents, at any time and anywhere.
One key challenge of the development of intelligent and cooperative
information system is to balance the autonomy of networked data,
information, and knowledge sources with the potential payoff of
leveraging them by the appropriate use of such agents.
Research on intelligent information agents and systems is inherently
cross disciplinary covering themes from domains such as AI, HCI,
Internet and Web technologies, information systems, information 
retrieval, P2P computing, and multiagent system technologies.

The objective of the international workshop series on cooperative
information agents (CIA), since its establishment in 1997, is to
provide a small but distinguished, interdisciplinary forum for
researchers, programmers, and managers to get informed about, present,
and discuss latest high quality results in research and development
of agent-based intelligent and cooperative information systems, and
applications for the Internet and Web.

TOPICS
======

Topics of interest are but not exclusive:

Systems and Applications of Information Agents
    Architectures of information agents.
    Prototypes and fielded systems of information agents.
    Recommender systems; collaborative cases.
    Issues of programming information agents.

Information Agents and Grid Computing
   Agent-based grid computing services and infrastructure
   Agent-based grid computing applications

Advanced Means of Collaboration and Coordination
    Social filtering, cooperative search, group forming,
    negotiation, etc.
    Cooperation in real-time and open environments.
    Self-organising information agent systems.
    Capability-based mediation between information agents.
    Collaboration in peer-to-peer networks.

Agent-Based Knowledge Discovery
    Agent-based distributed data mining.
    Distributed information retrieval, text, and Web mining.

Information Agents, Web Services, and the Semantic Web
    Agent-based information search in the semantic web.
    Agent-based service discovery and composition.
    Agent-based service matchmaking and brokering
    Agent-based distributed ontology mapping and learning.

Mobile Information Agents
    Mobile information agents for distributed information retrieval.
    Engineering of mobile information agents.
    Cooperative mobile information agents.

Information Agents for Pervasive Computing Environments
    Visions, applications, surveys; collaborative cases.

Rational Information Agents for E-Business
    Models of economic rationality.
    Trust and reputation.
    Issues of privacy of communication, data security, and
    jurisdiction for agent-mediated trading.
    Coalition and team formation algorithms.

Intelligent Interfaces for Information Agents
    Human-agent interaction for (systems of) information agents.
    Life-like characters and avatars.
    Information agents for/applied to digital cities.
    Advanced, personalized 3-d visualizations of information spaces.
    Personalization; collaborative cases.

Adaptive Information Agents
    Adaptive information retrieval; collaborative cases.
    Reasoning with imperfect information: collaborative cases.
    Multi-strategy and meta-learning for cooperative information agents.

PROCEEDINGS
===========

The proceedings of the CIA workshop series are regularly published as
volume of the Springer LNCS subseries LNAI (Lecture Notes on Artificial
Intelligence).

Former volumes of the series are
  CIA-1997: LNAI 1202, CIA-1998: LNAI 1435, CIA-1999: LNAI 1652,
  CIA-2000: LNAI 1860, CIA-2001: LNAI 2182, CIA-2002: LNAI 2446,
  CIA-2003: LNAI 2782, CIA 2004: LNAI 3191,
  CIA 2005 (MATES 2005): LNAI 3550, CIA-2006: LNAI 4149,
  CIA-2007: LNAI 4676

The proceedings of the CIA 2008 workshop will be available to the
participants of the workshop at the registration desk.

SPECIAL ISSUE
=============

Extended versions of selected best papers are planned to be published
in a special issue of the International Journal for Multiagent and Grid 
Systems (IOS Press).

SUBMISSION
==========

For preparation of (camera-ready) papers to be submitted to
CIA 2008 please follow the instructions for authors available at the
Springer LNCS Web page:
http://www.springer.de/comp/lncs/authors.html

For those not using the Springer LNCS style files: The paper must be
formatted in A4 size using 10 point Times. (If Times is not available,
please use one of the similar fonts widely used in phototypesetting.)
Printing area should be 12.2 x 19.3 cm, and the interline distance
should be arranged in such a way that some 42 to 45 lines occur on a
full-text page.

The length of each paper should not exceed 15 pages.
All papers must be written in English.

Please submit your paper online at

        http://www.easychair.org/conferences/?conf=cia2008

In case of problems, please contact us immediately for assistance!

Submission of full paper including all figures and references is
either in POSTSCRIPT or PDF format only. In any case, please check
whether the file is really printable on a postscript-level-2 printer
before submitting it.
CIA 2008 will not accept full copies of papers that are published
elsewhere. Papers not conforming to the above requirements may be 
rejected without review. Submissions will be reviewed for quality,
correctness, sufficient originality, and relevance.

STUDENT SUPPORT
===============

There will be limited financial support provided to a limited number
of students as (co-)authors of accepted papers to present their work
at the CIA 2008 workshop.

AWARDS
======

The CIA 2008 workshop issues both a BEST PAPER award, and a
SYSTEM INNOVATION award to acknowledge and honor highly innovative
research and development, respectively, in the area of intelligent
information agents for the Internet, Web, and semantic Web.

The CIA 2008 BEST PAPER AWARD is sponsored by the workshop series.
The prize money is 300 euros.

The CIA 2008 SYSTEM INNOVATION AWARD is sponsored by
Whitestein Technologies. The prize money is 500 euros.

Nominations for the CIA 2008 SYSTEM INNOVATION AWARD
can be done either by means of regular paper submission,
or through an explicit request for nomination by submitting
a brief (max. 4 pages, 10pt Times) description of the system in terms
of its core functionalities, main techniques used to implement them,
and (publicly available reference to) experimental results,
as well as a summary of the innovative features in comparison to other
existing systems.
After confidential voting by the PC, chairs, and sponsors
of the award the top ranked nominees will be requested to
publicly demonstrate a running prototype of their system
at the workshop to all participants and the jury for a
final public voting.

Both awards will be given during the workshop.

ORGANISATION
============

   Matthias Klusch (DFKI Saarbruecken, Germany)
   Michal Pechoucek (CTU Prague, Czech Republic)
   Axel Polleres (DERI Galway, Ireland)

PROGRAM COMMITTEE
=================

   Wolfgang Benn (TU Chemnitz, Germany)
   Felix Brandt (U Munich, Germany)
   Monique Calisti (Whitestein Technologies, Switzerland)
   Jorge Cardoso (UMA Madeira, Portugal)
   William Cheung (Hongkong Baptist U, China)
   Philippe Cudre-Mauroux (MIT, USA)
   Frank Dignum (U Utrecht, The Netherlands)
   John Domingue (The Open U, UK)
   Boi Faltings (EPF Lausanne, Switzerland)
   Michael Fink (TU Vienna, Austria)
   Vladimir Gorodetsky (RAS St. Petersburg, Russia)
   Francesco Guerra (U Modena, Italy)
   Manfred Hauswirth (DERI Galway, Ireland)
   Michael Huhns (U South Carolina, USA)
   Toru Ishida (Kyoto U, Japan)
   Catholijn Jonker (TU Delft, The Netherlands)
   Ryszard Kowalczyk (Swinburne U, Australia)
   Manolis Koubarakis (TU Crete, Greece)
   Sarit Kraus (Bar-Ilan U, Israel)
   Victor Lesser (U Massachusetts, USA)
   Stefano Lodi (U Bologna, Italy)
   Werner Nutt (FU Bozen-Bolzano, Italy)
   Sascha Ossowski (U Rey Juan Carlos Madrid, Spain)
   Aris Ouksel (U Illinois at Chicago, USA)
   Massimo Paolucci (NTT DoCoMo Europe, Germany)
   Jeffrey Rosenschein (Hebrew U, Israel)
   Heiko Schuldt (U Basel, Switzerland)
   Onn Shehory (IBM Research, Israel)
   Katia Sycara (Carnegie Mellon U, USA)
   Walt Truszkowski (NASA Goddard Space Flight Center, USA)
   Rainer Unland (U Duisburg-Essen, Germany)
   Frank van Harmelen (VU Amsterdam, The Netherlands)
   Gottfried Vossen (U Muenster, Germany)
   Gerhard Weiss (SCCH, Austria)

CONTACT
=======

Please do not hesitate to contact us,
if you have any question regarding this event.

Matthias Klusch
klusch at dfki.de

Michal Pechoucek
pechouc at labe.felk.cvut.cz

Axel Polleres
axel at polleres.net


-- 
-------------------------------------------------------------
Dr. Matthias Klusch
German Research Center for Artificial Intelligence (DFKI)
Stuhlsatzenhausweg 3, 66123 Saarbruecken, Germany
Phone: +49-681-302-5297, Fax: +49-681-302-2235
http://www.dfki.de/~klusch/
-------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern
Geschaeftsfuehrung:
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender)
Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313
-------------------------------------------------------------




From tsd2008 at tsdconference.org  Wed Dec 19 15:53:05 2007
From: tsd2008 at tsdconference.org (TSD 2008)
Date: Wed, 19 Dec 2007 15:53:05 +0100
Subject: TSD 2008 Preliminary announcement 
Message-ID: <E1J50ID-0000aG-DN@aurora.fi.muni.cz>

      *********************************************************
		 TSD 2008 - PRELIMINARY ANNOUNCEMENT
      *********************************************************

Eleventh International Conference on TEXT, SPEECH and DIALOGUE (TSD 2008)
	      Brno, Czech Republic, 8-12 September 2008
		    http://www.tsdconference.org/

The conference is organized by the Faculty of Informatics, Masaryk
University, Brno, and the Faculty of Applied Sciences, University of
West Bohemia, Pilsen.  The conference is supported by International
Speech Communication Association.

Venue: Brno, Czech Republic


TSD SERIES

TSD series evolved as a prime forum for interaction between
researchers in both spoken and written language processing from the
former East Block countries and their Western colleagues. Proceedings
of TSD form a book published by Springer-Verlag in their Lecture Notes
in Artificial Intelligence (LNAI) series.


TOPICS

Topics of the conference will include (but are not limited to):

    text corpora and tagging
    transcription problems in spoken corpora
    sense disambiguation
    links between text and speech oriented systems
    parsing issues
    parsing problems in spoken texts
    multi-lingual issues
    multi-lingual dialogue systems
    information retrieval and information extraction
    text/topic summarization
    machine translation
    semantic networks and ontologies
    semantic web
    speech modeling
    speech segmentation
    speech recognition
    search in speech for IR and IE
    text-to-speech synthesis
    dialogue systems
    development of dialogue strategies
    prosody in dialogues
    emotions and personality modeling
    user modeling
    knowledge representation in relation to dialogue systems
    assistive technologies based on speech and dialogue
    applied systems and software
    facial animation
    visual speech synthesis

Papers on processing of languages other than English are strongly
encouraged.


PROGRAM COMMITTEE

    Frederick Jelinek, USA (general chair)
    Hynek Hermansky, Switzerland (executive chair)
    Eneko Agirre, Spain
    Genevieve Baudoin, France
    Jan Cernocky, Czech Republic
    Attila Ferencz, Romania
    Alexander Gelbukh, Mexico
    Louise Guthrie, GB
    Jan Hajic, Czech Republic
    Eva Hajicova, Czech Republic
    Patrick Hanks, Czech Republic
    Ludwig Hitzenberger, Germany
    Jaroslava Hlavacova, Czech Republic
    Ales Horak, Czech Republic
    Eduard Hovy, USA
    Ivan Kopecek, Czech Republic
    Steven Krauwer, The Netherlands
    Siegfried Kunzmann, Germany
    Natalija Loukachevitch, Russia
    Vaclav Matousek, Czech Republic
    Hermann Ney, Germany
    Elmar Noeth, Germany
    Karel Oliva, Czech Republic
    Karel Pala, Czech Republic
    Nikola Pavesic, Slovenia
    Vladimir Petkevic, Czech Republic
    Fabio Pianesi, Italy
    Josef Psutka, Czech Republic
    James Pustejovsky, USA
    Leon Rothkrantz, The Netherlands
    Ernst G. Schukat-Talamazzini, Germany
    Pavel Skrelin, Russia
    Pavel Smrz, Czech Republic
    Marko Tadic, Croatia
    Tamas Varadi, Hungary
    Zygmunt Vetulani, Poland
    Taras Vintsiuk, Ukraine
    Yorick Wilks, GB
    Victor Zakharov, Russia 


FORMAT OF THE CONFERENCE

The conference program will include presentation of invited papers,
oral presentations, and a poster/demonstration sessions. Papers will
be presented in plenary or topic oriented sessions.

Social events including a trip in the vicinity of Brno will allow
for additional informal interactions.


CONFERENCE PROGRAM

The conference program will include oral presentations and
poster/demonstration sessions with sufficient time for discussions of
the issues raised.


IMPORTANT DATES

March 15 2008 ............ Submission of abstract
March 22 2008 ............ Submission of full papers
May 15 2008 .............. Notification of acceptance
May 31 2008 .............. Final papers (camera ready) and registration
July 23 2008 ............. Submission of demonstration abstracts
July 30 2008 ............. Notification of acceptance for
                           demonstrations sent to the authors
September 8-12 2008 ...... Conference date

The contributions to the conference will be published in proceedings
that will be made available to participants at the time of the
conference.


OFFICIAL LANGUAGE

of the conference will be English.


ADDRESS

All correspondence regarding the conference should be
addressed to
    
    Dana Hlavackova, TSD 2008
    Faculty of Informatics, Masaryk University
    Botanicka 68a, 602 00 Brno, Czech Republic
    phone: +420-5-49 49 33 29
    fax: +420-5-49 49 18 20
    email: tsd2008 at tsdconference.org


LOCATION

Brno is the the second largest city in the Czech Republic with a
population of almost 400.000 and is the country's judiciary and
trade-fair center. Brno is the capital of Moravia, which is in the
south-east part of the Czech Republic. It had been a Royal City since
1347 and with its six universities it forms a cultural center of the
region.

Brno can be reached easily by direct flights from London, Moscow, Barcelona
and Prague and by trains or buses from Prague (200 km) or Vienna (130 km).


From mirek at cs.uky.edu  Thu Dec 20 14:49:12 2007
From: mirek at cs.uky.edu (Miroslaw Truszczynski)
Date: Thu, 20 Dec 2007 08:49:12 -0500
Subject: Logic and AI, special session to honor Victor Marek's 65th birthday
Message-ID: <5394f5540712200549h3c03f0f4j829d672da69cb27b@mail.gmail.com>

Please, distribute this announcement.

Thanks.

Mirek

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

                       Last Call For Participation

        Special Session on Logic and Artificial Intelligence
               in honor of Victor Marek's 65th birthday

This session is held on Jan 3 and Jan 4, 2008, ias part of the Tenth
International Symposium on Artificial Intelligence and Mathematics,
ISAIM 2008 (http://isaim2008.unl.edu). <http://isaim2008.unl.edu/>

Organizers: Michael Kaminski
<http://www.cs.technion.ac.il/people/kaminski>(Technion) and Miroslaw
Truszczynski <http://www.cs.uky.edu/%7Emirek> (University of Kentucky)

Speakers:

   - Howard Blair <http://www.cis.syr.edu/%7Eblair/> (Syracuse
   University)
   * Hybrid Programs: Symmetrically Combining Natively Discrete and
   Continuous Truth-values *

   - Alex Bochman<http://www.hit.ac.il/departments/computers/staff/Bochman/index.htm>(Holon
Academic Institute of Technology)
   * Default Logic Generalized and Simplified *

   - Thomas Eiter <http://www.kr.tuwien.ac.at/staff/eiter/> (Technische
   Universität Wien)
   * Exploiting Conjunctive Queries in Description Logic Programs *

   - Mel Fitting <http://comet.lehman.cuny.edu/fitting/> (City University
   of New York)
   * Explicit Logics of Knowledge and Conservativity *

   - Michael Gelfond <http://www.cs.ttu.edu/%7Emgelfond/> (Texas Tech
   University)
   * Integrating Answer Programming and Constraint Logic Programming *

   - Michael Kaminski <http://www.cs.technion.ac.il/people/kaminski>(Technion)
   * A Non-Preferential Semantics of Non-Monotonic Modal Logic *

   - Johann Makowsky <http://www.cs.technion.ac.il/%7Ejanos/> (Technion)
   * From Hilbert's Program to a Logic Toolbox *

   - Ilkka Niemela <http://www.tcs.hut.fi/%7Eini/> (Helsinki University
   of Technology)
   * Stable Models and Difference Logic *

   - Jeff Remmel <http://math.ucsd.edu/%7Eremmel/> (University of
   California at San Diego)
   * A Mathematician Looks at Answer Set Programming *

   - John Schlipf <http://www.ececs.uc.edu/%7Eschlipf/> (University of
   Cincinnati) and Marc Denecker
<http://www.cs.kuleuven.ac.be/%7Emarcd/>(Katholieke Universiteit
Leuven)
   * Complexity of First Order ID-Logic *

   - Marian Srebrny <http://www.ipipan.waw.pl/%7Emarians/> (Polish
   Academy of Sciences)
   * SAT as a programming environment for linear algebra and cryptography
   *

   - Miroslaw Truszczynski <http://www.cs.uky.edu/%7Emirek> (University
   of Kentucky)
   * Hyperequivalence of programs and operators*

Please, refer to http://isaim2008.unl.edu for details.
<http://isaim2008.unl.edu/>
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071220/adf290cb/attachment.html>

From svb at doc.ic.ac.uk  Thu Dec 20 14:15:19 2007
From: svb at doc.ic.ac.uk (Steffen van Bakel)
Date: Thu, 20 Dec 2007 13:15:19 +0000
Subject: Call for Papers CL&C'08
Message-ID: <DE467F23-6300-49B2-9733-705A61B978C0@doc.ic.ac.uk>

Apologies for multiple postings
----------------------------------------------------------------------

                            Call for Papers

                         International Workshop
                                  on
                    Classical Logic and Computation

Associated to: ICALP 2008, July 6-13, 2008, Reykjavik, Iceland
Preliminary date: July 13 2008


CL&C'08 is the second of a new conference series on "Classical Logic
and Computation". It intends to cover all work aiming to explore
computational aspects of classical logic and mathematics.

Introduction:

The fact that classical mathematical proofs of simply existential
statements can be read as programs was established by Goedel and
Kreisel half a century ago.  But the possibility of extracting useful
computational content from classical proofs was taken seriously only
from the 1990s on when it was discovered that proof interpretations
based on Goedel's and Kreisel's ideas can provide new nontrivial
algorithms and numerical results, and the Curry-Howard correspondence
can be extended to classical logic via programming concepts such as
continuations and control operators.

Scope:

This workshop aims to support a fruitful exchange of ideas between the
various lines of research on Classical Logic and Computation.
Topics of interest include, but are not limited to,

     - version of lambda calculi adapted to represent classical logic,
     - design of programming languages inspired by classical logic,
     - cut-elimination for classical systems,
     - proof representation and proof search for classical logic,
     - translations of classical to intuitionistic proofs,
     - constructive interpretation of non-constructive principles,
     - witness extraction from classical proofs,
     - constructive semantics for classical logic (e.g. game semantics),
     - case studies (for any of the previous points).


Submission and Publication:

This is intended to be an informal workshop. Participants are
encouraged to present work in progress, overviews of more extensive
work, and programmatic/position papers, as well as completed
projects. We therefore ask for submission both of short abstracts and
of longer papers.

In order to make a submission:
     - Format your file using the LNCS guidelines; there is a 15 page  
limit.
     - Use the submission links at http://www.doc.ic.ac.uk/~svb/CLaC08

Submissions will be refereed at normal standards. A participants'
proceedings will be distributed at the workshop. A special issue of a
journal, associated with the workshop, is being considered. It will
contain full versions of selected papers.


Important dates:

     - Deadline for submission: March, 1.
     - Notification of acceptance: May, 1.
     - Final version due: June, 1.
     - Workshop: July 13.


Programme committee:

     - Steffen van Bakel (Imperial College London)
     - Ulrich Berger (Swansea): chair
     - Stefano Berardi (Turin)
     - Paola Bruscoli (Bath)
     - Thierry Coquand (Chalmers)
     - Fernando Ferreira (Lisbon)
     - Michel Parigot (Paris VII)
     - Aldo Ursini (Siena)


Kind regards,
Ulrich Berger



From franconi at inf.unibz.it  Thu Dec 20 19:34:05 2007
From: franconi at inf.unibz.it (Enrico Franconi)
Date: Thu, 20 Dec 2007 19:34:05 +0100
Subject: European Master in Computational Logic - scholarships for non-European and European students
Message-ID: <F899417F-81F3-42AB-A16B-084EBA68D982@inf.unibz.it>

     *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***
               http://www.computational-logic.eu

The  Faculty of  Computer Science  at  the Free  University of  Bozen-
Bolzano (FUB), in Italy  (at the heart  of the  Dolomites mountains in
South-Tyrol),   is   offering   the   European  Masters   Program   in
Computational  Logic as  part of  its  Master of  Science in  Computer
Science offer (Laurea Specialistica).  The European Masters Program in
Computational Logic is an  international distributed Master of Science
course, in  cooperation with the  computer science departments  in the
following universities:

     * Free University of Bozen-Bolzano, Italy
     * Technische Universitaet Dresden, Germany
     * Universidade Nova de Lisboa, Portugal
     * Technische Universitaet Wien, Austria
     * Universidad Politecnica de Madrid, Spain

This program, completely in English, involves studying one year at the
Free University of Bozen-Bolzano,  and completing the second year with
a stay  in one  of the partner  universities. After this,  the student
will obtain, together with the  European degree, two Master of Science
degrees: the  Laurea Specialistica degree from the  Free University of
Bozen-Bolzano, with legal value in Italy, and the respective Master of
Science degree  from the visited  university, with legal value  in its
country.

APPLICATION DEADLINES:

- *** 10 FEBRUARY 2008* ** : first deadline for all European and  non-
   European  students, and  final deadline  for  non-European  students
   requesting an Erasmus Mundus scholarship
   (notification of acceptance: 10 March 2008)
- 31 May 2008: deadline for all European and non-European students
   (notification of acceptance: 15 June 2008)
- 24 August 2008: last deadline only for European students
   starting at the Free University of Bozen-Bolzano, Italy
   (notification of acceptance: 10 September 2008)

SCHOLARSHIPS & MONEY SUPPORT:

In 2008 the European Masters Program in Computational Logic will offer
several new Erasmus Mundus  scholarships for non-European citizens (in
2004, 2005, 2006, and 2007  more than 70  Erasmus  Mundus scholarships
were given). Each  scholarship for each student amounts  to 21,000 EUR
per academic year; this includes 10  monthly grants of 1,600 EUR and a
fixed amount of 5,000 EUR for fees, travel expenses, relocation costs,
etc. The 10th of February 2008 is the final deadline for requesting an
Erasmus Mundus scholarship for non-European students.

European citizens  can apply to scholarships which  are granted purely
on the  basis of  the yearly  income of the  applicant and  of her/his
parents or husband/wife. Scholarships may amount up to more than 6,000
EUR  per academic  year, including  support on  the  accommodation and
total reimbursement of the enrolment fees. These scholarships are also
available to  non-European citizens with residence  in Italy. European
students  will also  get a  LLP Socrates  Erasmus scholarship  for the
second year of study abroad, which is up to 250 EUR per month.

    NEW!  Every year 10  students with  European citizenship  can visit
    Australia (Canberra, Sidney, Melbourne  or Brisbane) up to 3 months
    to work  on a research  project, sponsored by the  European Master.
    The study period in Australia is part of the study programme and it
    is   fully  recognised   by  the   European  Master's   Program  in
    Computational Logic. The guaranteed scholarship is of 3,100 EUR and
    it covers  the travel  and living expenses  in Australia.

    The KRDB Research Centre offers  the annual "IBM & KRDB" awards for
    the best  thesis on a  Computational Logic related topic,  which is
    generously sponsored  by the IBM Center for  Advanced Studies; each
    winner  will receive 500  EUR from  IBM. In  addition to  that, the
    Italian  site  in Rome  of  the  IBM  Center for  Advanced  Studies
    supports  scholarships of up  to 2,400  EUR to  work on  a research
    project or on the thesis at their labs in Rome.

Check the web page for  detailed info on other available scholarships:
http://www.computational-logic.eu

THE STUDY PROGRAMME:

The  European Masters Program  in Computational  Logic is  designed to
meet  the demands  of industry  and research  in this  rapidly growing
area.  Based on a  solid foundation in mathematical logic, theoretical
computer science, artificial  intelligence and declarative programming
students  will  acquire   in-depth  knowledge  necessary  to  specify,
implement and  run complex systems as  well as to  prove properties of
these  systems. In  particular, the  focus of  instruction will  be in
deduction systems, knowledge  representation and reasoning, artificial
intelligence, formal  specification and verification,  syntax directed
semantics, logic  and automata  theory, logic and  computability. This
basic  knowledge is  then  applied  to areas  like  logic and  natural
language  processing,  logic  and  the semantic  web,  bioinformatics,
information  systems and  database technology,  software  and hardware
verification.  Students  will acquire  practical  experience and  will
become  familiar in  the use  of tools  within these  applications. In
addition, students will  be prepared for a future  PhD, they will come
in  contact with  the  international research  community  and will  be
integrated   into  ongoing  research   projects.  They   will  develop
competence  in  foreign  languages  and  international  relationships,
thereby improving their social skills.

Applicants  should  have  a  Bachelor  degree  (Laurea  triennale)  in
Computer Science, Computer Engineering, or other relevant disciplines;
special cases will be considered.  The programme is part of the Master
in Computer  Science (Laurea Specialistica in Informatica)  and it has
various  strengths that make  it unique  amongst Italian  and European
universities:

* Curriculum taught entirely in English:  The programme is open to the
    world and prepares the students to move on the international scene.
* Possibility of a strongly research-oriented curriculum.
* Possibility  for  project-based  routes  to obtain  the  degree  and
    extensive lab facilities.
* Other specialisations  with streams in the  hottest Computer Science
    areas,   such  as  Web  Technologies,  Information   and  Knowledge
    Management, Databases and Software Engineering.
* International student community.
* Direct  interaction with  the local  and international  industry and
    research  centres, with the possibility  of practical  and research
    internships that can lead to future employment.
* Excellent scholarship opportunities and student accommodations.

The  European  Masters Program  in  Computational  Logic is  sponsored
scientifically by the European  Network of Excellence on Computational
Logic  (CoLogNET), the  European  Association of  Logic, Language  and
Information   (FoLLI),  the   European   Coordinating  Committee   for
Artificial   Intelligence  (ECCAI),   the   Italian  Association   for
Artificial   Intelligence  (AI*IA),   the   Italian  Association   for
Informatics  (AICA, member  of  the Council  of European  Professional
Informatics  Societies), the  Italian  Association for  Logic and  its
Applications  (AILA), and  the Portuguese  Association  for Artificial
Intelligence (APPIA).

THE FREE UNIVERSITY OF BOZEN-BOLZANO:

The Free  University of Bozen-Bolzano, founded in  1997, boasts modern
premises  in   the  centre   of  Bozen-Bolzano.  The   environment  is
multilingual,  South Tyrol being  a region  where three  languages are
spoken: German, Italian and Ladin. Studying in a multilingual area has
shown  that  our students  acquire  the  cutting  edge needed  in  the
international business  world. Many of  our teaching staff  hails from
abroad.   Normal  lectures  are   complemented  with   seminars,  work
placements and  laboratory work, which give our  students a vocational
as well  as theoretical training, preparing them  for their subsequent
professional careers. Studying at the Free University of Bozen-Bolzano
means,  first and  foremost,  being  guided all  the  way through  the
student's educational career.
Bozen-Bolzano, due to its enviable geographical position in the centre
of   the  Dolomites,  also   offers  our   students  a   multitude  of
opportunities  for  spending  their  free-time. The  city  unites  the
traditional with the modern. Young people and fashionable shops throng
the city  centre where ancient mercantile buildings  are an attractive
backdrop to a city that is  in continual growth. To the south there is
the  industrial  and  manufacturing  area with  prosperous  small  and
medium-sized businesses  active in every economic sector.  Back in the
17th century  Bozen-Bolzano was already a  flourishing mercantile city
that, thanks  to its particular  geographic position, functioned  as a
kind of bridge between northern and southern Europe. As a multilingual
town  and a cultural  centre Bozen-Bolzano  still has  a lot  to offer
today.  Its plethora  of theatres,  concerts with  special programmes,
cinemas and museums, combined with a series of trendy night spots that
create local  colour make  Bozen-Bolzano a city  that is  beginning to
cater for  its increasingly demanding  student population. And  if you
fancy a very special experience, go and visit the city's favourite and
most famous resident - "Oetzi", the Ice Man of Similaun, housed in his
very  own  refrigerated room  in  the  recently opened  archaeological
museum.
Bozen-Bolzano and its surroundings are an El Dorado for sports lovers:
jogging  on the  grass alongside  the River  Talfer-Talvera,  walks to
Jenesien-S.Genesio   and  on   the  nearby   Schlern-Sciliar  plateau,
excursions  and mountain climbing  in the  Dolomites, swimming  in the
numerous nearby lakes and, last but not least, skiing and snowboarding
in the surrounding ski areas.

FURTHER INFORMATION:

Prof. Enrico Franconi or Dr. Sergio Tessaris
at info at fub.computational-logic.eu

European Masters Program in Computational Logic
Faculty of Computer Science
Free University of Bozen-Bolzano
Piazza Domenicani, 3
I-39100 Bozen-Bolzano BZ, Italy

Phone: +39 0471 016 000
Fax:   +39 0471 016 009
Email: info at fub.computational-logic.eu
Web site: http://www.computational-logic.eu




From gruninger at mie.utoronto.ca  Thu Dec 20 20:19:14 2007
From: gruninger at mie.utoronto.ca (Michael Gruninger)
Date: Thu, 20 Dec 2007 14:19:14 -0500
Subject: CFP: Fifth International Conference on Formal Ontology in Information
 Systems
Message-ID: <476AC032.8040401@mie.utoronto.ca>


[Apologies for multiple copies.]


**** FOIS 2008 CALL FOR PAPERS
****
**** The 5th International Conference
**** on Formal Ontology in Information Systems
****
**** http://fois08.dfki.de
****
**** October 31st – November 3rd, 2008
**** Saarbrücken, Germany
**** DFKI, Competence Center Semantic Web


Conference Description
----------------------
Since its inception ten years ago, the International Conference on 
Formal Ontology in Information Systems has explored the multiple 
perspectives on the notion of ontology that have arisen from such 
diverse research communities as philosophy, logic, computer science, 
cognitive science, linguistics, and various scientific domains.

As ontologies have been applied in new and exciting domains such as the 
World Wide Web, bioinformatics, and geographical information systems, it 
has become evident that there is a need for ontologies that have been 
developed with solid theoretical foundations based on philosophical, 
linguistic, and logical analysis. Similarly, there is also a need for 
theoretical research that is driven by the issues that have been raised 
by recent work in the more applied domains.

FOIS is intended to be a forum in which to explore this interplay 
between the theoretical insights of formal ontology and their 
application to information systems and emerging semantic technologies.

Invited Speakers
----------------
* Johanna Seibt (Aarhus Universitet, Denmark)
* Mike Uschold (Boeing Corporation, USA)
* York Sure (SAP Research, Germany)

Important dates and Further Information
---------------------------------------
* Electronic abstracts: April 22, 2008
* Final submissions: April 24, 2008
* Acceptance Notification: June 18, 2008
* Submission of camera-ready papers: July 18, 2008

Submitted papers must not exceed 5000 words (including bibliography). 
Abstracts should be less than 300 words. Papers should be submitted 
electronically; information will be provided on the conference web page: 
http://fois08.dfki.de

Proceedings will be published and available at the conference.

+++ ToDo Details for Tutorial-Call +++
+++ ToDo Details for Application Forum / industry day +++
+++ ToDo Details for Tutorial +++

Chairs
------
Conference Chair:
* Nicola Guarino (ISTC-CNR, Trento, Italy) nicola.guarino at loa-cnr.it
Program Chairs:
* Carola Eschenbach (University of Hamburg, Germany)
* Michael Gruninger (University of Toronto, Canada)
Local Organization
* Paul Buitelaar (DFKI GmbH, Saarbrücken, Germany)
* Massimo Romanelli (DFKI GmbH, Saarbrücken, Germany)
* Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)

Topics
------
We seek high-quality papers on a wide range of topics. While authors may 
focus on fairly narrow and specific issues, all papers should emphasize 
the relevance of the work described to formal ontology and to 
information systems. Papers that completely ignore one or the other of 
these aspects will be considered as lying outside the scope of the meeting.
Topic areas of particular interest to the conference are:

Foundational Issues
* Kinds of entity: particulars vs. universals, continuants vs. 
occurrents, abstracta vs. concreta, dependent vs. independent, natural 
vs. artificial
* Formal relations: parthood, identity, connection, dependence, 
constitution, subsumption, instantiation
* Vagueness and granularity
* Identity and change
* Formal comparison among ontologies
* Ontology of physical reality (matter, space, time, motion, ...)
* Ontology of biological reality (genes, proteins, cells, organisms, ...)
* Ontology of mental reality and agency (beliefs, intentions and other 
mental attitudes; emotions, ...)
* Ontology of social reality (institutions, organizations, norms, social 
relationships, artistic expressions, ...)
* Ontology of the information society (information, communication, 
meaning negotiation, ...)
* Ontology and Natural Language Semantics, Ontology and Cognition

Methodologies and Applications
* Top-level vs. application ontologies
* Ontology integration and alignment; role of reference ontologies
* Ontology-driven information systems design
* Requirements engineering
* Knowledge engineering
* Knowledge management and organization
* Knowledge representation; Qualitative modeling
* Computational lexica; Terminology
* Information retrieval; Question-answering
* Semantic web; Web services; Grid computing
* Domain-specific ontologies, especially for: Linguistics, Geography, 
Law, Library science, Biomedical science, Ebusiness, Enterprise 
integration, ...


Programme Committee
--------------------
Bill Andersen (Ontology Works, USA)
John Bateman (Department of Applied English Linguistics, University of 
Bremen, Germany)
Brandon Bennett (School of Computing, University of Leeds, UK)
Stefano Borgo (Laboratory for Applied Ontology, ISTC-CNR, Italy)
Vladimir Borschev (University of Massachusetts, USA)
Joost Breuker (Leibniz Center for Law, University of Amsterdam, The 
Netherlands)
Paul Buitelaar (DFKI GmbH, Saarbrücken, Germany)
Roberto Casati (Jean Nicod Institute, CNRS, Paris, France)
Werner Ceusters (New York State Center of Excellence in Bioinformatics 
and Life Sciences, SUNY at Buffalo)
Hans Chalupsky (University of Southern California, USA)
Philipp Cimiano (Universität Karlsruhe (TH), Germany)
Tony Cohn (School of Computing, University of Leeds, UK)
Matteo Cristani (University of Verona, Italy)
Carola Eschenbach (Department for Informatics, University of Hamburg, 
Germany)
Jérôme Euzenat (INRIA Rhône-Alpes)
Christiane Fellbaum (Cognitive Science Laboratory, Princeton University, 
USA and Berlin Brandenburg Academy of Sciences and Humanities, Berlin, 
Germany)
Roberta Ferrario (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy)
Antony Galton (School of Engineering and Computer Science, University of 
Exeter, UK)
Aldo Gangemi (Laboratory for Applied Ontology, ISTC-CNR, Roma, Italy)
Pierdaniele Giaretta (Department of Philosophy, University of Verona, 
Italy)
Michael Gruninger (University of Toronto, Canada)
Nicola Guarino (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy)
Udo Hahn (Jena University, Germany)
Jerry Hobbs (University of Southern California, USA)
Rüdiger Klein (Fraunhofer IAIS, Germany)
Werner Kuhn (IfGI, University of Muenster)
Terry Langendoen (University of Arizona, USA)
Alessandro Lenci (University of Pisa, Italy)
Leonardo Lesmo (Department of Computer Science, University of Torino, 
Italy)
David Mark (Department of Geography, State University of New York, 
Buffalo, USA)
Claudio Masolo (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy)
William McCarthy (Michigan State University)
Chris Menzel (Department of Philosophy, Texas A&M University, USA)
Simon Milton (Department of Information Systems, University of 
Melbourne, Australia)
Philippe Muller (Research Institute for Computer Science, University of 
Toulouse III, France)
John Mylopoulos (Department of Computer Science, University of Toronto, 
Canada)
Daniel Oberle (SAP Research, CEC Karlsruhe)
Leo Obrst (The MITRE Corporation, USA)
Barbara Partee (University of Massachusetts, USA)
Yun Peng (University of Maryland, USA)
James Pustejovsky (Department of Computer Science, Brandeis University, 
USA)
Massimo Romanelli (DFKI GmbH, Saarbrücken, Germany)
Riccardo Rosati (University of Rome, Italy)
Tom Russ (University of Southern California, USA)
Johanna Seibt (University of Aarhus, Denmark)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Barry Smith (National Center for Ontological Research and Department of 
Philosophy, University at Buffalo, USA; Institute for Formal Ontology 
and Medical Information Science, Saarbrücken, Germany)
John Sowa (Vivomind Intelligence Inc., USA)
John Stell (School of Computing, University of Leeds, UK)
Veda Storey (Department of Computer Information Systems, Georgia State 
University, USA)
Ludger van Elst (DFKI GmbH, Kaiserslautern, Germany)
Achille Varzi (Department of Philosophy, Columbia University, USA)
Laure Vieu (Research Institute for Computer Science, CNRS, Toulouse, 
France)
Chris Welty (IBM Watson Research Center, USA)



From bernhard.jung at ofai.at  Fri Dec 21 10:22:29 2007
From: bernhard.jung at ofai.at (Bernhard Jung)
Date: Fri, 21 Dec 2007 10:22:29 +0100
Subject: Subscribe me!
Message-ID: <1198228949.5516.27.camel@avocado>




From bernhard.jung at ofai.at  Fri Dec 21 10:33:47 2007
From: bernhard.jung at ofai.at (Bernhard Jung)
Date: Fri, 21 Dec 2007 10:33:47 +0100
Subject: Confirmation Request (4228626532)
In-Reply-To: <listadmin-28698033@tu-clausthal.de>
References: <listadmin-28698033@tu-clausthal.de>
Message-ID: <1198229627.5516.37.camel@avocado>


On Fri, 2007-12-21 at 10:32 +0100, event administration wrote:
> This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe(feed) operation
>   for your <bernhard.jung at ofai.at> address
> 
> If you want to confirm this operation,
>   use the Reply command in your mailer.
> 
> Check that the Subject of the reply message contains
>   the confirmation ID: 4228626532,
>   the reply is directed to <event-feed at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <bernhard.jung at ofai.at>.
> 
> If you do not want to confirm the requested operation, simply do nothing
> 
> All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>
> 


From sofronie at mpi-sb.mpg.de  Fri Dec 21 15:27:04 2007
From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans)
Date: Fri, 21 Dec 2007 15:27:04 +0100 (CET)
Subject: Special issue of the Journal of Symbolic Computation on "Automated 
     Deduction: Decidability, Complexity, Tractability''
Message-ID: <34778.139.19.24.5.1198247224.squirrel@mail.mpi-inf.mpg.de>

[We apologize if you receive multiple copies of this announcement]

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

                    CALL FOR PAPERS

            Journal of Symbolic Computation

                   Special Issue on

    Automated Deduction: Decidability, Complexity, Tractability

    http://www.mpi-inf.mpg.de/~sofronie/addct-special-issue.html

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

This special issue is devoted to the scope of the workshop ADDCT'07:
Automated Deduction: Decidability, Complexity, Tractability, which
took place in Bremen (Germany) on July 2007. Topics of interest include
(but are not restricted to):

- Decidability:
   - decision procedures based on logical calculi such as:
     resolution, rewriting, tableaux, sequent calculi, or natural deduction
   - decidability in combinations of logical theories
   - specialized decision procedures
- Complexity:
   - complexity analysis for fragments of first- (or higher) order logic
   - complexity analysis for combinations of logical theories
     (including parameterized complexity results)
- Tractability (in logic, automated reasoning, algebra, ...)

- Application domains for which complexity issues are essential
  (verification, security, databases, ontologies, ...)


Submission procedure
====================

Submission to this special issue is completely open.
We expect original articles (typically 15-30 pages; submission of
larger papers will be evaluated depending on editorial constraints)
that present high-quality contributions that  have not been previously
published in an  archival venue and that must not be simultaneously
submitted for publication elsewhere.

Submissions must comply with JSC's author guidelines. They must be
written in English and should be prepared in LaTeX using the
"Elsevier Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)"
and "Harvard style references (elsart-harv.bst)". The package "JSC LaTex"
(that contains all the necessary style files and a template) can be obtained
from  http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip

The introduction of the paper MUST explicitly address the following
questions in succinct and informal manner:
     - What is the problem?
     - Why is the problem important?
     - What has so far been done on the problem?
     - What is the contribution of the paper on the problem?
     - Is the contribution original?     Explain why.
     - Is the contribution non-trivial?  Explain why.

Submission to this special issue are hereby encouraged via the EasyChair
submission system (http://www.easychair.org/conferences/?conf=addctjsc2008)..

The deadline for submissions is April 6th, 2008.


Guest editors:
==============
  Silvio Ghilardi (U. Milano)
  Ulrike Sattler (U. Manchester)
  Viorica Sofronie-Stokkermans (MPI,Saarbruecken)
  Ashish Tiwari (Menlo Park)


Contact
=======
For further informations please send an e-mail to
Viorica Sofronie-Stokkermans (e-mail sofronie at mpi-inf.mpg.de)


From Christine.Paulin at lri.fr  Sat Dec 22 17:06:49 2007
From: Christine.Paulin at lri.fr (Christine Paulin)
Date: Sat, 22 Dec 2007 17:06:49 +0100
Subject: MPC 2008: SECOND CALL FOR PAPERS
Message-ID: <E1J66sD-0000li-00@serveur9-10.lri.fr>

SECOND CALL FOR PAPERS

9th International Conference on Mathematics of Program Construction (MPC'08)

Marseille (Luminy), France, July 15-18th 2008 

http://mpc08.lri.fr
             
BACKGROUND

The biennial MPC conferences aim to promote the development of
mathematical principles and techniques that are demonstrably practical
and effective in the process of constructing computer programs. Topics
of interest range from algorithmics to support for program
construction in programming languages and systems.

The previous conferences were held in Twente, The Netherlands (1989),
Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden
(1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002),
Stirling, UK (2004, colocated with AMAST '04) and Kuressaare, Estonia 
(2006, colocated with AMAST '06).

The 2008 conference will be held in Marseille, France at the 
International Center for Mathematical Meetings 
(http://www.cirm.univ-mrs.fr/web.ang).

INVITED SPEAKERS

To be announced.

IMPORTANT DATES

    * Submission of abstracts: 14 January 2008
    * Submission of full papers: 21 January 2008
    * Notification of authors: 10 March 2008
    * Camera-ready version: 10 April 2008

TOPICS

Papers are solicited on mathematical methods and tools put to use in
program construction. Topics of interest range from algorithmics to
support for program construction in programming languages and
systems. Some typical areas are type systems, program analysis and
transformation, programming-language semantics, program
logics. Theoretical contributions are welcome provided their relevance
for program construction is clear. Reports on applications are welcome
provided their mathematical basis is evident.

SUBMISSION

Submission is in two stages. Abstracts (plain text, 10 to 20 lines)
must be submitted by 14 January 2008. Full papers (pdf) adhering to
the llncs style must be submitted by 21 January 2008. There is no
official page limit, but authors should strive for brevity. The
web-based submission system is now open 
	  http://www.easychair.org/conferences/?conf=mpc08.

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the conference by one of the authors.

The proceedings of MPC'08 will be published in the Lecture Notes in
Computer Science series of Springer-Verlag.

After the conference, the authors of the best papers will be invited
to submit revised versions to a special issue of the Science of
Computer Programming journal of Elsevier. 

PROGRAMME COMMITTEE
  
Christine Paulin-Mohring INRIA-Universit� Paris-Sud, France (chair)

Philippe Audebaud	Ecole Normale Sup�rieure Lyon, France (co-chair)
Ralph-Johan Back	Abo Akademi University,	Finland	
Eerke Boiten		University of Kent, UK
Venanzio Capretta	University of Nijmegen, Netherlands
Sharon Curtis		Oxford Brookes University, UK
Jules Desharnais	Universit� Laval, Qu�bec, Canada
Peter Dybjer		Chalmers University of Technology, Sweden
Jeremy Gibbons 		University of Oxford, UK
Lindsay Groves		Victoria University of Wellington, New Zealand
Ian Hayes		University of Queensland, Australia
Eric Hehner		University of Toronto, Canada
Johan Jeuring 		Utrecht University, Netherlands
Dexter Kozen 		Cornell University, USA 
Christian Lengauer	Universit�t Passau, Germany
Lambert Meertens	University of Utrecht, Netherlands
Bernhard M�ller 	Universit�t Augsburg, Germany
Carroll Morgan		University of New South Wales, Australia
Shin-Cheng Mu		Academia Sinica, Taiwan
Jose Nuno Oliveira 	Universidade do Minho, Portugal
Tim Sheard		Portland State University, USA 
Tarmo Uustalu 		Institute of Cybernetics Tallin, Estonia

VENUE

The conference will be held in Marseille, the second largest city in
France next to Paris. Its port is the most important in France, 
and opens the city to the world through the Mediterranean Sea. 
MPC'08  will be hosted  by the  International Center for Mathematical
Meetings. The center is located inside the Campus of Luminy Faculty. 
It is close to the "Calanques", an astounding wild coastline composed 
of creeks stretching from Marseille to Cassis.

LOCAL ORGANIZERS

MPC 2008 is organized with the support of INRIA.

The local organizers are Philippe Audebaud and Christine
Paulin-Mohring with the help of Marie-Ren�e Fleury.

Enquiries regarding the programme (submission etc.) should be addressed 
to mpc08(at)lri.fr





From tojo at jaist.ac.jp  Thu Dec 27 14:41:21 2007
From: tojo at jaist.ac.jp (Satoshi Tojo)
Date: Thu, 27 Dec 2007 22:41:21 +0900
Subject: Second International Workshop on Juris-informatics(JURISIN 2008)
Message-ID: <3e3a418e0712270541q1eb97f9dx22ffe003fccd4ee@mail.gmail.com>

Second International Workshop on Juris-informatics(JURISIN 2008)
http://www.ntt.dis.titech.ac.jp/jurisin2008/


June 10, 2008

Asahikawa Convention Bureau, Hokkaido, Japan

in association with The 22th Annual Conference of The Japanese Society
for Artificial Intelligence (JSAI2008)


Aims and scope

Juris-informatics is a new research area which studies legal issues
from the perspective of informatics.
The purpose of this workshop is to discuss both the fundamental and
practical issues for juris-informatics among people from the various
backgrounds such as law, social science, information and intelligent
technology, logic and philosophy, including the conventional "AI and
law" area.
We solicit unpublished papers on theories, technologies and
applications on juris-informatics.


Topics

Relevant topics include, but are not limited to, the following:

* Legal reasoning
* Argumentation/Argumentation agent
* Legal term ontology
* Formal / Intelligent management of legal knowledge-base
* Translation of legal documents
* Computer-aided law education
* Use of Informatics and AI in law
* Legal issues on ubiquitous computing/multi-agent system/the Internet
* Social implications of use of informatics and AI in law

Submissions

We welcome and encourage the submission of high quality, original
papers, which are not simultaneously submitted for publication
elsewhere. Papers should be written in English, formatted according to
the Springer Verlag LNCS style, which can be obtained from
http://www.springeronline.com, and not exceed 10 pages including
figures, references, etc.
If a paper is accepted, at least one author of the paper is requested
to register and present it.




Proceedings

A printed volume of the proceedings will be available at the workshop.


Post Proceedings

JSAI has been negotiating with Springer Verlag to publish selected
papers of the workshop in the JSAI2008 post-proceedings as a volume of
LNAI. If Springer acccepts post-proceedings publication, we will ask
to extend their contributions, possibly incorporating the results of
the workshop discussion, to be included in the workshop
post-proceedings, after another round of refereeing.


Important Dates

Submission Deadline: March 28, 2008
Notification: April 15, 2008
Camera Ready Copy due: April 25, 2008
JURISIN 2008: June 10, 2008

Workshop Chairs

Katsumi Nitta, Tokyo Institute of Technology, Japan
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
Ken Satoh, National Institute of Informatics and Sokendai, Japan

Programme Committee

Kevin Ashley, University of Pittsburgh, USA
Aditya Ghose, University of Wollongong, Australia
Guido Governatori, University of Queensland, Australia
Tokuyasu Kakuta, Nagoya University, Japan
Henry Prakken, University of Utrecht & Groningen, The Netherlands
Seiichiro Sakurai, Meiji Gakuin University, Japan
Giovanni Sartor, European University Institute, Italy
Hajime Sawamura, Niigata University, Japan
Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan
Katsuhiko Toyama, Nagoya University, Japan
Takahira Yamaguchi, Keio University, Japan
John Zeleznikow, Victoria University, Australia


For any inquiry, please send it to "jurisin2008 [at] ntt.dis.titech.ac.jp".


From gardent at loria.fr  Fri Dec 28 13:24:48 2007
From: gardent at loria.fr (Claire Gardent)
Date: Fri, 28 Dec 2007 07:24:48 -0500 (EST)
Subject: Postdoc Opening in Nancy (France)
Message-ID: <20071228122448.10F4B57078@loria1.loria.fr>

	Postdoctoral Position at INRIA Nancy (France)
		

Linguistic Field(s): Computational Linguistics 

Topic: Surface realisation and large scale over-generation detection

Deadline: February 15, 2008. 

Employer: INRIA (French National Institute for Research in Computer
Science) Nancy Grand Est (France) 

Job Description: The Lorraine Laboratory of IT Research and its
Applications (Nancy, France) has a position for a Postdoctoral fellow
to work on the development of a surface realiser for French.

Applicants must have a ** recent doctoral degree ** (Doctoral thesis
less than one year old before the recruitment's date) or defend their
PhD before the end of 2008. They must have expertise in an area
relevant to the project (linguistics, computational linguistics,
computer science), strong hands-on experience in Natural Language
Processing and a particular interest in NL generation.  A good
knowledge of Haskell is a necessity.

Further particulars and details of how to apply are available at:

http://www.loria.fr/~gardent 

The official closing date is February 15, 2007, but applications will
be processed until the position is filled.
 
Contact:        Claire Gardent <claire.gardent at loria.fr>
                                                                                                                                                                                


From hatcliff at cis.ksu.edu  Fri Dec 28 20:39:01 2007
From: hatcliff at cis.ksu.edu (John Hatcliff)
Date: Fri, 28 Dec 2007 13:39:01 -0600 (CST)
Subject: PEPM 2008 Call For Participation -- ACM SIGPLAN Workshop on Partial
 Evaluation and Semantics-Based Program Manipulation (with POPL 2008)
Message-ID: <200712281939.lBSJd1fp000326@mustang.cis.ksu.edu>

                             P E P M   2 0 0 8 

                          Call for Participation

                              ACM SIGPLAN 2008 
           Workshop on Partial Evaluation and Program Manipulation
  
                             January 7-8, 2008
                       San Francisco, California USA

                        co-located with POPL 2008

          PEPM 2008 site: http://www.program-transformation.org/PEPM08
          Registration:   http://www.regmaster.com/conf/popl2008.html



The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.

The 2008 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue last year's
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
covers manipulation and transformations of program and system
representations such as structural and semantic models that occur in
the context of model-driven development. 

Invited Talks
 *  Monica Lam: Combining Static and Dynamic Analysis for 
          Securing Web Applications.
 *  Ras Bodik. Program Synthesis by Sketching.


PEPM 2008 Program

* Monday, January 7, 2008
   - Opening: 8:45 - 9:00
   - Invited Talk 1: 9:00 - 10:00
       Monica Lam: Combining Static and Dynamic Analysis for 
          Securing Web Applications.
   - Coffee break
   - Session 1: 10:30 - 12:00 (Staging and Program Manipulation)
       Isabella Mastroeni, Damiano Zanardini. Data dependencies and 
          program slicing: From syntax to abstract semantics.
       Djoko Djoko Simplice, R�mi Douence, Pascal Fradet. 
          Aspects Preserving Properties.
       Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. 
          Closing the Stage: From staged code to typed closures.
   - Lunch
   - Session 2: 13:30 - 15:30 (Program Transformation and Derivation)
       Janis Voigtl�nder. Proving correctness via free theorems. 
          The case of the destroy/build-rule.
       Torben Mogensen. Semi-Inversion of Functional Parameters.
       Shin-Cheng Mu. Maximum Segment Sum is Back - 
          Deriving Algorithms for Two Segment Problems with Bounded Lengths.
       Huiqing Li, Simon Thompson. Tool Support for Refactoring 
          Functional Programs (Tool Demonstration).
   - Coffee break
   - Session 3: 16:00 - 17:30 (Program Optimization)
       Stephen A. Edwards and Jia Zeng. Static Elaboration of Recursion 
          for Concurrent Software.
       Jakob Puchinger and Peter Stuckey. 
          Automating Branch-and-Bound for Dynamic Programs.
       Ando Saabas and Tarmo Uustalu. 
          Proof optimization for partial redundancy elimination.

* Tuesday, January 8, 2008
   - Invited Talk 2: 9:00 - 10:00
       Ras Bodik. Program Synthesis by Sketching.
   - Coffee break
   - Session 4: 10:30 - 12:00 (Partial Evaluation)
       Ping Zhu, Siau-Cheng Khoo. 
          Specialization for Applications Using Shared Libraries.
       Boris Feigin, Alan Mycroft. 
          Jones Optimality and Hardware Virtualization.
       Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin. 
          A Practical Inference and Specializer for Array Bound 
          Checks Elimination.
   - Lunch
   - Session 5: 13:30 - 15:30 (Parsing and Functional Programming)
       Alessandro Warth, James Douglass and Todd Millstein. 
          Packrat Parsers Can Support Left Recursion.
       Nic Volanschi and Christian Rinderknecht. 
          Unparsed Patterns: Easy User-Extensibility of Program 
            Manipulation Tools.
       Jurriaan Hage, Stefan Holdermans. Heap Recycling for Lazy Languages.
       Daniel Prusa and Jan Jancura. 
          Generic Framework for Integration of Programming 
            Languages into Net Beans IDE (Tool Demonstration).
   - Coffee break
   - Session 6: 16:00 - 17:30 (Verification and Synthesis)
          Jennifer Gillenwater, Gregory Malecha, Cherif Salama, 
          Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary. 
            Synthesizable High Level Hardware Descriptions.
          Nik Sultana, Simon Thompson. 
            Mechanical verification of refactorings.
          Pawel Pietrzak, Jes�s Correas Fern�ndez, German Puebla, 
          Manuel Hermenegildo. 
            A Practical Type Analysis for Verification of Modular 
            Prolog Programs.


PEPM 2008 Organization

Program Chairs
  Robert Gl�ck (University of Copenhagen, Denmark)
  Oege de Moor (Oxford University, UK)

General Chair
  John Hatcliff (Kansas State University)

Program Committee Members
  Kenichi Asai (Ochanomizu University, Japan)
  Lennart Augustsson (Credit Suisse, UK)
  Martin Bravenboer (Delft University of Technology, The Netherlands)
  Cristiano Calcagno (Imperial College London, UK)
  Robert M. Fuhrer (IBM T.J. Watson Research Center, USA)
  Shan Shan Huang (Georgia Institute of Technology, USA)
  Patricia Johann (Rutgers University, USA)
  Siau-Cheng Khoo (National University of Singapore, Singapore)
  Anne-Fran�oise Le Meur (University of Science and Technology Lille, France)
  Shin-Cheng Mu (Academia Sinica, Taiwan)
  Klaus Ostermann (University of Technology Darmstadt, Germany)
  Markus P�schel (Carnegie Mellon University, USA)
  Sergei Romanenko (Keldysh Institute, Russian Academy of Sciences, Russia)
  Mads Rosendahl (University of Roskilde, Denmark)
  Jeremy Siek (University of Colorado at Boulder, USA)
  Todd Veldhuizen (University of Waterloo, Canada)
  German Vidal (Technical University of Valencia, Spain)
  Tetsuo Yokoyama (Nagoya University, Japan)



From ec2 at cis.udel.edu  Mon Dec 31 19:12:06 2007
From: ec2 at cis.udel.edu (EC2)
Date: Mon, 31 Dec 2007 13:12:06 -0500
Subject: (EC)^2: Call for Position Papers
Message-ID: <477930F6.3090907@cis.udel.edu>

                      Call for Position Papers
      Exploiting Concurrency Efficiently and Correctly ((EC)^2)
                         CAV 2008 Workshop
                   July 7-8, 2008, Princeton, NJ
                    http://www.cs.utah.edu/ec2/

Our ability to effectively harness the computational power of the next
generation of multiprocessor and multicore architectures is predicated
upon advances in programming languages and tools for developing
concurrent software.  This has resulted in a surge of
concurrency-related research activity from different viewpoints, such
as rethinking of programming abstractions and memory models;
standardization and formalization of commonly used APIs (e.g., MPI,
OpenMP); and new forms of hardware support for parallel processing.

While developing tools for verifying and debugging concurrent systems
has been an important theme at CAV, we believe that formal methods
research can go beyond checking existing code/systems, and play a role
in identifying the "right" abstractions for concurrency.  The goal of
this workshop is to bring together CAV researchers with experts who
are involved in developing multicore architectures, programming
languages, and concurrency libraries.

Invited Speakers:

Saman Amarsinghe, MIT
Jim Larus, Microsoft Research
Edward Lee, UC Berkeley
Vivek Sarkar, Rice University
Michael Scott, University of Rochester

Format:

The two-day workshop will include five invited talks and several panel
sessions.  Authors of position papers will be given an opportunity to
present their ideas either as a short presentation or as a poster. A
booklet consisting of all the position papers will be distributed to
the workshop participants.

We seek submissions of position statements between 2 and 4 pages. There
are many possible themes for a position paper, including a survey of
the authors' relevant recent research, a discussion of deficiencies in
current languages and tools, challenges for future verification
research, and/or a vision for change.  Submissions on all topics
relevant to the workshop title are welcome, including

-- Transactional memory
-- Programming constructs for concurrency
-- Formalization of concurrency libraries
-- Verification tools
-- Hardware support for correctness
-- Introducing concurrency in education

Of particular interest are position statements from those engaged in
significant case studies.

Submission deadline: April 10, 2008

Notification of acceptance: April 25, 2008

Submission instructions: Prepare a 2-4 page position paper in PDF
format using any tool you like.  The title and the name of the authors
should appear at the top of the first page.  Email this PDF document
to ec2 at cis.udel.edu.  The position papers will be compiled into a
booklet that will be handed out to all workshop participants on the
first day of the workshop. The papers will not be published.

At least one author of each position paper is expected to register and
attend to present the same.

For more information, visit http://www.cs.utah.edu/ec2/

Organizers:

Rajeev Alur, University of Pennsylvania
Ganesh Gopalakrishnan, University of Utah
Vineet Kahlon, NEC Labs
Stephen Siegel, University of Delaware



From ci-listen at in.tu-clausthal.de  Fri Dec  7 10:15:34 2007
From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG)
Date: Fri, 07 Dec 2007 10:15:34 +0100
Subject: Your CFP
In-Reply-To: <1673.62.56.127.154.1196980312.squirrel@www.cs.york.ac.uk>
References: <1673.62.56.127.154.1196980312.squirrel@www.cs.york.ac.uk>
Message-ID: <web-28307499@tu-clausthal.de>

Hello,
first let us thank you for your interest in using our 
Event at CIG announcement
and CfP distribution list.

Although your announcement is certainly relevant for the 
audience of our list,
it does not comply with the obvious rules for CfP 
announcements. You forgot to
fill the Subject line of the e-mail.

If you still want your announcement to be distributed via 
Event at CIG list, please
resend it in the same form as you did the last time, 
however with properly
filled Subject line of the e-mail.

Best regards,

Peter Novak, Event at CIG administrator and moderator.



On Thu, 6 Dec 2007 22:31:52 -0000 (UTC)
  paige at cs.york.ac.uk wrote:
> Apologies for any cross-posting.
> 
> ---
> 
> 		PRELIMINARY CALL FOR PAPERS
> 		Second IFIP Working Conference on
> 	Verified Software: Theories, Tools, and Experiments
> 
> 				VSTTE 2008
> 		http://qpq.csl.sri.com/vsr/vstte-08
> 		Oct 6--10, 2008, Toronto, Canada
> 
> Program Chairs:
> Jim Woodcock, University of York, jim at cs.york.ac.uk
> Natarajan Shankar, SRI International, 
>shankar at csl.sri.com
> 
> Program Committee:
> 
> Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin 
>Song Dong,
> Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian 
>Hayes,
> Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine 
>Lakhnech,
> Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana 
>Margaria,
> David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, 
>Wolfgang Paul,
> Augusto Sampaio, Mark Utting, Jian Zhang
> 
> Conference Chair:
> Eric Hehner, University of Toronto, 
>hehner at cs.utoronto.ca
> 
> Workshop Chair: tba
> 
> Publicity Chair:
> Richard Paige, University of York, paige at cs.york.ac.uk
> 
> Steering Committee:
> Tony Hoare, Jay Misra
> 
> Important Dates:
> 
> April 30 2008:Submission deadline
> June 30 2008:Decisions on papers
> July 31 2008 Final versions due
> October 6--9 2008: VSTTE 2008
> 
> 
> The Second IFIP Working Conference on Verified Software: 
>Theories,
> Tools, and Experiments follows a successful inaugural 
>working conference at
> Zurich, Switzerland in 2005.This conference formally 
>inaugurates the
> Verified Software Initiative (VSI), a fifteen-year, 
>cooperative,
> international project directed at the scientific 
>challenges of large-scale
> software verification.It is open to anyone who is 
>interested in
> participating actively in the VSI effort.
> 
> Scope: VSTTE 2008 invites submissions of technical 
>papers on all
> aspects of verified software covering theoretical as 
>well as
> experimental. The topics include requirements modeling, 
>specification
> languages, specification case-studies, formal calculi, 
>programming
> languages, language semantics, software design methods, 
>software testing,
> automatic code generation, refinement methodologies, 
>type systems,
> computer
> security, verification tools (static analysis, dynamic 
>analysis, model
> checking, theorem proving, satisfiability), tool 
>integration,
> benchmarks, challenge problems, and integrated 
>verification environments.
> We are especially interested in specific challenges such 
>as the POPLMark
> (http://alliance.seas.upenn.edu/ 
>plclub/cgi-bin/poplmark/), File system
> (http://www.cs.york.ac.uk/circus/mc/abz), and medical 
>devices
> (http://www.cas.mcmaster.ca/sqrl/pacemaker.htm).
> 
> Invited Speakers:
> 
> Andreas Podelski, University of Freiburg
> Sriram Rajamani, Microsoft Research
> John Reynolds, Carnegie-Mellon University
> Moshe Vardi, Rice University
> 
> Submissions: Submitted research papers and system 
>descriptions
> must be original and not submitted for publication 
>elsewhere.Research
> paper submissions are limited to 15 proceedings pages 
>and must include a
> cogent and self-contained description of the ideas, 
>methods, results,
> and comparison to existing work. Submissions of 
>theoretical, practical, and
> experimental contributions are equally encouraged, 
>including those that
> focus on specific problems or problem domains.
> 
> Papers can be submitted at 
>http://www.easychair.org/VSTTE08.
> 
> Submissions that arrive late or are too long will not be 
>considered.The
> proceedings of VSTTE 2008 will be published by 
>Springer-Verlag in the
> LNCS series.Authors of accepted papers will be requested 
>to sign a form
> transferring copyright of their contribution to 
>Springer-Verlag.The use
> of LaTeX and the Springer llncs class files, obtainable 
>from
> http://www.springer.de/comp/lncs/authors.html, is 
>strongly encouraged.
> 
> ============================================================
> 



From ci-listen at in.tu-clausthal.de  Mon Dec 17 14:57:22 2007
From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG)
Date: Mon, 17 Dec 2007 14:57:22 +0100
Subject: larkc open positions
In-Reply-To: <47664EBE.4040102@deri.org>
References: <46B036DB.1060002@deri.org>
 <46D3E047.5030103@deri.org>
 <46FB61E4.4000607@deri.org>
 <47664EBE.4040102@deri.org>
Message-ID: <web-28567587@tu-clausthal.de>

Dear Sir,
thank you for your use of the Event at CIG list. As much as I 
see relevance of your announcement for our audience,
I cannot let your post through because of its form. You 
are sending only 2 attachments without any comment.
According to our, anyway quite benevolent, moderation 
policy (http://cig.in.tu-clausthal.de/event/), we hesitate
to distribute e-mails like yours even when they certainly 
are of interest for our audience.

I suggest, you either convert each of them to plain text 
form and post them separately, or take the
attachments, put them somewhere to a publicly available 
website and write a short introduction together
with a URL where interested readers can find more 
information.

Thank you for your understanding.

Best regards,

Peter Novak, Event at CIG administrator and moderator.


On Mon, 17 Dec 2007 11:26:06 +0100
  "hr.at at deri.org" <hr.at at deri.org> wrote:
>