From pascal.hitzler at wright.edu Thu Jul 1 07:55:14 2010
From: pascal.hitzler at wright.edu (Pascal Hitzler)
Date: Thu, 01 Jul 2010 01:55:14 -0400
Subject: Journal CfP: Semantic Web Tools and Systems - deadline extension
Message-ID: <4C2C2DC2.5060109@wright.edu>
== special call for papers on ==
SEMANTIC WEB TOOLS AND SYSTEMS
= Description =
The "Semantic Web" journal
invites submissions of short papers describing mature Semantic Web
related tools and systems. These reports should be brief and pointed,
indicating clearly the capabilities of the described tool or system. It
is strongly encouraged, that the described tools or systems are free,
open, and accessible on the Web. If this is not possible, then they have
to be made available to the reviewers. For commercial tools and systems,
exceptions can be arranged through the editors.
Submissions will be reviewed along the following dimensions: (1)
Quality, importance, and impact of the described tool or system. (2)
Clarity, illustration, and readability of the describing paper, which
shall convey to the reader both the capabilities and the limitations of
the tool.
= Topics of Interest =
We invite submissions on all kinds of tools and systems related to the
semantic web, including, but not limited to, the following.
* ontology editors
* ontology engineering systems
* Semantic Web development toolkits
* ontology learning and acquistion tools
* Annotation tools
* ontology alignment and merging tools
* ontology revision and evolution tools
* ontology evaluation tools
* RDF stores
* RDF reasoners
* OWL reasoners
* RIF editors and reasoners
* Semantic Wiki engines
* Semantic Desktop systems
* Semantic browsers
* Semantic search tools
* Semantic Mashup tools
If you are uncertain if your tool or system is suitable for this call,
please direct your inquiry to Pascal
= Important Dates =
*deadline extended*
Submission Deadline: 31th of July, 2010.
Acceptance Notification: 30th of September, 2010
Final Paper: 31st of October, 2010
*papers will be processed as they come in, and notification is planned
earlier in these cases*
= Submissions =
Submissions should be 8-10 pages in length. Exceptions can be arranged,
please contact Pascal for inquiries.
Please see the submission information and guidelines at
. When entering your
manuscript into the review system, please state "Tools and Systems" in
the cover letter. Please also note the journal's open review process
detailed at .
= Contact =
Pascal Hitzler, Kno.e.sis Center, Wright State University
Krzysztof Janowicz, Pennsylvania State University
Please direct all inquiries to Pascal
= Editorial Board =
Claudia d'Amato, Università degli Studi di Bari, Italy
Sören Auer, Universität Leipzig, Germany
Lora Aroyo, Free University of Amsterdam, The Netherlands
Boyan Brodaric, Geological Survey of Canada, Canada
Philipp Cimiano, Universität Bielefeld, Germany
Oscar Corcho, Universidad Politécnica de Madrid, Spain
Bernardo Cuenca-Grau, Oxford University, UK
Michel Dumontier, Carleton University, Canada
Mark Gahegan, University of Auckland, New Zealand
Aldo Gangemi, ISTC-CNR Rome, Italy
Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
Manfred Hauswirth, DERI, National University of Ireland, Galway
Tom Heath, Talis, UK
Rinke Hoekstra, Universiteit van Amsterdam, The Netherlands
Andreas Hotho, Universität Würzburg, Germany
Eero Hyvönen, Aalto University, Finland
Werner Kuhn, University of Muenster, Germany
Thomas Lukasiewicz, Oxford University, UK
Axel Polleres, DERI, National University of Ireland, Galway
Martin Raubal, University of California, Santa Barbara, USA
Marta Sabou, The Open University, UK
Christoph Schlieder, University of Bamberg, Germany
Paulo Pinheiro da Silva, The University of Texas at El Paso, USA
Jie Tang, Tsinghua University Beijing, China
Kunal Verma, Accenture, USA
online version of this call:
http://www.semantic-web-journal.net/content/special-call-semantic-web-tools-and-systems
--
Prof. Dr. Pascal Hitzler
Dept. of Computer Science, Wright State University, Dayton, OH
pascal at pascal-hitzler.de http://www.knoesis.org/pascal/
Semantic Web Textbook: http://www.semantic-web-book.org
Semantic Web Journal: http://www.semantic-web-journal.net
From christian.guttmann at gmail.com Thu Jul 1 11:15:11 2010
From: christian.guttmann at gmail.com (Christian Guttmann)
Date: Thu, 01 Jul 2010 11:15:11 +0200
Subject: Call for Participation: Collaborative Agents -- REsearch and development
(CARE) 2010, Toronto, Canada
Message-ID: <4C2C5C9F.8020708@gmail.com>
Apologies for cross-postings.
********************************************************
CALL FOR PARTICIPATION
International Workshop on
Collaborative Agents -- REsearch and development (CARE) 2010
http://www.csse.monash.edu.au/~xtg/CARE2010/
August 31, 2010 (Tuesday)
York University, Toronto, Canada
held in conjunction with the WI-IAT 2010
********************************************************
Invited speaker
---------------
Professor Milind Tambe (University of Southern California)
Workshop Summary
----------------
This workshop's thematic focus is on collaborative and autonomous agents
that plan, negotiate, coordinate, and act in complex environments.
The list of accepted papers of CARE 2010:
http://www.csse.monash.edu.au/~xtg/CARE2010/listOfAcceptedPapers.html
The preliminary schedule of CARE 2010 will be available shortly.
The one day workshop will feature a mixture of invited talks,
discussions and submitted contributions describing work
in collaborative agent research and technology. The workshop
environment fosters open discussions among all participants,
particularly encouraging students to discuss their research topics and
seek feedback from senior agent researchers.
More info: http://www.csse.monash.edu.au/~xtg/CARE2010/
Registration
------------
REGISTER HERE:
http://www.yorku.ca/wiiat10/participants.php?5
Accommodation Info for Toronto, Canada
http://www.yorku.ca/wiiat10/participants.php?2
Workshop Officials
------------------
GENERAL CHAIRS
Christian Guttmann (ETISALAT BT Innovation Centre EBTIC, UAE and Monash
University, Australia)
Frank Dignum (University Utrecht, Netherlands)
PROGRAM COMMITTEE
Wei Chen (Intelligent Automation, Inc., United States of America)
Philippe Pasquier (Simon Fraser University, Canada)
Michael Luck (King's College London, United Kingdom)
Lawrence Cavedon (NICTA and RMIT University, Australia)
Samin Karim (Accenture, Australia)
Cees Witteveen (Delft University of Technology, Netherlands)
Franziska Klügl (Örebro University, Sweden)
Toby Walsh (NICTA and UNSW, Australia)
Cristiano Castelfranchi (Institute of Cognitive Sciences and
Technologies, Italy)
Alexander Pokahr (University Hamburg, Germany)
Lars Brauchbach (University Hamburg, Germany)
Wayne Wobcke (University of New South Wales, Australia)
Rainer Unland (University of Duisburg-Essen, Germany)
Liz Sonenberg (Melbourne University, Australia)
Kumari Wickramasinghe (Monash University, Australia)
Simon Thompson (British Telecom Research Laboratories, United Kingdom)
Gord McCalla (University of Saskatchewan, Canada)
Andrew Gilpin (Hg Analytics, United States of America)
David Morley (SRI International, United States of America)
Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do
Sul, Brazil)
Simon Goss (Defence Science and Technology Organisation DSTO, Australia)
--
Christian Guttmann, PhD
http://www.csse.monash.edu.au/~xtg/
+61 (0) 417375679
From Thomas.Lukasiewicz at comlab.ox.ac.uk Fri Jul 2 03:07:14 2010
From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz)
Date: Fri, 02 Jul 2010 02:07:14 +0100
Subject: UniDL'10: Call for Participation
Message-ID: <4C2D3BC2.2030504@comlab.ox.ac.uk>
Apologies for cross-postings
-------------------------------------------------------------------
Call for Participation
-------------------------------------------------------------------
UniDL'10
First International Workshop on Uncertainty in Description Logics
co-located with IJCAR 2010 at FLoC 2010
July 20, 2010
Edinburgh, UK
http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------
During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs). This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.
INVITED TALK
"A Probabilistic Abduction Engine for Media Interpretation based on
Ontologies"
Ralf Möller (TU Hamburg-Harburg, Germany)
ACCEPTED PAPERS
"Compatibility Formalization Between PR-OWL and OWL"
Rommel Carvalho, Kathryn Laskey and Paulo Costa
"Gibbs Sampling in Probabilistic Description Logics with Deterministic
Dependencies"
Oliver Gries and Ralf Möller
"Pronto: A Practical Probabilistic Description Logic Reasoner"
Pavel Klinov
"Relationships between Probabilistic Description and First-Order Logics"
Pavel Klinov and Bijan Parsia
"Probabilistic logic encoding of spatial domains"
Paulo Santos, Fabio Cozman, Valquiria Fenelon Pereira and Britta Hummel
"Towards Approximative Most Specific Concepts by Completion for EL with
Subjective Probabilities"
Anni-Yasmin Turhan and Rafael Peñaloza
"Using f-SHIN to represent objects: an aid to visual grasping"
Nicola Vitucci, Mario Arrigoni Neri and Giuseppina Gini
FURTHER INFORMATION
For further information, including information on registration,
accommodation, and travel, please refer to the UniDL 2010
and FLoC 2010 web sites:
http://lat.inf.tu-dresden.de/UniDL
http://www.floc-conference.org/
From franconi at inf.unibz.it Fri Jul 2 08:44:58 2010
From: franconi at inf.unibz.it (Enrico Franconi)
Date: Fri, 2 Jul 2010 08:44:58 +0200
Subject: 3rd KRDB school on Trends in the Web of Data
Message-ID: <724468E6-B777-42AA-80DF-536627D99F06@inf.unibz.it>
3rd KRDB school on
Trends in the Web of Data
(KRDBs-2010)
Brixen-Bressanone (near Bozen-Bolzano), Italy
17-18 September 2010
http://www.inf.unibz.it/krdb/school/2010/
Call for Participation
The 2010 edition of the KRDB school will be focussed on methods, techno-
logies, and formalisms to publish, share, access, and integrate hetero-
geneous and autonomous data on the Web.
The lecturers of the school are:
Danny Ayers: (Semantic) Web platforms
Jonathan Ellis: NoSQL and Cloud Computing
Tom Heath: Linked Data
Peter Mika: Semantic Search
Martin Hepp: The GoodRelations Ontology for E-Commerce
Marko Rodriguez: Graph Databases
Detailed information about the lectures can be found on the web page.
The participation to the school is free of charge.
Students are required to apply by sending an email including personal
details and a short curriculum vitae et studiorum to:
.
Applications are continuosly evaluated as soon as the are submitted on
a first-come-first-served basis until there are available places.
The final deadline for the application is on the 27th of August.
VENUE
The school will take place in the charming town of Brixen-Bressanone,
near Bozen-Bolzano in South Tyrol at the heart of the Dolomites - the
pink mountains of the Alps. Like Bozen-Bolzano, Brixen-Bressanone has
always been a crossroads of various cultures and it is distinguished
by its mediaeval Gothic architecture. The mediaeval alleys and the
wealth of historical references are an ideal starting point for
excursions into the countryside and for practising a whole variety of
sports and leisure activities. Leaving directly from the town centre
delegates can set off on their bikes or on foot for excursions into
the surrounding hills and mountains. Brixen-Bressanone is on the main
arterial road between Austria/Germany and Italy and it is easily
accessible from everywhere by train, car, bus or plane.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From Manuela.Bujorianu at manchester.ac.uk Fri Jul 2 13:36:03 2010
From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu)
Date: Fri, 02 Jul 2010 12:36:03 +0100
Subject: Multi-dimensional co-engineering of autonomous systems
In-Reply-To: <20100316120204.13967g7inh4k6ud8@webmail.manchester.ac.uk>
References: <20100316120204.13967g7inh4k6ud8@webmail.manchester.ac.uk>
Message-ID: <20100702123603.77252kvyreyl484j@webmail.manchester.ac.uk>
---------------------------------------------------------------------
Please accept our apologies in case of cross-posting.
Please help us by distributing this call in your group/department.
---------------------------------------------------------------------
**************************************************************************
* *
* Call for Participation *
* *
* TUTORIAL on *
* *
* Multi-Dimensional Co-Engineering of Autonomous Systems *
* *
* Pisa, 13th September 2010 *
* From 14.30 to 18.30 *
* *
* 8th IEEE International Conference on *
* Formal Methods and Software Engineering *
* (SEFM 2010) *
* *
* http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/SEFM.htm *
* *
* *
**************************************************************************
======================
Abstract
======================
The variety of autonomous systems is increasing both in industry and
academia. Such systems must operate with limited human intervention in
a changing environment and they must be able to compensate for
significant system failure without external intervention.
In highly autonomous systems, the system behaviour is normally so
complex that it is either impossible or inappropriate to describe it
with conventional mathematical system models. The complexity of the
system model needed in design depends on both the complexity of the
physical system and on how demanding the design specifications are.
The most appropriate models of autonomous systems can be find in the
class are hybrid systems (which study continuous-state dynamic
processes via discrete-state controllers) that interact with their
environment.
======================
Topics
======================
- Overview of autonomous systems engineering
- Holistic modelling
- Hybrid systems
- Multi-dimensional co-engineering: CO --
modelling/coordination/control/verification
- Unmanned Aerial Vehicles
- Cooperative control
=======================
Organisation / Speakers
=======================
The tutorial format is based on a multi-lectures format. The lectures
will be presented by:
* Manuela Bujorianu (University of Manchester, UK),
* Antonios Tsourdos / Brian White (Cranfield University, UK)
======================
Registration
======================
Online registration available at
http://www.sefm2010.isti.cnr.it/registration.php
On Site Registration is also available.
======================
Important dates
======================
* Early registration deadline: July 30, 2010
* Tutorial: September 13, 2010
* SEFM: September 13-18, 2010
* Welcome reception September 13, 2010
* Social event - trip to Luca September 15, 2010
* Cancellation August 15, 2010
* SEFM School September 6-10, 2010
From fuchs at ifi.uzh.ch Fri Jul 2 20:48:42 2010
From: fuchs at ifi.uzh.ch (Norbert E. Fuchs)
Date: Fri, 2 Jul 2010 20:48:42 +0200
Subject: 2nd Workshop on Controlled Natural Languages CNL 2010: Call for Participation
Message-ID: <366EEE06-3947-4D37-944F-902880EF9909@ifi.uzh.ch>
*********************************************************************
Call for Participation
CNL 2010
2nd Workshop on Controlled Natural Languages
http://staff.um.edu.mt/mros1/cnl2010
Marettimo Island, Sicily (Italy)
13-15 September 2010
*********************************************************************
Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language.
The workshop will be informal with plenty of time for presentations and discussions. To ensure the informal atmosphere the number of participants will be limited.
WORKSHOP PROGRAMME
A full programme (http://staff.um.edu.mt/mros1/cnl2010/prog.html) of refereed papers and invited tutorial presentations is now online. Details are available on the conference website.
VENUE
The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php). This consists of a set of two-storey houses set within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet.
Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches.
ACCOMMODATION
The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until 15 July 2010 at a price 10% below the regular price. Participants should get into direct contact with the Marettimo Residence to organise their accommodation, citing "CNL 2010" and the names of the organisers when claiming the reduced price. Please indicate the length of your stay – perhaps you want to bring your family for additional days of vacation – and whether you would like to share your apartment with another participant of CNL 2010. The Marettimo Residence can also organise your transfers from and to the airports of Palermo or Trapani.
REGISTRATION
There is no registration fee for CNL 2010.
Participants should contact the Marettimo Residence for accommodation until 15 July 2010. Alternative accommodations on Marettimo can be found via the internet, for instance by googling for "case vacanze Marettimo".
Once your accommodation is confirmed, please send the registration form (http://staff.um.edu.mt/mros1/cnl2010/registration.html ) to the organisers.
WORKSHOP DINNER
A workshop dinner will be arranged during the workshop, and will be paid individually by the participants.
ORGANISATION
Michael Rosner (University of Malta) mike.rosner at um.edu.mt
Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch
From a.artikis at gmail.com Mon Jul 5 11:16:32 2010
From: a.artikis at gmail.com (Alexander Artikis)
Date: Mon, 5 Jul 2010 12:16:32 +0300
Subject: Final CFP: ACM TIST Special Issue on Agent Communication
Message-ID:
Call for Papers
Special Issue on Agent Communication
ACM Transactions on Intelligent Systems and Technology
Agent communication research seeks to address challenges in the
development of applications involving multiple autonomous and
heterogeneous agents. Agent communication differs from communication
as studied in traditional distributed systems in its emphasis of
high-level abstractions that enable flexible interaction yet support
verifying compliance. Broad applications include business
interactions, contracts and compliance, virtual enterprises,
negotiation, argumentation and decision support, and so on.
We invite quality submissions that develop new insights, high-level
abstractions, patterns, languages, formal theories, reasoning, and
methodologies for communication in multiagent systems.
Broad topics include
Protocols
Dialogs and argumentation
Virtual organizations, institutions
Commitments, norms, and other social concepts
Trust and deception
Correctness properties and their verification
Tying communication with agent design and execution strategies
Architecture, middleware, patterns, and programming language support
Standardization of communication primitives
Application-specific modeling and insights
Key Dates
*July 25, 2010 - Submissions*
October 15, 2010 - Decisions
December 15, 2010 - Final versions
Publication - Early 2011
Submission
On-Line Submission (will be available before July 25, 2010):
http://mc.manuscriptcentral.com/tist (please select Special Issue:
Agent Communication as the manuscript type).
Each paper will be reviewed by at least three expert reviewers.
Details of the journal and manuscript preparation are available on at
http://tist.acm.org/
Guest Editors
Amit K. Chopra (also Contact editor)
University of Trento, Italy
chopra at disi.unitn.it
Alexander Artikis
National Centre for Scientific Research Demokritos, Greece
a.artikis at iit.demokritos.gr
Jamal Bentahar
Concordia University, Canada
bentahar at ciise.concordia.ca
Frank Dignum
Utrecht University, The Netherlands
dignum at cs.uu.nl
From heymans at kr.tuwien.ac.at Mon Jul 5 12:28:59 2010
From: heymans at kr.tuwien.ac.at (Stijn Heymans)
Date: Mon, 5 Jul 2010 12:28:59 +0200
Subject: CFP BuRO 2010: Workshop on Business Models, Business Rules and
Ontologies, co-located with RR 2010
Message-ID:
***************************** Call for Papers *******************************
BuRO 2010
1st International Workshop on Business Models,
Business Rules and Ontologies
http://ontorule-project.eu/dissemination/events/buro2010
Bressanone/Brixen, Italy
co-located with the
4th International Conference on Web Reasoning and Rule Systems (RR 2010)
September 22-24 2010
http://www.rr-conference.org/RR2010/
*****************************************************************************
It is a challenge in a business to enable the right people to interact in their
own way with the right part of their business application. We distinguish
between three views on the business organization: (1) the view of the business
analyst using a formal and validated business model; (2) the view of the
knowledge engineer via ontologies and rules, and (3) the view of the IT
department via an operationalization in applications. We can glue these views
together via an end-to-end point solution: (1) conceptualization and where
possible acquisition of business models and their transformation into
ontologies and rules; (2) their management and maintenance, and (3) the
transparent operationalization in IT applications.
The vision at the heart of the Semantic Web is of high relevance in a business
setting as well. The proposed workshop addresses the different issues that
arise in a business that wishes to have a transparent and where possible and
useful a semi-automatic transfer of knowledge present in business documents
expressing, e.g., policies, to an IT operationalization. Moreover, the workshop
tackles these issues from an holistic perspective, raising awareness for the
overall picture, instead of focusing on stand-alone issues. E.g., although OWL
is well-investigated it is unclear how business knowledge expressed in SBVR can
be mapped to it. Another example is the W3C's RIF effort: although based on
well-investigated rule paradigms, it is less well-connected to upper business
layers: how to go from a formal business model to RIF rules and how to interact
with derived ontologies?
During the ONTORULE project which shares a similar vision on a business, it has
been recognized that this holistic view goes beyond the results attainable
within the project and that much more discussion and exchange is needed. As
such the workshop wants to create awareness with researchers in stand-alone
fields like ontology acquisition, business modeling, integration of ontologies
and rules, implementations of rule/ontology engines, that there is a bigger
picture that can and should be used to extract requirements on the one hand and
to provide output that is fine-tuned for other fields on the other hand.
TOPICS OF INTEREST
Suggested topics include the following (but are not limited to):
* the acquisition of ontologies and rules from unstructured text via Natural
Language Processing (NLP) techniques
* the development of a complete, formal and validated business model, taking
all possible inputs into account (people and documents, structured and
unstructured, some of which as output from an NLP phase), using the Semantics
of Business Vocabulary and Business Rules (SBVR)
* transformation from structured business representations, from SBVR, to
RDF/OWL and/or rules
* the management and maintenance of business models, ontologies and rules,
e.g., consistency maintenance and the integration of rules and ontologies
(semantics, algorithms)
* implementations of such management systems
* use cases and field reports
SUBMISSIONS
We invite full papers up to 14 pages length. The workshop content will be made
available in separate workshop proceedings. Please use the Springer LNCS format
for the papers. Submitted papers will be reviewed by at least two members of
the program committee. Papers must be submitted electronically in PDF format.
For paper submission we use the EasyChair conference management system:
http://www.easychair.org/conferences/?conf=buro2010
IMPORTANT DATES
* Submission deadline: Aug 6, 2010
* Notification of acceptance: August 20, 2010
* Camera-ready paper submission: September 3, 2010
* Workshop: September 21, 2010
ORGANIZING COMMITTEE
* Thomas Eiter, TU Vienna, Austria
* Adil El Ghali, IBM, France
* Sergio Fernández, Fundación CTIC, Spain
* Stijn Heymans, TU Vienna, Austria
* François Lévy, Université Paris 13, France
From epontell at cs.nmsu.edu Mon Jul 5 19:19:09 2010
From: epontell at cs.nmsu.edu (Enrico Pontelli)
Date: Mon, 05 Jul 2010 11:19:09 -0600
Subject: CFP: 3rd Workshop on Constraint Programming and Decision Making
(CoProD'10)
Message-ID:
================================================================
CALL FOR PAPERS
CoProD'10
3rd International Workshop on Constraint Programming and Decision Making
http://coprod.constraintsolving.com
ENS Lyon, France
September 30-October 1, 2010
Submission deadline: Aug. 30, 2010
=================================================================
CoProD'10 is the third edition of CoProD.
CoProD'08 and '09 were held successfully in Oct. 2008 and Nov. 2009 at UTEP,
bringing together about 30 researchers from
constraint programming, optimization, and domain scientists.
=================================================================
Constraint programming techniques are important components of intelligent
systems.
They constitute a declarative and efficient methodology to represent and
solve many
practical problems. They have been applied successfully to a number of
fields, such
as scheduling of air traffic, software engineering, networks security,
chemistry, and
biology. Despite the proved usefulness of these techniques, they are still
under-
utilized in real-life applications. One reason is the perceived lack of
effective
communication between constraint programming experts and domain
practitioners about
constraints, in general, and their use in decision making, in particular.
Objectives of CoProD:
* To develop a network of researchers interested in constraint techniques,
in particular
researchers and practitioners that use numeric and symbolic approaches (or a
combination of
them) to solve constraint and optimization problems.
* To address the gap between the great capacity of these techniques and
their limited use.
CoProD aims at encouraging presentation and discussion of on-going work. It
also aims at
facilitating networking opportunities as well as cross-fertilization between
the approaches
used in the different attending communities.
Therefore, besides active researchers in decision making and constraint
programming techniques,
we expect to have a wide attendance of domain scientists - whose input is
highly valued in
this workshop.
Expected outcomes of CoProD:
* Definition of new directions for combining numeric and symbolic approaches
in solving constraints
and optimization problems in particular and in decision making in general.
* Definition of new representations and abstractions (such as tensors) that
are expected to
enhance solving techniques and collaborations.
* Better connection between actual practitioners and researchers in
constraints and decision making.
CoProD'09 has the potential to impact these communities by easing
collaborations and therefore the emergence
of new techniques, and by creating a network of interest. The objectives of
CoProD are also relayed all
year round through the website http://constraintsolving.com.
Special emphasis: Although topics are by no mean restricted to the
following, this year's edition
of CoProD wants to specifically emphasize the topic of tensor decomposition
as well as the use of
combined constraint programming/decision making to life science problems.
Topics of interest (not limited to):
* Programs and algorithms reliability
* Algorithms and applications of:
o Constraint solving, including symbolic-numeric algorithms
o Optimization: e.g., global, robust, multi-objective
o Tensors
o Interval arithmetic
* Description of domain applications that:
o Require new decision making techniques
o Implement decision making techniques
Invited Speakers:
The previous editions of CoProD featured invited talks by highly recognized
experts, such as:
* Bart Selman, CS department, Cornell University
* Rina Dechter, Information and Computer Sciences, University of California
Irvine
* Purushotham Bangalore, CIS department, University of Alabama at Birmingham
* James Raynolds, College of Nanoscale and Engineering, SUNY Albany
* Francois Modave, CS department, Central Washington University]
The invited speakers of CoProD'10 will be announced shortly.
Proceedings / Publication:
A book of abstracts will be printed and provided to each registered
participant.
After the workshop, the program committee will invite the authors to submit
a full article version of their work to be published (after a review
process) in a Springer book series.
Participation / Submission:
Participation is encouraged from people doing research in the area of
decision making as well as from domain scientists.
Submissions are expected in the form of extended abstracts of at least 2
pages and no more than 5
pages, formatted using the standard LNCS/LNAI format (see instructions at
http://www.springer.de/comp/lncs/authors.html). The title page should
include the name, address, and
email address of each author as well as a list of keywords.
Submissions have to be sent in postscript or pdf format AND latex format as
well to mceberio (at) utep
(dot) edu . A contact author should be specified
in the submission email.
The deadline for submissions is August 30th, 2010. Authors of accepted
abstracts are expected to participate
and present their work at the workshop.
Important dates:
* August 30: abstract submission
* September 5: notification of acceptance
* September 15: camera-ready copy of abstracts due
* September 30-October 1: workshop
Organization
Main Organizers: Martine Ceberio, mceberio / utep (dot) edu.
Enrico Pontelli, epontell / cs (dot) nmsu (dot) edu
Vladik Kreinovich, vladik / utep (dot) edu
Student Organizers: Paden Portillo
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From yaich at emse.fr Tue Jul 6 00:27:48 2010
From: yaich at emse.fr (Reda Yaich)
Date: Tue, 6 Jul 2010 00:27:48 +0200
Subject: DEADLINE EXTENSION FOR EASSS'10 Student's Session
Message-ID:
Please forward this message to interested colleagues and apologize multiple
postings.
================================================================
Last minute deadline extension from ** July 6th, 2010 ** to ** *July 9th,
2010 ***
================================================================
Dear all,
Let me kindly inform you that due to numerous requests the paper submission
deadline for EASSS-2010 Student Session has been extended to July 9th at
11.59 GMT. EASSS 2010 will be held in Saint-Etienne, France, during 23-27 of
August 2010 and we look forward to receive your paper submission.
12th European Agent Systems Summer
Saint-Etienne, France
August 23rd - 27th, 2010
*Call for submissions to the Student Session*
*All students are cordially invited to participate in the Student Session of
EASSS'10.*
The European Agent Systems Summer School aims to offer a valuable forum for
knowledge exchange between various research groups in its field for the
benefit of students and researchers at both beginner and advanced level. The
success of the summer school series 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.
EASSS attracts about 100 students each year. The school provides a wide
range of state-of-the-art courses given by the most prominent researchers in
the area. A typical course has 4 hours in total and they are broad enough to
provide a general introduction to the chosen topic, whilst also covering the
most important contributions in depth. Courses are expected to take a wide
perspective of the research being done by various groups active in research
on the specific topic of the course.
Within this context, the Student Session is designed to encourage student
interaction and feedback from the tutors. By providing the students with a
conference-like setup, both in the presentation and in the review process,
students have the opportunity to prepare their own submission, go through
the selection process (peer review) and possibly present their work to
themselves and their interests to their fellow students as well as
internationally leading experts in the agent field, both from the
theoretical and the practical sector.
All submissions will be peer-reviewed and accepted paper submissions will be
assigned a 20 minute slot for presentation. Typically a presentation will
either detail the intended approach to a problem or ask a specific question,
directed at the audience. In addition, selected submission authors will be
given the opportunity to present their work in form of a poster that will be
displayed at EASSS'10. Moreover, all accepted submissions will be published
in online proceedings.
As the goal is to provide the speakers with constructive feedback and a way
to be introduced to the community, the competitive elements often found in
conferences (best paper award, best presentation award) are intentionally
omitted. The peer review will focus not on the magnitude of the presented
material but on the clarity of the formulated material or whether or not the
posed question is of relevance to a majority of students.
Giving a good presentation is a difficult task, practicing it is the benefit
of this session. The extent to which the audience has understood the details
should be the criterion by which the presentations are judged.
*Deadlines:*
Abstract Submission : July 4th Sun *no longer needed*
Strict Paper submissions deadline : July 9th, 2010, July 9th Fri: *Extended
*
Notification to authors : July 30th Fri
Camera-ready version due : August 13th Fri:
August 23rd Mon: Start Summer School
*Submission Details:*
- Topics are not limited but they should match with the scope
of EASSS’10 Summer School.
- Papers should describe student’s works at student
level.
· Only students can be authors, supervisors are strongly encouraged
to, motivate there students to participate and supervise the quality there
works.
- At least one of the authors will have to register as a
participant at the EASSS 2010.
- Submissions can be either long or short papers.
· Short papers: must not exceed 4 pages including references and
appendix. Accepted papers will be presented in a poster session.
· Long papers: up to 8 pages including references and appendix.
Accepted papers will be presented orally (20 minutes slot) and, optionally,
in a poster session.
- All accepted submissions will be published in online
proceedings.
- Submitted article must use the AAMAS style (see
http://www.cse.yorku.ca/AAMAS2010/#content=camera_ready for more details) in
either .pdf or .ps format.
- Please use the EasyChair website (
http://www.easychair.org/conferences/?conf=sseasss10) for your submission.
If you're interested in promoting the EASSS'10 student Session at your
institution feel free to forward or download, print and distribute the
flyer
.
For any suggestion or further questions regarding the student session, email
students-easss2010 at emse.fr. Please mention EASSS'10 in the subject.
Thank you very much.
Best Wishes and Regards.
Student Session PC Chairs
Tina Balke
Universität Bayreuth, Germany
tina.balke at uni-bayreuth.de
Reda Yaich
Ecole des Mines de Saint-Etienne, France
yaich at emse.fr
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From Thomas.Lukasiewicz at comlab.ox.ac.uk Wed Jul 7 03:27:08 2010
From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz)
Date: Wed, 07 Jul 2010 02:27:08 +0100
Subject: URSW'10: Call for Papers
Message-ID: <4C33D7EC.5010406@comlab.ox.ac.uk>
Apologies for cross-postings
**********************************************
CALL FOR PAPERS
**********************************************
6th International Workshop on
Uncertainty Reasoning for the Semantic Web
http://c4i.gmu.edu/ursw/2010
In conjunction with the
9th International Semantic Web Conference
Shanghai, China
November 7, 2010
You are invited to participate in the upcoming workshop on Uncertainty
Reasoning for the Semantic Web (URSW), to be held as part of the 9th
International Semantic Web Conference (ISWC) in November of 2010 at the
Shanghai International Convention Center, China.
ISWC is a major international forum for presenting visionary research
on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop
is an exciting opportunity for collaboration and cross-fertilization
between the uncertainty reasoning community and the Semantic Web
community.
Effective methods for reasoning under uncertainty are vital for realizing
many aspects of the Semantic Web vision, but the
ability of current-generation web technology to handle uncertainty
is extremely limited. Recently, there has been a groundswell of
demand for uncertainty reasoning technology among Semantic Web
researchers and developers.
This surge of interest creates a unique opening to bring together two
communities with a clear commonality of interest but little history of
interaction. By capitalizing on this opportunity, URSW could spark
dramatic progress toward realizing the Semantic Web vision.
AUDIENCE
The intended audience for this workshop includes the following:
* Researchers in uncertainty reasoning technologies with interest in
Semantic Web and Web-related technologies.
* Semantic web developers and researchers.
* People in the knowledge representation community with interest in the
Semantic Web.
* Ontology researchers and ontological engineers.
* Web services researchers and developers with interest in the Semantic Web.
* Developers of tools designed to support Semantic Web
implementation, e.g., Jena developers, Protégé developers,
OWL-API developers...
TOPIC LIST
We intend to have an open discussion on any topic relevant to
the general subject of uncertainty in the Semantic Web (including
fuzzy theory, probability theory, and other approaches). Therefore,
the following list should be just an initial guide.
* Syntax and semantics for extensions to Semantic Web languages
to enable representation of uncertainty
* Logical formalisms to support uncertainty in Semantic Web languages
* Probability theory as a means of assessing the likelihood that
terms in different ontologies refer to the same or similar concepts
* Architectures for applying plausible reasoning to the problem of ontology
mapping
* Using fuzzy approaches to deal with imprecise concepts within ontologies
* The concept of a probabilistic ontology and its relevance to the Semantic
Web
* Best practices for representing uncertain, incomplete, ambiguous, or
controversial information in the Semantic Web
* The role of uncertainty as it relates to Web services
* Interface protocols with support for uncertainty as a means to improve
interoperability among Web services
* Uncertainty reasoning techniques applied to trust issues in the Semantic
Web
* Existing implementations of uncertainty reasoning tools in the context of
the Semantic Web
* Issues and techniques for integrating tools for representing and reasoning
with uncertainty
* The future of uncertainty reasoning for the Semantic Web
IMPORTANT DATES
September 7, 2010 Paper submissions due
September 30, 2010 Paper acceptance notification
October 15, 2010 Camera-ready papers due
November 4, 2010 Presentations due
November 7, 2010 6th Workshop on Uncertainty Reasoning for
the Semantic Web
SUBMISSION DETAILS
The URSW will be accepting submissions of technical papers and position
papers. Each submission will be evaluated for acceptability by at least
three members of the Program Committee. Decisions about acceptance will be
based on relevance to the above topic list, originality, potential
significance, topicality and clarity. Since all accepted papers will
be presented at the workshop, we require that at least one of the submitting
authors must be a registered participant at the ISWC 2010
Conference, and committed to attend the URSW Workshop.
Submissions to the Workshop are only accepted in electronic format and
should be sent via the workshop’s submission site:
http://www.easychair.org/conferences/?conf=ursw2010
Papers must be formatted in the style of the Springer Publications format
for Lecture Notes in Computer Science (LNCS). This is the
very same format adopted by the ISWC 2010. For complete details,
see Springer’s Author Instructions
(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Technical papers submitted to the URSW Workshop must not exceed
12 pages, including figures. Submissions exceeding this limit
will not be reviewed.
Position papers consist of a summary of ideas, projects, or any research
efforts that are relevant to the URSW Workshop must not exceed 4 pages.
Following the general acceptance rules of the ISWC 2010 conference, papers
that, at the time of submission, are under review for or have already been
published in or accepted for publication in a journal or another conference
will not be accepted to the URSW workshop.
PRESENTATION AND PUBLICATION
URSW 2010 will be a full-day workshop divided into three sessions.
Two of those sessions will be devoted to paper presentations, while
the remaining session will be planned in a format that invites an
open debate on the results, conclusions, recommendations, and
follow-up work of the URSW-XG group. We also plan to convey a
work meeting after the workshop, in case the last session need
to be extended.
All papers accepted to the URSW will be presented during the
workshop and published in the workshop proceedings, which will
be available as a separate publication after the Conference.
Authors of accepted technical papers will have 20 minutes to
present their work, while authors of accepted position
papers will have a 10-minute slot to share their ideas. Both
technical and position papers will be published in the URSW
Workshop proceedings, to be available after the ISWC 2010 Conference.
In addition, technical papers accepted for presentation at the URSW 2010
will be eligible for participating in the selection to the planned Springer
LNCS volume on Uncertainty Reasoning for the Semantic Web
– Vol. II. This will be the second volume of this series and will
include selected papers from URSW 2008 to URSW 2010.
ORGANIZING COMMITTEE
The organizing committee is as follows (in alphabetical order):
* Fernando Bobillo - University of Granada, Spain.
* Rommel N. Carvalho - George Mason University, USA
* Paulo C. G. Costa - George Mason University, USA.
* Claudia d'Amato - University of Bari, Italy.
* Nicola Fanizzi - University of Bari, Italy.
* Kathryn Laskey - George Mason University, USA.
* Ken Laskey – MITRE Corporation, USA.
* Thomas Lukasiewicz - Oxford University, UK.
* Trevor Martin - University of Bristol, UK.
* Matthias Nickles - Technical University of Munich, Germany.
* Michael Pool - Convera, Inc., USA.
PROGRAM COMMITTEE
The confirmed members of the program committee are the following (in
alphabetical order):
* Fernando Bobillo - Universidad de Zaragoza, Spain
* Rommel N. Carvalho - George Mason University, USA
* Paulo C. G. Costa - George Mason University, USA
* Fabio G. Cozman - Universidade de Sao Paulo, Brazil
* Claudia D'Amato - University of Bari, Italy
* Nicola Fanizzi - University of Bari, Italy
* Marcelo Ladeira - University of Brasilia, Brazil
* Kathryn B. Laskey - George Mason University, USA
* Kenneth J. Laskey - MITRE Corporation, USA
* Thomas Lukasiewicz - Oxford University, UK
* Trevor Martin - University of Bristol, UK
* Matthias Nickles - Technical University of Munich, Germany
* Jeff Z. Pan - University of Aberdeen, UK
* Michael Pool - Convera, Inc., USA
* Livia Predoiu - Universität Mannheim, Germany
* Guilin Qi - University of Karlsruhe, Germany
* Dave Robertson - University of Edinburgh, UK
* Daniel Sánchez - University of Granada, Spain
* Sergej Sizov - University of Koblenz-Landau, Germany
* Giorgos Stoilos - Oxford University, UK
* Umberto Straccia – ISTI-CNR, Pisa, Italy
* Andreas Tolk - Old Dominion University, USA
* Johanna Voelker - University of Karlsruhe, Germany
We are looking forward to seeing you in Shanghai!
From bjwoodford at infoscience.otago.ac.nz Wed Jul 7 06:56:07 2010
From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford)
Date: Wed, 7 Jul 2010 16:56:07 +1200 (NZST)
Subject: Updates: Keynote speakers for PRIMA2010 -- The 13th International
Conference on Principles and Practice of Multi-Agent Systems
In-Reply-To: <27592848.7931278478505401.JavaMail.root@infos003.otago.ac.nz>
Message-ID: <18760435.7991278478567856.JavaMail.root@infos003.otago.ac.nz>
Dear Colleagues,
We are delighted to announce that PRIMA 2010 will feature keynotes from
Makoto Yokoo (Kyushu University),
Henry Prakken (Utrecht University), and
Frank Dignum (Utrecht University.).
Full details on the CFP can be found at http://www.prima2010.org
Important dates are:
- 24th July: deadline for submission of abstracts
- 31st July: deadline for submission of papers
- 19-22 August: author response phase
- 1st September: author notification
From calvanese at inf.unibz.it Thu Jul 8 07:18:05 2010
From: calvanese at inf.unibz.it (Diego Calvanese)
Date: Thu, 8 Jul 2010 07:18:05 +0200
Subject: CFP: Advanced Language Technologies for Digital Libraries (ALT4DL)
Message-ID: <96397488-13D4-423C-9B60-745397672FFE@inf.unibz.it>
(Apologies for cross-posting)
================================================================
ADVANCED LANGUAGE TECHNOLOGIES FOR DIGITAL LIBRARIES
(ALT4DL)
http://disi.unitn.it/~alt4dl/
================================================================
CALL FOR PAPERS
---------------
We invite authors to submit papers for a volume on Advanced Language
Technologies for Digital Libraries to be published in the Springer's Lecture
Notes on Computer Science (LNCS) Hot Topic subline [1].
The volume aims at presenting how state-of-the art Language Technologies are
applied to the challenges faced by Digital Libraries together with providing
a introductory grounding to the underlying fields. Hence, it will promote
this emerging research area and disseminate its results whilst motivating
the non-expert reader. It originates from two workshops, NLP4DL and AT4DL
held in Viareggio and Trento, respectively, in 2009, but it is open also to
contributions that were not presented at that time. We aim at gathering
contributions both from the Library and the Computer Science community.
DEADLINES
---------
Abstract submission Deadline: 22nd July, 2010
Full paper submission Deadline: 15th September, 2010
Notification Deadline: 10th November, 2010
Camera Ready Deadlines: 10th December, 2010
BACKGROUND
----------
The fast growth of digital material is challenging for research in many
disciplines, and in particular, for natural language technologies.
Multilingual aspects pose particular difficulties regarding a wide spectrum
of problems: from extracting text from images, to developing usable search
engines for accessing this digital library content. The EU has funded many
projects to bring forward research in this field and to facilitate end-user
access to cultural and scientific heritage. Therefore, it is time to bring
together recent research results and to give both researchers and
practitioners a comprehensive view on this evolving area. We are interested
in highlighting the role of Language Technologies in enhancing document
image processing and in accessing and searching digital libraries in
general. Today much of our Cultural Heritage have been digitised by scanning
books and other kinds of documents, but their printed text needs to be
extracted via document image processing techniques in order for the content
to be accessible, searchable, and analysable. Language Technologies can
also play a crucial role in accessing and searching digital libraries that
do not contain the scanned table of contents, abstracts or books, but simply
provide metadata records describing their physical collections. Despite
mass-digitisation efforts, this 'legacy metadata' is still predominant in
library catalogues. To this end, nowadays cutting edge Language
Technologies need to be fine-tuned to work on such well structured but
limited data. Libraries across the globe are keen to provide subject-based
access to their digital library collections via the linked data cloud.
With each library indexing their digital libraries in their local language,
the true value of this data is yet to be achieved. Web 2.0 brings particular
challenges for digital libraries as increasingly multilingual user generated
content, such as annotations and tags, are created. Not forgetting that all
this needs to be done on mobile devices, which need to be optimised for the
multilingual society in which we live in. All the Cross Language tasks,
such Named Entity Disambiguation, Cross-Language Image Retrieval, Word Sense
Disambiguation, etc. need to be harnessed to help users navigate the
multilingual digital library world.
In a nutshell, it is the aim of this volume to present the current issues
related to the multilingual aspects encountered when searching and
navigating through digital libraries, and more generally, through
e-repositories.
TOPICS
-------
Against this background, we are particularly interested in the application
of Language Technologies to the following topics:
- Access and Search (in Digital Libraries)
- Social Web (and Digital Libraries)
- Innovative Applications (of Digital Libraries)
- Cross Language Processing (in Digital Libraries)
- Document Image Processing (in Digital Libraries)
- Metadata processing (in Digital Libraries)
- Mobile technologies and Digital Libraries
INSTRUCTIONS TO THE AUTHORS
---------------------------
Both Abstracts and Full Papers should be submitted electronically via the
EasyChair System [2]. The only accepted format both for submitted abstracts
and full papers is Adobe PDF. The PDF file must be uploaded to the system by
the submission deadlines.
Each abstracts may consist of up to one (1) page. Each full paper may
consist of up to twenty (20) pages. Full paper submissions should be made
following the Author's Instructions for Lecture Notes in Computer Science
(LNCS) [3].
EDITORS
-------
Raffaella Bernardi, Free University of Bozen-Bolzano, Italy
Sally Chambers, European Library, the Netherlands
Bjoern Gottfried, University of Bremen, Germany
Frederique Segond, Xerox, France
Ilya Zaihrayeu, University of Trento, Italy
PUBLICATION
-----------
Papers will be published in a volume of the LNCS Hot Topic subline which is
expected to be available in February 2011.
EDITORIAL COMMITTEE
-------------------
Galja Angelova, Bulgarian Academy of Sciences, Bulgaria
Pushpak Bhattacharyya, Indian Institute of Technology, India
Nicola Ferro, University of Padova, Italy
Fausto Giunchiglia, University of Trento, Italy
Stefan Gradmann, Europeana, Humboldt-Universitдt zu Berlin, Germany
Udo Kruschwitz, Essex University, UK
Andreas Lattner, University of Frankfurt, Germany
Mikolaj Leszczuk, AGH Krakow, Poland
Stefan Pletschacher, University of Salford, UK
Viliam Simko, CIANT, Prague, Czech Republic
Junichi Tsujii, University of Tokyo, Japan
LINKS
-----
[1] Springer's Lecture Notes on Computer Science (LNCS) Hot Topic subline,
http://www.springer.com/computer/lncs?SGWID=0-164-12-72945-0
[2] EasyChair System, http://www.easychair.org/conferences/?conf=alt4dl
[3] Author's Instructions for Lecture Notes in Computer Science (LNCS),
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
First Natural Language Processing for Digital Libraries (NLP4DL) Workshop,
Viareggio, Italy (June 15, 2009)
http://www.cacaoproject.eu/natural-language-processing/
Workshop on Advanced Technologies for Digital Libraries 2009 (AT4DL 2009),
Trento, Italy (September 8, 2009)
http://www.cacaoproject.eu/at4dl/
CONTACT
-------
To receive further information please email to alt4dl at disi.unitn.it
From eoikarin at tcs.hut.fi Thu Jul 8 11:19:31 2010
From: eoikarin at tcs.hut.fi (Emilia Oikarinen)
Date: Thu, 8 Jul 2010 12:19:31 +0300 (EEST)
Subject: JELIA 2010 Call for Participation
In-Reply-To:
References:
Message-ID:
*** Apologies for receiving multiple copies ***
JELIA 2010 CALL FOR PARTICIPATION
=================================
12th European Conference on Logics in Artificial Intelligence
Helsinki, Finland, September 13-15, 2010
http://jelia2010.tkk.fi/
Logics provide a formal basis and key descriptive notation for the study
and development of applications and systems in Artificial Intelligence
(AI). With the depth and maturity of formalisms, methodologies, and
systems today, such logics are increasingly important. The European
Conference on Logics in Artificial Intelligence (or Journ?es Europ?ennes
sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988,
as a workshop, in response to the need for a European forum for the
discussion of emerging work in this field. Since then, JELIA has been
organized biennially, with English as the official language, and with
proceedings published in Springer-Verlag's Lecture Notes in Artificial
Intelligence series. In 2010 the conference is organized for the first
time in Scandinavia, following previous meetings mainly taking place in
Central and Southern Europe (see the general website http://www.jelia.eu/
for details). The increasing interest in this forum, its international
level with growing participation from researchers outside Europe, and the
overall technical quality, has turned JELIA into a major biennial forum
for the discussion of logic-based approaches to AI.
Registration and Travel Information
===================================
Registration as well as travel and accommodation information is
available on JELIA 2010 web pages http://jelia2010.tkk.fi/
JELIA 2010 Registration Fees
Early (until Aug 9) Late (Aug 10 - Sep 1)
Regular 250 EUR 400 EUR
Student 150 EUR 250 EUR
including JELIA 2010 technical sessions and invited talks, coffee breaks,
the combined JELIA/PGM welcome reception on September 13, conference
Banquet and excursion on September 14, JELIA 2010 LNAI conference
proceedings, and conference accessories (bag, programme, info, ...)
Scientific Program
==================
The scientific program consists of three invited talks, 26 regular papers,
and 5 system descriptions. See details in the preliminary program at
http://jelia2010.tkk.fi/schedule.shtml
Invited Speakers
================
Gerhard Brewka (http://www.informatik.uni-leipzig.de/~brewka/):
Nonmonotonic Tools for Argumentation
Adnan Darwiche (http://www.cs.ucla.edu/~darwiche/):
Relax, Compensate and then Recover:
A Theory of Anytime, Approximate Inference
Stephane Demri (http://www.lsv.ens-cachan.fr/~demri/):
Counter Systems for Data Logics
Venue
=====
The conference will be held in the main building of University of
Helsinki, located in the center of Helsinki. Founded in 1550, Helsinki has
been the Finnish capital since 1812, when it was rebuilt in the Empire
style by the orders of the Czar of Russia, hence sharing architectural
similarities with St. Petersburg even today. Located on the Baltic
peninsula centrally between the east and the west, Helsinki "the Daughter
of the Baltic" is a city full of contrasts: light and white in summer
while dark but full of warmth in winter, with a combination of high-tech,
contemporary design, and ever-present nature. Finnish design has made
Helsinki world famous, and recently Helsinki was appointed World Design
Capital 2012.
Co-located events
=================
European Workshop on Probabilistic Graphical Models (PGM)
http://www.helsinki.fi/pgm2010/
From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri Jul 9 14:19:38 2010
From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek)
Date: Fri, 9 Jul 2010 13:19:38 +0100
Subject: TARK 2011 Call for Papers
Message-ID:
Theoretical Aspects of Rationality and Knowledge (TARK XIII) Conference
Groningen, the Netherlands, 11-15 July 2011
First Announcement
* Scope and Mission
The mission of the TARK conferences is to bring together researchers
from a wide variety of fields, including Artificial Intelligence,
Cryptography, Distributed Computing, Economics and Game Theory,
Linguistics, Philosophy, and Psychology, in order to further our
understanding of interdisciplinary issues involving reasoning about
rationality and knowledge.
Topics of interest include, but are not limited to, semantic models
for knowledge, belief, and uncertainty, bounded rationality and
resource-bounded reasoning, commonsense epistemic reasoning, epistemic
logic, knowledge and action, applications of reasoning about knowledge
and other mental states, belief revision, and foundations of
multi-agent systems.
* Workshops
Two full-day workshops will precede and follow the conference:
``Reasoning about other minds: logical and cognitive perspectives",
``Quantum physics meets TARK".
* Important Dates
Submission of Abstracts: March 10th, 2011
Notification of Authors: April 29th, 2011
Camera Ready Copy of Accepted Papers due: May 20th, 2011
Conference Dates: 11-15 July 2011
* Programme Committee
Natasha Alechina, University of Nottingham
Krzysztof R. Apt (PC chair), CWI and University of Amsterdam
Sergei Artemov, CUNY, New York
Hans van Ditmarsch, University of Sevilla
Aviad Heifetz, The Open University of Israel
Wiebe van der Hoek, University of Liverpool
Daniel Lehmann, The Hebrew University of Jerusalem
Jerome Lang, Universite Paris-Dauphine
Fenrong Liu, Tsinghua University, Beijing
Alessio Lomuscio, Imperial College London
Ron van der Meyden, University of New South Wales, Sydney
Eric Pacuit (tutorials chair), Tilburg University
Andres Perea, Maastricht University
Gabriella Pigozzi, University of Luxembourg
R. Ramanujam, Institute of Mathematical Sciences, Chennai
Sonja Smets, University of Groningen
Moshe Tennenholtz, Technion, Haifa and Microsoft, Herzliya
Rineke Verbrugge, University of Groningen
* Local Organization
Sonja Smets
Rineke Verbrugge
------------------------------------------------------------------------------------------------------
Prof. Wiebe van der Hoek
Head of 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 bernhard.schandl at univie.ac.at Fri Jul 9 16:21:18 2010
From: bernhard.schandl at univie.ac.at (Bernhard Schandl)
Date: Fri, 9 Jul 2010 16:21:18 +0200
Subject: Deadline Extension & 3rd CfP - Workshop on Personal Semantic Data (PSD2010) at EKAW 2010
Message-ID:
Please note that the paper submission deadline has been extended
to the 19 July 2010, due to requests received.
Call for Papers
1st Workshop on Personal Semantic Data: PSD 2010
http://semanticweb.org/wiki/Personal_Semantic_Data
co-located with EKAW 2010
11th - 15th October, Lisbon, Portugal
Personal Semantic Data is scattered over several media, and while
semantic technologies are already successfully deployed on the Web as
well on the desktop, data integration is not always straightforward.
The transition from the desktop to a distributed system for Personal
Information Management (PIM) raises new challenges which need to be
addressed. These challenges overlap areas related to human-computer
interaction, privacy and security, information extraction, retrieval
and matching.
This workshop will bring together academics and industrial
practitioners with the goal of fostering cross-domain collaborations
to further advance the use of technologies from the Semantic Web and
the Web of Data for PIM and to explore and discuss the challenges and
approaches for improving PIM through the use of vast amounts of
(semantic) information available online. At the same time we want to
provide a platform for discussing research topics and challenges
related to personal semantic data.
== IMPORTANT DATES ==
* 19 July 2010 * - Submission deadline (extended)
9 August 2010 - Notification
27 August 2010 - Camera-ready version
== TOPICS ==
The topics of interest include, but are not restricted to:
* Bridging the gap between Semantic Desktop Data and Linked (Open)
Data
-Interlinking personal desktop data with Semantic Web data
-Enriching desktop information with Web data
-Publishing semantic personal data from the desktop to the Web,
including trust and privacy issues
-Mapping and synchronizing personal semantic data from heterogeneous
sources
-New forms of visualization of mashed and hybrid personal data from
the desktop and Web
* Managing personal data across heterogeneous social media sites
-Mapping and synchronizing personal social data across heterogeneous
social media and the desktop
-Searching and browsing personal social data across heterogeneous
data sources and using heterogeneous interfaces (e.g. mobile devices)
-Modeling of semantic information for personal and social use
* Generation of personal semantic data from novel sources
-Semi-automatic and automatic generation of semantic data from
personal information
-Fusion of mobile and desktop environments
-Interlinking newly generated semantic data with existing sources
== SUBMISSION GUIDELINES ==
We encourage full papers (max 12 pages), short paper (max 6 pages) and
short demo papers (max 2 pages) describing significant work in
progress, late breaking results or ideas / challenges for the domain.
Submissions should follow the LNCS guidelines.
Papers should be submitted in pdf format to
http://www.easychair.org/conferences/?conf=psd2010 no later than
midnight Pacific Daylight Time on July 9, 2010.
Accepted papers will be published in the workshop proceedings.
== WORKSHOP ORGANIZERS ==
* Laura Dragan - Digital Enterprise Research Institute (DERI),
National University of Ireland, Galway, Ireland
* Bernhard Schandl - Department of Distributed and Multimedia Systems,
University of Vienna, Austria
* Charlie Abela - Department of Intelligent Computer Systems
University of Malta, Malta
* Tudor Groza - Digital Enterprise Research Institute (DERI), National
University of Ireland, Galway, Ireland
* Gunnar Grimnes - DFKI GmbH, Kaiserslautern, Germany
* Stefan Decker - Digital Enterprise Research Institute (DERI),
National University of Ireland, Galway, Ireland
== FURTHER INFORMATION ==
Further information is available on the workshop website at
http://semanticweb.org/wiki/Personal_Semantic_Data or by emailing the
workshop organizers.
Best regards,
PSD 2010 Organizing Committee
From paolucci at docomolab-euro.com Tue Jul 13 11:20:50 2010
From: paolucci at docomolab-euro.com (Paolucci, Massimo)
Date: Tue, 13 Jul 2010 11:20:50 +0200
Subject: CFP Service Matchmaking and Resource Retrieval in the Semantic Web
Message-ID: <317B40DA788E894D8FDD440D2835F5F702C9340B@DEMAIL.docomolab-euro.com>
Apologies for cross-postings
--------------------------------------------------------------------------
CALL FOR PAPERS
--------------------------------------------------------------------------
SMR2-2010
Third International Workshop on
http://www-ags.dfki.uni-sb.de/~klusch/smr2-10/
9th International Semantic Web Conference (ISWC 2010)
November 8, 2010
Shanghai, China
Aims & Scope:
One central challenge of service coordination in the Semantic Web is how to
best relate requests for services with the services that are available.
This functionality is usually provided by matchmaking capabilities (which
may themselves be deployed as services, brokers or middle agents) that
select the services that are closest to a requested service on the basis of
a declarative characterization of the capabilities of both service requested
and services provided.
More generally, resource retrieval extends the notion of service matchmaking
to the process of discovering any kind of resource (services, data,
information, knowledge, even persons and organizations) for given settings,
participating entities, and purposes. It is at the core of several scenarios
in the Semantic Web area, spanning from Web services, Grid and cloud
computing, and Peer-to-Peer computing, to applications such as e-commerce,
human resource management, and social networking applications such as dating
services.
The primary objective of this workshop is to bring together academic and
industry researchers and industry practitioners who tackle semantic service
matchmaking and discovery from various points of view. In particular, we
intend to build bridges to the software engineering and model-driven
development communities in order to share requirements, technologies, and
experiences that might be helpful in advancing the state of the art in
semantic service matchmaking and resource retrieval.
Going to Practice: The Third Semantic Service Selection (S3) Contest
The SMR2 workshop also integrates the third edition of the
open international contest on semantic
service selection (S3) executed in collaboration with the Semantic Web
Service Challenge. The S3 contest provides the means and a forum for
evaluating the retrieval performance of Semantic Web service matchmakers in
terms of recall, precision, F1, response time etc., over given test
collections based on the prominent semantic service formats such as OWL-S,
WSML and the standard SA-WSDL.
Publication:
Accepted papers will be available online as a volume of CEUR proceedings. In
addition, selected papers will be published in a special issue of the
International Journal on Software Tools for Technology Transfer (STTT,
Springer Verlag).
Topics of interest include (but are not limited to):
* Advanced searching of services and other resources in the Semantic Web
* Novel approaches to matchmaking and brokering in the Semantic Web, with a
particular emphasis on Semantic Web services
* Model-driven semantic service engineering and matchmaking
* Semantic retrieval of resources and services in P2P and Grid networks
* Semantic retrieval of resources and services in Cloud Computing
* Matchmaking in e-commerce scenarios: auctions, e-marketplaces, supply
chains
* Matchmaking in other application scenarios: e-government, biopharma, etc.
* Composition planning of Semantic Web services
* Negotiation of Semantic Web services and resources
* Interleaving of discovery, composition, and negotiation of Semantic Web
services
* Semantic Web services selection
* Formal description and handling of Semantic Web services, queries, and
resources
* Non-functional service properties and their use for discovery (and
composition)
* Trust issues of Semantic Web service discovery
* Prototypes and tools for Semantic Web services engineering
* Middleware solutions for semantic service discovery and composition
* Novel approaches to achieving interoperability between services in the
Semantic Web
* Practical business and user-oriented issues and experiences of
implementing SW service retrieval tools
* Experimental comparative evaluation of implemented SW service retrieval
tools
Submissions :
Contributions to the workshop can be made as technical papers, addressing
different issues of service / resource matching. The papers should be not
longer than 12 pages using the LNCS Style:
http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.h
tml
All contributions should be prepared in PDF format and should be submitted
through the workshop submission site at:
http://www.easychair.org/conferences/?conf=smr22010
Important Dates:
September 1, 2010: Deadline for the submission of papers.
September 20, 2010: Deadline for the notification of acceptance/rejection.
October 2, 2010: Camera ready copy submission.
November 8, 2010: SMR2-2010, Shanghai, China
Organizing Committee:
Abraham Bernstein (University of Zurich, Switzerland)
Matthias Klusch (DFKI, Germany)
Paul Grace (University of Lancaster, UK)
Massimo Paolucci (NTT DoCoMo Research Europe, Germany)
Program Committee (under construction):
Abraham Bernstein U. Zurich, Switzerland
Paul Grace, Lancaster U, UK
Matthias Klusch DFKI, Germany
Alain Leger, France Telecom, France
David Martin, Apple, USA
Oliver Müller, U Muenster, Germany
Massimo Paolucci, NTT Docomo, Germany
Stefan Schulte TU Darmstadt, Germany
Eugenio Di Sciascio, U Bari, Italy
Marco Luca Sbodio, HP, Italy
---------------------------------------------------
Massimo Paolucci
DOCOMO Communications Laboratories Europe GmbH
Landsberger Strasse 308-312, 80687 Munich
Phone: +49-89-56824-238
Fax: +49-89-56824-300
Mobile: +49-162-2919238
mailto:paolucci at docomolab-euro.com
http://www.docomolab-euro.com
Managing Directors (Geschaeftsfuehrer):
Dr. Masami Yabusaki, Mr. Naoki Tani, Mr. Tsutomu Sakai
Amtsgericht Muenchen, HRB 132976
--------------------------------------------------
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname : smime.p7s
Dateityp : application/x-pkcs7-signature
Dateigröße : 6627 bytes
Beschreibung: nicht verfügbar
URL :
From fuchs at ifi.uzh.ch Tue Jul 13 23:06:34 2010
From: fuchs at ifi.uzh.ch (Norbert E. Fuchs)
Date: Tue, 13 Jul 2010 23:06:34 +0200
Subject: 2nd Workshop on Controlled Natural Languages CNL 2010: Call for Participation
Message-ID: <5B6A9895-AD04-4C4C-A897-EB0771BB2089@ifi.uzh.ch>
*********************************************************************
Call for Participation
CNL 2010
2nd Workshop on Controlled Natural Languages
http://staff.um.edu.mt/mros1/cnl2010
Marettimo Island, Sicily (Italy)
13-15 September 2010
Note: deadline 15 July 2010 for discounted accommodation
*********************************************************************
Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers (e.g. non-native speakers), and those that enable reliable automatic semantic analysis of the language.
The workshop will be informal with plenty of time for presentations and discussions. To ensure the informal atmosphere the number of participants will be limited.
WORKSHOP PROGRAMME
A full programme (http://staff.um.edu.mt/mros1/cnl2010/prog.html) of refereed papers and invited tutorial presentations is now online. Details are available on the conference website.
VENUE
The workshop will take place on the Italian island Marettimo at the Marettimo Residence (www.marettimoresidence.com/inglese/home.php). This consists of a set of two-storey houses set within a beautiful garden. On top of the garden of the residence there is a large lecture hall with wireless internet.
Marettimo is the outermost of the Egadian Islands to the west of Sicily, and is easily reached from the airports of Palermo and Trapani. Marettimo offers the simple and relaxed life of southern Italy, unspoilt landscape, stupendous views, hiking, swimming, diving, boat trips, and excursions on donkeys. There are several restaurants and bars, and some shops. What the island does not offer: traffic - there are practically no roads - fancy shops and restaurants, night life, and sandy beaches.
ACCOMMODATION
The Marettimo Residence (www.marettimoresidence.com/inglese/home.php) offers one- and two-bedroom apartments with fully equipped kitchens. A number of apartments for the participants of CNL 2010 will be reserved until 15 July 2010 at a price 10% below the regular price. Participants should get into direct contact with the Marettimo Residence to organise their accommodation, citing "CNL 2010" and the names of the organisers when claiming the reduced price. Please indicate the length of your stay – perhaps you want to bring your family for additional days of vacation – and whether you would like to share your apartment with another participant of CNL 2010. The Marettimo Residence can also organise your transfers from and to the airports of Palermo or Trapani.
REGISTRATION
There is no registration fee for CNL 2010.
Participants should contact the Marettimo Residence for accommodation until 15 July 2010. Alternative accommodations on Marettimo can be found via the internet, for instance by googling for "case vacanze Marettimo".
Once your accommodation is confirmed, please send the registration form (http://staff.um.edu.mt/mros1/cnl2010/registration.html ) to the organisers.
WORKSHOP DINNER
A workshop dinner will be arranged during the workshop, and will be paid individually by the participants.
ORGANISATION
Michael Rosner (University of Malta) mike.rosner at um.edu.mt
Norbert E. Fuchs (University of Zurich, Switzerland) fuchs at ifi.uzh.ch
From bjwoodford at infoscience.otago.ac.nz Wed Jul 14 06:50:26 2010
From: bjwoodford at infoscience.otago.ac.nz (Brendon Woodford)
Date: Wed, 14 Jul 2010 16:50:26 +1200 (NZST)
Subject: Updates: Best Paper Award for PRIMA2010 -- The 13th International
Conference on Principles and Practice of Multi-Agent Systems
In-Reply-To: <18760435.7991278478567856.JavaMail.root@infos003.otago.ac.nz>
Message-ID: <5033898.5651279083026859.JavaMail.root@infos003.otago.ac.nz>
The 13th International Conference on Principles and Practice of
Multi-Agent Systems (PRIMA-2010)
Kolkata, India
November 12th-15th, 2010
www.prima2010.org
News Highlights
---------------
**Best Paper Award Sponsored by IBM Research**
PRIMA 2010 would recognize the highest quality research paper in the key
theme area of "agents and services" with a Best Paper Award sponsored by
IBM Research -- India. The award is aimed at encouraging top quality
research in the critical area of Service Science. One paper will be chosen
by the program committee for this award and the award carries a prize of
Indian Rupees 5000.
**Keynote Speakers**
Frank Dignum. University of Utrecht, The Netherlands
Henry Prakken, University of Groningen (Law & IT) and University of
Utrecht (Computer Science), The Netherlands
Makoto Yokoo, Kyushu University, Japan
Important Dates
---------------
Abstracts: July 24th, 2010
Papers: July 31st, 2010
Author response: August 19-22
Author notification: September 1st, 2010
Camera-ready papers: September 20th, 2010
Early registration deadline: September 27th, 2010
Registration deadline: November 1st, 2010
Workshops and Tutorials: November 12th, 2010
Conference dates: November 12th - 15th, 2010
Overview
--------
PRIMA is a leading scientific conference for research on intelligent agent
and multi-agent systems, attracting high quality, state-of-the-art
research from all over the world. The conference endeavours to bring
together researchers, developers, and academic and industry leaders, who
are active and interested in agents and multi-agent systems, their
practices and related areas. The conference has a strong focus on
practice, and is focused on becoming the premier forum for prototype and
deployed agent systems. Thus PRIMA particularly encourages reports on
development of prototype and deployed agent and multi-agent systems, and
experiments that demonstrate the capability of agents to handle real-world
challenges.
PRIMA2010 will build on the success of its predecessor workshops and
conferences held in Nagoya, Hanoi, Bangkok, Guilin, Kuala Lumpur,
Auckland, Seoul, Tokyo, Taipei, Melbourne, Kyoto, and Singapore. Since
2007, due to the need for an additional high-quality forum for
international researchers and practitioners to meet and share their work,
the meeting has been expanded from a workshop to a full-fledged
conference.
**Key Theme**
In addition to the themes listed below, a key theme for PRIMA 2010 is
agents and services, where the intent is to explore the connections
between the agent technology and services (both in the sense of service
science and service-oriented computing). We especially encourage papers
that deal with the application of agent techniques to the challenges in
the services area. There are clear relationships between the work in
services and the work on agents, and there is increasing crossover between
the two communities.
**Reviewing Process**
PRIMA 2010 will see a number of changes to the reviewing process. These
changes are designed to further raise the quality of the reviewing process
and of the accepted papers. Specifically, PRIMA 2010 will:
* introduce an author response phase in which authors are able to
respond to reviews;
* use double blind reviewing;
* introduce a Senior Programme Committee (SPC), who are tasked with
overseeing the review process of specific papers.
Additionally, PRIMA 2010 will introduce a "shepherding" process for
borderline papers. This process will see a PC or SPC member working with
authors of borderline papers to provide additional support during the
revision process in order to improve the presentation of the paper.
Finally, PRIMA 2010 will replace short posters with full-length ?work in
progress? papers. This is being done in order to allow sufficient space
for papers to explain their contribution, whilst still clearly
distinguishing between full papers and weaker papers that still have
merit.
**Publication**
The PRIMA proceedings will be published by the International Foundation
for Autonomous Agents and Multiagent Systems (IFAAMAS), which sponsors and
publishes the proceedings of the International Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS). Selected papers accepted to PRIMA
will be invited to be expanded and published as a special issue with the
journal of Multiagent and Grid Systems (MAGS).
Multimedia Submission Track
**Multimedia Submissions**
For some multiagent systems it can be challenging to convey the research
contributions of the work in a traditional paper format. For example, the
novelty and contribution of some distributed robotic or agent systems
cannot be easily made clear in a paper format, but might be compelling
with a Powerpoint presentation or video. Similarly, programming languages
or tools might be best explained via a tutorial or software package
showing their power. In recognition of this, PRIMA'10 retains the
Multimedia Submission Track used in PRIMA'09. Specifically, in addition to
regular paper submissions, we accept multimedia (non-paper) electronic
submissions of technical contributions. This type of work can be submitted
in whatever electronic format best conveys the research contributions of
the work, from Powerpoint presentations, to videos, to working code to
websites.
**Submission Details**
Submissions are through easychair:
http://www.easychair.org/conferences/?conf=prima10
For multimedia submissions, please submit a single zip file.
For regular papers, please submit a PDF file in ACM SIG Proceedings
format, at most eight (8) pages long (note that this is a change from last
year, which used LNCS format). The paper should not include author details
(i.e. be anonymous). Note that abstract submissions are requested a week
before the paper deadline (i.e. 24th for abstracts, 31st for papers).
Organization
------------
**General Chairs**
B.P. Sinha (Indian Statistical Institute, India)
Chandan Mazumdar (Jadavpur University, India)
Abdul Sattar (Griffith University, Australia)
**Program Chairs**
Nirmit Desai (IBM Research, India)
Alan Liu (National Chung Cheng University, Taiwan)
Michael Winikoff (University of Otago, New Zealand)
Workshop Chairs: Hoa Khanh Dam (University of Wollongong, Australia) and
Tru Hoang Cao (Ho Chi Minh City University of Technology, Vietnam)
Tutorial Chairs: Sujata Ghosh (Gottingen University, Netherlands) and
Aniruddha Dasgupta (University of Wollongong, Australia)
Local Organizing Chair: Nabendu Chaki (University of Calcutta)
Local Finance Chair: Mridul Barik (Jadavpur University)
See the committees page for list of SPC and PC members.
Themes and Topics (See sub-areas on the Website)
------------------------------------------------
**Agents and Service Science**
**Agent-based system development**
**WWW and Semantic Web Agents**
**Agent Technologies for Service Computing**
**Agent Reasoning**
**Interface Agents**
**Agent communication**
**Agent Cooperation and Negotiation**
**Agent Systems**
**Real-world Robotics**
**Other Related Areas**
**Agent-based simulations**
From josef.urban at gmail.com Wed Jul 14 12:14:23 2010
From: josef.urban at gmail.com (Josef Urban)
Date: Wed, 14 Jul 2010 12:14:23 +0200
Subject: PhD Position in Automated Reasoning Using Machine Learning (vacancy
number 62.58.10)
Message-ID:
PhD student Computer Science (1,0 fte)
=================================
Radboud University Nijmegen, Faculty of Science, Institute for
Computing and Information Sciences (iCIS), Intelligent Systems
Maximum Salary: EUR 2,612 gross/month
Vacancy number: 62.58.10
Closing date: 30 September 2010
Job description
============
You will be working on the NWO project Learning2Reason, which aims to
improve computer-assisted reasoning technology using a machine
learning approach. To derive new knowledge from corpora of formally
expressed knowledge such as mathematical theorems and proofs, one uses
computer-assisted and automated reasoning methods. These symbolic (or
deductive) approaches typically suffer from a fast-growing search
space. Tailored machine learning approaches can help to control this
search space, e.g., by estimating the usefulness of existing lemmas
for proving a new result. Within the project, you will focus on the
state-of-the-art in machine learning, especially kernel-based methods
that are ideally suited to take into account the structure of formulas
and proofs (given as graphs or trees). Your task as a PhD student will
be to develop and further improve such machine learning techniques and
apply and test these on existing formal libraries.
Requirements
===========
You should meet the following requirements:
- A master's degree (or equivalent) in Computer Science, Mathematics
or a related field, with a strong interest in machine learning
and/or proof assistants;
- Commitment and a cooperative attitude;
- Excellent proficiency in written and spoken English.
Organization
==========
The Radboud University Nijmegen is one of the leading academic
communities in the Netherlands. Renowned for its green campus, modern
buildings, and state-of-the-art equipment, it has nine faculties and
enrolls over 17.500 students in approximately 90 study programs. The
university is situated in the oldest Dutch city, close to the German
border, on the banks of the river Waal (a branch of the Rhine). The
city has a rich history and one of the liveliest city centres in the
Netherlands. The section Intelligent Systems of the Institute for
Computing and Information Sciences (iCIS) at the Radboud University
Nijmegen conducts research in both machine learning (subgroup headed
by Prof.dr. Tom Heskes) and proof assistants (subgroup headed by
Prof.dr. Herman Geuvers). The current project is right at the
interplay between these subgroups and combines the strengths of both
teams. iCIS in general and the section Intelligent Systems received
excellent scores at the latest national research assessment.
Website: http://www.ru.nl/is/
Conditions of employment
=====================
Employment: 1,0 fte
Maximum salary per month, based on a fulltime employment: € 2,612 gross/month
Starting at € 2,042 per month, the salary will increase to € 2,612 per
month in the fourth year.
PhD scale.
Additional conditions of employment
==============================
You will be appointed as a PhD student for a period of four
years. Your performance will be evaluated after 18 months. If the
evaluation is positive, the contract will be extended by 2.5 years.
Additional Information
==================
Prof.dr. Tom Heskes Prof.dr. Herman Geuvers
Telephone: +31 24 36 52696 Telephone: +31 24 36 52603
E-mail: tomh at cs.ru.nl E-mail: herman at cs.ru.nl
Application
=========
You can apply for the job (mention the vacancy number 62.58.10) before
30 September 2010 by sending your application -preferably by email-
to:
RU Nijmegen, FNWI, P&O, mrs. D. Reinders
P.O. Box 9010, 6500 GL Nijmegen, NL
Telephone: +31 24 3652027
E-mail: pz at science.ru.nl
From bcseet at ieee.org Wed Jul 14 12:51:40 2010
From: bcseet at ieee.org (Boon-Chong Seet)
Date: Wed, 14 Jul 2010 22:51:40 +1200
Subject: CFP: Sensor Networks and Ambient Intelligence - SI and Deadline Extension
Message-ID: <958C8EE2AF5D43D39CA6A7EAF5B10642@BCSEETPC>
Please be informed that the paper submission deadline of SeNAmI 2010 has been extended to August 2, 2010
In addition, selected best papers will be considered for special issues in ACM/Springer Personal and Ubiquitous Computing Journal and International Journal of Sensor Networks (IJSNet)
--------------------
CALL FOR PAPERS
3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010)
In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org
Hong Kong SAR, China, December 11-13, 2010
Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI).
The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care.
Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications.
Topics of interest include but are not limited to:
- Cognitive wireless sensor networks
- Sensor networking with context and ambient awareness
- Nature or bio-inspired designs for ambient sensing and intelligence
- Cross-layer design and optimization of sensor-based AmI systems
- Reasoning and inference for sensor/RFID-based systems
- Multi-modal sensor fusion for smart environments
- Cyber-physical systems for human-centric applications
- Ambient energy harvesting and energy-efficiency issues for sensor networks
- Sensor or sensor-embedded object localization and target tracking
- Cooperative in-network sensor information processing
- Intelligent and mobile agents for embedded ubiquitous computing
- Sensor networking in heterogeneous environments
- Privacy, security, and trust management
- AmI architectures, platforms, applications, and services
- Prototypes, testbeds, and real-world deployments
IMPORTANT DATES
Paper submission due : August 2, 2010 (extended)
Acceptance notification : September 24, 2010
Camera-ready due : October 10, 2010
Workshop date : TBA
Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair.
Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages.
Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex.
Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet).
For further details, please visit: http://iliad.aut.ac.nz/senami2010/
-------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From tkren at kr.tuwien.ac.at Wed Jul 14 17:16:27 2010
From: tkren at kr.tuwien.ac.at (Thomas Krennwallner)
Date: Wed, 14 Jul 2010 17:16:27 +0200
Subject: 10 PhD student positions in Computational Logic at Vienna University
of Technology
Message-ID: <4C3DD4CB.9030708@kr.tuwien.ac.at>
The Vienna University of Technology (TU Wien) is offering 10 PhD
student positions within the doctoral program
"Mathematical Logic in Computer Science"
which is launched in Fall 2010; five of the positions are reserved for
female applicants.
The program is jointly organized by the faculties of Informatics,
Mathematics, and Physics, with a strong emphasis on Logic in Computer
Science; computational logic is one of the priority research areas of
the Faculty of Informatics.
TU Wien has a strong international reputation in various fields
targeted in the program, including
* Logic in Databases,
* Computer Aided Verification,
* Constraint Satisfaction and Satisfiability,
* Knowledge Representation and Reasoning,
* Finite Model Theory,
* Quantum Information and Recursion Theory,
* Proof Theory and Automated Deduction,
* Many Valued and Fuzzy Logic,
* Complexity Theory,
* Set Theory.
The program is interdisciplinary and fosters the application of
Mathematical Logic to Computer Science; two envisaged key application
areas are
* Model-Based Design and Verification,
* Advanced Information Systems.
The faculty of the program consists of M. Baaz, A. Ciabattoni,
T. Eiter (coordinator), M. Goldstern, G. Gottlob (associated),
A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith and
S. Woltran.
Candidates must have an MSc or equivalent degree in
Computer Science, Mathematics or related fields, and an excellent
record of study. They should have solid basic knowledge in logic,
discrete mathematics, and computer science; knowledge in
fields targeted in the program is desired.
Each PhD student position is funded for three years (regular
employment contract with full social benefits). The yearly salary ranges
from a minimum of 12,724 Euro to 25,915 Euro before taxes, depending
on cofunding via associated projects.
Applications are solicited starting immediately, and will be
considered starting from September 10, 2010, until all positions are
filled, but no longer than March 15, 2011.
Further details about the program and the application procedure are
available at http://www.dbai.tuwien.ac.at/drkolleg/.
For additional information, please send email to
dk-info at dbai.tuwien.ac.at.
From wmaccaul at stfx.ca Wed Jul 14 21:48:20 2010
From: wmaccaul at stfx.ca (Wendy MacCaull)
Date: Wed, 14 Jul 2010 16:48:20 -0300
Subject: Research Scientist/ PostDoc Opportunity
Message-ID:
Research Scientist/PostDoc - Scalable Methods for Ontological Reasoning using High Performance Computing with Applications to Healthcare
This is a 2 year contract position to develop scalable methods for ontological reasoning with applications to health care. Strong implementation skills are required; ideally the candidate will demonstrate proficiency in high performance computing methodologies, in strategies for (automated) reasoning, and in ontology development (though proficiency in some and commitment to developing proficiency in the other may be acceptable). Case studies will involve very large ontologies for health care. The candidate will have the opportunity to work with researchers in an interdisciplinary 6 year R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca).
This position is partially supported by the ACEnet/Oracle Research Collaboration Program which has the goal of reducing barriers to the efficient, effective, and widespread use of the ACEnet Research Computing Platform through the creation of innovative open source grid, middleware, or web/portaltechnologies.
Qualifications: PhD in appropriate area or MSc with 2-3 years experience in theorem proving strategies. Excellent written and oral skills in English.
Salary: $44,500 per year (plus medical and dental benefits and a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year.
To apply: Send a 1 page Letter of Application describing how you fit the requirements of this position to Wendy MacCaull at wmaccaul at stfx.ca Include as attachments:
(1) A detailed CV;
(2) Names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers);
(3) Copies of recent publications and/or detailed descriptions of projects and previous experience.
Use as the subject: Methods for Scalable Ontological Reasoning. We will begin reviewing applicantions on August 2nd, 2010 and hope to have the successful candidate in place by September/October 2010.
Wendy MacCaull, PhD,
Professor, Mathematics, Statistics & Computer Science,
Director, StFX Centre of Logic and Information,
St. Francis Xavier University,
Antigonish, NS, Canada, B2G 2W5
Tel: 902 867 3989
FAX: 902 867 1397
Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
-------------- nächster Teil --------------
Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt.
Name: Research Scientist New.txt
URL:
From shankar at csl.sri.com Fri Jul 16 18:01:32 2010
From: shankar at csl.sri.com (Natarajan Shankar)
Date: Fri, 16 Jul 2010 09:01:32 -0700
Subject: VSTTE Informal Verification Competition
Message-ID: <7389.1279296092@positron.csl.sri.com>
Dear colleague:
We will have an informal verification competition at VSTTE in Edinburgh
as a prelude to a more formal competition at future meetings. The
competition is for teams of up to three people armed with one or more
verification tools. You will be given several verification
exercises with information specifications, test cases, and pseudocode.
The task is to prepare a reproducible verification of executable code
relative to a formalization of the specifications. The results will be
judged for completeness and elegance. The exercises will typically
involve simple datatypes that should be available on most verification
tools for sequential or functional programs. Student teams are
especially encouraged.
We also urge you to register for VSTTE itself (see the Call below). The
competition will be an informal event, no registration is required. If
you want to participate, simply attend the session on Wednesday Aug 18
and find out about the details. The results will be presented at the
Tools & Experiments workshop on Thu Aug 19. More information should
also be available on the VSTTE web page shortly.
Please contact peter.mueller at inf.ethz.ch or shankar at csl.sri.com
if you have any questions.
We look forward to seeing you at VSTTE!
Peter and Shankar
==================================================================
(Apologies if you receive multiple copies of this announcement)
*****************************************************************
*** Second Call for Participation -- Early Registration ends in 2 weeks ***
Third International Conference on Verified Software:
Theories, Tools, and Experiments
Edinburgh, Scotland
August 16th-19th, 2010
http://www.macs.hw.ac.uk/vstte10
SPONSORS: NSF, EPSRC, Microsoft Research, SICSA, Altran Praxis,
SSEI, FME, Contemplate, Heriot-Watt University
******************************************************************
The Third International Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working
conference at Zurich (2005) and a successful conference in Toronto
(2008). This conference is part of the Verified Software Initiative
(VSI), a fifteen-year, cooperative, international project directed
at the scientific challenges of large-scale software verification.
VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems
Evolution.
PROGRAMME
The programme includes
- Keynote presentations by Tom Ball (Microsoft), Gerwin Klein (National ICT Australia), and
Matthew Parkinson (University of Cambridge);
- Invited Tool Demo Presentations by Colin O?Halloran (ClawZ/Circus) , Bart Jacobs (VeriFast),
Michael Jastram (ProB) and Joe Kinry (BONc/Beetlz);
- A Verification Competition;
- Industrial Tool Vendors;
- Two workshops: Theory WS and Tools & Experiments WS;
- A Summer School -- lectures given by Robert Atkey/Ewen Maclean, Alan Bundy/Lucas Dixon,
Jane Hillston, Cliff Jones, Gerwin Klein, J Strother Moore, Natarajan Shankar and Graham Steel;
A provisional programme is available at:
http://www.macs.hw.ac.uk/vstte10/Programme.html
VENUE
VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh.
The conference dates coincide with the 2010 Edinburgh International
Festival and the Edinburgh Festival Fringe -- collectively the
largest annual arts festival on the planet! The technical programme
will take place in the Edinburgh Conference Centre (Heriot-Watt University
campus), where accommodation will be available at very competitive rates for
festival time. Social events will be arranged within the city centre,
making VSTTE an unique cultural and scholarly event for 2010!
SOCIAL EVENTS
As well as a welcome reception and conference banquet, SICSA are
sponsoring a special drinks reception in the Informatics Forum
at the heart of the Festival on August 17th.
STUDENT SUPPORT
Support for students wishing to attend VSTTE 2010 is available.
Please contact vstte10 at macs.hw.ac.uk for more details.
REGISTRATION
Online registration is available from
http://www.macs.hw.ac.uk/vstte10_reg/Registration.php
Early registration ends on July 31st.
From pierregrenon at gmail.com Fri Jul 16 18:32:29 2010
From: pierregrenon at gmail.com (Pierre Grenon)
Date: Fri, 16 Jul 2010 17:32:29 +0100
Subject: CFP: OneSpace2010 (Deadline: July 23)
Message-ID:
---------------------------------
Final CALL FOR PAPERS: OneSpace2010
[ apologies for multiple copies ]
---------------------------------
3rd International Workshop on Blending Physical and Digital Spaces on
the Internet (OneSpace2010)
http://onespace.kmi.open.ac.uk/2010/
In conjunction with the Future Internet Symposium 2010 (FIS2010)
http://www.fis2010.org/
20 September 2010, Berlin, Germany
++ Deadline for submission: July 23, 2010 ++
++ Full, demos, and position papers invited ++
============================================================
Objective
----------
The third edition of Onespace will continue to offer a venue for the
interdisciplinary exposition, exploration and cross-fertilisation of
trends in how the Internet contributes to blend and modify reality and
real-life technology, with a focus on spatial aspects. The scope will
be open to conceptual, experimental, and technological perspectives
although we envisioned, as usual, a rather applied orientation
supporting more fundamental discussions. The primary notions involved
will be those of (geo)spatial and temporal sensitivity in physical,
digital and virtual contexts, and the blending of digital and virtual
images of space and of the physical realm.
Audience
---------
The intended audience of the workshop are researchers and
practitioners for whom spatial issues, broadly conceived, are an
important thematic in relation to their interest in the Future
Internet and Web applications. Typical attendants will be eager to
confront the particular point of view of their discipline or area of
activity in the rich cross-domain context of future Internet
applications. These include GIScientists, cognitive scientists,
Semantic Web researchers, Web technology and virtual community
experts, creators of virtual worlds, social scientists, philosophers
but, also significantly, research engineers such as for example from
various industry sectors.
Submissions
------------
Submissions following the LNCS style must be submitted through
EasyChair (links on the workshop's website) and categorised as one of
the following:
* Full papers (12 pages max.) on the thematic of the workshop
from any relevant perspective
* Demonstration papers (6 pages max.) of prototype applications
(accepted submissions will be presented as a short demonstration)
* Position papers (4 pages max.) discussing novel ideas,
possible experiments, and technological visions
Proceedings of the workshop will be published with CEUR-WS.org.
Important dates
----------------
* Submission deadline: Jul 23, 2010
* Acceptance Notification: Aug 13, 2010
* Camera-ready paper: Aug 27, 2010
* Workshop date: Sep 20, 2010
Topics
-------
The following is a non-exhaustive list of topics:
* Knowledge representation for blending virtual and real space
- Representation of physical/virtual spaces and topologies
- Ontologies for blending virtual and real space (incl.
spatiotemporal ontologies, ontologies of physical and
virtual networks)
- Spatial and temporal reasoning for blending virtual
and real space
* Computing and applications for blending virtual and real space
- Pervasive, Ambient, and Urban computing
- Mobility and ubiquity
- Impact of second-generation Web mapping applications
- Virtual worlds, digital games and real-life
and technological applications
* Digitally blended geographic environments
- Digital urban environments
- Geo-located services and sensors on the Web
- Internet of Things, Internet of People, social
and physical blending
- Application of Linked Data for physical and digital spaces
* The digital, the virtual and the real
- Digital Sense of Place and Presence
- Virtual and real identities and places
- Visibility and privacy in the Internet of people and things
Organisation
------------
* Vlad Tanasescu - The University of Edinburgh, UK
* Pierre Grenon - The Open University, UK
* Arno Scharl - MODUL University Vienna, Austria
* Erik Wilde - UC Berkeley, California, USA
Programme Committee
-------------------
* Susanne Boll - University of Oldenburg, Germany
* Emanuele Della Valle - Politecnico di Milano & Cefriel, Italy
* Catherine Dolbear - Sharp Laboratories of Europe, UK
* Stefan Dietze - The Open University, UK
* Hans W. Guesgen - Massey University, New Zealand
* Puneet Kishor - University of Wisconsin, USA
* Femke Reitsma - University of Canterbury, NZ
* Vinny Reynolds - National University of Ireland
* Dumitru Roman - SINTEF, Norway
* Marc Wick - GeoNames.org
============================================================
The latest information about the workshop can be found at:
http://onespace.kmi.open.ac.uk/2010/
Follow us on Twitter:
http://twitter.com/onespace2010
Contact: onespace2010 at easychair.org
From calvanese at inf.unibz.it Sat Jul 17 23:14:19 2010
From: calvanese at inf.unibz.it (Diego Calvanese)
Date: Sat, 17 Jul 2010 23:14:19 +0200
Subject: 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010) - Call for Papers
Message-ID: <38466EC1-4B98-4D4B-AEF9-9F74C3BFDDCE@inf.unibz.it>
CALL FOR PAPERS
==========================================================
6th Workshop on Semantic Web Applications and Perspectives
SWAP 2010
==========================================================
Bressanone-Brixen, Italy
September 21-22, 2010
http://www.inf.unibz.it/krdb/events/swap2010/
Organized by the KRDB Research Centre
Free University of Bozen-Bolzano
Collocated with the 4th Int. Conf. on Web Reasoning and Rule Systems
http://www.rr-conference.org/RR2010/
==========================================================
**** SUBMIT YOUR MOST INTERESTING 2009-2010 PAPER!! ****
**** AND ****
**** SHARE YOUR IDEAS WITH THE SEMANTIC WEB COMMUNITY ****
==========================================================
The Semantic Web is currently one of the most interesting and
ambitious challenges that the scientific and technological community
is facing. While great progresses have been made in terms of
consolidation of base philosophy and infrastructure, new issues,
technologies, and tools are emerging.
These issues include creating, presenting and managing Semantic Web
content, making semantics explicit in order to automatically integrate
data from different sources, and to search for information based on
its meaning rather than its syntactic form.
New and advanced methods, models, tools, and technologies for services
related to creation, access, retrieval, integration, and filtering of
Web content are being developed at the intersection of relevant
disciplines that are making the Semantic Web fly, such as Artificial
Intelligence, Databases and Information Systems, Distributed
Computing, Multimedia Systems, Natural Language Processing,
Human-Computer Interaction, Social Networks, and Web Science.
Applications that use Semantic Web technologies and succeed in
leveraging the added value of semantics on the Web are emerging.
However, designing and building them is still a challenge due to the
rapid evolution of standards, technologies, and tools, and the need
for well-established methodologies. This happens in the context of a
widespread interest in semantic techniques for web data access and
integration, e.g. for linked open data, microformats, and social
networks.
SWAP 2010 aims at being a relaxed meeting for brainstorming and
debating among international researchers and developers on the
Semantic Web, with a special focus on aspects which can enable
wide-scale use of Semantic Web technologies. See below for a detailed
list of topics.
Audience
The workshop aims at attracting researchers, developers and interested
practitioners alike. The setting for the workshop is highly
interactive, and presentations are expected to focus on practical
issues and the underlying theoretical aspects and open problems,
reporting both on learned experiences and on ongoing work. The
presentation language is English.
----------------------------------------------------------------------
Submission requirements
We encourage submissions from researchers and practitioners in
academia, industry, government, and consulting. Submitted manuscripts
may describe either:
* original research, or work in progress that is sufficiently mature
to be presented to the Semantic Web community at large;
* work that is of high relevance for the Semantic Web community and
that has already been published or accepted recently (i.e., in 2009
or 2010) at a highly ranked conference in the Semantic Web area
(ISWC, ESWC) or in related areas (e.g., KR, IJCAI, AAAI, PODS,
SIGMOD, VLDB, ...);
* a position statement on one or more aspects of relevance for the
Semantic Web.
======================================================================
We especially welcome what the authors consider as their recent most
important contribution to Semantic Web research, whether original,
work in progress, or already accepted or published.
======================================================================
Authors should clearly indicate on the cover page to which of the
above categories (original, work in progress, accepted, published, or
position paper) their submission belongs. For already published or
accepted papers they should indicate also the publication venue and
date.
Papers will be reviewed by the PC co-chairs and the members of the
SWAP steering committee, to judge relevance to SWAP and potential
interest for the Semantic Web community. Based on the evaluation,
papers will be accepted either for oral presentation, or for poster
presentation. Submissions that are not relevant to SWAP 2010 will be
rejected.
Accepted contributions will be distributed in electronic format at the
workshop. After the workshop, selected contributions will undergo a
further critical reviewing process and, if accepted, will be published
online in a volume of post-workshop proceedings of the CEUR Workshop
Proceedings series, ISSN 1613-0073, http://ceur-ws.org/.
Papers must be submitted electronically at the conference website
using the EasyChair submission system. Manuscripts should be in pdf
and formatted according to the Springer LNCS style. Information
concerning typesetting can be obtained directly from Springer at:
http://www.springer.com/comp/lncs/authors.html.
The maximum length of submissions is 16 pages for regular papers
(original, work in progress, accepted, or published), and 2 pages for
positions papers.
----------------------------------------------------------------------
Important dates:
- Sep. 1, 2010 Paper submission deadline
- Sep. 9, 2010 Author notification
- Sep. 15, 2010 Final version due
- Sep. 21-22, 2010 SWAP 2010 Workshop
----------------------------------------------------------------------
Topics
The workshop will cover both theoretical and implementation issues
that relate to Semantic Web applications. The following is a partial
list of topics of interests:
* Applications of Semantic Web technologies, such as:
- Semantic Web in life sciences and e-science
- Semantic Web for e-business
- Semantic Web for e-government
- Semantic Web for e-learning
- Semantic Web for P2P systems and grids
- Semantic Web and multimedia
- Novel Semantic Web applications
- Presentation and discussions of application scenarios
* Representation and Management of Semantic Web data
- Methodologies for Semantic Web data management
- Tools for Semantic Web data management
- Robust, scalable knowledge management and reasoning on the Web
- Data semantics and linked data
- Searching and querying Semantic Web data
- Machine learning and information extraction on the Semantic Web
- Large-scale knowledge management
- Semantic coordination, integration, matching, interoperability
- Semantic Web mining
- Semantic information retrieval
- Semantic wikis
- Semantic Web middleware
- Systems of annotation extraction
* Ontologies and Languages in the Semantic Web
- Ontology design, extraction, and evolution
- Ontology mapping, merging, and alignment
- Reasoning over ontologies and data
- Linked data and microformats
- New languages for the Semantic Web
- Web 2.0-based ontology learning
- Semantic Web services
* User Interfaces to the Semantic Web
- Visualizing Semantic Web data
- Natural language technologies for the Semantic Web
- Assistive technologies and the Semantic Web
- Web 2.0 personalization
- Web 2.0 technologies for recommender systems
* Social Semantic Web
- Social networks on the Semantic Web
- Semantic Portals
- Semantic Web technology for collaboration and cooperation
- Semantic Web personalization
- Semantic Web trust, privacy, security, and intellectual
property rights
- Analysis of social online communities
- Social aspects of distributed cooperative annotation
* Semantic Web Agents
* Evaluation and benchmarking of Semantic Web techniques and tools
----------------------------------------------------------------------
Organization:
- Paolo Traverso, University of Trento (general chair)
- Diego Calvanese, Free University of Bozen-Bolzano (PC co-chair)
- Giovanni Semeraro, University of Bari (PC co-chair)
- Mariano Rodriguez-Muro, Free University of Bozen-Bolzano
(local arrangements)
SWAP Steering Committee:
- Paolo Bouquet, University of Trento
- Oreste Signore, W3C Office in Italy/CNR
- Heiko Stoermer, FBK, Trento, Italy
- Giovanni Tummarello, FBK Trento, Italy & DERI Galway, Ireland
See http://www.swapconf.it/ for previous editions of SWAP.
Contact chairs by email at swap2010-chairs at inf.unibz.it
From pascal.hitzler at wright.edu Mon Jul 19 07:17:59 2010
From: pascal.hitzler at wright.edu (Pascal Hitzler)
Date: Mon, 19 Jul 2010 01:17:59 -0400
Subject: Call for open reviews: Semantic Web journal
Message-ID: <4C43E007.5080700@wright.edu>
The "Semantic Web" journal currently has more than 40 submitted papers
listed as under review. You are INVITED TO PARTICIPATE in the journal's
open and transparent review process by commenting on submitted papers or
by providing proper additional reviews.
See http://www.semantic-web-journal.net/underreview for the papers
currently under review.
For more information about the review process, see
http://www.semantic-web-journal.net/reviewers .
For more information about the journal, see
http://www.semantic-web-journal.net
Pascal Hitzler
Krzysztof Janowicz
Editors-in-Chief
--
Prof. Dr. Pascal Hitzler
Dept. of Computer Science, Wright State University, Dayton, OH
pascal at pascal-hitzler.de http://www.knoesis.org/pascal/
Semantic Web Textbook: http://www.semantic-web-book.org
Semantic Web Journal: http://www.semantic-web-journal.net
From paolucci at docomolab-euro.com Mon Jul 19 18:28:04 2010
From: paolucci at docomolab-euro.com (Paolucci, Massimo)
Date: Mon, 19 Jul 2010 18:28:04 +0200
Subject: 2nd CFP Service Matchmaking and Resource Retrieval in the Semantic Web
Message-ID: <317B40DA788E894D8FDD440D2835F5F702C938BC@DEMAIL.docomolab-euro.com>
Apologies for Cross Posting
CALL FOR PAPERS
Fourth International Workshop SMR2
Service Matchmaking and Resource Retrieval in the Semantic Web
@ 9th International Semantic Web Conference (ISWC 2010)
November 8, 2010; Shanghai, China
Workshop Web page: http://www.dfki.de/~klusch/smr2-10/
Aims & Scope:
One central challenge of service coordination in the Semantic Web is how to
best relate requests for services with the services that are available. This
functionality is usually provided by matchmaking capabilities (which may
themselves be deployed as services, brokers or middle agents) that select
the services that are closest to a requested service on the basis of a
declarative characterization of the capabilities of both service requested
and services provided.
More generally, resource retrieval extends the notion of service matchmaking
to the process of discovering any kind of resource (services, data,
information, knowledge, even persons and organizations) for given settings,
participating entities, and purposes. It is at the core of several scenarios
in the Semantic Web area, spanning from Web services, Grid and cloud
computing, and Peer-to-Peer computing, to applications such as e-commerce,
human resource management, and social networking applications such as dating
services.
The primary objective of this workshop is to bring together academic and
industry researchers and industry practitioners who tackle semantic service
matchmaking and discovery from various points of view. In particular, we
intend to build bridges to the software engineering and model-driven
development communities in order to share requirements, technologies, and
experiences that might be helpful in advancing the state of the art in
semantic service matchmaking and resource retrieval.
Going to Practice: The 4th International Semantic Service Selection (S3)
Contest
The SMR2 workshop also integrates the fourth edition of the open
international contest on semantic service selection (S3) which is in
collaboration with the SEALS SWS tool evaluation campaign. The S3 contest
provides the means and a forum for evaluating the retrieval performance of
Semantic Web service matchmakers in terms of recall, precision, F1, response
time etc., over given test collections based on the prominent semantic
service formats such as OWL-S, WSML and the standard SA-WSDL.
Publication: The proceedings of SMR2 will be available as a CEUR volume
online.
Topics of interest include (but are not limited to):
Semantic resource and service matchmaking and brokering
Semantic retrieval of resources and services in P2P, Grid networks and
Cloud Computing
Model-driven semantic service engineering and matchmaking
Privacy-preserving and trusted semantic service discovery
Composition planning of semantic services and workflows
Formal description and handling of semantic services, queries, and
resources
Prototypes and tools for semantic services engineering, discovery and
composition
Negotiation of semantic services and resources
Interleaving of discovery, composition, and negotiation of semantic
services and resources
Practical applications of semantic services
Evaluation of implemented semantic service retrieval tools
Middleware solutions for semantic service search and composition
Submissions:
Contributions to the workshop can be made as technical papers, addressing
different issues of service / resource matching and retrieval. The papers
written in English should be not longer than 16 pages using the LNCS Style:
http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.h
tml
All contributions should be prepared in PDF format and should be submitted
through the workshop submission site at:
http://www.easychair.org/conferences/?conf=smr22010
Important Dates:
August 27, 2010: Paper Submission
September 20, 2010: Notification
October 2, 2010: Camera-Ready Paper
November 8, 2010: SMR2-2010, Shanghai, China
Organizing Committee
Abraham Bernstein (U Zurich, Switzerland)
Matthias Klusch (DFKI, Germany)
Paul Grace (U Lancaster, UK)
Massimo Paolucci (NTT DoCoMo, Germany)
Program Committee (to be completed)
Liliana Cabral (Open U, UK)
Tommaso Di Noia (U Bari, Italy)
Eugenio Di Sciascio (U Bari, Italy)
Takahiro Kawamura (Toshiba, Japan)
Freddy Lecue (U Manchester, UK)
Alain Leger (France Telecom, France)
Tiziana Margaria (U Potsdam, Germany)
Nils Masuch (TU Berlin, Germany)
Oliver Müller (U Muenster, Germany)
Pierluigi Plebani (Politecnico di Milano, Italy)
Axel Polleres (DERI, Ireland)
Eran Toch (CMU, USA)
Roman Vaculin (IBM, USA)
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname : smime.p7s
Dateityp : application/x-pkcs7-signature
Dateigröße : 6627 bytes
Beschreibung: nicht verfügbar
URL :
From A.Lomuscio at imperial.ac.uk Tue Jul 20 11:12:21 2010
From: A.Lomuscio at imperial.ac.uk (Alessio Lomuscio)
Date: Tue, 20 Jul 2010 10:12:21 +0100
Subject: Job positions - Imperial College London - automatic verification
Message-ID: <4C456875.1060207@imperial.ac.uk>
With apologies for multiple postings.
-A
-------------------------------------------------------------
1 X Research Associate (postdoc) Fixed Term for up to 33 months
1 X Research Assistant (predoc) Fixed Term for 12 months with possible
extension in view to acquiring a PhD degree
Model Checking for Artifact-Based Environments
Research Assistant salary: £26,720 - £29,700 per annum
Research Associate salary: £30,520 - £38,930 per annum
The preferred starting date for this post is September 2010
The Department of Computing is a leading department of Computer Science
among UK Universities. It was rated 2nd in the 2008 Research Assessment
Exercise (RAE) and achieved 5*, the top rating, in the 1996 and 2001
RAEs. It has consistently been rated "Excellent" in the national
assessment of teaching quality.
An opportunity has arisen for a Research Assistant (pre-doctoral level)
and a Research Associate (post-doctoral level) to work on themes of
model checking for services as part of the EU IST FP7 Strep Research
Project ACSI ("artifact-centric service interoperations"). The purpose
of the work to be carried out at Imperial is to develop techniq ues for
the verification and synthesis of services based on the idea of artifacts.
The appointed researchers will be responsible for developing
model-checking based techniques for the verification of artifact-based
service environments.
To apply you will need to have a strong computing or engineering
background. You should have experience in one or more of the following
areas:
• Formal verification, especially model checking
• Abstraction
• Automata theory and synthesis
• Modal Logic, including temporal logic, epistemic logic and ATL
• Service-oriented computing
• Implementation of model checkers
For the Research Associate post you must have experience of independent
research in an area related to formal methods, Artificial Intelligence,
Logic in Computer Science.
Research Assistant applicants must have a good first degree (or
equivalent) or a Masters degree (or equivalent) in a relevant area,
i.e., Computing, Mathematics or Engineering. Research Associate
applicants must have a PhD (or equivalent) in a relevant area, i.e.,
Computing, Mathematics or Engineering.
You must have excellent communication skills, ability to work in teams,
ability to organize your own work with minimal supervision and to meet
deadlines. Previous experience in EU projects is welcome but not
essential. Preference will be given to applicants with a proven research
record and publications in relevant areas. All applicants must be fluent
in spoken and written English.
You will be part of the Logic and Artificial Intelligence Section based
at the South Kensington campus. For further information on the group and
related projects see: http://www.doc.ic.ac.uk/~alessio/
For informal inquires please contact Dr Alessio Lomuscio by email to:
a.lomuscio at imperial.ac.uk
As this is a re-advertisement previous applicants need not apply.
How to apply:
Our preferred method of application is online via our website at:
http://www3.imperial.ac.uk/employment
Applications must include the following:
• A college application form quoting job reference AL 07 10
• A full CV
Should you have any queries regarding the application process please
contact Joanne Day by email: research.officer at doc.ic.ac.uk
Closing Date: 1st August 2010
Committed to equality and valuing diversity. We are also an Athena
Silver SWAN Award winner and a Stonewall Diversity Champion
From bcseet at ieee.org Wed Jul 21 09:11:30 2010
From: bcseet at ieee.org (Boon-Chong Seet)
Date: Wed, 21 Jul 2010 19:11:30 +1200
Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI 2010) - Hong Kong SAR, China
Message-ID: <96960919B6FD4E5EBCB2FC2656C1B5F7@BCSEETPC>
CALL FOR PAPERS
3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010)
In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org
Hong Kong SAR, China, December 11-13, 2010
Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI).
The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care.
Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications.
Topics of interest include but are not limited to:
- Cognitive wireless sensor networks
- Sensor networking with context and ambient awareness
- Nature or bio-inspired designs for ambient sensing and intelligence
- Cross-layer design and optimization of sensor-based AmI systems
- Reasoning and inference for sensor/RFID-based systems
- Multi-modal sensor fusion for smart environments
- Cyber-physical systems for human-centric applications
- Ambient energy harvesting and energy-efficiency issues for sensor networks
- Sensor or sensor-embedded object localization and target tracking
- Cooperative in-network sensor information processing
- Intelligent and mobile agents for embedded ubiquitous computing
- Sensor networking in heterogeneous environments
- Privacy, security, and trust management
- AmI architectures, platforms, applications, and services
- Prototypes, testbeds, and real-world deployments
IMPORTANT DATES
Paper submission due : August 2, 2010 (extended)
Acceptance notification : September 24, 2010
Camera-ready due : October 10, 2010
Workshop date : TBA
Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair.
Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages.
Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex.
Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet). Both journals are indexed by the Science Citation Index (SCI).
For further details, please visit: http://iliad.aut.ac.nz/senami2010/
---------------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From farn at cc.ee.ntu.edu.tw Sun Jul 25 14:10:53 2010
From: farn at cc.ee.ntu.edu.tw (Farn Wang)
Date: Sun, 25 Jul 2010 20:10:53 +0800
Subject: IEEE TASE 2010: Call-for-Participation (early registration and hotel information available)
Message-ID: <004601cb2bf2$6dcc32d0$49649870$@ee.ntu.edu.tw>
We apologize if you have received multiple copies of the
call-for-participations.
==== CALL FOR PARTICIPATION ====
4th IEEE Symposium on
Theoretical Aspects of Software Engineering
August 24 - 27, 2010, Taipei, Taiwan, ROC
http://www.iis.sinica.edu.tw/tase2010/index.htm
---- News ------------------------------------
* Three keynote speeches by
Mike Hinchey, Jean-Raymond Abrial, and Libra Huang (IBM, Taiwan)
have been announced.
* Hotel information now available.
----------------------------------------------
IEEE TASE 2010 aims to become a forum for the presentation
and discussion of new fundamental ideas in software engineering
of large-scale systems.
Software engineering of such systems has usually been viewed
as the study of principles, guidelines, and empirical rules.
To manage the complexity of large-scale software projects,
various theories have been proposed.
The first three TASE conferences were held
in Shanghai, China in June 2007;
in Nanjing, China in June 2008; and
in Tianjin, China in July 2009.
This year, it will be moved to the beautiful campus
of National Taiwan University.
The technical program includes 3 keynote speeches, 22 technical papers,
and two tutorials before the general sessions.
Please consider visiting Taipei with this opportunity.
For further information, please check out the IEEE TASE 2010 website
or send emails to farn at cc.ee.ntu.edu.tw.
Organizers:
General Chair:
Farn Wang (National Taiwan Univ.)
Finance Chair:
Hsu-Chun Yen (National Taiwan Univ.)
Local Arrangement:
Churn-Jung Liau (Academia Sinica)
Program Cochairs:
Jing Liu (East China Normal Univ.)
Doron A. Peled (Bar Ilan Univ.)
Bow-Yaw Wang (Academia Sinica)
Steering Committee:
Keijiro Araki (Kyushu Univ.)
Jifeng He (East China Normal Univ.a)
Michael Hinchey (Lero, IE, chair)
Zhiming Liu (UNU/IIST)
Huibiao Zhu (East China Normal Univ.)
==[IEEE TASE 2010 Preliminary Program]=============================
August 24, 2010 (Tuesday)
1000 - 1600
Tutorials by Professors Raymond Abrial and Mike Hinchey.
1800 - 2000
Reception
----------------------------------------------------------------------------
---
August 25, 2010 (Wednesday)
0900 - 1000 Session I
Invited talk
Prof. Mike Hinchey
1000 - 1030 Coffee break
1030 - 1200 Session II
Yongxin Zhao, Zheng Wang, Geguang Pu and Huibiao Zhu.
A Formal Model for Service Choreography with Exception Handling and
Finalization
Chen-Wei Wang, Jim Davies and James Welch.
A Guarded Workflow Language and its Formal Semantics
Hung Ledang and Hubert Dubois.
Proving Model Transformations
1200 - 1400 lunch
1400 - 1530 Session III
Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang and Dawei
Fan.
A Certifying Compiler for Clike Subset of C Language
Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin.
Stack Bound Inference for Abstract Java Bytecode
Liu Pan, Miao Huaikou and Mei Jia.
Efficient Algorithms for Building the Sets P and W
1530 - 1600 Coffee break
1630 - 1800 Session IV
Lin Zhao, Tao Tang, Jinzhao Wu and Tianhua Xu.
Runtime Verification with Multi-Valued Formula Rewriting
Xiaoxiao Yang.
Axiomatic Interval Temporal Logic Verification
Hong Zhu.
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF
and First Order Logic
----------------------------------------------------------------------------
---
August 26, 2010 (Thursday)
0900 - 1000 Session I
Invited talk
Prof. Raymond Abrial
1000 - 1030 Coffee break
1030 - 1200 Session II
Kahloul Laid, Chaoui Allaoua and Djouani Karim.
Modeling Reconfirgurable Systems Using Flexible Petri Nets
Yunhe Wang, Bo Jiang and Li Jiao.
Property Checking for 1-Place-Unbounded Petri Nets
Haibin Zhang and Zhenhua Duan.
Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic
1200 - 1400 Lunch
1400 - 1500 Session III
Zining Cao.
Bisimulations for Open Processes in Higher Order Pi-Calculus
Moritz Kleine and Thomas Gothel.
Specification, Verification and Implementation of Business Processes using
CSP
1500 - 1530 Coffee break
1530 - 1630 Session IV
Saddek Bensalem, Axel Legay, Thanh Hung Nguyen, Joseph Sifakis and Rongjie
Yan.
Incremental Invariant Generation for Compositional Design
Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu.
Compositional Abstraction Refinement for Timed Systems
1630 - 1700 Coffee break
1700 - 1800 Session V
Hai Wan, Xiaoyu Song and Ming Gu.
Parameterized Specifying and Verifying PLC Systems in Coq
Farn Wang.
Lazy Decision Diagrams for Word-Level Model Manipulation in Software
Verification
Raghava Rao Mukkamala and Thomas Hildebrandt.
>From Dynamic Condition Response Structures to Buechi Automata
----------------------------------------------------------------------------
---
August 27, 2010 (Friday)
0900 - 1000 Session I
Invited talk
(Not yet determined)
1000 - 1030 Coffee break
1030 - 1200 Session II
Yongxin Zhao, Yanhong Huang, Jianwen Li and Huibiao Zhu.
Probabilistic Model of System Survivability
Jianjun Xu, Qingping Tan and Wanwei Liu.
Estimating the Soft Error Vulnerability of Register Files via
Interprocedural Data Flow Analysis
Shengbo Chen.
Towards Practical Modeling of Web Applications and Generating Tests
1200 - 1800 Lunch and excursion
1800 - Banquet
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From richard.booth at uni.lu Sun Jul 25 16:51:28 2010
From: richard.booth at uni.lu (Richard Booth)
Date: Sun, 25 Jul 2010 16:51:28 +0200
Subject: MIWAI 2010 - First call for papers
Message-ID:
-----------------------------------------------------------------------------
Apologies for Multiple Copies Due to Cross Posting
-----------------------------------------------------------------------------
============================================
MIWAI'10 - FIRST CALL FOR PAPERS
============================================
The 4th Mahasarakham International Workshop on Artificial Intelligence.
December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand.
http://khamreang.msu.ac.th/miwai10/
-------------------------------------------------------------------------------
Important Dates
-------------------------------------------------------------------------------
Papers due: October 15, 2010
Author notification: November 12, 2010
Camera-ready papers due: November 22, 2010
Registration deadline: December 2, 2010
Workshop dates: December 9-10, 2010
-------------------------------------------------------------------------------
About MIWAI
-------------------------------------------------------------------------------
Artificial Intelligence (AI) research has broad applications in real
world problems. Examples include control, planning and scheduling,
pattern recognition, knowledge mining, software applications and
strategy games. The ever-evolving needs in business both on a local
and on a global scale demand better technologies for solving more and
more complex problems. Such needs can be found in all industrial
sectors and in any part of the world.
This workshop aims to be a meeting place where excellence in AI
research meets the needs for solving dynamic and complex problems in
the real world. The academic researchers, developers, and industrial
practitioners will have extensive opportunities to present their
original work, technological advances and practical problems.
Participants can learn from each other and exchange their experiences
in order to fine tune their activities in order to help each other
better.
The main purposes of the MIWAI series of workshops are as follows:
•to provide a meeting place for AI researchers and practitioners in
Thailand and beyond.
•to inform Thai students about cutting-edge AI research via the
presence of outstanding international invited speakers.
•to raise the standards of practice of AI research in the whole of
Thailand by providing Thai researchers and students with feedback from
an internationally-renowned program committee.
-------------------------------------------------------------------------------
Invited Speakers
-------------------------------------------------------------------------------
1.Anthony Cohn (University of Leeds, UK)
2.TBC
-------------------------------------------------------------------------------
Awards
-------------------------------------------------------------------------------
There will be five awards given out at the workshop:
(i) Best original paper: Given to the best category A submission (see
below), from any origin.
(ii) Best original paper by a PhD student: Given to the best category
A paper whose first author is a registered PhD student, from any
origin.
(iii) Best original paper by a Masters student: Given to the best
category A paper whose first author is a registered Masters student,
from any origin.
(iv) Best demonstration: Given to the best demonstration (see category
C submissions below - note this prize will only be awarded in case at
least 3 demonstrations are presented at the workshop).
(v) Best reviewer: Given to the reviewer who has given the most
helpful feedback on the papers they have been assigned to review.
-------------------------------------------------------------------------------
Call for Papers
-------------------------------------------------------------------------------
Submission of papers is due on October 15, 2010. The research areas in
AI include but not limited to:
- Agent-based simulation
- Agent-oriented software engineering
- Agents and Web services
- Agent-based electronic commerce, auctions and markets
- AI in video games
- Computer vision
- Constraint satisfaction
- Data mining
- Decision theory
- Distributed AI
- E-Commerce and AI
- Game theory
- Internet/WWW intelligence
- Industrial applications of AI
- Intelligent tutoring
- Knowledge representation and reasoning
- Machine learning
- Multiagent planning and learning
- Multiagent systems and their applications
- Multiagent systems and evolving intelligence
- Natural language processing
- Neural networks
- Planning and scheduling
- Robotics
- Uncertainty in AI
- Web services
Submission requirements
-------------------------------------------------------------------------------
Submissions of the following three categories are invited:
Category A: REGULAR PAPERS
..................................................................................................
Papers presenting new original work. Submitted papers should not
exceed a length of 12 pages in the IEEE format style (templates here:
http://khamreang.msu.ac.th/miwai10/MIWAI_2010/textemplate.zip,
http://khamreang.msu.ac.th/miwai10/MIWAI_2010/wordtemplate.zip)
Regular papers will be reviewed on overall quality and relevance.
Reviewing of category A papers will be (at least) double-blind. In
order to make blind reviewing possible, the authors should follow
that:
•The authors' names and institutions should not appear in the paper.
•Unpublished work of the authors should not be cited.
•Using "we" or "us" in reviews of literature should be avoided, e.g.,
"In [1] we have proposed..." should be changed to "In [1] the authors
have proposed...".
The program committee will evaluate Category A papers as either
“rejected” or “accepted as long paper” or “accepted as short paper”.
All accepted category A papers (long and short) will be fully
published in the proceedings.
Category B: COMPRESSED CONTRIBUTIONS
..................................................................................................
Papers that have been accepted after June 1 2009 for AI-related
refereed conferences or journals can be resubmitted and will be
accepted as “compressed contributions”. Authors are invited to submit
the published version (without page or format restriction) together
with a 1 or 2-page abstract prepared in the IEEE format style (links
to templates above). Note the above double-blind instructions apply
only to category A papers, not to category B. The abstract of the
paper will be published in the proceedings. Every author may submit at
most one B-paper of which they are the corresponding author, and only
if they do not submit any A-paper as corresponding author.
Category C: DEMONSTRATIONS AND APPLICATIONS
..................................................................................................
Proposals for demonstrations will be evaluated based on submitted
demonstration summaries stating the following: the purpose of the
system to be demonstrated, its user groups, the organization or
project for which it is developed, the developers, and the technology
used. In addition, the system requirements and the duration of the
demo (not exceeding 30 minutes) should be mentioned. Especially master
students are encouraged to submit papers presenting their applications
and experiences. The maximum size of demonstration summaries is 2
pages (links to templates above). Reviewing of category C papers will
be double-blind (see above under “category A” papers for details).
The workshop proceedings will be published with ISBN number.
At least one author of each accepted paper (in each submission
category) is required to attend the workshop.
Language Requirements
..................................................................................................
As MIWAI is an international workshop, its official language is
English. This means all submitting authors must submit an English
language version of their paper, as well as present their paper in
English if accepted for the workshop.
-------------------------------------------------------------------------------
Committees
-------------------------------------------------------------------------------
Advisory Committee
-------------------------------------------------------------------------------
-Wanchai Rivepaiboon (Chulalongkorn University, Bangkok, Thailand)
-Wirat Pongsiri (Mahasarakham University, Thailand)
-Sujin Butdeesuwan (Mahasarakham University, Thailand)
-Somnuk Puangpronpitag (Mahasarakham University, Thailand)
Program Co-Chairs
-------------------------------------------------------------------------------
- Richard Booth (University of Luxembourg and Mahasarakham University, Thailand)
- Chattrakul Sombattheera (Mahasarakham University, Thailand)
Publicity Chairs
-------------------------------------------------------------------------------
-Wijittra Noisanguan (Rajamangala University of Technology, Isan,
Surin campus, Thailand)
-Mana Setwong (Mahasarakham University, Thailand)
Program Committee (provisional)
-------------------------------------------------------------------------------
- Arun Agarwal (Hyderabad, India)
- Samir Aknine (Paris 6, France)
- Laor Boongasame (Bangkok University, Thailand)
- Roger Boyle (Leeds, UK)
- Kosin Chamnongthai (KMUTT, Bangkok, Thailand)
- Matthew Dailey (AIT, Bangkok, Thailand)
- Juergen Dix (Clausthal, Germany)
- Patrick Doherty (Linkoping, Sweden)
- Andreas Herzig (IRIT, Toulouse, France)
- Jerome Lang (CNRS, Universite Paris-Dauphine, France)
- Fangzhen Lin (HKUST, Hong Kong)
- Jerome Mengin (IRIT, Toulouse, France)
- Ekawit Nantajeewarawat (SIIT, Bangkok, Thailand)
- Eric Pacuit (Tilburg, Netherlands)
- Vineet Padmanabhan (Hyderabad, India)
- Supawan Phonphitakchai (Naresuan University, Thailand)
- Guilin Qi (Southeast University, Nanjing, China)
- Jun Shen (Wollongong, Australia)
- Siriwan Suebnakarn (Thammasat University, Bangkok, Thailand)
- Boontawee Suntisrivaraporn (SIIT, Bangkok, Thailand)
- Leon van der Torre (Luxembourg)
- Thanaruk Theeramunkong (SIIT, Bangkok, Thailand)
- Siba Kumar Udgata (Hyderabad, India)
- Paul Weng (Paris 6, France)
-------------------------------------------------------------------------------
Contact
-------------------------------------------------------------------------------
Please direct any comments or enquiries to Chattrakul Sombattheera
(chattrakul.s[AT]msu.ac.th) or Richard Booth
(richard.booth[AT]uni.lu).
From geoff at cs.miami.edu Tue Jul 27 13:43:13 2010
From: geoff at cs.miami.edu (Geoff Sutcliffe)
Date: Tue, 27 Jul 2010 07:43:13 -0400 (EDT)
Subject: LPAR-17 call for short papers, workshop submissions
Message-ID: <20100727114313.2B56B11FC0C@mcclellan.cs.miami.edu>
============================================================
The 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Yogyakarta, Indonesia - October 10th-15th, 2010
============================================================
http://www.computational-logic.org/lpar-17/Home.html
CALL FOR SHORT PAPERS
In keeping with the tradition of LPAR, researchers and practioners are
encouraged to submit short papers reporting on interesting work in progress or
providing system descriptions. They need not be original. Extended versions of
the short papers may be submitted concurrently with or after LPAR-17 to another
conference or a journal. The short paper proceedings will be available as an
EasyChair collection volume.
Short papers are limited in length to 5 pages in the EasyChair format. Short
papers must be submitted through the EasyChair system using the web page ...
http://www.easychair.org/conferences/?conf=lpar17short
Submission deadline: 30 August 2010
Notification: 6 September 2010
===============================================================================
LPAR-17 WORKSHOPS October 10th, 2010
==========================================================================
IWIL 2010 - The 8th International Workshop on the Implementation of Logics
==========================================================================
http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html
IWIL has been unusually sucessful in bringing together many talented
developers, and thus in sharing information about successful implementation
techniques for automated reasoning systems and similar programs. We are
looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to
15 pages), in EasyChair format. Submission is via EasyChair ...
http://www.easychair.org/conferences/?conf=iwil2010
Submission deadline: 9 August 2010
Notification: 27 August 2010
============================================================
APS 5 - 5th International Workshop on Analytic Proof Systems
============================================================
http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html
Analyticity is a topic that connects foundational issues in logic with
applications, mainly in automated deduction and analysis of proofs. The
workshop is primarily intended to enhance awareness for its topic and to
promote corresponding discussions and contacts between experienced experts
and younger colleagues. The submission deadline is 10th September.
Submissions are 1-2 page abstracts. Submissions must be emailed to ...
analytic at logic.at
Submission deadline: 10 September 2010
Notification: 15 September 2010
===============================================================================
From heymans at kr.tuwien.ac.at Tue Jul 27 15:32:59 2010
From: heymans at kr.tuwien.ac.at (Stijn Heymans)
Date: Tue, 27 Jul 2010 15:32:59 +0200
Subject: CFP BuRO 2010: Workshop on Business Models, Business Rules and
Ontologies, co-located with RR 2010
Message-ID:
***************************** 2nd Call for Papers
*******************************
BuRO 2010
1st International Workshop on Business Models,
Business Rules and Ontologies
http://ontorule-project.eu/dissemination/events/buro2010
Bressanone/Brixen, Italy
co-located with the
4th International Conference on Web Reasoning and Rule Systems (RR 2010)
September 22-24 2010
http://www.rr-conference.org/RR2010/
*****************************************************************************
It is a challenge in a business to enable the right people to interact in their
own way with the right part of their business application. We distinguish
between three views on the business organization: (1) the view of the business
analyst using a formal and validated business model; (2) the view of the
knowledge engineer via ontologies and rules, and (3) the view of the IT
department via an operationalization in applications. We can glue these views
together via an end-to-end point solution: (1) conceptualization and where
possible acquisition of business models and their transformation into
ontologies and rules; (2) their management and maintenance, and (3) the
transparent operationalization in IT applications.
The vision at the heart of the Semantic Web is of high relevance in a business
setting as well. The proposed workshop addresses the different issues that
arise in a business that wishes to have a transparent and where possible and
useful a semi-automatic transfer of knowledge present in business documents
expressing, e.g., policies, to an IT operationalization. Moreover, the workshop
tackles these issues from an holistic perspective, raising awareness for the
overall picture, instead of focusing on stand-alone issues. E.g., although OWL
is well-investigated it is unclear how business knowledge expressed in SBVR can
be mapped to it. Another example is the W3C's RIF effort: although based on
well-investigated rule paradigms, it is less well-connected to upper business
layers: how to go from a formal business model to RIF rules and how to interact
with derived ontologies?
During the ONTORULE project which shares a similar vision on a business, it has
been recognized that this holistic view goes beyond the results attainable
within the project and that much more discussion and exchange is needed. As
such the workshop wants to create awareness with researchers in stand-alone
fields like ontology acquisition, business modeling, integration of ontologies
and rules, implementations of rule/ontology engines, that there is a bigger
picture that can and should be used to extract requirements on the one hand and
to provide output that is fine-tuned for other fields on the other hand.
TOPICS OF INTEREST
Suggested topics include the following (but are not limited to):
* the acquisition of ontologies and rules from unstructured text via Natural
Language Processing (NLP) techniques
* the development of a complete, formal and validated business model, taking
all possible inputs into account (people and documents, structured and
unstructured, some of which as output from an NLP phase), using the Semantics
of Business Vocabulary and Business Rules (SBVR)
* transformation from structured business representations, from SBVR, to
RDF/OWL and/or rules
* the management and maintenance of business models, ontologies and rules,
e.g., consistency maintenance and the integration of rules and ontologies
(semantics, algorithms)
* implementations of such management systems
* use cases and field reports
SUBMISSIONS
We invite full papers up to 14 pages length. The workshop content will be made
available in separate workshop proceedings. Please use the Springer LNCS format
for the papers. Submitted papers will be reviewed by at least two members of
the program committee. Papers must be submitted electronically in PDF format.
For paper submission we use the EasyChair conference management system:
http://www.easychair.org/conferences/?conf=buro2010
IMPORTANT DATES
* Submission deadline: Aug 6, 2010
* Notification of acceptance: August 20, 2010
* Camera-ready paper submission: September 3, 2010
* Workshop: September 21, 2010
ORGANIZING COMMITTEE
* Thomas Eiter, TU Vienna, Austria
* Adil El Ghali, IBM, France
* Sergio Fernández, Fundación CTIC, Spain
* Stijn Heymans, TU Vienna, Austria
* François Lévy, Université Paris 13, France
From Thomas.Lukasiewicz at comlab.ox.ac.uk Wed Jul 28 01:06:25 2010
From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz)
Date: Wed, 28 Jul 2010 01:06:25 +0200
Subject: URSW'10: Call for Papers
Message-ID: <4C4F6671.5060008@comlab.ox.ac.uk>
Apologies for cross-postings
**********************************************
CALL FOR PAPERS
**********************************************
6th International Workshop on
Uncertainty Reasoning for the Semantic Web
http://c4i.gmu.edu/ursw/2010
In conjunction with the
9th International Semantic Web Conference
Shanghai, China
November 7, 2010
You are invited to participate in the upcoming workshop on Uncertainty
Reasoning for the Semantic Web (URSW), to be held as part of the 9th
International Semantic Web Conference (ISWC) in November of 2010 at the
Shanghai International Convention Center, China.
ISWC is a major international forum for presenting visionary research on
all aspects of the Semantic Web. The Uncertainty Reasoning Workshop
is an exciting opportunity for collaboration and cross-fertilization
between the uncertainty reasoning community and the Semantic Web
community. Effective methods for reasoning under uncertainty are vital
for realizing
many aspects of the Semantic Web vision, but the ability of
current-generation web technology to handle uncertainty is extremely
limited. Recently, there has been a groundswell of demand for
uncertainty reasoning technology among Semantic Web researchers and
developers.
This surge of interest creates a unique opening to bring together two
communities with a clear commonality of interest but little history of
interaction. By capitalizing on this opportunity, URSW could spark
dramatic progress toward realizing the Semantic Web vision.
AUDIENCE
The intended audience for this workshop includes the following:
* Researchers in uncertainty reasoning technologies with interest in
Semantic Web and Web-related technologies.
* Semantic web developers and researchers.
* People in the knowledge representation community with interest in the
Semantic Web.
* Ontology researchers and ontological engineers.
* Web services researchers and developers with interest in the Semantic
Web.
* Developers of tools designed to support Semantic Web implementation,
e.g., Jena developers, Protégé developers, OWL-API developers...
TOPIC LIST
We intend to have an open discussion on any topic relevant to the
general subject of uncertainty in the Semantic Web (including fuzzy
theory, probability theory, and other approaches). Therefore, the
following list should be just an initial guide.
* Syntax and semantics for extensions to Semantic Web languages to
enable representation of uncertainty
* Logical formalisms to support uncertainty in Semantic Web languages
* Probability theory as a means of assessing the likelihood that terms
in different ontologies refer to the same or similar concepts
* Architectures for applying plausible reasoning to the problem of ontology
mapping
* Using fuzzy approaches to deal with imprecise concepts within ontologies
* The concept of a probabilistic ontology and its relevance to the Semantic
Web
* Best practices for representing uncertain, incomplete, ambiguous, or
controversial information in the Semantic Web
* The role of uncertainty as it relates to Web services
* Interface protocols with support for uncertainty as a means to improve
interoperability among Web services
* Uncertainty reasoning techniques applied to trust issues in the Semantic
Web
* Existing implementations of uncertainty reasoning tools in the context of
the Semantic Web
* Issues and techniques for integrating tools for representing and
reasoning
with uncertainty
* The future of uncertainty reasoning for the Semantic Web
IMPORTANT DATES
September 7, 2010 Paper submissions due
September 30, 2010 Paper acceptance notification
October 15, 2010 Camera-ready papers due
November 4, 2010 Presentations due
November 7, 2010 6th Workshop on Uncertainty Reasoning for the Semantic Web
SUBMISSION DETAILS
The URSW will be accepting submissions of technical papers and position
papers. Each submission will be evaluated for acceptability by at least
three members of the Program Committee. Decisions about acceptance will be
based on relevance to the above topic list, originality, potential
significance, topicality and clarity. Since all accepted papers will be
presented at the workshop, we require that at least one of the submitting
authors must be a registered participant at the ISWC 2010 Conference,
and committed to attend the URSW Workshop.
Submissions to the Workshop are only accepted in electronic format and
should be sent via the workshop’s submission site:
http://www.easychair.org/conferences/?conf=ursw2010 Papers must be
formatted in the style of the Springer Publications format
for Lecture Notes in Computer Science (LNCS). This is the very same
format adopted by the ISWC 2010. For complete details, see Springer’s
Author Instructions
(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Technical papers submitted to the URSW Workshop must not exceed 12
pages, including figures. Submissions exceeding this limit will not be
reviewed.
Position papers consist of a summary of ideas, projects, or any research
efforts that are relevant to the URSW Workshop must not exceed 4 pages.
Following the general acceptance rules of the ISWC 2010 conference, papers
that, at the time of submission, are under review for or have already been
published in or accepted for publication in a journal or another conference
will not be accepted to the URSW workshop.
PRESENTATION AND PUBLICATION
URSW 2010 will be a full-day workshop divided into three sessions. Two
of those sessions will be devoted to paper presentations, while the
remaining session will be planned in a format that invites an open
debate on the results, conclusions, recommendations, and follow-up work
of the URSW-XG group. We also plan to convey a work meeting after the
workshop, in case the last session need to be extended.
All papers accepted to the URSW will be presented during the workshop
and published in the workshop proceedings, which will be available as a
separate publication after the Conference. Authors of accepted technical
papers will have 20 minutes to present their work, while authors of
accepted position
papers will have a 10-minute slot to share their ideas. Both technical
and position papers will be published in the URSW Workshop proceedings,
to be available after the ISWC 2010 Conference.
In addition, technical papers accepted for presentation at the URSW 2010
will be eligible for participating in the selection to the Springer LNCS
volume on Uncertainty Reasoning for the Semantic Web – Vol. II. This
will be the second volume of this series and will include selected
papers from URSW 2008 to URSW 2010.
ORGANIZING COMMITTEE
The organizing committee is as follows (in alphabetical order):
* Fernando Bobillo - University of Granada, Spain.
* Rommel N. Carvalho - George Mason University, USA
* Paulo C. G. Costa - George Mason University, USA.
* Claudia d'Amato - University of Bari, Italy.
* Nicola Fanizzi - University of Bari, Italy.
* Kathryn Laskey - George Mason University, USA.
* Ken Laskey – MITRE Corporation, USA.
* Thomas Lukasiewicz - Oxford University, UK.
* Trevor Martin - University of Bristol, UK.
* Matthias Nickles - Technical University of Munich, Germany.
* Michael Pool - Convera, Inc., USA.
PROGRAM COMMITTEE
The confirmed members of the program committee are the following (in
alphabetical order):
* Fernando Bobillo - Universidad de Zaragoza, Spain
* Rommel N. Carvalho - George Mason University, USA
* Paulo C. G. Costa - George Mason University, USA
* Fabio G. Cozman - Universidade de Sao Paulo, Brazil
* Claudia D'Amato - University of Bari, Italy
* Nicola Fanizzi - University of Bari, Italy
* Marcelo Ladeira - University of Brasilia, Brazil
* Kathryn B. Laskey - George Mason University, USA
* Kenneth J. Laskey - MITRE Corporation, USA
* Thomas Lukasiewicz - Oxford University, UK
* Trevor Martin - University of Bristol, UK
* Matthias Nickles - Technical University of Munich, Germany
* Jeff Z. Pan - University of Aberdeen, UK
* Michael Pool - Convera, Inc., USA
* Livia Predoiu - Universität Mannheim, Germany
* Guilin Qi - University of Karlsruhe, Germany
* Dave Robertson - University of Edinburgh, UK
* Daniel Sánchez - University of Granada, Spain
* Sergej Sizov - University of Koblenz-Landau, Germany
* Giorgos Stoilos - Oxford University, UK
* Umberto Straccia – ISTI-CNR, Pisa, Italy
* Andreas Tolk - Old Dominion University, USA
* Johanna Voelker - University of Karlsruhe, Germany
We are looking forward to seeing you in Shanghai!
From bcseet at ieee.org Wed Jul 28 11:06:16 2010
From: bcseet at ieee.org (Boon-Chong Seet)
Date: Wed, 28 Jul 2010 21:06:16 +1200
Subject: CFP: Sensor Networks and Ambient Intelligence (SeNAmI) - Submission due on August 2, 2010
Message-ID:
CALL FOR PAPERS
3rd International Workshop on Sensor Networks and Ambient Intelligence (SeNAmI 2010)
In conjunction with IEEE/IFIP EUC 2010: http://www.euc2010.org
Hong Kong SAR, China, December 11-13, 2010
Advances in low-cost embedded processors and wireless communications have fuelled the recent intense development of sensor networks, which has potential to offer unobtrusive and transparent personal and ambient sensing infrastructures that are vital to the creation of the envisioned ubiquitous computing fabric for ambient intelligence (AmI).
The continued miniaturization and integration of sensors at unprecedented scale and density into our everyday objects and environments would soon enable the fine-grain capture of personal and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems with the ability to perceive, reason, learn, and react intelligently to their environments in order to make the most appropriate decisions or to take the best actions that concern the humans at the centre of their support or care.
Following the success of the inaugural SeNAmI workshop in Dunedin, New Zealand in 2008, and the second SeNAmI workshop in Hiroshima, Japan, in 2009, this event once again aims to bring together researchers from academia and industry to present and discuss recent trends and advances in sensor networks and ambient intelligence, and from such engagement foster innovations towards technology maturity of sensor-based AmI systems and applications.
Topics of interest include but are not limited to:
- Cognitive wireless sensor networks
- Sensor networking with context and ambient awareness
- Nature or bio-inspired designs for ambient sensing and intelligence
- Cross-layer design and optimization of sensor-based AmI systems
- Reasoning and inference for sensor/RFID-based systems
- Multi-modal sensor fusion for smart environments
- Cyber-physical systems for human-centric applications
- Ambient energy harvesting and energy-efficiency issues for sensor networks
- Sensor or sensor-embedded object localization and target tracking
- Cooperative in-network sensor information processing
- Intelligent and mobile agents for embedded ubiquitous computing
- Sensor networking in heterogeneous environments
- Privacy, security, and trust management
- AmI architectures, platforms, applications, and services
- Prototypes, testbeds, and real-world deployments
IMPORTANT DATES
Paper submission due : August 2, 2010 (extended)
Acceptance notification : September 24, 2010
Camera-ready due : October 10, 2010
Workshop date : TBA
Papers reporting original and unpublished research results and experience are solicited. All paper submissions will be handled electronically via EasyChair.
Please prepare your paper following the IEEE Computer Society proceedings guidelines. Maximum page length may be limited to 6 pages.
Accepted papers will be included in the conference proceedings of the IEEE/IFIP EUC 2010, which will be published by IEEE Computer Society Press and digitally archived in IEEE Xplore library. Proceedings published by IEEE will be indexed by major bibliographic services such as IET INSPEC, Thomson ISI Proceedings (ISTP), and EI Compendex.
Authors of selected best papers will be invited to submit extended version of their papers for publication in a theme issue in ACM/Springer Journal of Personal and Ubiquitous Computing, or in a special issue in the International Journal of Sensor Networks (IJSNet). Both journals are indexed by the Science Citation Index (SCI).
For further details, please visit: http://iliad.aut.ac.nz/senami2010/
---------------------------- Boon-Chong Seet (Dr)Program Chair, SeNAmI 2010Department of Electrical and Electronic EngineeringAuckland University of TechnologyPrivate Bag 92006, Auckland 1142, New ZealandPhone: +64 9 921 9999 ext 5345Fax: +64 9 921 9973boon-chong.seet at aut.ac.nz; bcseet at ieee.org
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From bcseet at ieee.org Wed Jul 28 11:06:22 2010
From: bcseet at ieee.org (Boon-Chong Seet)
Date: Wed, 28 Jul 2010 21:06:22 +1200
Subject: CFP: Theme Issue on Sensor-driven Computing and Applications for Ambient Intelligence
Message-ID: <2900186810E5465B87C96C4A5D72ECF9@BCSEETPC>
ACM/Springer Journal of Personal and Ubiquitous Computing (SCI-indexed)
Theme Issue on "Sensor-Driven Computing and Applications for Ambient Intelligence"
Full manuscript due: February 15, 2011
Prospective authors are invited to view the CFP at: http://iliad.aut.ac.nz/CFP_PUC_SI.pdf
Best regards,
Boon-Chong Seet (Dr)
Department of Electrical and Electronic Engineering
Auckland University of Technology
Private Bag 92006, Auckland 1142, New Zealand
Phone: +64 9 921 9999 ext 5345
Fax: +64 9 921 9973
boon-chong.seet at aut.ac.nz; bcseet at ieee.org
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From wmaccaul at stfx.ca Fri Jul 30 16:23:29 2010
From: wmaccaul at stfx.ca (Wendy MacCaull)
Date: Fri, 30 Jul 2010 11:23:29 -0300
Subject: Research Opportunity: Scalable Methods for Ontological Reasoning
using High performance computing
Message-ID:
Research Scientist/PostDoc - Scalable Methods for Ontological Reasoning using High Performance Computing with Applications to Healthcare
This is a 2 year contract position to develop scalable methods for ontological reasoning with applications to health care. Strong implementation skills are required; ideally the candidate will demonstrate proficiency in high performance computing methodologies, in strategies for (automated) reasoning, and in ontology development (though proficiency in some and commitment to developing proficiency in the other may be acceptable). Case studies will involve very large ontologies for health care. The candidate will have the opportunity to work with researchers in an interdisciplinary 6 year R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca).
This position is partially supported by the ACEnet/Oracle Research Collaboration Program which has the goal of reducing barriers to the efficient, effective, and widespread use of the ACEnet Research Computing Platform through the creation of innovative open source grid, middleware, or web/portaltechnologies.
Qualifications: PhD in appropriate area or MSc with 2-3 years experience in theorem proving strategies. Excellent written and oral skills in English.
Salary: $44,500 per year (plus medical and dental benefits and a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year.
To apply: Send a 1 page Letter of Application describing how you fit the requirements of this position to Wendy MacCaull at wmaccaul at stfx.ca Include as attachments:
(1) A detailed CV;
(2) Names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers);
(3) Copies of recent publications and/or detailed descriptions of projects and previous experience.
Use as the subject: Methods for Scalable Ontological Reasoning.
Wendy MacCaull, PhD,
Professor, Mathematics, Statistics & Computer Science,
Director, StFX Centre of Logic and Information,
St. Francis Xavier University,
Antigonish, NS, Canada, B2G 2W5
Tel: 902 867 3989
FAX: 902 867 1397
Information is this e-mail is confidential and meant only for the addressee. Please do not circulate it without prior permission.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From joana at informatik.uni-bremen.de Fri Jul 30 22:29:03 2010
From: joana at informatik.uni-bremen.de (Joana Hois)
Date: Fri, 30 Jul 2010 22:29:03 +0200
Subject: 1st CfP: Applied Ontology Special Issue on Modularity in Ontologies
Message-ID: <1280521743.1825.119.camel@name>
=========================================================
--- Applied Ontology ---
--- Special Issue on Modularity in Ontologies ---
--- Call for Papers ---
Submission deadline: December 2010
http://www.informatik.uni-bremen.de/~okutz/womoAO/
=========================================================
Applied Ontology - An Interdisciplinary Journal of Ontological Analysis
and Conceptual Modeling
IOS Press, ISSN: 1570-5838
Editors-in-Chief: Nicola Guarino, Mark A. Musen
MODULARITY, as studied for many years in software engineering, allows
mechanisms for easy and flexible reuse, generalisation, structuring,
maintenance, design patterns, and comprehension. Applied to ontology
engineering, modularity is central not only to reduce the complexity of
understanding ontologies, but also to facilitate ontology maintenance
and ontology reasoning. Recent research on ontology modularity shows
substantial progress in foundations of modularity, techniques of
modularisation and modular development, distributed reasoning and
empirical evaluation. These results provide a solid foundation and
exciting prospects for further research and development.
This special issue invites submission of high quality original work that
has neither appeared in, nor is under consideration by, other journals.
Submissions must be formatted according to IOS Press style
( www.iospress.nl/authco/instruction_crc.html ) and should be prepared
in PDF format. Contributions must be received not later than December
2010 through the EasyChair Submission System
( www.easychair.org/account/signin.cgi?conf=aowomo11 ).
IMPORTANT DATES
Paper Submission: December 2010
Notification (expected): March 2011
Revised Version: May 2011
Publication (expected): Fall 2011
GUEST EDITORS
Oliver Kutz, Joana Hois
(Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany)