From holger.wache at fhnw.ch Sat Nov 1 13:06:14 2008
From: holger.wache at fhnw.ch (Wache,Holger)
Date: Sat, 1 Nov 2008 13:06:14 +0100
Subject: =?iso-8859-1?Q?[WM2009]_DEADLINE_EXTENSION_f=FCr_5._Konferenz_Professione?=
=?iso-8859-1?Q?lles_Wissensmanagement?=
Message-ID: <61D782572FA1864A95B7DD1DE0F7D7B36049BE44B1@MXAMU11.adm.ds.fhnw.ch>
****************************************************************
WM2009
5. Konferenz Professionelles Wissensmanagement
- Erfahrungen und Visionen -
Solothurn, Schweiz
25.-27. März 2009
http://www.wm-konferenz2009.org
****************************************************************
ACHTUNG ACHTUNG ACHTUNG ACHTUNG ACHTUNG ACHTUNG
Mehrere Workshops haben Ihre Einreichungsfristen verlängert.
Schauen Sie unter http://www.wm-konferenz2009.org/workshops.php
ob auch Ihr Workshop die Frist verlängert hat.
****************************************************************
Die zweijährlich stattfindende Konferenz Professionelles Wissensmanagement
will einen breiten integrativen Überblick über die organisatorischen,
kulturellen, sozialen und technischen Aspekte des Wissensmanagements
liefern. Dabei steht im Mittelpunkt der Konferenz, die verschiedenen
Forschungsdisziplinen miteinander zu verbinden und die gesammelten
Erfahrungen aus den unterschiedlichen Anwendungsbereichen zu teilen.
Wir möchten sowohl Anwender als auch Wissenschaftler nach Solothurn in die
Schweiz einladen, um gemeinsam die gesammelten Erfahrungen auszutauschen,
die aktuellen Probleme und Herausforderungen zu diskutieren und voneinander
zu lernen. Die Teilnehmer sollen sich einen fundierten Überblick über die
wichtigsten aktuellen Trends im Wissensmanagement verschaffen können, daher
soll die Konferenz viel Raum und Zeit zur Kommunikation bieten.
Die diesjährige 5. Konferenz wird von den Fachgruppen Wissensmanagement
der Gesellschaft für Informatik e.V. sowie dem Institut für
Wirtschaftsinformatik der Fachhochschule Nordwestschweiz veranstaltet.
Weitere Informationen finden Sie unter
http://www.wm-konferenz2009.org/organisation.php.
Das Konferenz-Plakat steht zum Download (PDF) unter
http://www.wm-konferenz2009.org/docs/WM2009_Plakat.pdf
bereit! Der Konferenzflyer finden Sie zum Download (PDF) unter
http://www.wm-konferenz2009.org/docs/WM2009_Flyer.pdf
Wir freuen uns, Sie in Solothurn willkommen zu heissen.
From hendawson2 at gmail.com Sat Nov 1 18:31:10 2008
From: hendawson2 at gmail.com (Henry Dawson)
Date: Sat, 1 Nov 2008 13:31:10 -0400
Subject: MULTICONF-09 call for papers
Message-ID: <71ed09fa0811011031j51fea1b4p31672140905c0f70@mail.gmail.com>
MULTICONF-09 call for papers
The 2009 Multi Conference in Computer Science, Information Technology and
Control systems and Computational Science and Computer Engineering
(MULTICONF-09) (website:
http://www.PromoteResearch.org
) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft
paper submissions. The event consists of the following conferences:
· International Conference on Artificial Intelligence and Pattern
Recognition (AIPR-09)
· International Conference on Automation, Robotics and Control
Systems (ARCS-09)
· International Conference on Bioinformatics, Computational Biology,
Genomics and Chemoinformatics (BCBGC-09)
· International Conference on Enterprise Information Systems and Web
Technologies (EISWT-09)
· International Conference on High Performance Computing, Networking
and Communication Systems (HPCNCS-09)
· International Conference on Information Security and Privacy
(ISP-09)
· International Conference on Recent Advances in Information
Technology and Applications (RAITA-09)
· International Conference on Software Engineering Theory and
Practice (SETP-09)
· International Conference on Theory and Applications of
Computational Science (TACS-09)
· International Conference on Theoretical and Mathematical
Foundations of Computer Science (TMFCS-09)
The website http://www.PromoteResearch.org
contains more details.
Sincerely
Henry Dawson
Publicity committee
Please forward this email to interested people. Please send an email to the
above address if you do not wish to receive further updates on this event.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From icard at stanford.edu Sat Nov 1 22:00:32 2008
From: icard at stanford.edu (Thomas Icard)
Date: Sat, 1 Nov 2008 14:00:32 -0700 (PDT)
Subject: ESSLLI Student Session -- Call for papers
Message-ID: <1070365833.2542101225573232634.JavaMail.root@zm02.stanford.edu>
The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one’s research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The deadline for submission is February 1, 2009.
For more details, please see the full call for papers:
http://www.stanford.edu/~icard/esslli/call
From simon.miles at kcl.ac.uk Mon Nov 3 11:18:03 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Mon, 3 Nov 2008 10:18:03 +0000
Subject: AAMAS-09 Call for Industry Track papers
Message-ID:
(apologies if you receive multiple copies of this call)
Call for Industry Track Papers
The Eighth International Joint Conference on
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09)
Budapest, Hungary
May 10--15, 2009
http://www.conferences.hu/AAMAS2009/
The AAMAS Conference Industry Track is dedicated to collect, present
and discuss contributions reporting on industrial and commercial
deployment of software agent technologies and their applications. If
you are working to commercialize agent technologies, or developing a
real-world applications based on the agent technologies, you are
coordially invited to submit papers on your current works, to help
people discuss the answer to some of the existing key questions:
* Which real-world applications can benefit of agent technology?
* What are the main challenges?
* How is autonomous agent and multi-agent systems research results
contributing to viable business?
* What are your experiences in developing real world impact for agent
technologies?
Novel papers in this general space are strongly encouraged. Topics of
interest include but are not limited to:
* Experiences gained from commercialization or commercialization attempts.
* Return on investment analysis of agent technologies.
* Insights into markets appropriate for agent technologies.
* Commercial application of agents.
* Application case studies.
* Agent applications for E-government.
* Agent applications for defense or aerospace.
* Agent applications for manufacturing, automation, and logistics.
* Agent applications for telecommunication, media and entertainment.
* Agent applications for health, smart living, ambient intelligence.
* Agent applications for bio-technology.
* Agent applications for telematics, monitoring and maintenance, and
surveillance.
* Agent applications for managing large scale infrastrctures.
* Other applications of agents, such as in the non-profit sector.
* Barriers to adoption or adoption facilitators.
What is the Industry Track?
---------------------------
The AAMAS Industry Track is a special track at the AAMAS conference
that runs in parallel with the regular AAMAS scientific track. The
track is dedicated to fostering commercial or real world, impact for
agent technologies. The track will feature presentations and
demonstrations from industrial and academia participants, giving them
an opportunity to showcase the state of the art in agent technology.
Accepted papers of the AAMAS Industry Track will be included in the
same electrical media (e.g. USB memory) with the main track papers.
Hard copies of the proceedings are also available with fee upon
request. The Industry Track aims to foster mutually beneficial links
between those engaged in foundational scientific research and those
working to make autonomous agents and multi-agent systems a commercial
reality.
How it will be refereed?
------------------------
The submission and reviewing processes for the AAMAS Industry Track
will be separated from that of the regular scientific track. Whereas
in the regular conference track the overriding refereeing criterion is
clearly scientific excellence, the Industry Track focuses primarily on
the industrial relevance and technological significance of the
contribution. Preference will be given to mature work demonstrating
concrete industrial/commercial results and business value.
Examples of an "ideal" paper might include:
* Significance of problem solved, user needs and use cases;
* Technology innovation, why agents are superior to other technologies;
* Business case, return of investment analysis;
* Deployment scale and adoption.
We discourage the submission of purely speculative papers or papers
whose primary contribution is scientific. Papers focusing on purely
scientific matters should be submitted to the regular conference
track, with Description Axis = "Applications". We want your applied
business experience with agent technologies.
Submissions
-----------
Papers should be submitted by email to industrial-track-chairs at aamas09.org
Instructions for the submission of The AAMAS Industrial and
Applications Track submissions:
Submitted papers should be formatted according to AAMAS
specifications. AAMAS style guides, as well as templates and style
sheets for Microsoft Word, WordPerfect, and LaTeX can be found here.
Papers must be 8 pages (regular paper) or 4 pages (short paper),
including figures and references, when formatted using the specified
style. Papers should be formatted for standard Letter paper size.
(i.e. not A4) Overlength papers will be rejected. Notification of
receipt of the electronic paper will be mailed to the first author (or
designated author) soon after receipt.
Please send the contact information and abstract of your paper by
plain text before December 7, 2008, midnight (UCT).
Last name:
First name:
Affiliation:
Address:
E-mail:
Keywords:
Abstract:
In addition to the above, authors are required to submit their
electronic papers. The only formats allowed for electronic submission
are PostScript or PDF (Adobe's Portable Document Format). Papers will
not be accepted in any other format (e.g., MS Word) because of
compatibility problems between software versions, machines, and
nationalities. However, we strongly encourage the submission in PDF
format. We cannot accept title pages or papers submitted by FAX.
Electronic paper submissions must arrive no later than:
December 14, 2008, midnight UCT.
Submissions received after this date will not be considered for review.
Policy on Multiple Submissions
------------------------------
The AAMAS 2009 Industry and Applications Track will not accept any
paper which, at the time of submission, is under review for or has
already been published or accepted for publication in a journal or
another conference. Authors are also expected not to submit their
papers elsewhere during the AAMAS review period. These restrictions
apply only to journals and conferences, not to workshops and similar
specialized presentations with a limited audience and no formal
proceedings.
Review process
--------------
Three Industry Track Program Committee members will review each paper.
The decision of the Program Committee Chairs will be final and cannot
be appealed. Accepted papers will be scheduled for presentation and
will be included in the Proceedings.
Notification of acceptance or rejection of submitted papers will be
mailed to the first author (or designated author) by January 23, 2009.
Note that at least one author of each accepted paper is required to
register and to attend the conference to present the work.
Dates and Instructions
----------------------
- Deadline for paper information December 7, 2008.
- Deadline for paper submission December 14, 2008.
- Notification of acceptance or rejection January 23, 2009
- Final versions due Approximately February 8, 2009.
For more information, contact the track co-chairs at
industrial-track-chairs at aamas09.org.
Track Co-Chairs
---------------
Jeff Bradshaw
Florida Institute for Human and Machine Cognition (IHMC), USA
Birgit Burmeister
Daimler AG Group Research, Germany
Akihiko Ohsuga
The University of Electro-Communications, Japan
Programme Committee
-------------------
Andrzej Uszok Florida Institute for Human and Machine
Cognition (IHMC), USA
Dominic Greenwood Whitestein Technologies, Switzerland
Gaku Yamamoto IBM, Japan
Giovanni Caire TelecomItalia, Italy
Hartwig Baumgärtel University of Applied Sciences Ulm, Germany
Ian Dickinson HP Laboratories, UK
James Odell Oslo Software, Inc , USA
Jeffrey O. Kephart IBM Research, USA
Jeremy Baxter Qinetiq, UK
Jiming Liu Hong Kong Baptist University, Hong Kong
Maarten Sierhuis NASA, USA
Michael Berger DocuWare AG, Germany
Michael Kerstetter The Boeing Company, USA
Michael Pirker Siemens AG, Germany
Michal Pechoucek Gerstner Lab/Czech Technical University, Czech Republic
Monique Calisti Whitestein Technologies, Switzerland
Ning Zhong Maebashi Institute of Technology, Japan
Partha S Dutta Rolls-Royce plc, UK
Peter Göhner University Stuttgart, Germany
Satoru Fujita Hosei University, Japan
Satoshi Nishiyama NICT, Japan
Shigeo Matsubara Kyoto University, Japan
Shigeru Fujita Chiba Institute of Technology, Japan
Simon Thompson BT Innovate Intelligent Systems Research Centre,, UK
Stefan Kirn Universität Hohenheim, Germany
Sven Brückner NewVectors LLC, USA
Takahiro Kawamura Toshiba, Japan
Tarek El-Bassuny King Fahd University of Petroleum and Mineral,
Saudi-Arabia
Toshiharu Sugawara Waseda University, Japan
--
Dr Simon Miles
Agents and Intelligent Systems Group
Department of Computer Science
Kings College London, UK
From fuchs at ifi.uzh.ch Tue Nov 4 12:19:57 2008
From: fuchs at ifi.uzh.ch (Norbert E. Fuchs)
Date: Tue, 4 Nov 2008 12:19:57 +0100
Subject: Final Call for Submissions: CNL 2009 Workshop on Controlled Natural Languages (extended deadline)
Message-ID: <2106E50E-29B8-4B3F-B5B7-1B9F717D87E6@ifi.uzh.ch>
**********************************************************************
Final Call for Submissions
CNL 2009 Workshop on Controlled Natural Languages
http://attempto.ifi.uzh.ch/site/cnl2009/
Location: Marettimo Island, Sicily (Italy)
Workshop date: 8-10 June 2009
Extended submission deadline: 23 November 2008
Change: Extended abstracts will be published before the workshop as
CEUR Workshop Proceedings (http://ceur-ws.org) for improved visibility
and publication status. (As before, full papers will be published
after the workshop by Springer in their LNCS/LNAI series.)
**********************************************************************
From fmics2009 at dsic.upv.es Tue Nov 4 11:40:17 2008
From: fmics2009 at dsic.upv.es (FMICS 2009 workshop chair)
Date: Tue, 04 Nov 2008 11:40:17 +0100
Subject: FMICS 2009: First Call for Papers
Message-ID: <49102691.9070604@dsic.upv.es>
FMICS 2009 - FIRST CALL FOR PAPERS
Please visit: http://www.dsic.upv.es/workshops/fmics2009
**************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
**************************************************
IMPORTANT DATES
---------------
Deadline for abstracts: 1st April
Deadline for papers: 7 April
Accept/Reject notification: 15 June
Camera-ready version: 15 July
Workshop: 2-3 November
SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, these workshops bring
together scientists and engineers that are active in the area of
formal methods and interested in exchanging their experiences in the
industrial usage of these methods.
These workshops also strive to promote research and development for the
improvement of formal methods and tools for industrial applications.
Topics include, but are not restricted to:
- Design, specification, code generation and testing based on formal
methods.
- Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and transformation
of complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings
of existing methods with respect to their industrial applicability
(e.g., scalability and usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of formal
methods, focusing on lessons learned or identification of new research
directions.
- Impact of the adoption of formal methods on the development process
and associated costs.
- Application of formal methods in standardization and industrial
forums.
INVITED SPEAKERS
----------------
To be announced
CO-CHAIRS
---------
Maria Alpuente (Technical University of Valencia, Spain)
Byron Cook (Microsoft Research, UK)
PROGRAM COMMITTEE
-------------------
Hassan Ait-Kaci (Ilog, Canada)
Maria Alpuente (Technical University of Valencia, Spain)
Thomas Arts (IT-Universitetet i Goteborg, Sweden)
Demis Ballis (Universita degli Studi di Udine, Italy)
Josh Berdine (Microsoft Research, UK)
Lubos Brim (Masarykova Univerzita, Czech Republic)
Darren Cofer (Rockwell Collins, USA)
Byron Cook (Microsoft Research, UK)
Patrick Cousot (Ecole Normale Superieure, France)
Santiago Escobar (Technical University of Valencia, Spain)
Azadeh Farzan (University of Toronto, Canada)
Hubert Garavel (INRIA Rhone-Alpes, France)
Stefania Gnesi (ISTI-CNR, Italy)
Alexey Gotsman (University of Cambridge, UK)
Holger Hermanns (Universitat des Saarlandes, Germany)
Christophe Joubert (Technical University of Valencia, Spain)
Daniel Kroening (ETH Zurich, Switzerland)
Michael Leuschel (Heinrich-Heine-Universitat Dusseldorf, Germany)
Pedro Merino (Universidad de Malaga, Spain)
Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain)
Corina Pasareanu (NASA Ames Research Center, USA)
Jaco van de Pol (Universiteit Twente, The Netherlands)
Murali Rangarajan (Honeywell, USA)
Jakob Rehof (Technische Universitat Dortmund, Germany)
Andrey Rybalchenko (Max-Planck-Gesellschaft, Germany)
Marcel Verhoef (Chess, The Netherlands)
Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Hongseok Yang (Queen Mary, University of London, UK)
Greta Yorsh (IBM T.J. Watson Research Center, USA)
ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi (Universita degli Studi di Firenze and
ISTI-CNR, Italy)
WORKSHOP CHAIR
--------------
Christophe Joubert (Technical University of Valencia, Spain)
PAPER SUBMISSIONS
-----------------
Submissions must be made electronically.
Papers should be up to 16 pages in LNCS format, with the names and
affiliations of the authors and a clear and informative
abstract. Additional details may be included in a clearly marked
appendix, which will be read at the discretion of the program
committee. All submissions must report on original research.
Submitted papers must not have previously appeared in a journal or
conference with published proceedings and must not be concurrently
submitted to any other peer-reviewed workshop, symposium, conference
or archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.
Case study papers should identify lessons learned, validate theoretical
results (such as scalability of methods), or provide specific motivation
for further research and development.
Publication of the workshop proceedings in the Springer series Lecture No
tes in Computer Science (LNCS) is envisaged.
CO-LOCATION
-----------
FMICS 2009 is part of the first Formal Methods Week (FMweek), which will
bring together a choice of events in the area, including FM 2009 (16th
symposium on Formal Methods), TESTCOM/FATES (conference on Testing of
Communicating Systems and workshop on Formal Approaches to Testing of
Software), FORMATS (Formal Modelling and Analysis of Timed Systems),
PDMC (Parallel and Distributed Methods of verifiCation), and the REFINE
Workshop. For the latest information on FMweek, please visit
http://www.win.tue.nl/fmweek.
From amilcar at dei.uc.pt Tue Nov 4 21:10:05 2008
From: amilcar at dei.uc.pt (=?UTF-8?Q?=22F._Am=C3=ADlcar_Cardoso=22?=)
Date: Tue, 4 Nov 2008 20:10:05 +0000
Subject: CFP: NAACL-2009 Wshp on Computational Approaches to Linguistic Creativity (CALC-09)
Message-ID: <1B1376BC-791C-4751-B81E-0AC583F63D5E@dei.uc.pt>
[Sorry for cross-posting]
Workshop on Computational Approaches to Linguistic Creativity
CALC-09
=======
In conjunction with NAACL HLT 2009 in Boulder, Colorado,
June 4 or 5, 2009
http://aclweb.org/aclwiki/index.php?title=CALC-09
Workshop Description
====================
It is generally agreed upon that "linguistic creativity" is a unique
property of human language. Some claim that linguistic creativity is
expressed in our ability to combine known words in a new sentence,
others refer to our skill to express thoughts in figurative language,
and yet others talk about syntactic recursion and lexical creativity.
For the purpose of this workshop, we treat the term "linguistic
creativity" to mean "creative language usage at different levels", from
the lexicon to syntax to discourse and text (see also topics, below).
The recognition of instances of linguistic creativity and the
computation of their meaning constitute one of the most challenging
problems for a variety of Natural Language Processing tasks, such as
machine translation, text summarization, information retrieval, question
answering, and sentiment analysis. Computational systems incorporating
models of linguistic creativity operate on different types of data
(including written text, audio/speech/sound, and video/images/gestures).
New approaches might combine information from different modalities.
Creativity-aware systems will improve the contribution Computational
Linguistics has to offer to many practical areas, including education,
entertainment, and engineering.
Within the scope of the workshop, the event is intended to be
interdisciplinary. Besides contributions from an NLP perspective, we
also welcome the participation of researchers who deal with linguistic
creativity from different perspectives, including psychology,
neuroscience, or human-computer interaction.
Topics
======
We are particularly interested in work on the automatic detection,
classification, understanding, or generation of:
* neologisms;
* figurative language, including metaphor, metonymy,
personification, idioms;
* new or unconventional syntactic constructions ("May I serve who's
next?") and constructions defying traditional parsers (e.g. gapping:
"Many words were spoken, and sentiments expressed");
* indirect speech acts (such as curses, insults, sarcasm and irony);
* verbally expressed humor;
* poetry and fiction;
* and other phenomena illustrating linguistic creativity.
Depending on the state of the art of approaches to the various phenomena
and languages, preference will be given to work on deeper processing
(e.g., understanding, goal-driven generation) rather than shallow
approaches (e.g., binary classication, random generation). We also
welcome descriptions and discussions of:
* computational tools that support people in using language
creatively (e.g. tools for computer-assisted creative writing,
intelligent thesauri);
* computational and/or cognitive models of linguistic creativity;
* metrics and tools for evaluating the performance of
creativity-aware systems;
* specific application scenarios of computational linguistic
creativity;
* design and implementation of creativity-aware systems.
Related topics, including corpora collection, elicitation, and
annotation of creative language usage, will also be considered, as long
as their relevance to automatic systems is clearly pointed out.
Invited Speaker
===============
Nick Montfort, MIT
Submissions
===========
Submissions should describe original, unpublished work. Papers are
limited to 8 pages. No author information should be included in the
papers, since reviewing will be blind. Papers not conforming to these
requirements are subject to rejection without review. Papers should be
submitted via START; more information on this will be made available on
the workshop homepage, http://aclweb.org/aclwiki/index.php?
title=CALC-09.
We encourage submissions from everyone. For those how are new to ACL
conferences and workshops, or with special needs, we are planning to set
up a lunch mentoring program. Let us know if you are interested. Also, a
limited number of student travel grants might become available, intended
for individuals with minority background and current residents of
countries where conference travel funding is usually hard to find.
Important Dates
===============
* Feb 27, 2009: Deadline for paper submissions
* Mar 30, 2009: Notification of paper acceptances
* Apr 12, 2009: Camera-ready copies due
* June 4 or June 5, 2009: CALC-09 workshop at NAACL HLT 2009
Organizers
==========
* Anna Feldman, Montclair State University
(anna.feldman at montclair.edu)
* Birte Loenneker-Rodman, International Computer Science Institute
(loenneke at icsi.berkeley.edu)
Program Committee
=================
* Shlomo Argamon, Illinois Institute of Technology;
* Roberto Basili, University of Roma, Italy;
* Amilcar Cardoso, University of Coimbra, Portugal;
* Afsaneh Fazly, University of Toronto, Canada;
* Eileen Fitzpatrick, Montclair State University;
* Pablo Gervas, Universidad Complutense de Madrid, Spain;
* Sam Glucksberg, Princeton University;
* Jerry Hobbs, ISI, Marina del Rey;
* Sid Horton, Northwestern University;
* Diana Inkpen, University of Ottawa, Canada;
* Mark Lee, Birmingham, UK;
* Hugo Liu, MIT;
* Xiaofei Lu, Penn State;
* Ruli Manurung, University of Indonesia;
* Katja Markert, University of Leeds, UK;
* Rada Mihalcea, University of North Texas;
* Anton Nijholt, University of Twente, The Netherlands;
* Andrew Ortony, Northwestern University;
* Vasile Rus, The University of Memphis;
* Richard Sproat, University of Illinois at Urbana-Champain;
* Gerard Steen, Vrije Universiteit, Amsterdam, The Netherlands;
* Carlo Strapparava, Istituto per la Ricerca Scientifica e
Tecnologica, Trento, Italy;
* Juergen Trouvain, Saarland University, Germany.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From ilona.zaremba at sti2.at Fri Nov 7 17:10:35 2008
From: ilona.zaremba at sti2.at (Ilona Zaremba)
Date: Fri, 07 Nov 2008 17:10:35 +0100
Subject: CALL FOR PAPERS: International Journal of Knowledge Engineering and
Data Mining (IJKEDM), Special Issue on: "Incentives for Semantic Content
Creation"
Message-ID: <4914687B.9050207@sti2.at>
====== Call For Papers ======
International Journal of Knowledge Engineering and Data Mining (IJKEDM)
Special Issue on: "Incentives for Semantic Content Creation"
Guest Editors :
Elena Simperl and Katharina Siorpaes, University of Innsbruck, Austria
Denny Vrandecic, Universität Karlsruhe, Germany
https://www.inderscience.com/browse/callpaper.php?callID=1066
"The Semantic Web is not a separate Web but an extension of the current
one, in which information is given
well-defined meaning, better enabling computers and people to work in
cooperation.”
Berners-Lee et al., The Semantic Web, Scientific American, 2001.
Soon a decade will have passed since the publication of this article,
but the original vision of the Semantic Web still
remains to a large extent unrealised. Web-scale automated computer
interaction and intelligent information processing
technology producing added value for humans still have to become
reality. Nevertheless, the Semantic Web community,
academia as well as industry, were very active during the past decade
and their efforts resulted in a wide range of
maturing methodologies, methods, and tools for creating, processing,
managing and using semantic content, be that
ontologies or RDF data. A critical mass of useful semantic content is,
however, missing; one can only find very few,
well-maintained and up-to-date domain ontologies on the Web and even
though recently growing, the amount of RDF data
publicly available is limited compared to the size of the traditional Web.
One reason for this state of affairs is the lack of user involvement in
semantic content creation tasks.
Only a small number of Web users, typically members of the Semantic Web
community, annotate their Web resources
semantically or build and publish ontologies. This is a sharp contrast
to several Web 2.0 applications, such as Wikipedia,
Del.icio.us, Flickr, YouTube, Facebook or LinkedIn, which exhibit great
popularity and user involvement and
generate huge amounts of data at comparatively low costs and
impressively high quality. To encourage large-scale
user participation, the Semantic Web community has to look into
incentive structures and means to motivate humans to
become part of the Semantic Web movement and to contribute their
knowledge and time to create useful ontologies and
to use these in annotating documents, images, videos or even Web services.
In this special issue, we aim to present approaches that tackle the
incentive bottleneck in semantic content creation.
In particular we are looking for high quality research papers describing
the way humans can be effectively involved
in the development of useful ontologies, and the generation of massive
amounts of RDF annotations of resources.
================
Subject Coverage
================
Topics of interest for the prospective special issue include, but are
not limited to:
* Motivations and incentives of several Web 2.0 applications and
their application and applicability to
the Semantic Web and semantic applications.
* Incentive structures both within enterprise intranets and the
open Web and their semantic extensions.
* Games with a purpose for the creation of semantic content,
ontologies as well as RDF data.
* Tools and applications exploiting collective intelligence and the
"Wisdom of Crowds" in the context of semantic
technologies, and their respective incentive structures.
* Community-driven semantic applications.
* Empirical studies on the usage of Web 2.0 principles to encourage
large-scale user participation in Semantic
Web-related tasks.
* Instruments to derive and estimate the value of semantic
technologies from quantitative and qualitative criteria.
* Experience reports and models of the benefits of semantic
technologies.
=============================
Notes for Prospective Authors
=============================
Submitted papers should not have been previously published nor be
currently under consideration for publication elsewhere.
All papers are refereed through a peer review process. A guide for
authors, sample copies and other relevant information for
submitting papers are available on the Author Guidelines page:
http://www.inderscience.com/mapper.php?id=31
===============
Important Dates
===============
Paper submission: 30 March, 2009
Acceptance notification: 31 May, 2009
Camera ready papers due: 22 June, 2009
=================
Editors and Notes
=================
You may send one copy in the form of an MS Word file attached to an
e-mail (details in Author Guidelines:
http://www.inderscience.com/mapper.php?id=31) containing the subject
line "Submission – IJKEDM Special Issue on
Incentives for Semantic Content Creation" to the following email address:
incentives_specialissue at sti2.at
with a copy to:
Editorial Office
E-mail: editorial at inderscience.com
Please include in your submission the title of the Special Issue, the
title of the Journal and the name of the Guest Editor.
From admmk09 at easychair.org Fri Nov 7 22:40:38 2008
From: admmk09 at easychair.org (admmk09 at easychair.org)
Date: Fri, 7 Nov 2008 22:40:38 +0100
Subject: CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge
Message-ID: <200811072140.mA7LecYi032097@dave.dfki.uni-sb.de>
[Apologies for multiple copies]
Call for Papers
Mathematics in Computer Science
Special Issue on
Authoring, Digitalization and Management
of Mathematical Knowledge
http://www.dfki.de/~serge/admmk09
Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki
This special issue is devoted to the topics of the seventh
International Conference on Mathematical Knowledge Management (MKM'08)
and the workshop on Digital Mathematics Libraries (DML'08) which took
place in July 2008 in Birmingham, UK. Topics of interest include
* Representations of mathematical knowledge
* Repositories of formalized mathematics
* Mathematical digital libraries
* Diagrammatic representations
* Multi-modal representations
* Mathematical OCR
* Deduction systems
* Mathematical assistants, tutoring and assessment systems
* Authoring languages and tools
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Collaboration tools for mathematics
* Search, indexing and retrieval of mathematical documents
* Ranking of mathematical papers, similarity of mathematical
documents
* Mathematical document compression
* Processing of scanned images
* Algorithms for crosslinking of bibliographical items, intext
citations search
* Mathematical document classification, MSC 2010
* Mathematical text mining
* Inference of semantics for semi-formalized mathematics
* Mathematical documents metadata
* Long term archiving, data migration
* Mathematical publishing with long term archival goal
* Handwritten formulae recognition
* Recognition and search of mathematical diagrams
* E-learning of mathematics
Potential contributors may also contact the guest editors to discuss
suitability of topics and papers.
SUBMISSION GUIDELINES
Submission to this special issue is completely open. We expect
original articles (typically 15-30 pages) that present high-quality
contributions that have not been previously published in an archival
venue and that must not be simultaneously submitted for publication
elsewhere. Submissions must comply with MCS' author guidelines
(http://www.cc4cm.org/mcs/), be written in English, and be formatted
using LaTeX. All submitted papers will be refereed according to the
usual MCS refereeing process.
Submission to this special issue is hereby encouraged via the
EasyChair submission system (see URL below). To aid planning and
organization, an early e-mail of intent to submit a paper (including
author information, and a tentative title and abstract) would be
appreciated.
IMPORTANT DATES:
Submission deadline: 5 January 2009
Notification of acceptance/rejection: 6 March 2009
Submission of revised versions: 17 April 2009
Final notification of acceptance/rejection: 8 May 2009
Submission of camera-ready copies: 29 May 2009
USEFUL ADDRESSES
Special issue website: http://www.dfki.de/~serge/admmk09
Submission webpage:
http://www.easychair.org/conferences/?conf=admmk09
Guest editors' email address: admmk09 at easychair.org
Journal MCS webpage: http://www.cc4cm.org/mcs
MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08
DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml
From G.Brewka at t-online.de Sat Nov 8 11:40:24 2008
From: G.Brewka at t-online.de (Gerhard Brewka)
Date: Sat, 8 Nov 2008 11:40:24 +0100
Subject: Open position in Knowledge Representation at Leipzig University (German required)
Message-ID: <6C7158389E524502BAD275019DF71BBB@DELL>
The Intelligent Systems Group at Leipzig University, led by Gerhard Brewka, invites applications for an open position in the area of Knowledge Representation (Wissenschaftliche/r Mitarbeiter/in 13 TV-L). German language skills are required as the position involves some teaching. The position is for 3 years, with the possibility of an extension after that period. Applications from candidates planning to do a PhD as well as from postdocs are welcome.
For further information please contact brewka at informatik.uni-leipzig.de.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From simon.miles at kcl.ac.uk Sat Nov 8 15:15:16 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Sat, 8 Nov 2008 14:15:16 +0000
Subject: AAMAS-09 Final Call for Tutorials
Message-ID:
(apologies if you receive multiple copies of this call)
Final Call for Tutorial Proposals
Eighth International Joint Conference on
AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS
(AAMAS 2009)
Budapest, Hungary
May 10-15, 2009
http://www.conferences.hu/AAMAS2009/
The AAMAS-09 Organizing Committee invites proposals for the Tutorial
Program, to be held on May 10--12, immediately before to the technical
conference. AAMAS-09 Tutorials should serve one or more of the
following objectives:
* Introduce novices to major topics of AAMAS research.
* Provide instruction in established practices and methodologies.
* Survey a mature area of AAMAS research or practice.
* Motivate and explain an AAMAS topic of emerging importance.
* Introduce expert non-specialists to an AAMAS area.
* Survey an area of agent research especially relevant for people
from industry
Submission Requirements:
------------------------
Proposals should be two to four pages in length, and should contain
the following information:
* A brief description of the tutorial, suitable for inclusion in
the conference registration brochure.
* A detailed outline of the tutorial, including preferred length
(half or full day).
* Characterization of the potential target audience for the
tutorial, including prerequisite knowledge.
* A description of why the tutorial topic would be of interest to
a substantial part of the AAMAS audience.
* A brief resume of the presenter(s), which should include name,
postal address, phone and fax numbers, e-mail address,
background in the tutorial area, any available example of work
in the area (ideally, a published tutorial-level article on the
subject), evidence of teaching experience (including references
that address the proposer's presentation skills), and evidence
of scholarship in the area.
* The name and e-mail address of the corresponding presenter. The
corresponding presenter should be available for e-mail
correspondence during the evaluation process, in the case
clarifications and discussions on the scope and content of the
proposal are needed.
The evaluation of the proposal will take into account its general
interest for AAMAS attendees, the quality of the proposal as well as
the expertise and skills of the presenters. We emphasize that the
primary criteria for evaluation will be whether a proposal is
interesting, well-structured, and motivated, rather than the perceived
experience/standing of the proposer.
Those submitting a proposal should keep in mind that tutorials are
intended to provide an overview of the field; they should present
reasonably well established information in a balanced way. Tutorials
should not be used to advocate a single avenue of research, nor should
they promote a product.
The selection of the tutorials to be included in the final AAMAS
program will be based upon a number of factors, including: the
scientific/technical interest of the topics, the quality of the
proposal, the need to avoid strictly overlapping tutorials, and the
unavoidable need to limit the overall number of selected tutorials.
Responsibilities (with respect to accepted proposals):
-----------------------------------------------------
AAMAS will be responsible for:
* Providing logistic support and a meeting place for the tutorial.
* Together with the organizers, determining the tutorial date and time.
* Duplicating tutorial material and distributing them to the participants.
Tutorial organizers will be responsible for:
----------------------------------------------------------
* Providing AAMAS with a legible PDF copy of their tutorial notes
by February 6, 2009.
* Presenting the tutorial at AAMAS-09.
AAMAS reserves the right to cancel any tutorial if the above
responsibilities are not fulfilled, if deadlines are missed, or if too
few attendees register for the tutorial to support the costs of
running the tutorial.
Important Dates:
----------------
November 14, 2008: Tutorial Proposal Submission Deadline
December 5, 2008: Tutorial Acceptance Notifications
February 6, 2009: Deadline for submitting tutorial materials
May 10--12, 2009: AAMAS-2009 Tutorials
Submissions and Inquiries:
--------------------------
Proposals and inquiries should be sent by email (in ASCII) to the
tutorials chair:
Mehdi Dastani
Intelligent Systems Group
Utrecht University
mehdi at cs.uu.nl
--
Dr Simon Miles
Agents and Intelligent Systems Group
Department of Computer Science
Kings College London, UK
From vani.martinez at gmail.com Fri Nov 7 21:13:01 2008
From: vani.martinez at gmail.com (Vanina Martinez)
Date: Fri, 7 Nov 2008 15:13:01 -0500
Subject: WARNING! (3719507425)
In-Reply-To:
References:
Message-ID:
On Fri, Nov 7, 2008 at 3:09 PM, event administration <
event-subscribe at in.tu-clausthal.de> wrote:
> This is an automated message from the
> mailing list manager
>
> List messages sent to your address have bounced.
>
> If you read this message, your mail system has been probably fixed.
>
> To clear the bounce counter and to prevent automatic cancelation of
> your subscription, use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
> the confirmation ID: 3719507425,
> and the reply is directed to ,
> and the 'From' address of your reply is .
>
> All requests about this mailing list
> should be sent to
>
>
--
Maria Vanina Martinez
Department of Computer Science UMCP
University of Maryland Institute for
Advanced Computer Studies (UMIACS)
College Park, MD 20742 USA
Ph: 301.405.1765 Fax: 301.405.6707
Web Page http://www.cs.umd.edu/~mvm
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From calimeri at mat.unical.it Tue Nov 11 12:16:24 2008
From: calimeri at mat.unical.it (Francesco Calimeri)
Date: Tue, 11 Nov 2008 12:16:24 +0100
Subject: PhD Positions in Informatics available at University of Calabria
Message-ID: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com>
University of Calabria (Italy)
Two Ph.D. Positions available for non-Italian citizens
at the Doctoral Program in Mathematics and Informatics
====================================================================
The University of Calabria invites applications of non-Italian
citizens for 2 Ph.D. scholarships for the 2009 class of the
Doctoral Program in Mathematics and Informatics.
The Program has been activated by the Department of Mathematics
(www.mat.unical.it), which is one of the largest departments of
the University of Calabria.
The Ph.D. period will be 3 years.
The University of Calabria will provide one successful candidate
with a grant, of about EUR 1050,00 per month.
For all the successful candidates, the University of Calabria is
also likely to cover living expenses (mensa + accommodation in the
campus).
Ph.D. positions are offered in a pleasant working environment with
excellent possibilities for professional development.
Successful candidates in Informatics (with projects focused on AI
and Computational Logics) will join the Database and Artificial
Intelligence group of the Department of Mathematics. The group has
deep knowledge in several AI areas, which are investigated with
respect to their theoretical aspects and their formal foundations
as well as with the respect to the design of practical
applications most often carried out in tight cooperation with
industrial partners. In particular, members of the group conduct
high-level research in the development of innovative
infrastructure for knowledge representation and reasoning, and
have achieved important results in developing non-monotonic
reasoning systems.
Requirements
============
Only non-Italian citizens (from within European Community as well
as from outside) are allowed to submit. The required qualification
for being eligible for the program is a Master's Degree, or
equivalent. A three-year degree is not sufficient.
Applications
============
We are looking for highly-motivated, dedicated candidates that are
interested in research in Informatics or Mathematics.
Candidates are requested to:
- Fill in the online form available at http://unical.ugmanager.it/
- Send a notice of the application to leone at mat.unical.it, and
annex the following deliverables:
(1) Curriculum Vitae (conforming to the template available at
https://www.mat.unical.it/dottorato/Admissions)
(2) Research project (3 pages max)
(3) Presentation letter (2 pages max)
(4) List of passed university exams, with scores
The deadline is 2008-12-04 (December 4th, 2008), 12:00 CET.
Contacts
========
To get in contact with the Department of Mathematics, send an
email to:
Prof. Nicola Leone
Department of Mathematics, University of Calabria
Ponte P. Bucci, cubo 30b
I-87036 Rende (CS), Italy
Email: leone at mat.unical.it
Phone: +39 0984 49 6433
Fax : +39 0984 49 6410
To get in touch with the current PhD students, see
.
====================================================================
For further information, please refer to:
https://www.mat.unical.it/phd
From calimeri at mat.unical.it Tue Nov 11 17:19:30 2008
From: calimeri at mat.unical.it (Francesco Calimeri)
Date: Tue, 11 Nov 2008 17:19:30 +0100
Subject: PhD Positions in Informatics available at University of Calabria
Message-ID: <017301c94419$46928b50$d3b7a1f0$@unical.it>
University of Calabria (Italy)
Two Ph.D. Positions available for non-Italian citizens
at the Doctoral Program in Mathematics and Informatics
====================================================================
The University of Calabria invites applications of non-Italian
citizens for 2 Ph.D. scholarships for the 2009 class of the
Doctoral Program in Mathematics and Informatics.
The Program has been activated by the Department of Mathematics
(www.mat.unical.it), which is one of the largest departments of
the University of Calabria.
The Ph.D. period will be 3 years.
The University of Calabria will provide one successful candidate
with a grant, of about EUR 1050,00 per month.
For all the successful candidates, the University of Calabria is
also likely to cover living expenses (mensa + accommodation in the
campus).
Ph.D. positions are offered in a pleasant working environment with
excellent possibilities for professional development.
Successful candidates in Informatics (with projects focused on AI
and Computational Logics) will join the Database and Artificial
Intelligence group of the Department of Mathematics. The group has
deep knowledge in several AI areas, which are investigated with
respect to their theoretical aspects and their formal foundations
as well as with the respect to the design of practical
applications most often carried out in tight cooperation with
industrial partners. In particular, members of the group conduct
high-level research in the development of innovative
infrastructure for knowledge representation and reasoning, and
have achieved important results in developing non-monotonic
reasoning systems.
Requirements
============
Only non-Italian citizens (from within European Community as well
as from outside) are allowed to submit. The required qualification
for being eligible for the program is a Master's Degree, or
equivalent. A three-year degree is not sufficient.
Applications
============
We are looking for highly-motivated, dedicated candidates that are
interested in research in Informatics or Mathematics.
Candidates are requested to:
- Fill in the online form available at http://unical.ugmanager.it/
- Send a notice of the application to leone at mat.unical.it, and
annex the following deliverables:
(1) Curriculum Vitae (conforming to the template available at
https://www.mat.unical.it/dottorato/Admissions)
(2) Research project (3 pages max)
(3) Presentation letter (2 pages max)
(4) List of passed university exams, with scores
The deadline is 2008-12-04 (December 4th, 2008), 12:00 CET.
Contacts
========
To get in contact with the Department of Mathematics, send an
email to:
Prof. Nicola Leone
Department of Mathematics, University of Calabria
Ponte P. Bucci, cubo 30b
I-87036 Rende (CS), Italy
Email: leone at mat.unical.it
Phone: +39 0984 49 6433
Fax : +39 0984 49 6410
To get in touch with the current PhD students, see
.
====================================================================
For further information, please refer to:
https://www.mat.unical.it/phd
From fcalimeri at gmail.com Tue Nov 11 17:19:26 2008
From: fcalimeri at gmail.com (Francesco Calimeri)
Date: Tue, 11 Nov 2008 17:19:26 +0100
Subject: PhD Positions in Informatics available at University of Calabria
In-Reply-To:
References: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com>
Message-ID: <872bf010811110819mbd7d9adhce55ade373945cfc@mail.gmail.com>
done.
thank you very much. :)
ciao,
Francesco
On Tue, Nov 11, 2008 at 4:16 PM, Administrator of mailing lists of CIG
wrote:
> event at in.tu-clausthal.de
From zeynep at cs.unibo.it Wed Nov 12 13:52:58 2008
From: zeynep at cs.unibo.it (Zeynep Kiziltan)
Date: Wed, 12 Nov 2008 13:52:58 +0100 (CET)
Subject: KES-AMSTA 2009-DEADLINE EXTENDED
In-Reply-To: <1362.130.136.2.75.1222939662.squirrel@ssl.cs.unibo.it>
References: <1453.130.136.2.75.1221639296.squirrel@ssl.cs.unibo.it>
<20080917215250.wz4vb6ac9wsggw0o@webmail5.uu.se>
<2468.130.136.2.75.1221726927.squirrel@ssl.cs.unibo.it>
<20080918205108.cb1hcjabggsskk4c@webmail5.uu.se>
<2629.130.136.2.75.1221812319.squirrel@ssl.cs.unibo.it>
<1362.130.136.2.75.1222939662.squirrel@ssl.cs.unibo.it>
Message-ID: <3064.130.136.2.75.1226494378.squirrel@ssl.cs.unibo.it>
****** Apologies for multiple postings *******
* please distribute to interested colleagues *
***************************************************************************
CALL FOR PAPERS
The 3rd KES International Symposium on
AGENTS AND MULTI-AGENT SYSTEMS - TECHNOLOGIES AND APPLICATIONS
(KES-AMSTA-09)
Uppsala, Sweden
June 3 - June 5, 2009
===========================================================================
SUBMISSION DEADLINE EXTENDED TO NOVEMBER 30
===========================================================================
http://amsta-09.kesinternational.org/
INTRODUCTION
KES-AMSTA-2009 is an international scientific symposium for research
in the field of agent and multi-agent systems. The aim of the
symposium is to provide an internationally respected forum for
scientific research in the technologies and applications of agent
and multi-agent systems.
Agents and multi-agent systems are related to a modern software
paradigm which has long been recognized as a promising technology
for constructing autonomous, complex and intelligent systems. This
symposium will provide and excellent opportunity for researchers to
discuss modern approaches and techniques for agent and multi-agent
systems and their applications.
KES-AMSTA-2009 is organized by KES International and Uppsala
University, Sweden, and will take place in Uppsala.
IMPORTANT DATES
Submission of papers: EXTENDED 30 Nov. 2008
Notification of acceptance: 10 Jan. 2009
Final papers to be received: 1 Feb. 2009
Authors / Early registration: 16 Feb. 2009
Symposium: 4 Jun - 5 Jun 2009
TOPICS OF INTEREST
Agent Systems: Formal models of agency. Agent architectures. BDI
architecture. Learning, evolution, and adaptation. Perception and
action. Communication: languages, semantics, pragmatics, protocols,
and conversations. Knowledge representation Computational
complexity. Autonomous or humanoid robots. Social robots and robot
teams. Autonomy aspect. Cognitive models, including emotions and
philosophies. Embodied and believable agents. Emergent behaviour.
Ontologies.
Multi-agent Systems: Cooperative distributed problem solving. Task
and resource allocation. Mechanism design, auctions, and game
theory. Modelling other agents and self. Multi-agent planning.
Negotiation protocols. Multi-agent learning. Conflict resolution.
Trust and reputation management. Privacy, safety and security.
Scalability, robustness and dependability. Social and organizational
structures. Verification and validation. Novel computing paradigms
(autonomic, grid, P2P, ubiquitous computing). Brokering and
matchmaking. Agent-oriented software engineering, including
implementation languages and frameworks. Mobile agents.
Per-formance, scalability, robustness, and dependability.
Verification and validation. E-business agents. Pervasive computing.
Privacy, safety, and security.
Tools and Applications: Simulation systems. Web services and
service-oriented computing. Artificial social systems. Autonomic
computing. Case studies and reports on deployments. Computational
infrastructures. Information retrieval. Web services and semantic
web. E-learning sys-tems. E-institutions. E-commerce.
INFORMATION FOR AUTHORS
Papers are invited from prospective authors with interests on the
indicated symposium topics and related areas of application. All
contributions should be original and not published elsewhere or
intended to be published during the review period. Contributions
from more applied related fields in industry and commerce are very
welcome.
All accepted papers must be presented by one of the authors who must
register for the conference and pay the fee. To ensure high quality,
all papers will be thoroughly reviewed by the KES-AMSTA-09
International Programme Committee. The symposium proceedings are
planned to be published by Springer-Verlag in LNCS/LNAI series
(subject to confirmation). Submitted papers should be prepared in
LNCS/LNAI style and should not exceed 10 pages. Extended versions of
selected papers will be considered for publication in special issues
to be included in several journals indexed by ISI, KES Journal and
Int. Journal of Intelligent Information and Database Systems. Ph.D.
students are invited to submit papers to Doctoral Track. Special
sessions are also welcome.
POST-CONFERENCE PUBLICATION
A selected number of accepted and personally presented papers will be
expanded and revised for possible inclusion in special issues for the
following prestigious international journals and books:
- Knowledge and Information Systems: An International Journal (Springer,
ISI/SCI indexed)
- International Journal of Software Engineering and Knowledge Engineering
(Springer, ISI/SCI indexed)
- Journal of Universal Computer Science (Graz University, ISI/SCI indexed)
- Journal of Intelligent & Fuzzy Systems 17(3) (IOS Press, ISI/SCI
indexed)
- International Journal of Intelligent Information and Databse Systems
(Inderscience, EI, Inspec, DBLP indexed)
- Edited book (title will be announced later), to be published by
Springer in series Studies in Computational Intelligence
- Edited book (title will be announced later) to be published by IGI
Global Publishers in series Computational Intelligence and its
Applications
Note that only papers personally presented at the symposium will be
considered for invitation to the special issues and books.
PAPER SUBMISSION AND PUBLICATION
The symposium proceedings are planned to be published by
Springer-Verlag in LNCS/LNAI series (subject to confirmation).
Submitted papers should be prepared in LNCS/LNAI style and should
not exceed 10 pages. Extended versions of selected papers will be
considered for publication in special issues to be included in
several journals indexed by ISI, KES Journal and Int. Journal of
Intelligent Information and Database Systems. Ph.D. students are
invited to submit papers to Doctoral Track. Special sessions are
also welcome.
ORGANIZATION COMMITTEES
Honorary Chair: L. Magnusson, Uppsala University, Sweden
General Co-Chairs: A. Håkansson, Uppsala University, Sweden and N.T.
Nguyen, Wroclaw University of Technology, Poland
Executive Chair: R.J. Howlett, University of Brighton, UK
Program Co-Chairs: R.L. Hartung, Franklin University, USA, and D.
Sharma, Canberra University, Australia
Local Organizing Chair: T. Palm, Uppsala University, Sweden
Publicity Co-Chairs: Z. Kiziltan, University of Bologna, Italy and E.
Moradian, Uppsala University, Sweden
Invited Session Chair: L.C. Jain, University of South Australia, Australia
Doctoral Track Chair: A. Pietrusiewicz, Wroclaw University of
Technology, Poland
KES-AMSTA-2009 is part of the AMSTA Series
Chair: N.T. Nguyen, which is a sub-series of KES International Conference
Series, Chairs L.C. Jain and R.J. Howlett
CONTACT DETAILS
Email: amsta-09 at kesinternational.org
Postal Address:- KES International?2nd Floor, 145-157 St John Street
London EC1V 4PY United Kingdom
Best regards,
KES-AMSTA-09 Organizing Committee
From lobrst at mitre.org Wed Nov 12 21:14:50 2008
From: lobrst at mitre.org (Obrst, Leo J.)
Date: Wed, 12 Nov 2008 15:14:50 -0500
Subject: EARLY REGISTRATION ENDS NOV 11: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY (OIC 2008)
Message-ID: <9F771CF826DE9A42B548A08D90EDEA8003EA38AC@IMCSRV1.MITRE.ORG>
Apologies for Duplications!
From: Kathryn B Laskey [mailto:klaskey at gmu.edu]
Sent: Saturday, November 08, 2008 8:34 PM
To: Kathryn B Laskey (co-chair)
Subject: EARLY REGISTRATION ENDS NOV 11: ONTOLOGY FOR THE INTELLIGENCE
COMMUNITY (OIC 2008)
Please circulate to interested parties within your organization.
-----------------------------------------------------------------------
------------------
Call for Participation
OIC 2008: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY
Toward Effective Exploitation and Integration of Intelligence Resources
http://c4i.gmu.edu/OIC08
Keynote Speakers:
Deborah McGuinness
Michael Gruninger
George Mason University, Fairfax, Virginia
December 3-4, 2008
(Classified session December 5 for those with TS/SCI clearances only.
For further information contact: oic-2008-ts-sci at cox.net
)
The tasks of collecting, analyzing, and disseminating intelligence grow
more complex with every year, the emergence of new technologies and new
types of threats. New approaches are required to enable greater
flexibility, precision, timeliness and automation of analysis in
response to rapidly evolving threats. Ontology-based technology as
applied in areas such as bioinformatics has demonstrated the
possibility of gains along all of these dimensions. The time is ripe to
extend these gains to other spheres.
This conference will bring together experts on ontology-based
technology with particular experience in the problems facing the
intelligence community. It will feature invited talks from prominent
ontologists and intelligence community leaders, as well as submitted
papers focusing especially on the creation of public-domain ontology
resources to support the work of intelligence analysts.
Registration is now open at http://c4i.gmu.edu/OIC08. Register soon -
earlybird rate ends November 11.
Accommodations at Hyatt Fairlakes: special rate of $129 per night for
OIC attendees,
http://www.fairlakes.hyatt.com/hyatt/hotels/group-booking.jsp?_requesti
d=6128.
TECHNICAL PAPERS:
* Eric Little and Kedar Sambhoos: Improving Situational Awareness
with Ontologically-enhanced Graph Matching
* Kristo Miettinen: The Ontology of Systems
* Pontus Svenson and Christian Mårtenson: Information Model for
Non-hierarchical
Information Management
* Kathryn Laskey, David Schum and Paulo Costa: Ontology of Evidence
* Mihai Boicu, Gheorghe Tecuci and David Schum: Intelligence Analysis
Ontology
for Cognitive Assistants
* Dru McCandless and Steve Matechik: An Ontology Based Approach to
Flexible
Automated Video Analysis and Retrieval
* Mithun Balakrishna and Munirathnam Srikanth: Automatic Ontology
Creation from
Text for National Intelligence Priorities Framework (NIPF)
* Martin Thurn and Terry Patten: Ontologies and Discovery in the
Intelligence Community
* Fabian Neuhaus: Ontology-based Technologies--Technology Transfer from
Bioinformatics?
* Jim Starz, Jason Losco, Brian Kettler, Rachel Hingst and Christopher
Rouff: Leveraging
Emergent Ontologies in the Intelligence Community
* Ian Bailey: Working with Extensional Ontology for Defence
Applications
* Daniel Reininger, Jeff Mershon, Jef Armstrong, Ray Kulberda, Andrew
Cohen,
P. Robert Bullard and David Ihrie: Semantic Wiki for Tactical
Intelligence Applications:
A Demonstration
* Dean Brown and Dominick Profico: ICD Wiki - Framework for Enabling
Semantic Web
Service Definition and Orchestration
* Patrick Cassidy: Toward an Open-Source Foundation Ontology
Representing the Longman's
Defining Vocabulary: The COSMO Ontology OWL Version
* Bob MacGregor and Craig Norvell: Common Logic for an RDF Store
* Mohamed Keshk and Sally Chambless: Model Driven Ontology: A New
Methodology for
Ontology Development
* Jans Aasman and Craig Norvell: Unification of Geospatial Reasoning,
Temporal Logic,
& Social Network Analysis in an RDF Database
* Brock Stitts: Intelligence Analysis and the Semantic Web
For inquiries please write to the conference co-chairs:
Kathryn Blackmond Laskey
C4I Center and SEOR Department
4400 University Drive, MS 4B5
George Mason University
Fairfax, VA 22030-4444
klaskey at gmu.edu
Duminda Wijesekera
Department of Computer Science
4400 University Drive, MS 4A5
George Mason University
Fairfax, VA 22030-4444
dwijesek at gmu.edu
Scientific Committee
Bill Andersen (Ontology Works)
Selmer Bringsjord (Rensselaer Polytechnic University)
Dennis Buede (Innovative Decisions, Inc.)
Werner Ceusters (University at Buffalo)
Randall Dipert (University at Buffalo)
Katherine Goodier (US Department of Defence/NCI)
Kathleen Stewart Hornsby (University of Iowa)
Terry Janssen (Lockheed Martin Corporation)
Kathryn Blackmond Laskey (George Mason University, co-chair)
Nancy Lawler (US Department of Defense)
Kevin Lynch (CIA)
Dan Maxwell (Innovative Decisions, Inc.)
Fabian Neuhaus (NIST)
Leo Obrst (MITRE Corporation)
Steven Robertshaw (UK Defence Science and Technology Laboratory)
Barry Smith (University at Buffalo)
Duminda Wijesekera (George Mason University, co-chair)
Sponsors:
Innovative Decisions, Inc.
Saab Technologies
National Center for Ontological Research
George Mason University Center of Excellence in Command, Control,
Communications, Computing and Intelligence
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From simon.miles at kcl.ac.uk Thu Nov 13 15:57:39 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Thu, 13 Nov 2008 14:57:39 +0000
Subject: AAMAS-09 Doctoral Mentoring Program
Message-ID:
(apologies if you receive multiple copies of this call)
Call for Doctoral Mentoring Program
The Eighth International Joint Conference on
AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009)
Budapest, Hungary
Symposium Date: May 10, 2009
Conference Dates: May 10-15, 2009
http://www.conferences.hu/AAMAS2009/
AAMAS 2009 will include a doctoral mentoring program, intended for PhD
students in advanced stages of their research. This program will
provide an opportunity for students to interact closely with
established researchers in their fields, to receive feedback on their
work and to get advice on managing their careers.
Specifically, the goals of the program are:
* To match each student with an established researcher in the
community (who will act as a mentor). The mentor will interact closely
with the student, will provide feedback on research, help form new
contacts, etc.
* To allow students an opportunity to present their work to a
friendly audience of other students as well as mentors.
* To provide students with contacts and professional networking opportunities.
* The doctoral mentoring program will consist of opportunities for
interactions between mentors and their mentorees prior to the
conference, as well as a one day doctoral symposium.
A.1 Submission Requirements
We encourage submissions from PhD students at advanced stages of their
research within the Autonomous Agents and Multi Agent Systems field.
Based on the submissions, the organizing committee will select a group
of students that will be invited to participate in the program.
Participants will be expected to take active part in all doctoral
mentoring program activities.
Each submission should include a set of documents from the students,
and a recommendation letter from the advisor. The submission package
should include:
1. A two-page extended abstract of the student's thesis (in the AAMAS
submission format)
2. A personal research statement (one page)
3. A short (2-page) resume (CV)
4. A recommendation letter from the advisor.
Submissions of the first three items should be sent in electronic form
(PDF), to the doctoral mentoring chair (Stacy Marsella,
mentoring at aamas09.org), by January 31, 2009.
In addition, the dissertation advisor should send the last item (a
letter of recommendation) by e-mail to mentoring at aamas09.org. The
letter should address the expected benefit of attending (to the
student), the significance of the research, and the expected date for
thesis submission. This letter can be sent in either plain text or PDF
format. The student's name must be clearly pointed out in the letter.
A.2 Important Dates
* January 31: Submission package due
* February 28: Acceptance notifications
* March 12: Camera-ready copy due
* May 10: Doctoral Mentoring Symposium
The one-day symposium will be held on the first day of the conference.
Doctoral Mentoring Chair
Stacy Marsella
University of Southern California
marsella [at] ict.usc.edu
Web page:
http://www.conferences.hu/AAMAS2009/mentoring.html
--
Dr Simon Miles
Agents and Intelligent Systems Group
Department of Computer Science
Kings College London, UK
From sofia.espinosa at tu-harburg.de Thu Nov 13 16:04:50 2008
From: sofia.espinosa at tu-harburg.de (Irma Sofia Espinosa Peraldi)
Date: Thu, 13 Nov 2008 16:04:50 +0100
Subject: BOEMIE 2008 - call for participation
Message-ID:
[apologies if you receive multiple copies]
BOEMIE 2008
Workshop on
Ontology Evolution and
Multimedia Information Extraction
http://www.boemie.org/boemie2008
held next to
SAMT 2008 3rd International Conference
on
Semantic and Digital Media Technologies
December 2, 2008, Koblenz, Germany
Call for participation
Participation in the workshop is free of charge but subject to prior
registration and confirmation. Delegates will have to pay for their own
travel and accommodation expenses. It is not required to pay the
registration fee for the SAMT conference.
To obtain an invitation, please send e-mail to Irma Sofia Espinosa Peraldi,
with the following information:
- Name
- Affiliation
- Country
- Why are you interest in participating?
Send this information no later than November 28th.
For more specific details please refer to:
http://www.boemie.org/boemie2008
Motivation and Scope
BOEMIE 2008 focuses on the automation of the process of knowledge
acquisition from multimedia content, using evolving multimedia ontologies
which will be used for the extraction of information from multimedia content
in networked sources. The goal is to develop synergistic approaches that
combine multimedia extraction and ontology evolution in a bootstrapping
process involving, on the one hand, the continuous extraction of semantic
information from multimedia content in order to populate and enrich the
ontologies and, on the other hand, the deployment of these ontologies to
enhance the robustness of the extraction process.
The workshop is tightly coupled with the BOEMIE
project, aiming to initiate a new research activity on the automation of
knowledge acquisition from multimedia content, through computer-aided
ontology evolution. The resulting technology will have a wide range of
applications in commerce, tourism, e-science, publishing, etc. During the
project, the technology will be evaluated through the development of an
automatic content collection and annotation service for public events in a
number of major European cities. The extracted semantic information will
enrich the underlying ontology as well as a digital map, which will provide
a friendly interface to the end user.
Topics
The workshop includes contributions to all research topics related to the
BOEMIE project. We anticipate significant and fruitful discussions owing to
differences in potential approaches in handling the issues above. The
detailed topics of the workshop include but are not limited to the
following:
* Knowledge driven multimedia analysis
* Multimedia ontologies
* Multimedia reasoning
* Ontology learning
* Ontology evolution
* Ontology matching and coordination
* Combining Handling multiple vocabularies
* Interoperability among current multimedia and Semantic Web standards
* Automatic and semi-automatic content annotation tools
* Bridging the gap between multimedia features and semantics
Speakers
Welcome and introduction to Workshop
Silvana Castano,
Dipartimento di Informatica e Communicazione (DICO),
University of Milano (UNIMI), Italy
Ralf Möller,
Software, Technology and Systems (STS),
Hamburg University of Technology (TUHH), Germany
Introduction to BOEMIE project
George Paliouras,
Institute of Informatics and Telecommunications (IIT)
National Center of Scientific Research (NCSR Demokritos), Greece
Multimedia Information Extraction
Jerry R. Hobbs,
Information Sciences Institute (ISI),
University of Southern California, USA
Sergios Petridis,
Institute of Informatics and Telecommunications (IIT)
National Center of Scientific Research (NCSR Demokritos), Greece
Multimedia Ontologies
Stamatia Dasiopoulou,
Informatics and Telematics Institute (ITI),
Centre for Research and Technology Hellas (CERTH), Greece
Steffen Staab,
Information Systems and Semantic Web (ISWeb),
University of Koblenz-Landau, Germany
Multimedia and Reasoning
Umberto Straccia,
Institute of Information Science and Technologies (ISTI),
National Research Council (CNR), Italy
Sofia Espinosa and Atila Kaya,
Software, Technology and Systems (STS),
Hamburg University of Technology (TUHH), Germany
Ontology Learning and Evolution
Giorgios Flouris,
Institute of Computer Science
Foundation for Research and Technology Hellas, (FORTH), Greece
Alfio Ferrara,
Dipartimento di Informatica e Communicazione (DICO),
University of Milano (UNIMI), Italy
Demo and Evolution session of the integrated BOEMIE prototype
Chair: George Paliouras
Institute of Informatics and Telecommunications (IIT)
National Center of Scientific Research (NCSR Demokritos), Greece
Organizers and Chairs
Silvana Castano,
University of Milano, Italy
Alfio Ferrara,
University of Milano, Italy
Ralf Möller,
Hamburg University of Technology, Germany
George Paliouras,
NCSR Demokritos, Greece
Irma Sofia Espinosa Peraldi,
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From evomusart at yahoo.com Thu Nov 13 19:09:25 2008
From: evomusart at yahoo.com (Penousal Machado)
Date: Thu, 13 Nov 2008 10:09:25 -0800 (PST)
Subject: EvoMUSART 2009 : Submission Deadline extended to 30 November 2008
Message-ID: <226017.44628.qm@web59416.mail.ac4.yahoo.com>
*** additional submission deadline extension***
Due to a number of requests by individual authors for a further
deadline extension, we have decided to grant an extension of
the submission deadline for all the Evo* 2009 events to
30 November 2008
-----------------------------------------------------------------------
EvoMUSART 2009
7th European Workshop on Evolutionary and Biologically Inspired Music,
Sound, Art and Design
15-17 April, 2009, Tubingen, Germany
http://evostar.na..icar.cnr.it/EvoWorkshops/EvoMUSART/EvoMUSART.html
http://www.evostar.org
----------------------------------------------------------------------
INTRODUCTION
----------------------------------------------------------------------
EvoMUSART 2009 is the seventh workshop of the EvoNet working group on
Evolutionary Music and Art. Following the success of previous events
and the growth of interest in the field, the main goal of EvoMUSART
2009 is to bring together researchers who are using biologically
inspired techniques for artistic tasks, providing the opportunity to
promote, present and discuss ongoing work in this area.
The workshop will be held from 15-17 April, 2009 in Tubingen, Germany
as part of the EvoStar event.
Accepted papers will be presented orally at the workshop and included
in the EvoWorkshops proceedings, published by Springer Verlag in the
Lecture Notes in Computer Science series.
EvoMUSART 2009 important dates are:
Submission deadline: November 30, 2008
Conference: April 15-17, 2009
To submit a paper you can directly access the page:
http://myreview.csregistry.org/evoworkshops09/
or otherwise find all instructions and information about the
EvoStar 2009 events at the page:
http://www.evostar.org
----------------------------------------------------------------------
TOPICS OF INTEREST
----------------------------------------------------------------------
The papers should concern the use of bio-inspired techniques -
e.g. Evolutionary Computation, Artificial Life, Artificial Neural
Networks, Swarm Intelligence, etc. - in the scope of the generation,
analysis and interpretation of art, music, design, architecture and
other artistic fields. Topics of interest include, but are not
limited to:
- Generation
o Biologically Inspired Design and Art-Systems that create
drawings, images, animations, sculptures, poetry, text, objects,
designs, webpages, buildings, etc.;
o Biologically Inspired Sound and Music - Systems that create
music, sounds, instruments, voices, sound effects, sound
analysis, etc.;
o Robotic Based Evolutionary Art and Music;
o Other related generative techniques;
- Theory
o Computational Aesthetics, Emotional Response, Surprise, Novelty;
o Representation techniques;
o Surveys of the state-of-the-art in the area; identification of
weaknesses and strengths; comparative analysis and
classification;
o Validation methodologies;
o Studies on the applicability of these techniques to related areas;
o New models designed to promote the creative potential of
biologically inspired computation;
- Computer Aided Creativity
o Systems in which biologically inspired computation is used to
promote the creativity of a human user;
o New ways of integrating the user in the evolutionary cycle;
o Analysis and evaluation of: the artistic potential of biologically
inspired art and music; the artistic processes inherent to these
approaches; the resulting artifacts;
o Collaborative distributed artificial art environments;
- Automation
o Techniques for automated fitness assignment;
o Systems in which an analysis or interpretation of the artworks
is used in conjunction with biologically inspired techniques to
produce novel objects;
o Systems that exploit biologically inspired computation to
perform the analysis of image, music, sound, sculpture, or some
other types of artistic object;
----------------------------------------------------------------------
ADDITIONAL INFORMATION AND SUBMISSION DETAILS
----------------------------------------------------------------------
Submit your manuscript, at most 10 A4 pages long, in Springer LNCS
format no later than November 30, 2008. Formatting instructions
available at:
http://www.springer..com/dal/home/computer/lncs?SGWID=1-164-7-72376-0&teaserId=45515&CENTER_ID=73062)
The papers will be peer reviewed by at least three members of
the program committee. Authors will be notified via email on the
results of the review by January 9, 2008.
The authors of accepted papers will have to improve their paper on the
basis of the reviewers' comments and will be asked to send a camera
ready version of their manuscripts, along with text sources and
pictures, by January 28, 2009. The accepted papers will appear in the
workshop proceedings, published in Springer LNCS Series, which will be
available at the workshop.
Further information, including the Online Submission Details, can be
found on the following pages:
Evo*2009: http://www.evostar.org
EvoMUSART2009: http://evostar.na.icar.cnr.it/EvoWorkshops/EvoMUSART/EvoMUSART.html
----------------------------------------------------------------------
IMPORTANT DATES
----------------------------------------------------------------------
Submission: 30 November 2008
Notification: 9 January 2008
Camera ready: 28 January 2009
Workshop: 15-17 April 2009
----------------------------------------------------------------------
PROGRAMME COMMITTEE
----------------------------------------------------------------------
Alain Lioret, Paris 8 University, France
Alan Dorin, Monash University, Australia
Alejandro Pazos, University of A Coruna, Spain
Amilcar Cardoso, University of Coimbra, Portugal
Andrew Gildfind, Google, Inc., Australia
Andrew Horner, University of Science & Technology, Hong Kong
Anna Ursyn, University of Northern Colorado, USA
Antonino Santos, University of A Coruna, Spain
Artemis Sanchez Moroni, Renato Archer Research Center, Brazil
Bill Manaris, College of Charleston, USA
Brian Ross, Brock University, Canada
Carla Farsi, University of Colorado, USA
Christian Jacob , University of Calgary, Canada
Colin Johnson, University of Kent, UK
David Hart, Independent Artist, USA
Eleonora Bilotta, University of Calabria, Italy
Erwin Driessens, Independent Artist, Netherlands
Gary Greenfield, University of Richmond, USA
Gary Nelson, Oberlin College, USA
Gerhard Widmer, Johannes Kepler University Linz, Austria
Hans Dehlinger, Independent Artist, Germany
James McDermott, University of Limerick, Ireland
John Collomosse, University of Bath, UK
Jon Bird, University of Sussex, UK
Jonatas Manzolli , UNICAMP, Brasil
Jorge Tavares, INRIA Lille - Nord Europe, France
Juan Romero, University of A Coruna, Spain
Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy
Maria Verstappen, Independent Artist, Netherlands
Matthew Lewis, Ohio State University, USA
Mauro Annunziato, Plancton Art Studio, Italy
Nicolas Monmarché, University of Tours, France
Pablo Gervás, Universidad Complutense de Madrid, Spain
Paul Brown, University of Sussex, UK
Paulo Urbano, Universidade de Lisboa , Portugal
Peter Bentley, University College London , UK
Philip Galanter, Texas A&M College of Architecture, USA
Rafael Ramirez, Pompeu Fabra University, Spain
Rodney Waschka II, North Carolina State University, USA
Ruli Manurung, University of Indonesia, Indonesia
Simon Colton, Imperial College, UK
Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia
Stefano Cagnoni, University of Parma, Italy
Stephen Todd, IBM, UK
Steve DiPaola, Simon Fraser University, Canada
Tim Blackwell, Goldsmiths College, University of London, UK
William Latham, Art Games Ltd, UK
----------------------------------------------------------------------
STEERING COMMITTEE
----------------------------------------------------------------------
Penousal Machado
University of Coimbra, Portugal
Machado AT dei DOT uc DOT pt
Juan Romero
University of A Coruna, Spain
jj AT udc DOT es
Jon McCormack
Monash University
Jon DOT McCormack AT infotech DOT monash DOT edu DOT au
----------------------------------------------------------------------
WORKSHOP CHAIRS
----------------------------------------------------------------------
Penousal Machado
University of Coimbra, Portugal
Machado AT dei DOT uc DOT pt
Jon McCormack
Monash University
Jon DOT McCormack AT infotech DOT monash DOT edu DOT au
From nza at Cs.Nott.AC.UK Tue Nov 18 11:29:22 2008
From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK)
Date: 18 Nov 2008 10:29:22 +0000
Subject: Workshop on Logics and Agent Programming Languages
Message-ID: <200811181029.aa00057@pat.Cs.Nott.AC.UK>
Call for Papers
WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES
July 20th-25th 2009
http://www.agents.cs.nott.ac.uk/events/lapl09
to be held as part of ESSLLI 2009 (21st European Summer School in
Logic, Language and Information, Bordeaux, France) between the 20th
and 31st of July 2009 http://esslli2009.labri.fr/
WORKSHOP DESCRIPTION
To create a language for programming entities capable of intelligent
behaviour (`agents'), researchers and developers must address deep
questions such as: what are the basic constituent parts of an
intelligent agent; how should the agent `think' (e.g., which
deliberation strategy should it employ -- should it plan a precise
sequence of actions in advance or should it adopt an abstract plans
with gaps `to be filled-in later'); what relationship should there be
between the agent's beliefs and its goals, etc. In seeking to address
these questions, researchers have drawn heavily on formal models of
agents and on agent logics, including epistemic logics, logics of
action, dynamic logic, coalition logics etc. For example, the
development of agent programming languages such as AgentSpeak were
heavily influenced by the BDI (Beliefs, Desires and Intentions) logics
developed to understand what an agent's behaviour should be. These
interactions have resulted in an extremely fruitful cross
fertilisation between work in logic and computation, and the
application of logical techniques to address key practical issues such
as the verification of agent programs (i.e., will an agent program
meet the specification set out by its developers).
The development of agent programming languages continues to go hand in
hand with the development of logics to express properties of agent
programs and associated verification techniques, with work on various
aspects of agent programming, agent logics and verification. The
workshop will provide a forum for advanced PhD students and
researchers in these areas to compare methodologies, exchange ideas
and identify challenges in agent programming languages and writing
reliable agent programs.
Topics of interest include (but are not limited to):
* agent programming languages
* agent logics
* verification of agent programs
PUBLICATION
Accepted papers will appear in pre-proceedings published by ESSLLI. We
aim to publish a selection of revised and expanded papers as a journal
special issue.
SUBMISSIONS
Authors are invited to submit a full original paper. Submissions should
not exceed 15 pages in LaTeX 11pt article style. The following formats
are accepted: pdf, ps. Please submit on line at
http://www.easychair.org/conferences/?conf=lapl09
All enquiries to lapl09 at cs.nott.ac.uk
IMPORTANT DATES
February 15 2009 Deadline for submissions
April 15 2009 Notification of acceptance
June 1 2009 Deadline for proceedings
ORGANISERS
Natasha Alechina University of Nottingham, UK
Brian Logan University of Nottingham, UK
INVITED SPEAKER
(TBC)
PROGRAMME COMMITTEE
Thomas Agotnes Bergen University College, Norway
Rafael Bordini University of Durham, UK
Mehdi Dastani Universiteit Utrecht, Netherlands
Juergen Dix Technische Universitaet Clausthal, Germany
Amal El Fallah Seghrouchni, University Paris VI, France
Michael Fisher University of Liverpool, UK
Giuseppe De Giacomo Sapienza Universita' di Roma, Italy
Andreas Herzig IRIT, Universit=E9 Paul Sabatier, France
Koen Hindriks Delft University of Technology, Netherlands
Gerhard Lakemeyer Aachen University of Technology, Germany
Yves Lesperance York University, Canada
Hector Levesque, University of Toronto, Canada
John-Jules Ch. Meyer Universiteit Utrecht, Netherlands
Steven Shapiro University of Toronto, Canada
Neil Yorke-Smith, AIC, SRI International, USA
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
From alexander.friedmann at uqam.ca Tue Nov 18 01:01:32 2008
From: alexander.friedmann at uqam.ca (alex friedmann)
Date: Mon, 17 Nov 2008 19:01:32 -0500
Subject: WARNING! (2900068290)
In-Reply-To:
References:
Message-ID:
On Mon, Nov 17, 2008 at 6:48 PM, event administration <
event-subscribe at in.tu-clausthal.de> wrote:
> This is an automated message from the
> mailing list manager
>
>
>
--
email: alexander.friedmann at uqam.ca
en cas de panne UQAM /
if problems with this adress please use:
alexfri7 at gmail.com
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From tkutsia at risc.uni-linz.ac.at Tue Nov 18 19:12:09 2008
From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia)
Date: Tue, 18 Nov 2008 19:12:09 +0100
Subject: First CFP: WWV 2009
Message-ID: <20081118181209.GA18025@risc.uni-linz.ac.at>
[Apologies if you receive multiple copies]
***********************************************************
* CALL FOR PAPERS *
* *
* WWV 2009 *
* Automated Specification and Verification of Web Systems *
* 5th International Workshop *
* *
* Castle of Hagenberg, Austria. July 17, 2009 *
* http://www.risc.uni-linz.ac.at/conferences/wwv09/ *
* *
* Part of the RISC Summer 2009 *
* http://www.risc.uni-linz.ac.at/conferences/summer2009/ *
***********************************************************
IMPORTANT DATES
Abstract Submission February 2, 2009
Full Paper Submission February 9, 2009
Acceptance Notification April 20, 2009
Camera Ready June 1, 2009
Workshop July 17, 2009
SCOPE
The increased complexity of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a challenging problem. Nowadays, many companies have diverted their
Web sites into interactive, completely-automated, Web-based
applications (such as Amazon, on-line banking, or travel agencies)
with a high complexity that requires appropriate specification and
verification techniques and tools. Systematic, formal approaches to
the analysis and verification can address the problems of this
particular domain with automated and reliable tools that also
incorporate semantic aspects.
We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:
* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* algebraic methods for verification and certification of
Web systems
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications
The WWV series provides a forum for researchers from the communities
of Rule-based programming, Automated Software Engineering, and
Web-oriented research to facilitate the cross-fertilization and the
advancement of hybrid methods that combine the three areas.
The previous WWV editions were: WWV'08 (Siena, Italy), WWV'07 (Venice,
Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain).
LOCATION
WWV'09 will be held at the Research Institute for Symbolic
Computation (RISC), which is an institute of the Johannes Kepler
University in Linz. It is located in the Castle of Hagenberg,
a romantic, medieval castle amidst the lovely, hilly landscape
of the M�hlviertel region, 20 km north east of Linz, the provincial
capital of Upper Austria, located halfway between Salzburg and Vienna.
For more information about RISC, please visit:
http://www.risc.uni-linz.ac.at/
The workshop is a part of the RISC Summer 2009 conference series:
http://www.risc.uni-linz.ac.at/about/conferences/summer2009/
SUBMISSION PROCEDURE
Submissions must be received by February 9, 2009. In addition, an
ASCII version of the title and abstract must be submitted by
February 2, 2009. Submitted papers should be prepared in LaTeX,
formatted according to the Springer llncs style, and should not
exceed 15 pages.
Submission is web-based via this link:
http://www.easychair.org/conferences/?conf=wwv09
PUBLICATION
Accepted papers will be published in a preliminary proceedings
volume, which will be available during the workshop.
After the workshop, a special issue of the Journal of Symbolic
Computation on the topic of the WWV workshop is planned.
PROGRAM CO-CHAIRS
Demis Ballis University of Udine, Italy
Temur Kutsia Johannes Kepler University Linz, Austria
WORKSHOP CO-CHAIRS
Temur Kutsia Johannes Kepler University Linz, Austria
Wolfgang Schreiner Johannes Kepler University Linz, Austria
INVITED SPEAKERS
Fran�ois Bry Ludwig Maximilian University of Munich, Germany
Axel Polleres National University of Ireland, Galway, Ireland
PROGRAM COMMITTEE
Maria Alpuente Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
Wlodzimierz Drabent Link�ping University, Sweden, and
Institute Of Computer Science,
Polish Academy of Sciences, Poland
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
M�rio Florido University of Porto, Portugal
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Mircea Marin University of Tsukuba, Japan
Catherine Meadows Naval Research Laboratory, USA
Rosario Pugliese University of Florence, Italy
I.V. Ramakrishnan Stony Brook University, USA
Antonio Vallecillo University of Malaga, Spain
From friedmann.alexander at uqam.ca Tue Nov 18 17:26:42 2008
From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN)
Date: Tue, 18 Nov 2008 11:26:42 -0500 (EST)
Subject: WARNING! (2900068290)
In-Reply-To:
References:
Message-ID:
On Tue, 18 Nov 2008, event administration wrote:
> This is an automated message from the
> mailing list manager
>
> List messages sent to your address have bounced.
>
> If you read this message, your mail system has been probably fixed.
>
> To clear the bounce counter and to prevent automatic cancelation of
> your subscription, use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
> the confirmation ID: 2900068290,
> and the reply is directed to ,
> and the 'From' address of your reply is .
>
> All requests about this mailing list
> should be sent to
>
-------
Alex Friedmann tel: (514) 987-3000 ext. 3219
Dept. d'Informatique fax: (514) 987-8477
U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca
C.P. 8888 Centre-Ville
Montreal
Canada, H3C 3P8
From heymans at kr.tuwien.ac.at Fri Nov 21 09:24:04 2008
From: heymans at kr.tuwien.ac.at (Stijn Heymans)
Date: Fri, 21 Nov 2008 09:24:04 +0100
Subject: PhD / Postdoc Position at the Vienna University of Technology
Message-ID:
The Knowledge-Based Systems Group ( http://www.kr.tuwien.ac.at/ ) at
the Vienna University of Technology ( http://www.tuwien.ac.at/ ) is
looking for excellent candidates to work as a researcher in the
prospective EU FP7 ONTORULE project (ONTOlogies meet business RULEs)
as well as in related Austrian-funded basic research projects (see
http://www.fwf.ac.at/ ).
The objective of ONTORULE is to integrate all the required pieces of
knowledge and technology, including some that will need be researched
and developed within the project, to allow the acquisition of
ontologies and rules from the most appropriate sources, including
natural language documents, their separate management and maintenance,
and their transparent operationalisation in IT applications.
In particular, the successful candidate will be expected to work in
ONTORULE and related Austrian-funded projects on the theoretical
foundations for combinations of rules, ontologies and data structures,
on the development of effective and efficient methods for processing
such combinations, as well as on the investigation of consistency
management of such combinations.
The candidate should have:
* a Master's degree in Mathematics or Computer Science
* a minimum of 2 years experience in academic research, i.e., a
Postdoc or experienced PhD student.
* a strong background/interest in Logic Programming and its
applications
* a background/interest in other Knowledge Representation
paradigms such as Description Logics
* a willingness to travel to project meetings and to work on
project deliverables
* a willingness to work in an international team
* good proficiency in English
ONTORULE will run from early 2009 and this for a total of 3 years; the
salary will depend on the experience of the candidate and will be
according to Austrian guidelines (
http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html ). In
case the position is filled by an experienced PhD student, the
candidate will work towards a PhD degree in Computer Science.
We encourage interested candidates to send their resume, list of
publications, and digital versions of their most relevant work to
Dr. Stijn Heymans
heymans at kr.tuwien.ac.at
The Knowledge-Based Systems group is lead by Prof. Dr. Thomas Eiter
and has a strong expertise in areas such as Knowledge Representation
and Reasoning, Computational Logic and Complexity, and Declarative
Problem Solving. For more information, see
http://www.kr.tuwien.ac.at/.
From wcom at worldcomp.cviog.uga.edu Mon Nov 24 18:00:15 2008
From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences)
Date: Mon, 24 Nov 2008 12:00:15 -0500
Subject: Call For Papers: Computer Science & Computer Engineering
Conferences - July 13-16 2009, USA, WORLDCOMP'09
Message-ID: <20081124170015.E5B6951BBC@worldcomp.cviog.uga.edu>
CALL FOR PAPERS
and
Call For Workshop/Session Proposals
WORLDCOMP'09
The 2009 World Congress in Computer Science,
Computer Engineering, and Applied Computing
July 13-16, 2009, Las Vegas, USA
(composed of 22 Joint Conferences)
You are invited to submit a paper (and/or a proposal to organize
a session/workshop). All accepted papers will be published in the
respective conference proceedings.
The 2009 World Congress in Computer Science, Computer Engineering,
and Applied Computing (WORLDCOMP'09) is composed of the following
22 conferences (all will be held simultaneously, same location
and dates: July 13-16, 2009, USA):
o BIOCOMP'09: The 2009 International Conference on Bioinformatics
and Computational Biology
o CDES'09: The 2009 International Conference on Computer Design
o CGVR'09: The 2009 International Conference on Computer Graphics
and Virtual Reality
o CSC'09: The 2009 International Conference on Scientific Computing
o DMIN'09: The 2009 International Conference on Data Mining
o EEE'09: The 2009 International Conference on e-Learning,
e-Business, Enterprise Information Systems, and e-Government
o ERSA'09: The 2009 International Conference on Engineering of
Reconfigurable Systems and Algorithms
o ESA'09: The 2009 International Conference on Embedded Systems
and Applications
o FCS'09: The 2009 International Conference on Foundations of
Computer Science
o FECS'09: The 2009 International Conference on Frontiers in
Education: Computer Science and Computer Engineering
o GCA'09: The 2009 International Conference on Grid Computing and
Applications
o GEM'09: The 2009 International Conference on Genetic and
Evolutionary Methods
o ICAI'09: The 2009 International Conference on Artificial Intelligence
o ICOMP'09: The 2009 International Conference on Internet Computing
o ICWN'09: The 2009 International Conference on Wireless Networks
o IKE'09: The 2009 International Conference on Information and
Knowledge Engineering
o IPCV'09: The 2009 International Conference on Image Processing,
Computer Vision, and Pattern Recognition
o MSV'09: The 2009 International Conference on Modeling, Simulation
and Visualization Methods
o PDPTA'09: The 2009 International Conference on Parallel and
Distributed Processing Techniques and Applications
o SAM'09: The 2009 International Conference on Security and Management
o SERP'09: The 2009 International Conference on Software Engineering
Research and Practice
o SWWS'09: The 2009 International Conference on Semantic Web and
Web Services
(a link to each conference's URL can be found at
http://www.world-academy-of-science.org )
ACADEMIC CO-SPONSORS:
Currently being prepared - it will include a number of active
research laboratories and centers that have helped to shape our
field. The Academic Co-Sponsors of the last offering of
WORLDCOMP included research labs at Harvard University, UCLA,
University of Minnesota, University of Illinois at Urbana-
Champaign, Georgia Institute of Technology, Emory University,
University of Texas at Austin, MIT, George Mason University,
University of Iowa, Russian Academy of Sciences, NEMO/European
Union, and others. Corporate Co-Sponsors included, Google,
Salford Systems, Synplicity, Supermicro, NIIT, and others.
General Co-Chair and Coordinator:
H. R. Arabnia, PhD
Professor, Computer Science
Editor-in-Chief, The Journal of Supercomputing (Springer)
Advisory Board, IEEE Technical Committee on TCSC
Vice President, Int'l Society of Intelligent Biological Medicine
The University of Georgia
Department of Computer Science
415 Boyd Building
Athens, Georgia 30602-7404, USA
Tel: (706) 542-3480
Fax: (706) 542-2966
E-mail: hra at cs.uga.edu
PURPOSE / HISTORY:
This set of joint conferences is the largest annual gathering of
researchers in computer science, computer engineering and applied
computing. Many of the joint conferences in WORLDCOMP are the
premier conferences for presentation of advances in their respective
fields. We anticipate to have 2,400 or more attendees from over 85
countries participating in the 2009 joint conferences.
The motivation is to assemble a spectrum of affiliated research
conferences into a coordinated research meeting held in a common
place at a common time. The main goal is to provide a forum for
exchange of ideas in a number of research areas that interact. The
model used to form these annual conferences facilitates communication
among researchers from all over the world in different fields of
computer science, computer engineering and applied computing. Both
inward research (core areas of computer science and engineering) and
outward research (multi-disciplinary, inter-disciplinary, and
applications) will be covered during the conferences.
WORLCOMP'09 will be composed of research presentations, keynote
lectures, invited presentations, tutorials, panel discussions, and
poster presentations. In recent past, keynote and/or tutorial speakers
included: Prof. David A. Patterson (U. of California, Berkeley);
Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland
(U. of Michigan, Ann Arbor); Prof. Brian D. Athey (U. of Michigan,
Ann Arbor), Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe
(MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley);
Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X
Window); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and
many other distinguished speakers.
SUBMISSION OF PAPERS:
Prospective authors are invited to submit their draft papers by
uploading them to http://worldcomp.cviog.uga.edu/ .
Submissions must be received by Feb. 25, 2009 and they must be in
either MS doc or pdf formats (about 5 to 7 pages - single space,
font size of 10 to 12). All reasonable typesetting formats are
acceptable (later, the authors of accepted papers will be asked to
follow a particular typesetting format to prepare their papers for
publication.)
The length of the Camera-Ready papers (if accepted) will be limited
to 7 (IEEE style) pages. Papers must not have been previously
published or currently submitted for publication elsewhere. The
first page of the draft paper should include: title of the paper,
name, affiliation, postal address, and email address for each author.
The first page should also identify the name of the Contact Author
and a maximum of 5 topical keywords that would best represent the
content of the paper. Finally, the name of the conference that
the paper is being submitted to must be stated on the first page.
Papers will be evaluated for originality, significance, clarity,
impact, and soundness. Each paper will be refereed by two experts
in the field who are independent of the conference program committee.
The referees' evaluations will then be reviewed by two members of
the program committee who will recommend a decision to the chair of
the track that the paper has been submitted to. The chair will make
the final decision. Lastly, the Camera-Ready papers will be reviewed
by one member of the program committee.
PROPOSAL FOR ORGANIZING SESSIONS/WORKSHOPS:
Each session will have at least 6 paper presentations from
different authors (12 papers in the case of workshops). The
session chairs will be responsible for all aspects of their
sessions; including, soliciting papers, reviewing, selecting, ...
The names of session chairs will appear as Associate Editors in
the conference proceedings and on the cover of the books.
Proposals to organize sessions should include the following
information: name and address (+ email) of proposer, title of
session, a 100-word description of the topic of the session,
the name of the conference the session is submitted for
consideration, and a short description on how the session will
be advertised (in most cases, session proposers solicit papers
from colleagues and researchers whose work is known to the
session proposer). email your session proposal to H. R. Arabnia
(address is given above). We would like to receive the proposals
by January 16, 2009.
IMPORTANT DATES:
Jan. 16, 2009: Proposals for organizing/chairing sessions/workshops
Feb. 25, 2009: Submission of papers (about 5 to 7 pages)
March 25, 2009: Notification of acceptance
April 25, 2009: Camera-Ready papers and Registration due
July 13-16, 2009: The 2009 World Congress in Computer Science,
Computer Engineering, and Applied Computing
(WORLDCOMP'09 - 22 joint conferences)
MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES:
The Program Committee includes members of chapters of World Academy
of Science (chapters: supercomputing; scientific computing; AI;
imaging science; databases; simulation; software engineering;
embedded systems; internet and web technologies; communications;
computer security; and bioinformatics.) The Program Committee for
individual conferences is currently being formed. Those interested
in joining the Program Committee should email H. R. Arabnia
(hra at cs.uga.edu) the following information: Name, affiliation
and position, complete mailing address, email address, a short
biography together with research interests and the name of the
conference offering to help with.
Many who have already joined the committees of individual tracks
are renowned leaders, scholars, researchers, scientists and
practitioners of the highest ranks; many are directors of research
laboratories, fellows of various societies, heads/chairs of
departments, deans and provosts.
LOCATION OF CONFERENCES:
The conferences will be held in the Monte Carlo hotel, Las Vegas,
Nevada, USA (with any overflows at other near-by hotels). This is
a mega hotel with excellent conference facilities and over 3,000
rooms. It is minutes from the airport with 24-hour shuttle
service to and from the airport. This hotel has many recreational
attractions, including: waterfalls, spa, pools, sunning decks, Easy
River, wave pool, lighted tennis courts, health spa, nightly shows,
a number of restaurants, ... The negotiated room rate for
conference attendees is very reasonable. The hotel is within
walking distance from most other attractions (recreational
destinations, Golf courses, ...)
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
This email was sent to: event at in.tu-clausthal.de
To opt out of this email list:
http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895
From simon.miles at kcl.ac.uk Tue Nov 25 11:27:40 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Tue, 25 Nov 2008 10:27:40 +0000
Subject: 2009 ACM SIGART Autonomous Agents Research Award
Message-ID:
(apologies if you receive multiple copies of this post)
Call For Nominations --
2009 ACM SIGART Autonomous Agents Research Award
ACM SIGART, in collaboration with the International Conference on Autonomous
Agents, has instituted an annual award for excellence in research in the area
of autonomous agents. Award winners will receive an honorarium and will be
invited to give a talk at the annual Autonomous Agents and Multi-Agent Systems
(AAMAS) Conference, which in 2009 will be held in Budapest, Hungary, in May.
This award is specifically intended to recognize researchers whose current
research is influencing the field of autonomous agents and multi-agent systems.
Candidates will be evaluated based on the quality, significance, and impact of
their research contributions. It is usually expected that at least some of
these contributions should have been reported at one or more Autonomous Agents
or AAMAS conferences, although this is not an absolute requirement. Previous
winners of the SIGART Autonomous Research Award were Yoav Shoham (2008), Sarit
Kraus (2007). Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo
(2004), Nick Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001).
The award committee is now seeking nominations for the 2009 award.
*** Nominations should be submitted by email to the Awards Committee Chair,
Sarit Kraus (sarit at cs.biu.ac.il)
The nomination should specify:
-- Name of person being nominated;
-- Name and contact information for the person making the nomination;
-- A statement describing why the nominee should be considered for the
award.
Nominations must be made no later than: December 16, 2008.
--
Dr Simon Miles
Lecturer, Department of Computer Science
Kings College London, WC2R 2LS, UK
+44 (0)20 7848 1166
From areces at pluton.loria.fr Tue Nov 25 11:31:40 2008
From: areces at pluton.loria.fr (Carlos Areces)
Date: Tue, 25 Nov 2008 11:31:40 +0100
Subject: [HyLo09] First Call for Papers
Message-ID: <200811251031.mAPAVeUj010035@pluton.loria.fr>
***************************************************************
Please excuse for multiple posts
and distribute as widely as possible
***************************************************************
FIRST CALL FOR PAPERS
International Workshop on Hybrid Logic 2009 (HyLo 2009)
"Conmemorating the Ten Years of HyLo"
http://hylo.loria.fr/content/Hylo02
15 - 17 July, 2007
Nancy, France
***************************************************************
WORKSHOP PURPOSE:
Hybrid logic is a branch of modal logic allowing direct reference
to worlds/times/states. It is easy to justify interest in hybrid
logic on the grounds of applications, as the additional expressive
power is very useful. In addition, hybrid-logical machinery
improves the behaviour of the underlying modal formalism. For
example, it becomes considerably simpler to formulate modal proof
systems, and one can prove completeness and interpolation results
of a generality that is not available in orthodox modal logic.
But more generally, the topic of HyLo 2009 is not only standard
hybrid-logical machinery (like nominals, satisfaction operators,
binders, etc) but also extensions of modal logic that increase
its expressive power in one way or other.
HyLo 2009 will be an special event, conmemorating the ten years
since the organization of the first HyLo workshop in 1999.
HyLo 2009 will be relevant to a wide range of people, including
those interested in description logic, feature logic, applied
modal logics, temporal logic, and labelled deduction. The workshop
continues a series of previous workshops on hybrid logic. The
workshop aims to provide a forum for advanced PhD students and
researchers to present and discuss their work with colleagues and
researchers.
For more general background on hybrid logic, and many of the key
papers, see the Hybrid Logics homepage (http://hylo.loria.fr/).
SUBMISSION DETAILS:
We invite the contribution of papers reporting new work from
researchers interested in hybrid logic. Details about the submission
procedure will be announced in the second call for papers. The accepted
papers will appear in the workshop proceedings, and selected papers
will be included in a special volume to conmemorate the 10th aniversary
of the first Hybrid Logic Workshop.
One author for each accepted paper must attend the workshop in order to
present the paper.
INVITED SPEAKERS:
To be announced
ORGANIZERS:
Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr)
Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr)
PROGRAM COMMITTEE:
Carlos Areces (INRIA Nancy Grand Est, co-chair)
Patrick Blackburn (INRIA Nancy Grand Est, co-chair)
Thomas Bolander (Technical University of Denmark)
Torben Brauner (Roskilde University)
Stephane Demri (LSV Cachan)
Santiago Figueira (University of Buenos Aires)
Valentin Goranko (University of the Witwatersrand)
Ian Hodkinson (Imperial College London)
Ulrike Sattler (University of Manchester)
Thomas Schneider (University of Manchester)
Balder ten Cate (University of Amsterdam)
IMPORTANT DATES:
Deadline for submissions: Sunday, 1st March 2009
Notification of acceptance: Monday, 30th of April 2009
Deadline for final versions: Friday, 1st of May 2009
Workshop dates: 15 to 17 July, 2007
FURTHER INFORMATION: http://hylo.loria.fr/content/Hylo09
From qapl09 at tcs.inf.tu-dresden.de Tue Nov 25 12:38:29 2008
From: qapl09 at tcs.inf.tu-dresden.de (QAPL 2009)
Date: Tue, 25 Nov 2008 12:38:29 +0100
Subject: QAPL 2009 Call for Papers
Message-ID: <492be3b5.YFsWGk0xRohMzKzM%qapl09@tcs.inf.tu-dresden.de>
******************************************************************************
[Apologies for multiple copies]
*******************************************************************************
Second CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming
Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK
http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/
*******************************************************************************
SCOPE:
Quantitative aspects of computation are important and sometimes essential in
characterising the behavior and determining the properties of systems. They
are related to the use of physical quantities (storage space, time, bandwidth,
etc.) as well as mathematical quantities (e.g. probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design, semantics)
and the methodologies and tools for the analysis and verification of system
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either directly in the
model or as a tool for the analysis of systems. In particular, the workshop
focuses on:
* the design of probabilistic, real-time, quantum languages and the
definition of semantical models for such languages
* the discussion of methodologies for the analysis of probabilistic and
timing properties (e.g. security, safety, schedulability) and of other
quantifiable properties such as reliability (for hardware components),
trustworthiness (in information security) and resource usage
(e.g., worst-case memory/stack/cache requirements)
* the probabilistic analysis of systems which do not explicitly incorporate
quantitative aspects (e.g. performance, reliability and risk analysis)
* applications to safety-critical systems, communication protocols, control
systems, asynchronous hardware, and to any other domain involving
quantitative issues
TOPICS:
Topics include (but are not limited to) probabilistic, timing and general
quantitative aspects in: Language design, Information systems, Asynchronous HW
analysis, Language extension, Multi-tasking systems, Automated reasoning,
Language expressiveness, Logic, Verification, Quantum languages, Semantics,
Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
Program analysis, Risk and hazard analysis, Coordination models, Protocol
analysis, Scheduling theory, Distributed systems, Model-checking, Security,
Biological systems, Concurrent systems, ...
INVITED SPEAKER:
* Vincent Danos, Universite Paris Diderot - Paris 7, France.
* Jane Hillston, University of Edinburgh, UK.
SUBMISSIONS:
In order to encourage participation and discussion, this workshop solicits two
types of submissions - regular papers and presentations:
1. Regular paper submissions must be original work, and must not have been
previously published, nor be under consideration for publication
elsewhere. Regular paper submission must not exceed 15 pages, possibly
followed by a clearly marked appendix which will be removed for the
proceedings and contains technical material for the reviewers.
2. A presentation reports on recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as for previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognized conference, or which has not yet been submitted. The (extended)
abstract of presentation submissions should not exceed 4 pages.
All submissions must be in PDF format and use the ENTCS style files.
Submissions can be made on the following website:
www.easychair.org/conferences/?conf=qapl09
The program co-chairs can be contacted at:
qapl09chairs at tcslist.inf.tu-dresden.de
The workshop PC will review all submissions of both types to select appropriate
ones for acceptance in each category, based on their relevance, merit,
originality, and technical content. The authors of the accepted submissions of
both types are expected to present and discuss their work at the workshop.
Negotiations are ongoing about publishing the proceedings in Elsevier's ENTCS.
Publication of a selection of the papers in a special issue of a journal is
under consideration.
For regular papers:
Submission (title + abstract): December 18, 2008
Submission (regular paper): December 20, 2008
Notification: January 28, 2009
Final version (ETAPS proceedings): February 2, 2009
Final version (ENTCS proceedings): TBA
For presentations:
Submission: January 28, 2009.
Notification: January 31, 2009.
ORGANIZATION:
PC Chairs:
* Alessandra Di Pierro, University of Verona, Italy
* Christel Baier, University of Dresden, Germany.
Program Committee:
* Alessandro Aldini, University of Urbino, Italy
* Christel Baier, University of Dresden, Germany
* Nathalie Bertrand, IRISA/INRIA Rennes, France
* Patricia Bouyer, Oxford University, UK
* Jeremy Bradley, Imperial College London, UK
* Tomas Brazdil, Masaryk University, Czech Republic
* Flavio Corradini, University of Camerino, Italy
* Josee Desharnais, University of Laval, Canada
* Alessandra Di Pierro, University of Verona, Italy
* Maurizio Gabbrielli, University of Bologna, Italy
* Marcus Groesser, Technical University Dresden, Germany
* Cosimo Laneve, University of Bologna, Italy
* Mieke Massink, NR-ISTI Pisa, Italy
* Paulo Mateus, Technical University of Lisbon, Portugal
* Annabelle McIver, Maquarie University, Australia
* Gethin Norman, Oxford University, UK
* Jeremy Sproston, University of Torino, Italy
* Franck van Breugel, York University, Toronto, Canada
* Herbert Wiklicky, Imperial College London, UK
From tkutsia at risc.uni-linz.ac.at Tue Nov 25 13:56:15 2008
From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia)
Date: Tue, 25 Nov 2008 13:56:15 +0100
Subject: CFP: ISSAC 2009
Message-ID: <20081125125615.GA15496@risc.uni-linz.ac.at>
CALL FOR PAPERS ISSAC 2009
International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
Seoul, Korea, July 28-31, 2009
http://issac2009.kias.re.kr/
The 2009 International Symposium on Symbolic and Algebraic Computation
(ISSAC) is the 34th meeting in a series of conferences, begun in 1966 and held
annually since 1981 in North America, Europe and Asia, for original research on
all aspects of symbolic computation. Following tradition, ISSAC 2009 will have
presentations of accepted research papers, invited talks, poster sessions,
tutorial courses, software demonstrations, and company exhibits.
IMPORTANT DATES
Paper submission deadline is Saturday, Jan. 17, 2009, 23:59 EST [+7 days
extension]
Notification of Acceptance/rejection: no later than Monday, March 30, 2009.
CONFERENCE TOPICS
All topics covered traditionally by ISSAC including
all of computer algebra
algebraic methods in computational geometry and in theorem proving
the computer science of creating software for doing mathematics
Applications of symbolic computation to
the natural sciences, life science, engineering, education, and others
For more details, see, e.g., the TOC in the Computer Algebra Handbook
URL: http://issac2009.kias.re.kr/cah_toc.pdf
In addition and not exclusively, applications of symbolic computation to
new models of computation (e.g., quantum computation, origami mathematics)
algebraic statistics
Certification of numerical results by symbolic computation
Implementation of symbolic computation systems on compact and mobile devices.
CONFERENCE OFFICERS
Jeremy Johnson, Drexel U., USA and Hyungju Park, KIAS, Korea, General Co-Chairs
Erich Kaltofen, NCSU, USA, Program Committee Chair
Program Committee
Massimo Caboara, U. Pisa, Italy Siegfried Rump, TUHH, Germany
Gene Cooperman, Northeastern U., USA Bruno Salvy, INRIA, France
Mark Giesbrecht, U. Waterloo, Canada Carsten Schneider, RISC, Austria
Jaime Gutierrez, U. Cantabria, Spain Kiyoshi Shirayanagi, Tokai U., Japan
Weidong Liao, Shepherd U., USA Elena Smirnova, Texas Instruments, USA
Scott McCallum, Macquarie U., Australia Volker Sorge, U. Birmingham, UK
Kosaku Nagasaka, Kobe U., Japan Adam Strzebonski, Wolfram Research,
USAClement Pernet, U. Washington, USA Stephen Watt, U. Western Ontario,
Canada
/ U. Grenoble I, France Franz Winkler, RISC, Austria
Markus Rosenkranz, RICAM, Austria Min Wu, East China Normal U., China
SUBMISSION INSTRUCTIONS
Papers must contain original research and not duplicate work published or
submitted for publication elsewhere. Papers will be reviewed by the Program
Committee and external referees. Proceedings will be distributed at ISSAC
2009. Papers must be written in English and should not exceed 8 pages in ACM's
Proceedings style http://www.acm.org/sigs/publications/proceedings-templates,
which is about 20 to 22 pages in LaTeX 12pt article style. If necessary,
submissions can have an appendix that may be read by the reviewers and PC
Members, but that is not considered part of the Proceedings paper.
Papers are exclusively submitted via
http://www.easychair.org/conferences?conf=issac2009
We expect that at least one author of each accepted paper attends ISSAC 2009
and presents her or his paper.
REPEATING DATES
Submit by Jan. 24, 23:59 EST; accept/reject by Mar. 30; Conf. Jul. 28-31,
2009.
From clu at tcs.inf.tu-dresden.de Tue Nov 25 17:01:00 2008
From: clu at tcs.inf.tu-dresden.de (Carsten Lutz)
Date: Tue, 25 Nov 2008 17:01:00 +0100
Subject: TIME 2009 Call for Papers
Message-ID:
TIME 2009 Call for Papers
Sixteenth International Symposium on
Temporal Representation and Reasoning
Brixen, Italy, July 23-25, 2009
http://www.inf.unibz.it/krdb/events/time-2009/
The TIME symposium series is a well-established annual event that
brings together researchers from all areas of computer science that
involve temporal representation and reasoning. This includes, but is
not limited to, artificial intelligence, temporal databases, and the
verification of software and hardware systems. In addition to fostering
interdisciplinarity, the TIME symposia emphasize bridging the gap
between theoretical and applied research.
TIME 2009 encompasses three tracks, but has a single program
committee. The conference will span three days, and will be organized
as a combination of technical paper presentations, poster sessions,
and keynote lectures.
* IMPORTANT DATES
Abstract Submission: April 6
Paper Submission: April 9
Paper Notification: May 11
Camera Ready Copy Due: May 22
TIME 2009 Symposium: July 23-25
* TOPICS
Track 1: Temporal Representation and Reasoning in AI
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
Track 2: Temporal Database Management
- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of workflow and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- novel applications of temporal database management
- experiences with real applications
Track 3: Temporal Logic and Verification in Computer Science
- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security
* PAPER SUBMISSION
Submissions of high quality papers describing research results or
on-going work are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere.
Submitted papers will be refereed by at least three reviewers for
quality, correctness, originality, and relevance. Accepted papers will
be presented at the symposium and included in the proceedings, which
will be published by the IEEE Computer Society Press. Acceptance of a
paper is contingent on one author presenting the paper at the
symposium.
Submissions should be in PDF format (with the necessary fonts
embedded). They must be formatted according to the IEEE guide-
lines described at
ftp://pubftp.computer.org/press/outgoing/
proceedings/8.5x11 - Formatting files/
and must not exceed 8 pages; over-length submissions may be
rejected without review.
Papers are submitted electronically via Easychair:
http://www.easychair.org/conferences/?conf=time2009
* CONFERENCE OFFICERS
General Chair:
David Toman, University of Waterloo, Canada
Program Committee Chairs:
Carsten Lutz, University of Bremen, Germany
Jean-Francois Raskin, Free University of Brussels, Belgium
Organization Chair:
Alessandro Artale, Free University of Bozen-Bolzano, Italy
* PROGRAM COMMITTEE
Peter van Beek, University of Waterloo, Canada
Claudio Bettini, University of Milan, Italy
Thomas Brihaye, University of Mons-Hainaut, Belgium
Franck Cassez, National ICT Australia
Jan Chomicki, University at Buffalo, USA
Carlo Combi, University of Verona, Italy
Alessandro Cimatti, IRST, Italy
Stephane Demri, CNRS, France
Bernd Finkbeiner, Saarland University, Germany
Michael Fisher, Liverpool, UK
Tim French, University of Western Australia, Australia
Antony Galton, University of Exeter, UK
Alfonso Gerevini, University of Brescia, Italy
Valentin Goranko, University of Witwatersrand, South Africa
Rajeev Gore, ANU, Australia
Keijo Heljanko, Helsinki University of Technology, Finland
Ian Hodkinson, Imperial College, UK
Ulrich Hustadt, University of Liverpool, UK
George Kollios, Boston University, USA
Orna Kupferman, Hebrew University, Israel
Francois Laroussinie, CNRS, France
Salvatore Latorre, University of Salerno, Italy
Nicolas Markey, CNRS, France
Rupak Majumdar, University of California, USA
Angelo Montanari, University of Udine, Italy
Madhusudan Parthasarathy, University of Illinois, USA
Ian Pratt-Hartmann, Manchester University, UK
Jochen Renz, Australian National University, Australia
Roger Villemaire, UQAM, Canada
Sean Wang, University of Vermont, USA
Jef Wijsen, University of Mons-Hainaut, Belgium
Ouri Wolfson, University of Illinois, USA
Pierre Wolper, University of Liege, Belgium
Frank Wolter, University of Liverpool, UK
James Worrell, Oxford University, UK
Michael Zakharyaschev, Birkbeck College, UK
Carlo Zaniolo, University of California, USA
* FURTHER INFORMATION
Questions related to submission, reviewing, and program:
time09 at informatik.uni-bremen.de
Questions related to local organization:
artale at inf.unibz.it
From tc at cs.bath.ac.uk Wed Nov 26 04:11:46 2008
From: tc at cs.bath.ac.uk (Tom Crick)
Date: Wed, 26 Nov 2008 03:11:46 +0000
Subject: Final Call for Participation: EUMAS 2008
Message-ID: <492CBE72.2060100@cs.bath.ac.uk>
***Apologies for multiple copies***
***********************************************************
CALL FOR PARTICIPATION
Sixth European Workshop on Multi-Agent Systems (EUMAS 2008)
University of Bath, Bath, UK
18th--19th December 2008
http://eumas08.cs.bath.ac.uk/
*** registration closes on 30th November! ***
***********************************************************
OVERVIEW
EUMAS 2008 is the sixth edition of the EUMAS meeting series that
started in Oxford in 2003. This year's meeting retains the traditions
of past events with a focus on student presentation, early results and
re-presentation of recent conference papers.
We are pleased to report there were 71 submissions this year, of which
42 were accepted for full presentations and 12 for short presentations
(overall acceptance rate of 76%). A programme schedule is available
here: http://eumas08.cs.bath.ac.uk/schedule/.
Co-located with EUMAS 2008, the sixth Agent Technical Fora will run on
the day prior to the meeting (Wednesday 17th December). Two fora have
been announced: "Agent-Oriented Software Engineering" (AOSE) and
"Self-Organisation in MAS" (SELFORG). The registration deadline is 10th
December 2008; further information is available from
http://eumas08.cs.bath.ac.uk/tfg/.
LOCATION
The City of Bath is a UNESCO World Heritage site located in the
south-west of England. Founded by the Romans as a thermal spa, Bath
became an important centre of the wool industry in the Middle Ages. In
the 18th century, under King George III, it developed into an elegant
town with neo-classical Palladian buildings, which blend harmoniously
with the Roman baths.
The University of Bath campus is situated in the hills surrounding the
city and is a leading UK university with an international reputation
for teaching quality and research. Further information about the
University of Bath, how to get here and finding your way around is
available from http://www.bath.ac.uk/getting-here/.
Bath can be easily reached by road, train or air. For international
participants, Bath is best served by either Bristol International
Airport or London Heathrow; we advise strongly against using any of
the other London airports.
REGISTRATION
Registration is open for EUMAS 2008 and information is available
online at:
http://eumas08.cs.bath.ac.uk/registration/
Registration is open until *30th November*. Your registration fee
includes: the electronic proceedings, a ticket for the welcome reception
at the Roman Baths, a ticket for the evening banquet, lunch and
refreshments on both days of the workshop (and accommodation on
Wednesday 17th and Thursday 18th Dec, if selected). Reduced
registration fees are available for students.
Thanks to sponsorship from the Engineering and Physical Science
Research Council (EPSRC), we can offer a limited number of student
bursaries. Please note that only EPSRC-funded students are eligible
for these bursaries. If you are in receipt of an EPSRC studentship,
and wish to apply, please consult the website for further details.
These bursaries will be allocated on a first-come, first-served basis.
CONTACT DETAILS
EUMAS 2008 Organisation
Department of Computer Science
University of Bath
Bath BA2 7AY
UK
Fax: +44 (0)1225 383493
Email: eumas08 at cs.bath.ac.uk
IMPORTANT DATES
Registration closes: ***30th November 2008***
Technical Forum Group registration: 10th December 2008
Technical Forum Group meetings: 17th December 2008
EUMAS 2008 workshop: 18th/19th December 2008
OFFICIALS
General Chair
Julian Padget, University of Bath, UK
Program Chair
Franziska Klugl, Orebro University, Sweden
Local Organisation
Marina De Vos, University of Bath, UK
Julian Padget, University of Bath, UK
Publicity/Web
Tom Crick, University of Bath, UK
Owen Cliffe, University of Bath, UK
TF6 Forum Chairs (tf6-chair at irit.fr)
Marie-Pierre Gleizes, IRIT, Université Paul Sabatier, Toulouse, France
Massimo Cossentino, ICAR-CNR, National Research Council, Italy
Michael Luck, King’s College London, UK
Rubén Fuentes, Universidad Complutense Madrid, Spain
From simon.miles at kcl.ac.uk Wed Nov 26 14:23:57 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Wed, 26 Nov 2008 13:23:57 +0000
Subject: IFAAMAS-08 Victor Lesser Distinguished Dissertation Award
Message-ID:
Call for IFAAMAS-08 Victor Lesser Distinguished Dissertation Award nominations
Nominations are invited for the 2008 Victor Lesser Distinguished
Dissertation Award sponsored by IFAAMAS, the International Foundation
for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org).
This award includes a certificate signed by the IFAAMAS Chair and
1500EUR. Eligible doctoral dissertations are those defended between
January 1, 2008 and December 31, 2008 in the area of Autonomous Agents
or Multiagent Systems.
The originality, significance, and real or potential impact of the work.
Evidence of such impact may come from existing pre- or post-defense
publications of the work at highly selective conferences and journals,
and/or from comments of the supervisor and references. Work that
resulted primarily from the student's initiative will be considered
more favourably. The selection committee will be the final arbiter in
the decision process. The selection committee might decide to consult
external assessors and reserves the right not to award the prize if
the nominations do not meet the expected quality level.
The dissertation must be nominated by the thesis supervisor and must
be supported by the following documents:
*A.* A pdf file of the dissertation. If the dissertation is not
written in English, the nomination must include a long paper in
English, with the nominee as the first author, published in a journal
or a prestigious conference.
*B.* A list of citations to published papers based primarily on work
reported in the dissertation with links to corresponding pdf files.
*C.* A recommendation from the supervisor nominating the dissertation
for the IFAAMAS-08 Victor Lesser Distinguished Dissertation Award. The
recommendation should argue the merit of the dissertation and
highlight, where relevant, how the work resulted from the initiative
of the student. This document, not to exceed 500 words, should also
certify the eligibility of the PhD by asserting that the PhD was
defended in calendar year 2008.
*D.* Up to three reference letters of no more than 500 words in
length, signed and scanned as pdf files, from researchers familiar
with the research of the candidate and with related research
expertise.
These documents must be placed on a web page and only a link to this
page e-mailed to the chair of the selection committee, Makoto Yokoo,
at yokoo at is.kyushu-u.ac.jp on or
before February 13, 2009.
Though the nomination is to be submitted by the student's supervisor,
it is assumed that the student has consented that the dissertation be
considered for this award and, if selected, commits to attend the
AAMAS09 conference where he/she will receive the award and will give
an hour-long presentation on this work in a special session. The cost
of attending the conference is not covered by the award.
Selection committee:
Vincent Conitzer
Les Gasser
Radu Jurca
Sarit Kraus
Sandip Sen
Makoto Yokoo (Chair)
--
Dr Simon Miles
Agents and Intelligent Systems Group
Department of Computer Science
Kings College London, UK
From adrian.paschke at gmx.de Wed Nov 26 19:22:16 2008
From: adrian.paschke at gmx.de (Adrian Paschke)
Date: Wed, 26 Nov 2008 19:22:16 +0100
Subject: CFP: 3rd International Conference on Adaptive Business Information Systems (ABIS 2009)
In-Reply-To: <000001c8304c$d356fbc0$a50f9b86@informatik.unimannheim.de>
References: <000001c8304c$d356fbc0$a50f9b86@informatik.unimannheim.de>
Message-ID: <026701c94ff3$fbb85a60$f3290f20$@paschke@gmx.de>
Dear Colleagues,
This is a kind reminder the deadline for submission (5 December 2008) is ten
days away.
3rd International Conference on Adaptive Business Information Systems (ABIS
2009), Leipzig, Germany, 23-25 March 2009
http://siwn.org.uk/2009leipzig/CfP_ABIS09.pdf
Next year in March the European SIWN roof conference (see
http://siwn.org.uk/2009leipzig/), which
hosts ABIS 2009, will take place in Leipzig together with the SABRE
conference (see
http://sabreconference.wifa.uni-leipzig.de/frontend/index.php). Moreover,
that year will be the 600 anniversary of Leipzig University. Thus, after a
series of successful ABIS conferences the 3rd ABIS 2009 (
http://siwn.org.uk/2009leipzig/ABIS09.htm) will be something very special.
Papers of the conference will be published in the International Journal
Communications of SIWN (CoSIWN) (ISSN 1757-4439).
Please find attached the CFP for the 3rd International Conference on
Adaptive Business Information Systems (ABIS'09). Please consider submitting
a paper and forward the CFP to your interested colleagues.
Thanks,
Adrian Paschke
[ our apologies should you receive this message more than one time ]
3rd International Conference on
Adaptive Business Information Systems
Leipzig, Germany, 23-25 March
http://siwn.org.uk/2009leipzig/ABIS09.htm
Call for Papers
Second SIWN Congress (SIWN 2009)
collocated with
SOFTWARE, AGENTS, AND SERVICES FOR BUSINESS, RESEARCH, AND E-SCIENCES (SABRE
2009)
============================================================
Papers of the conference will be invited to publish
their revised versions in a journal issue of the
International Journal Communications of SIWN
(CoSIWN) (ISSN 1757-4439)
============================================================
Overview
--------
Information Technologies in their broad sense have been profoundly changing
the ways, the processes and the philosophies of businesses. Adaptive
business applications support processes whose workflows, user interfaces and
business rules often change. The need for these dynamic applications is
greater now than ever before and business systems in every perspective,
management, workflow, information, infrastructure, etc. are evolving
themselves towards being autonomic, adaptive, self-managing,
self-organizing, and so forth. Emerging technologies such business rules
management systems, complex event processing engines, event-driven business
process management tools, corporate semantic web technologies, etc. are now
gaining increasing momentum as they promise enhanced adaptive and agility
capabilities to businesses, in order to sense unexpected environmental
changes and to respond to business opportunities or to avoid business risks
that turn up in a turbulent and quickly changing business environment.
ABIS 2009 aims to provide a premier forum for stimulating exchange and
in-depth discussion of advances, challenges and emerging areas in adaptive
business information systems.
Conference Venue
------------------------
Next year in March the European SIWN 2009 roof conference (see
http://siwn.org.uk/2009leipzig/), which
hosts ABIS'09 (http://siwn.org.uk/2009leipzig/ABIS09.htm), will take place
in Leipzig together with the SABRE 2009 conference (see
http://sabreconference.wifa.uni-leipzig.de/frontend/index.php). Moreover,
that year will be the 600 anniversary of Leipzig University.
Thus, after a series of successful ABIS conferences the 3rd ABIS'09 will be
something very special and collocated with several other conferences and
events.
Deadlines
---------
05 December 2008 Submission of manuscripts
05 January 2009 Notification of acceptance
01 February 2009 Camera-Ready Version (CRV) & Presentation files due
23-25 March 2009 Conferences
Topics of Interest
------------------
Topics of particular interest include (but not limited to) the followings.
(1) Enterprise Information / Management Systems
- business process integration
- business process management
- agile business process management
- event-driven business process management
- business rules and rule-based approaches for the business
- enterprise resource planning
- corporate semantic web
- enterprise workflow management
- inventory / warehouse management
- management information systems
- manufacturing resource planning
- material requirement planning
- product data management
- product life cycle management
- production and operation management
- production planning and control
- total quality management
- business / IT service management and governance
(2) Business Collaboration
- business coalition
- business partnership
- coalition formation
- collaborative e-business
- agent-based e-business
- enterprise federation
- enterprise integration
- global enterprise
- global information systems
- inter-enterprise transaction and workflow management
- inter-organizational systems
- corporate semantic web collaboration systems
- knowledge network and management
- virtual / networked enterprises
- workflow interoperation
(3) Supply Chains and Logistics
- cooperation of supply chains
- coordination / optimization in supply chains
- customer / supplier relationship management
- demand chain management
- e-logistics
- global supply networks
- inventory management in supply chains
- logistics and transportation systems
- modeling of supply chains
- multi-agent negotiations in supply chains
- supply chain design and performance evaluation
- supply chain dynamic formation
- supply chain management
(4) E-Business
- agent mediated auction mechanisms
- agent mediated bidding and negotiation
- agent-mediated e-commerce
- business rules in e-business
- authentication / privacy / security in e-business
- B2B, B2C, C2C models
- e-banking
- e-bidding and e-negotiation
- e-business design and developments
- e-business process modeling, integration, and monitoring
- e-business security, trust and privacy
- e-commerce
- e-commerce content management
- electronic data interchange
- e-marketing and e-advertising
- e-marketplaces
- e-payment
- e-taxation
- e-work
- global e-business
- mobile commerce
(5) Business Intelligence
- artificial neural networks / evolutionary computation in business
- data mining in business
- group decision systems in business
- information retrieval in business
- intelligent agents in business
- intelligent decision support systems in business
- knowledge based / expert systems in business
- knowledge management and ontology in business
- machine learning in business
- multi-linguistic user interfaces in business
- natural language processing in business
- particle swarm optimization / ant colony optimization in business
- corporate semantic web in business
- soft computing / fuzzy logic in business
- swarm / collective / social intelligence in business
(6) On-Demand Business
- adaptive business
- adaptive enterprises
- agile business
- agile enterprise
- business adaptation / evolution
- business process re-engineering
- emergent enterprise
- enterprise re-engineering
- holonic enterprise
- on-demand e-business
- utility computing
- service oriented computing
- re-configurable enterprises
- re-configurable / agile / holonic manufacturing system
- responsive business
- responsive enterprise
- self-configuration of enterprise systems
- self-organized production system
- self-organizing business
- self-organizing enterprises
(7) Information Infrastructures of Businesses
- complex event processing
- business rules and rule-based approaches
- distributed object systems
- e-business applications and integration
- electronic data interchange
- enterprise (distributed) computing
- enterprise applications interoperability
- enterprise applications integration
- enterprise collaborative computing
- corporate semantic web and business ontologies
- enterprise distributed intelligence
- enterprise Grid computing
- enterprise internet
- enterprise middleware
- enterprise portals
- enterprise service bus
- event-driven architectures
- enterprise service oriented architectures
- enterprise web services
- enterprise XML
Type of contributions and instructions
-----------------------------------------------------
ABIS 2009 Technical Committee seeks original contributions in all areas of
Adaptive Business Information Systems.
Submissions must be original contributions that neither have been published
nor have been under review for publication elsewhere. All submissions must
be in English and no more than 7 pages in the format specified in the
Instructions for Authors, which are available on
http://siwn.org.uk/press/ita.htm.
To submit a paper, a file in pdf format containing the manuscript of
submission must be uploaded to the ABIS 2009 submission website at
http://www.easychair.org/conferences/?conf=abis09
All manuscripts submitted will be sent to 3 members of the International
Technical Program Committees of the Conferences for peer reviews and
assessed according to the technical merits and presentation, on which the
acceptance decision will be based.
Accepted papers will be included in the CD-ROM Proceedings of SIWN 2009,
which will be available for participants at the Conferences to promote the
widest exchange and dissemination at the Conferences.
Accepted papers of the conference will be invited to publish their revised
versions in the international journal <> (CoSIWN,
http://siwn.org.uk/cosiwn/) (ISSN 1757-4439)
after the conference. Details can be seen on the SIWN 2009 website.
Proposals of workshops, invited sessions and tutorials on emerging areas are
welcome. Please discuss your proposals with Prof. Dr. Adrian Paschke, the
Chair of ABIS 2009 Technical Committee (abis09 at easychair.org).
Organizing Committee
-------------------------------------
Adrian Paschke, Program Chair
Corporate Semantic Web, Free University Berlin, Germany
Heinz Juergen Mueller, Publicity Chair
Berufsakademie Mannheim, Germany
Program Committee
-----------------------------
+ Esma Aimeur, Université de Montréal, CA
+ Soeren Auer, University Leipzig, Germany
+ Matteo Baldoni, University of Torino, Italy
+ Claudio Bartolini, HP Labs, USA
+ Paul Buhler, College of Charleston, USA
+ Luis M. Camarinha-Matos, New University of Lisbon, Portugal
+ Jorge Cuellar, Siemens Corporate Research, Germany
+ Jiangbo Dang, Siemens Corporate Research, Germany
+ Marlon Dumas, University of Tartu, Estonia
+ Schahram Dustdar, TU Wien, Vienna
+ Agata Filipowska, Poznan University of Economics, Poland
+ Rony G. Flatscher, Wirtschaftsuniversitaet Wien, Austria
+ Dragan Gasevic, Simon Fraser University, Canada
+ Adrian Giurca, Technical University of Cottbus, Germany
+ Robert Golan, DB Mind, USA
+ Jaap Gordijn, Vrije Universiteit, NL
+ Dominic Greenwood, Whitestein Technologies AG, USA
+ Steven Guan, Xian Jiatong-Liverpool University, China
+ Oliver Guenther, HU Berlin, Germany
+ Ulrich Hasenkamp, Uni Marburg, Germany
+ Christian Huemer, Vienna University of Technology, Austria
+ Herbert Kopfer, Uni Bremen, Germany
+ Kyriakos Kritikos, ICS-FORTH, Greece
+ Leora Morgenstern, IBM, US
+ Gero Muehl, TU Berlin, Germany
+ Joerg Mueller, TU Clausthal, Germany
+ Dirk Neumann Albert-Ludwig University Freiburg, Germany
+ Volker Nissen, Technische Universitaet Ilmenau, Germany
+ Andreas Oberweis, Uni Karlsruhe, Germany
+ Alexander Pokahr, University of Hamburg, Germany
+ Dumitru Roman, STI / University Innsbruck, Austria
+ Graham Rong, MIT, USA
+ Kurt Sandkuhl, Jönköping University, Sweden
+ Matthias Schumann, Uni Goettingen, Germany
+ Michael Sheng, The University of Adelaide, Australia
+ Susanne Strahringer, TU Dresden, Germany
+ Vijay Sugumaran, Oakland University, USA
+ Kuldar Taveter, University of Melbourne, Australia
+ Vladimir Tosic, NICTA, Australia
+ Klaus Turowski, Uni Augsburg, Germany
+ Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
+ Hans Weigand, Tilburg University, Netherlands
+ Gerhard Weiss, Software Competence Center Hagenberg GmbH, Austria
+ Yingjie Yang, De Montfort University, UK
=====================================================================
In Co-operation with:
Corporate Semantic Web (http://www.corporate-semantic-web.de/) funded by
German Federal Ministry of Education and Research (BMBF) and the BMBF
Innovation Initiative for the New German Länder - Entrepreneurial Regions,
"InnoProfile
RuleML (http://www.ruleml.org/) Realize your knowledge
CITT ( http://www.citt-online.com/) - Centrum
für Informations-Technologie Transfer (CITT) GmbH
STI Berlin (www.stiberlin.de) Semantic Technology Institute Berlin
=====================================================================
Contact
Prof. Dr. Adrian Paschke
AG-CSW (Corporate Semantic Web)
Institute of Informatics
Free University Berlin
paschke at inf.fu-berlin.de
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From tkutsia at risc.uni-linz.ac.at Thu Nov 27 20:38:13 2008
From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia)
Date: Thu, 27 Nov 2008 20:38:13 +0100
Subject: CFA: Fourth Training School in Symbolic Computation
Message-ID: <20081127193813.GA29999@risc.uni-linz.ac.at>
[Apologies for multiple copies.]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% European Commission Framework 6 Programme %
% Integrated Infrastructures Initiatives %
% %
% Symbolic Computation in Europe (SCIEnce) %
% %
% %
% FOURTH TRAINING SCHOOL IN SYMBOLIC COMPUTATION %
% %
% June 29 - July 10, 2009 %
% RISC, Castle of Hagenberg, Austria %
% %
% http://www.risc.uni-linz.ac.at/projects/science/school %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The Research Institute for Symbolic Computation (RISC),
Johannes Kepler University of Linz, organizes the Fourth
RISC/SCIEnce Training School in Symbolic Computation, in
June 29 - July 10, 2009 in the Castle of Hagenberg, Austria.
The school gives an introduction to the field of symbolic
computation and provides training in selected symbolic
computation software and techniques for students and
researchers from various fields of sciences who are interested
in using symbolic computation in their work.
=====================
GRANTS ARE AVAILABLE!
=====================
The SCIEnce project provides a number of grants to potential
school participants. Please visit the school web page for
the details.
======================
LECTURES AND TUTORIALS
======================
* Abdallah Al Zain (Heriot-Watt University, Scotland, UK).
SymGrid-Par.
* Anna Bigatti (University of Genoa, Italy).
CoCoA Tutorial.
* Ralf Hemmecke (RISC, Austria).
Maple Tutorial.
* Sylla Lesseni (Technische Universit�t Berlin, Germany).
KANT/KASH Tutorial.
* Alexander Konovalov.
GAP Tutorial.
* Temur Kutsia (RISC, Austria).
Unification.
* Wolfgang Windsteiger (RISC, Austria).
Mathematica Tutorial.
* Franz Winkler (RISC, Austria).
Introduction to Gr�bner bases and other methods in
elimination theory.
(More courses to be announced)
===============
IMPORTANT DATES
===============
* February 23, 2009: Application deadline.
* March 16, 2009: Notification of acceptance.
* May 4, 2009: Registration.
* June 29�July 10, 2009: Training School.
=====================
APPLICATION PROCEDURE
=====================
http://www.risc.uni-linz.ac.at/projects/science/school/fourth/application.html
==================
SCHOOL COORDINATOR
==================
Temur Kutsia, RISC, Johannes Kepler University, Austria
kutsia at risc.uni-linz.ac.at
From simon.miles at kcl.ac.uk Thu Nov 27 14:05:35 2008
From: simon.miles at kcl.ac.uk (Simon Miles)
Date: Thu, 27 Nov 2008 13:05:35 +0000
Subject: AAMAS-09 2nd Call for Industry Track papers
Message-ID:
(apologies if you receive multiple copies of this call)
Second Call for Industry Track Papers
The Eighth International Joint Conference on
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09)
Budapest, Hungary
May 10-15, 2009
http://www.conferences.hu/AAMAS2009/
The AAMAS Conference Industry Track is dedicated to collect, present
and discuss contributions reporting on industrial and commercial
deployment of software agent technologies and their applications. If
you are working to commercialize agent technologies, or developing a
real-world applications based on the agent technologies, you are
coordially invited to submit papers on your current works, to help
people discuss the answer to some of the existing key questions:
* Which real-world applications can benefit of agent technology?
* What are the main challenges?
* How is autonomous agent and multi-agent systems research results
contributing to viable business?
* What are your experiences in developing real world impact for agent
technologies?
Novel papers in this general space are strongly encouraged. Topics of
interest include but are not limited to:
* Experiences gained from commercialization or commercialization attempts.
* Return on investment analysis of agent technologies.
* Insights into markets appropriate for agent technologies.
* Commercial application of agents.
* Application case studies.
* Agent applications for E-government.
* Agent applications for defense or aerospace.
* Agent applications for manufacturing, automation, and logistics.
* Agent applications for telecommunication, media and entertainment.
* Agent applications for health, smart living, ambient intelligence.
* Agent applications for bio-technology.
* Agent applications for telematics, monitoring and maintenance, and
surveillance.
* Agent applications for managing large scale infrastrctures.
* Other applications of agents, such as in the non-profit sector.
* Barriers to adoption or adoption facilitators.
What is the Industry Track?
---------------------------
The AAMAS Industry Track is a special track at the AAMAS conference
that runs in parallel with the regular AAMAS scientific track. The
track is dedicated to fostering commercial or real world, impact for
agent technologies. The track will feature presentations and
demonstrations from industrial and academia participants, giving them
an opportunity to showcase the state of the art in agent technology.
Accepted papers of the AAMAS Industry Track will be included in the
same electrical media (e.g. USB memory) with the main track papers.
Hard copies of the proceedings are also available with fee upon
request. The Industry Track aims to foster mutually beneficial links
between those engaged in foundational scientific research and those
working to make autonomous agents and multi-agent systems a commercial
reality.
How it will be refereed?
------------------------
The submission and reviewing processes for the AAMAS Industry Track
will be separated from that of the regular scientific track. Whereas
in the regular conference track the overriding refereeing criterion is
clearly scientific excellence, the Industry Track focuses primarily on
the industrial relevance and technological significance of the
contribution. Preference will be given to mature work demonstrating
concrete industrial/commercial results and business value.
Examples of an "ideal" paper might include:
* Significance of problem solved, user needs and use cases;
* Technology innovation, why agents are superior to other technologies;
* Business case, return of investment analysis;
* Deployment scale and adoption.
We discourage the submission of purely speculative papers or papers
whose primary contribution is scientific. Papers focusing on purely
scientific matters should be submitted to the regular conference
track, with Description Axis = "Applications". We want your applied
business experience with agent technologies.
Submissions
-----------
Papers should be submitted by email to industrial-track-chairs at aamas09.org
Instructions for the submission of The AAMAS Industrial and
Applications Track submissions:
Submitted papers should be formatted according to AAMAS
specifications. AAMAS style guides, as well as templates and style
sheets for Microsoft Word, WordPerfect, and LaTeX can be found here.
Papers must be 8 pages (regular paper) or 4 pages (short paper),
including figures and references, when formatted using the specified
style. Papers should be formatted for standard Letter paper size.
(i.e. not A4) Overlength papers will be rejected. Notification of
receipt of the electronic paper will be mailed to the first author (or
designated author) soon after receipt.
Please send the contact information and abstract of your paper by
plain text before December 7, 2008, midnight (UCT).
Last name:
First name:
Affiliation:
Address:
E-mail:
Keywords:
Abstract:
In addition to the above, authors are required to submit their
electronic papers. The only formats allowed for electronic submission
are PostScript or PDF (Adobe's Portable Document Format). Papers will
not be accepted in any other format (e.g., MS Word) because of
compatibility problems between software versions, machines, and
nationalities. However, we strongly encourage the submission in PDF
format. We cannot accept title pages or papers submitted by FAX.
Electronic paper submissions must arrive no later than:
December 14, 2008, midnight UCT.
Submissions received after this date will not be considered for review.
Policy on Multiple Submissions
------------------------------
The AAMAS 2009 Industry and Applications Track will not accept any
paper which, at the time of submission, is under review for or has
already been published or accepted for publication in a journal or
another conference. Authors are also expected not to submit their
papers elsewhere during the AAMAS review period. These restrictions
apply only to journals and conferences, not to workshops and similar
specialized presentations with a limited audience and no formal
proceedings.
Review process
--------------
Three Industry Track Program Committee members will review each paper.
The decision of the Program Committee Chairs will be final and cannot
be appealed. Accepted papers will be scheduled for presentation and
will be included in the Proceedings.
Notification of acceptance or rejection of submitted papers will be
mailed to the first author (or designated author) by January 23, 2009.
Note that at least one author of each accepted paper is required to
register and to attend the conference to present the work.
Dates and Instructions
----------------------
- Deadline for paper information December 7, 2008.
- Deadline for paper submission December 14, 2008.
- Notification of acceptance or rejection January 23, 2009
- Final versions due Approximately February 8, 2009.
For more information, contact the track co-chairs at
industrial-track-chairs at aamas09.org.
Track Co-Chairs
---------------
Jeff Bradshaw
Florida Institute for Human and Machine Cognition (IHMC), USA
Birgit Burmeister
Daimler AG Group Research, Germany
Akihiko Ohsuga
The University of Electro-Communications, Japan
Programme Committee
-------------------
Andrzej Uszok Florida Institute for Human and Machine
Cognition (IHMC), USA
Dominic Greenwood Whitestein Technologies, Switzerland
Gaku Yamamoto IBM, Japan
Giovanni Caire TelecomItalia, Italy
Hartwig Baumgärtel University of Applied Sciences Ulm, Germany
Ian Dickinson HP Laboratories, UK
James Odell CSC, USA
Jeffrey O. Kephart IBM Research, USA
Jeremy Baxter Qinetiq, UK
Jiming Liu Hong Kong Baptist University, Hong Kong
Maarten Sierhuis NASA, USA
Michael Berger DocuWare AG, Germany
Michael Kerstetter The Boeing Company, USA
Michael Pirker Siemens AG, Germany
Michal Pechoucek Gerstner Lab/Czech Technical University, Czech Republic
Monique Calisti Whitestein Technologies, Switzerland
Ning Zhong Maebashi Institute of Technology, Japan
Partha S Dutta Rolls-Royce plc, UK
Peter Göhner University Stuttgart, Germany
Satoru Fujita Hosei University, Japan
Satoshi Nishiyama NICT, Japan
Shigeo Matsubara Kyoto University, Japan
Shigeru Fujita Chiba Institute of Technology, Japan
Simon Thompson BT Innovate Intelligent Systems Research Centre,, UK
Stefan Kirn Universität Hohenheim, Germany
Sven Brückner NewVectors LLC, USA
Takahiro Kawamura Toshiba, Japan
Tarek Helmy King Fahd University of Petroleum and Mineral,
Saudi-Arabia
Toshiharu Sugawara Waseda University, Japan
--
Dr Simon Miles
Agents and Intelligent Systems Group
Department of Computer Science
Kings College London, UK
From tkutsia at risc.uni-linz.ac.at Thu Nov 27 20:18:47 2008
From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia)
Date: Thu, 27 Nov 2008 20:18:47 +0100
Subject: CFP: ISSAC 2009
Message-ID: <20081127191847.GA26939@risc.uni-linz.ac.at>
[Apologies for multiple copies.]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% European Commission Framework 6 Programme %
% Integrated Infrastructures Initiatives %
% %
% Symbolic Computation in Europe (SCIEnce) %
% %
% %
% FOURTH TRAINING SCHOOL IN SYMBOLIC COMPUTATION %
% %
% June 29 - July 10, 2009 %
% RISC, Castle of Hagenberg, Austria %
% %
% http://www.risc.uni-linz.ac.at/projects/science/school %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The Research Institute for Symbolic Computation (RISC),
Johannes Kepler University of Linz, organizes the Fourth
RISC/SCIEnce Training School in Symbolic Computation, in
June 29 - July 10, 2009 in the Castle of Hagenberg, Austria.
The school gives an introduction to the field of symbolic
computation and provides training in selected symbolic
computation software and techniques for students and
researchers from various fields of sciences who are interested
in using symbolic computation in their work.
=====================
GRANTS ARE AVAILABLE!
=====================
The SCIEnce project provides a number of grants to potential
school participants. Please visit the school web page for
the details.
======================
LECTURES AND TUTORIALS
======================
* Abdallah Al Zain (Heriot-Watt University, Scotland, UK).
SymGrid-Par.
* Anna Bigatti (University of Genoa, Italy).
CoCoA Tutorial.
* Ralf Hemmecke (RISC, Austria).
Maple Tutorial.
* Sylla Lesseni (Technische Universit�t Berlin, Germany).
KANT/KASH Tutorial.
* Alexander Konovalov.
GAP Tutorial.
* Temur Kutsia (RISC, Austria).
Unification.
* Wolfgang Windsteiger (RISC, Austria).
Mathematica Tutorial.
* Franz Winkler (RISC, Austria).
Introduction to Gr�bner bases and other methods in
elimination theory.
(More courses to be announced)
===============
IMPORTANT DATES
===============
* February 23, 2009: Application deadline.
* March 16, 2009: Notification of acceptance.
* May 4, 2009: Registration.
* June 29�July 10, 2009: Training School.
=====================
APPLICATION PROCEDURE
=====================
http://www.risc.uni-linz.ac.at/projects/science/school/fourth/application.html
==================
SCHOOL COORDINATOR
==================
Temur Kutsia, RISC, Johannes Kepler University, Austria
kutsia at risc.uni-linz.ac.at
From areces at pluton.loria.fr Fri Nov 28 19:11:19 2008
From: areces at pluton.loria.fr (Carlos Areces)
Date: Fri, 28 Nov 2008 19:11:19 +0100
Subject: ACKERMANN AWARD 2009: CALL FOR NOMINATIONS
Message-ID: <200811281811.mASIBJKI027486@pluton.loria.fr>
=========================================================================
ACKERMANN AWARD 2009 - THE EACSL OUTSTANDING
DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
* Eligible for the 2009 Ackermann Award are PhD dissertations in topics
specified by the EACSL and LICS conferences, which were formally
accepted as PhD theses at a university or equivalent institution
between 1.1.2007 and 31.12. 2008.
* The deadline for submission is 15.3.2009.
* Submission details are available at
www.dimi.uniud.it/eacsl/award.html
www.cs.technion.ac.il/eacsl
* The award consists of
- a diploma,
- an invitation to present the thesis at the CSL conference,
- the publication of the abstract of the thesis and the laudation
in the CSL proceedings,
- travel support to attend the conference.
* The 2009 Ackermann Award will be presented to the recipients at the
annual conference of the EACSL (CSL'09).
* The jury consists of nine members:
- The president of EACSL, J. Makowsky (Haifa);
- The borad-member of EACSL, A. Dawar (Cambridge);
- One member of the LICS organizing committee, G. Plotkin (Edinburgh);
- P.-L. Curien (Paris)
- A. Durand (Paris)
- J. van Benthem (Amsterdam)
- M. Grohe (Berlin);
- M. Hyland (Cambridge);
- A. Razborov (Moscow and Princeton).
* The jury is entitled to give more than one award per year.
* The previous Ackermann Award recipients were:
2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
2006: Stefan Milius and Balder ten Cate;
2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang.
2008: Krishnendu Chatterjee
* For the three years 2007-2009,
the Award is sponsored by Logitech, S.A., Romanel, Switzerland,
the worlds leading provider of personal peripherals.
=========================================================================
From wmaccaul at stfx.ca Fri Nov 28 19:15:17 2008
From: wmaccaul at stfx.ca (Wendy MacCaull)
Date: Fri, 28 Nov 2008 14:15:17 -0400
Subject: Post doc position in Verification
Message-ID:
The Centre for Logic and Information at St. Francis Xavier University,
Antigonish, Canada, has a post doctoral position open for research in
Logic and Computer Science. The position forms part of a 5 year
University/Industry collaborative project in modeling and reasoning
about dynamically changing processes directed by Wendy MacCaull.
The successful candidate is expected to do research in automated
verification. The project involves modeling and verifying intelligent
and adaptive workflow processes with particular reference to processes
that require run time monitoring and, by their nature, are highly
variable.
Candidates must have a strong logic background, as demonstrated by their
doctoral research and publications in journals and presentations at
international conferences. Their thesis should be successfully defended
before they can assume the position. The candidate will have the
opportunity to work in an interdisciplinary setting involving an
industry partner and members from the health care domain, for which
applications are intended. Experience in high performance computing
methodologies is an asset.
Duration: Funding is intended for 2 years with second year funding
dependent upon satisfactory performance during the first year.
Starting date: is as soon as possible; at the latest, June 2009.
Salary: The candidate will receive a salary of $40,000 Canadian per
year with an additional conference travel allowance of up to $4,000 per
year. The position may include minor teaching duties in an appropriate
undergraduate course.
Other members of the research team are involved in modeling and
verifying processes, knowledge representation and reasoning,
paraconsistent and nonclassical logics, ontologies for intelligent
processes and high performance computing methodologies for verification.
More information about the position and the project can be obtained from
Wendy MacCaull (wmaccaul at stfx.ca); interested applicants can visit the
website www.logic.stfx.ca and follow the links there.
Applications should include:
A statement of research interests and/or draft research proposal
A detailed CV including a list of publications
Sample publications
Three letters of Reference (send directly to the address below), one
from the PhD Supervisor
Application material should be sent to Janet Norgrove at
jnorgrove at stfx.ca by January 1, 2009.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From wmaccaul at stfx.ca Fri Nov 28 20:28:21 2008
From: wmaccaul at stfx.ca (Wendy MacCaull)
Date: Fri, 28 Nov 2008 15:28:21 -0400
Subject: Ontology Research Position
Message-ID:
The Centre for Logic and Information at St. Francis Xavier University, Antigonish, Canada, is looking for candidates to work as a researcher in a
multi-year University/Industry/Health Authority collaborative project entitled "Building Decision Support Through Dynamic Workflow Systems for Health
Care", directed by Wendy MacCaull.
Candidates must have a background in knowledge representation and reasoning and research expertise in ontologies and web based ontology oriented
applications. Familiarity with Description Logics and inference mechanisms, with ontology development tools such as the Protégé Ontology Editor and
the Knowledge Acquisition System, and with semantic web technologies and languages such as OWL are required. Experience in high performance computing
methodologies, a working knowledge in biomedical ontologies and interest in reasoning with uncertainty are assets.
The successful candidate will be developing health ontologies for integration with business process technology.
A Masters degree in Mathematics or Computer Science and a minimum of 2 years experience in academic research (such as a post doc or experienced PhD
student) are required. The initial appointment will be for a period of one year, with extensions of 2 or more years based on satisfactory achievement.
The salary will be based on the experience of the candidate. The starting date is as soon as possible and, at the latest, June 2009.
The candidate will have the opportunity to work in an interdisciplinary setting involving computer scientists and graduate students, an industry partner
and participants from the health care domain.
More information about the position and the project can be obtained from Wendy MacCaull (wmaccaul at stfx.ca); interested applicants can visit the website
www.logic.stfx.ca and follow the links there.
Applications should include:
A detailed statement of prior experience and research interests
A CV
Sample publications
Three Letters of Reference (send directly to the address below)
Applications should be sent be sent directly to Janet Norgrove at jnorgrove at stfx.ca by January 7, 2009.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL:
From ci-listen at in.tu-clausthal.de Tue Nov 11 16:16:18 2008
From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG)
Date: Tue, 11 Nov 2008 16:16:18 +0100
Subject: PhD Positions in Informatics available at University of
Calabria
In-Reply-To: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com>
References: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com>
Message-ID:
Dear Francesco,
please resend your posting to event at in.tu-clausthal.de and
I will definitely let it through as it is of interest to
our subscribers.
best,
Peter Novak, Event at CIG administrator.
On Tue, 11 Nov 2008 12:16:24 +0100
"Francesco Calimeri" wrote:
> University of Calabria (Italy)
>
> Two Ph.D. Positions available for non-Italian
>citizens
> at the Doctoral Program in Mathematics and
>Informatics
> ====================================================================
>
>
> The University of Calabria invites applications of
>non-Italian
> citizens for 2 Ph.D. scholarships for the 2009 class of
>the
> Doctoral Program in Mathematics and Informatics.
>
> The Program has been activated by the Department of
>Mathematics
> (www.mat.unical.it), which is one of the largest
>departments of
> the University of Calabria.
>
> The Ph.D. period will be 3 years.
>
> The University of Calabria will provide one successful
>candidate
> with a grant, of about EUR 1050,00 per month.
>
>For all the successful candidates, the University of
>Calabria is
> also likely to cover living expenses (mensa +
>accommodation in the
> campus).
>
> Ph.D. positions are offered in a pleasant working
>environment with
> excellent possibilities for professional development.
>
> Successful candidates in Informatics (with projects
>focused on AI
> and Computational Logics) will join the Database and
>Artificial
> Intelligence group of the Department of Mathematics. The
>group has
> deep knowledge in several AI areas, which are
>investigated with
> respect to their theoretical aspects and their formal
>foundations
> as well as with the respect to the design of practical
> applications most often carried out in tight cooperation
>with
> industrial partners. In particular, members of the group
>conduct
> high-level research in the development of innovative
> infrastructure for knowledge representation and
>reasoning, and
> have achieved important results in developing
>non-monotonic
> reasoning systems.
>
>
> Requirements
> ============
> Only non-Italian citizens (from within European
>Community as well
> as from outside) are allowed to submit. The required
>qualification
> for being eligible for the program is a Master's Degree,
>or
> equivalent. A three-year degree is not sufficient.
>
>
> Applications
> ============
> We are looking for highly-motivated, dedicated
>candidates that are
> interested in research in Informatics or Mathematics.
>
> Candidates are requested to:
> - Fill in the online form available at
>http://unical.ugmanager.it/
> - Send a notice of the application to
>leone at mat.unical.it, and
> annex the following deliverables:
> (1) Curriculum Vitae (conforming to the template
>available at
> https://www.mat.unical.it/dottorato/Admissions)
> (2) Research project (3 pages max)
> (3) Presentation letter (2 pages max)
> (4) List of passed university exams, with scores
>
>
> The deadline is 2008-12-04 (December 4th, 2008), 12:00
>CET.
>
>
> Contacts
> ========
> To get in contact with the Department of Mathematics,
>send an
> email to:
>
> Prof. Nicola Leone
> Department of Mathematics, University of Calabria
> Ponte P. Bucci, cubo 30b
> I-87036 Rende (CS), Italy
> Email: leone at mat.unical.it
> Phone: +39 0984 49 6433
>Fax : +39 0984 49 6410
>
> To get in touch with the current PhD students, see
> .
>
>
> ====================================================================
>For further information, please refer to:
> https://www.mat.unical.it/phd