From tag at hib.no  Thu Mar  1 15:44:38 2007
From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=)
Date: Thu, 1 Mar 2007 15:44:38 +0100
Subject: subscribe
Message-ID: <75C75892-515F-4BD6-8757-7A4E3CE19EE5@hib.no>

subscribe



From tag at hib.no  Fri Mar  2 08:20:05 2007
From: tag at hib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=)
Date: Fri, 2 Mar 2007 08:20:05 +0100
Subject: Confirmation Request (0234308746)
In-Reply-To: <listadmin-21023396@tu-clausthal.de>
References: <listadmin-21023396@tu-clausthal.de>
Message-ID: <43958500-2F40-47C9-B6A8-FE95AAB61751@hib.no>


On 1 Mar 2007, at 15:46, event administration wrote:

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




From L.C.Verbrugge at ai.rug.nl  Fri Mar  2 17:38:49 2007
From: L.C.Verbrugge at ai.rug.nl (Rineke Verbrugge)
Date: Fri, 2 Mar 2007 17:38:49 +0100
Subject: FAMAS 2007: Call for Papers
Message-ID: <7F76E3FE-C8DC-11DB-85FD-000A957C0F6E@ai.rug.nl>

-We apologize for multiple copies-
------------------------------------------------------------
Call for papers

Formal Approaches to Multi-agent Systems (FAMAS'007)

Durham, UK
Thursday and Friday 6 and 7 September, 2007

http://www.mimuw.edu.pl/MAS/FAMAS007/

Part of MALLOW'007, 3-7 September, 2007

Submission deadline: Friday 1 June, 2007
--------------------------------------------------------------

--------------------
Description of FAMAS
--------------------

In recent years, multi-agent systems have come to form one of the key 
technologies for software development. The third edition of the FAMAS 
workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 
in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, aims 
at bringing together researchers from the fields of logic, theoretical 
computer science and multi-agent systems in order to discuss formal 
techniques for specifying and verifying multi-agent systems. Suggested, 
but not exclusive, topics of interest for the workshop are:

*	logics for multi-agent systems;
*	formal methods for verification of multi-agent systems;
*	formal models of teamwork
*	formal approaches to communication, coordination and negotiation;
*	logical analysis of games;
*	computational social choice
*	logical approaches to protocols ensuring privacy and security;
*	reasoning with uncertainty in a distributed environment;
*       	approximate reasoning in a multi-agent environment.

-----------------------
Submission instructions
-----------------------
Submissions should be written in English, unpublished, and not 
simultaneously submitted for publication elsewhere. Papers should be 
formatted according to the Springer LNCS style and not exceed 15 pages. 
(See the Springer LNCS homepage: 
http://www.springer.de/comp/lncs/authors.html ) Please send your paper 
in Portable Document Format (PDF) to both rineke at ai.rug.nl and 
keplicz at mimuw.edu.pl.

---------------
Important dates
---------------
Friday 1 June 2007							Submission of papers
Friday 6 July 2007							Notification of acceptance
Friday 20 July 2007							Camera-ready copies due
Thursday and Friday 6-7 September 2007		FAMAS Workshop

-----------
Proceedings
-----------
Informal workshop proceedings will be available at the workshop.

A special issue of Fundamenta Informaticae, namely vol. 63 (2-3), 2004, 
collected new versions of the best papers of FAMAS'03. In 2008, a 
special issue of JAAMAS will come out that includes extended versions 
of the best papers of FAMAS'06.

For the 2007 edition as well, authors of selected papers will be 
invited to submit an extended version of approximately 20 to 30 pages 
for a special issue of an appropriate journal. Further details will be 
announced at FAMAS'007.

----------------
Venue
----------------
The workshop will be part of this year's Multi-Agent Logics, Languages, 
and Organisations federated Workshops, MALLOW'007 hosted by the 
Department of Computer Science and St. Chad's College, University of 
Durham, U.K. Participants in the FAMAS workshop are urged to 
participate in the co-located workshops. For more details of MALLOW, 
please see http://www.dur.ac.uk/durham.agents007/MALLOW007/

MALLOW'007 is preceded by this year's edition of the European Agent 
Systems Summer School in Durham, taking place 27-31 August 2007, see 
http://www.dur.ac.uk/durham.agents007/EASSS07/

The MALLOW'007 format will allow us to host a two-day meeting with
longer presentations that have not been feasible in previous editions 
of FAMAS.

----------------
Invited speakers
----------------
Three invited lectures will take place in the week of 3-7 September as 
the joint part of MALLOW'007, the Multi-Agent Logics, Languages and 
Organizations Federated Workshops, see 
http://www.dur.ac.uk/durham.agents007/MALLOW007/
------------------
Program committee
------------------
Barbara Dunin-Keplicz, Warsaw University and Polish Academy of 
Sciences, Poland (chair)
Rineke Verbrugge, University of Groningen, The Netherlands (chair)
Hans van Ditmarsch, University of Otago, New Zealand
Amal El Fallah-Seghrouchni, University of Paris 6, France
Andreas Herzig, Universite Paul Sabatier, France
Wiebe van der Hoek, University of Liverpool , UK
Wojtek Jamroga, Clausthal University of Technology, Germany
Michael Luck, University of Southampton, UK
John-Jules Meyer, Utrecht University, The Netherlands
Tim Norman, University of Aberdeen, UK
David Robertson, University of Edinburgh, UK
Jeff Rosenschein, The Hebrew University of Jerusalem, Israel
Onn Shehory, IBM - Haifa Research Labs, Israel
Carles Sierra, IIIA, Spanish Research Council, Spain

-------------------
Workshop organizers
-------------------
Barbara Dunin-Keplicz - keplicz at mimuw.edu.pl
Institute of Informatics, Warsaw University and
Institute of Computer Science, Polish Academy of Sciences
http://www.mimuw.edu.pl/~keplicz/

Rineke Verbrugge - rineke at ai.rug.nl
Institute of Artificial Intelligence, University of Groningen
http://www.ai.rug.nl/~rineke



From R.Mitkov at wlv.ac.uk  Fri Mar  2 20:47:31 2007
From: R.Mitkov at wlv.ac.uk (Ruslan Mitkov)
Date: Fri, 02 Mar 2007 19:47:31 +0000
Subject: Professor or Reader in Computational Linguistics/Natural
  Language Processing 
Message-ID: <7.0.1.0.0.20070302194144.03da1690@wlv.ac.uk>


[Apologies for cross postings]

-------------------------------------------------------------------
         Professor or Reader in Computational 
Linguistics/NaturalLanguage Processing

                         Reference number: B4553
                    **** Application deadline: 16 March 2007 ****
           Salary in the range: 36,675 - 46,114 (Reader) or
                      47,807 - 53,945* (Professor)
-------------------------------------------------------------------

We are seeking a Professor or Reader (depending on track record and
qualifications) in Computational Linguistics/Natural Language Processing
with an outstanding research record as evidenced by publications in
leading journals and successful grant applications. Commercial
experience or links with industry would be an advantage as would
teaching experience and experience in mentoring less experienced
researchers. Duties include collaborative research and producing first
class research/publications, grant applications, PhD student/researcher
supervision and teaching. This is a permanent position.

Applications should include a completed application form, CV, and
covering letter explaining your reasons for applying for the position,
including the level of appointment, and giving details of your research
interests/experience and background. You should also give the names of
three referees who can comment on your suitability for appointment at
the appropriate level. The interviews are scheduled to take place in
April, with the starting date as soon as possible thereafter.

For informal enquires, please contact Prof. Ruslan Mitkov
(R.Mitkov at wlv.ac.uk). Applications to be sent to Personnel. If emailed,
please cc to R.Mitkov at wlv.ac.uk

For an application form, contact:

Personnel Services Department,
University of Wolverhampton,
Molineux Street,
Wolverhampton WV1 1SB
Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number.
For hearing impaired candidates our Minicom number is +44 (0) 1902
321249.
Email address: per at wlv.ac.uk

The application form can also be downloaded from
http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf

* In line with the University pay modernisation programme, salaries may
be subject to review.

Established by Prof. Mitkov in 1997, the Research Group in Computational
Linguistics (http://clg.wlv.ac.uk) is a highly successful one,
delivering cutting-edge research in a number of NLP areas such as
anaphora resolution, automatic summarisation, question answering,
lexical knowledge acquisition, text categorisation, named entity
recognition, information extraction, corpus construction and annotation,
automatic terminology processing, multilingual processing, and
multiple-choice question generation. To a large extent, this research
has been undertaken in projects funded by major UK funding bodies and
commercial partners.


// Prof. Dr. Ruslan Mitkov
\\ Professor of Computational Linguistics and Language Engineering
// Head of the Research Group in Computational Linguistics
\\ Director of the Research Institute of Information and Language Processing
\\ University of Wolverhampton
// Stafford St.
\\ Wolverhampton WV1 1SB
// Telephone + 44 1902 322145
\\ Fax +44 1902 323543
// Email r.mitkov at wlv.ac.uk
\\ Web site <http://www.wlv.ac.uk/~le1825>www.wlv.ac.uk/~le1825
// Research Group web site <http://clg.wlv.ac.uk/>http://clg.wlv.ac.uk
\\ Research Institute website www.wlv.ac.uk/riilp



From R.Mitkov at wlv.ac.uk  Fri Mar  2 20:41:15 2007
From: R.Mitkov at wlv.ac.uk (Ruslan Mitkov)
Date: Fri, 02 Mar 2007 19:41:15 +0000
Subject: Senior Research Fellow in Computational Linguistics/Natural
  Language Processing
Message-ID: <7.0.1.0.0.20070302192809.03d77838@wlv.ac.uk>


[Apologies for cross posting]


-----------------------------------------------------------------------
       Senior Research Fellow in Computational Linguistics/Natural
                           Language Processing

                 *** Applications closing date: 16 March 2007***
                             Reference: A4686

     Salary: 29,349 to 39,033* pa (level of appointment dependent
                    on qualifications and experience)
------------------------------------------------------------------------

We are seeking a Senior Researcher in Computational Linguistics/Natural
Language Processing with an excellent research record as evidenced by
publications in reputable journals. Project experience or links with
industry would be an advantage as would teaching or PhD supervision
experience. Duties include collaborative research and producing first
class research/publications, involvement in grant applications, and some
teaching and student supervision. This appointment is for two years in
the first instance.

Applications should include a completed application form, CV, and
covering letter in which you explain why you have applied for the
position and give details of your research interests/experience and
background. The covering letter should also present a research plan
(about 1,000 words) which you would like to pursue. The interviews are
scheduled to take place in April with the starting date as soon as
possible thereafter.

For informal enquiries, please contact Prof. Ruslan Mitkov
(R.Mitkov at wlv.ac.uk). Applications to be sent to Personnel. If emailed,
please cc to R.Mitkov at wlv.ac.uk

For an application form, contact:

Personnel Services Department,
University of Wolverhampton,
Molineux Street,
Wolverhampton WV1 1SB
Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number.
For hearing impaired candidates our Minicom number is +44 (0) 1902
321249.
Email address: per at wlv.ac.uk

The application form can also be downloaded from
http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf

* In line with the University pay modernisation programme, salaries may
be subject to review.

Established by Prof. Mitkov in 1997, the Research Group in Computational
Linguistics (http://clg.wlv.ac.uk) is a highly successful one,
delivering cutting-edge research in a number of NLP areas such as
anaphora resolution, automatic summarisation, question answering,
lexical knowledge acquisition, text categorisation, named entity
recognition, information extraction, corpus construction and annotation,
automatic terminology processing, multilingual processing, and
multiple-choice question generation. To a large extent, this research
has been undertaken in projects funded by major UK funding bodies and
commercial partners.


// Prof. Dr. Ruslan Mitkov
\\ Professor of Computational Linguistics and Language Engineering
// Head of the Research Group in Computational Linguistics
\\ Director of the Research Institute of Information and Language Processing
\\ University of Wolverhampton
// Stafford St.
\\ Wolverhampton WV1 1SB
// Telephone + 44 1902 322145
\\ Fax +44 1902 323543
// Email r.mitkov at wlv.ac.uk
\\ Web site <http://www.wlv.ac.uk/~le1825>www.wlv.ac.uk/~le1825
// Research Group web site <http://clg.wlv.ac.uk/>http://clg.wlv.ac.uk
\\ Research Institute website www.wlv.ac.uk/riilp




From Sule.Yildirim at hihm.no  Sat Mar  3 00:53:35 2007
From: Sule.Yildirim at hihm.no (Sule Yildirim)
Date: Sat, 03 Mar 2007 00:53:35 +0100
Subject: Extended Deadline ECM_MAI 2007
Message-ID: <1172879615.9cbdf15cSule.Yildirim@hihm.no>

Dear Sir/Madam,

Could you pls contribute to and announce our event below on your conferences list? Thanks and best reg. Sule Yildirim


ECM_MAI 2007
EXTENDING COMPUTATIONAL COGNITIVE MODELLING TO ISSUES OF MULTI-AGENT INTERACTION

in conjunction with ICAI07, Las Vegas, Nevada, USA (June 25-28, 2007)

http://www.world-academy-of-science.org/worldcomp07/ws/ICAI07/workshops_sessions

Call for Papers
The fields of cognitive science, artificial intelligence, and the social sciences can together create a better understanding of cognition and social processes than they can independently of each other.Some efforts in social sciences, especially social simulations, have evolved an understanding of social processes in societies independently from the other two fields. However Sun (2006) among other has shown that there is relation between individual cognition and social processes. Can this connection be understood by exploring the relationship between computational cognitive modeling and social simulation? How is the cognition of a society different from individual cognition? In this session we will examine
these questions and many more. We invite submissions of research that investigate any of the following topics: (1) the relation between individual and social cognition, (2) multi-agent models that are related to advances in individual cognition, (3) social simulations that utilize cognitive science or artificial intelligence techniques, (4) aspects of social cognition that require modeling, and (5) the integration of cognitive models of learning into multi-agent
interaction. 

(Sun, R., 2006) Cognition and Multi-Agent Interaction, Edited by Ron Sun, 2006, Cambridge University Press.

Submission of Papers
Authors are invited to submit their draft paper (between 5 to 7 pages - single space, font size of 10 to 12) to Sule Yildirim (suley at osir.hihm.no) or Bill Rand (wrand at northwestern.edu) before the deadline. E-mail submissions in MS document or PDF formats are preferable. All reasonable typesetting formats are acceptable.These are general guidelines, if you would like to submit in a different format please contact the coordinators.
Papers must not have been previously published or current submitted for publication elsewhere.Upon acceptance authors will be asked to follow the IEEE style format in preparing their papers for publication (max. 7 pages). The first page of the submission should include:

-Title of the paper
-Name, affiliation, postal address, e-mail address, telephone number and fax number for each author 
-Name of the author who will present the paper should be indicated
-A maximum of five keywords

Session Format
The session will begin with an overview of the topic by the coordinators, and the peer-reviewed papers will then be orally presented. If time permits a wrap-up discussion will take place at the end of the session.

Important Dates
Extended Submission deadline: 15 March, 2007. 
Notification of acceptance: 5 April, 2007. 
Camera-ready due: 20 April, 2007. 
Conference registration deadline: 20 April, 2007
See ICAI07 website for complete details.

Publication
The conference proceedings will be published by CSREA Press (ISBN) in hardcopy. The proceedings will be available for distribution at the conference .

Some accepted papers will also be considered for journal publication (soon after the conference). All conference proceedings published by CSREA Press are considered for inclusion in major database indexes that are designed to provide easy access to the current literature of the sciences (database examples: ISI Thomson Scientific, IEE INSPEC, DBLP, ...).

Program Committee

Session Chairs
Sule Yildirim, Hedmark University College
Bill Rand, Northwestern University

Program Committee
· Ron Sun, Rensselaer Polytechnic Institute
· Tuncer Ören, University of Ottawa
· Maarten Sierhuis, RIACS/NASA Ames Research Center
· Angelo Cangelosi, University of Plymouth
· Agnar Aamodt, Norwegian University of Science and Technology
· Peter De Souza, Hedmark University College
· Ashwin Ram, Georgia Tech
· Levent Yilmaz, Auburn University
Rev Date: March 2, 2007


















From paolo.torroni at unibo.it  Sat Mar  3 12:03:07 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Sat, 03 Mar 2007 12:03:07 +0100
Subject: Subscribe me!
Message-ID: <7.0.1.0.2.20070303120259.025a9a38@unibo.it>


---
Paolo Torroni, PhD
DEIS, University of Bologna
V.le Risorgimento 2, 40136 Bologna, Italy
voice: +39 051 20 93767, fax: +39 051 20 93073
web: http://lia.deis.unibo.it/~pt/
---



From paolo.torroni at unibo.it  Sat Mar  3 20:08:49 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Sat, 03 Mar 2007 20:08:49 +0100
Subject: Subscribe me!
Message-ID: <7.0.1.0.2.20070303200841.025d8120@unibo.it>




From paolo.torroni at unibo.it  Sat Mar  3 20:17:57 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Sat, 03 Mar 2007 20:17:57 +0100
Subject: Confirmation Request (0394662215)
In-Reply-To: <listadmin-21083845@tu-clausthal.de>
References: <listadmin-21083845@tu-clausthal.de>
Message-ID: <7.0.1.0.2.20070303201749.025d5480@deis.unibo.it>

At 20.11 03/03/2007, you wrote:
>This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
>Somebody (probably you) have requested the subscribe(feed) operation
>   for your <paolo.torroni at unibo.it> address
>
>If you want to confirm this operation,
>   use the Reply command in your mailer.
>
>Check that the Subject of the reply message contains
>   the confirmation ID: 0394662215,
>   the reply is directed to <event-feed at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <paolo.torroni at unibo.it>.
>
>If you do not want to confirm the requested operation, simply do nothing
>
>All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>



From radoslaw.katarzyniak at pwr.wroc.pl  Sun Mar  4 14:54:37 2007
From: radoslaw.katarzyniak at pwr.wroc.pl (Radoslaw Katarzyniak)
Date: Sun, 04 Mar 2007 14:54:37 +0100
Subject: [Event@CIG] Extended Deadline ECM_MAI 2007
In-Reply-To: <list-21084023@tu-clausthal.de>
References: <list-21084023@tu-clausthal.de>
Message-ID: <f56de8584a39.45eaddad@pwr.wroc.pl>

Dear Organizers,
is the submission style one- or two column?
Sincerely,
Radoslaw Katarzyniak

.........................................
Radosław Katarzyniak, PhD
Institute of Information Science and Engineering
Wrocław University of Technology, Poland
http://www.iit.pwr.wroc.pl/~katarzyniak

----- Oryginalna wiadomość -----
Od: Sule Yildirim <Sule.Yildirim at hihm.no>
Data: Sobota, Marzec 3, 2007 8:26 pm
Temat: [Event at CIG] Extended Deadline ECM_MAI 2007
Do: event at in.tu-clausthal.de

> Dear Sir/Madam,
> 
> Could you pls contribute to and announce our event below on your 
> conferences list? Thanks and best reg. Sule Yildirim
> 
> 
> ECM_MAI 2007
> EXTENDING COMPUTATIONAL COGNITIVE MODELLING TO ISSUES OF MULTI-
> AGENT INTERACTION
> 
> in conjunction with ICAI07, Las Vegas, Nevada, USA (June 25-28, 2007)
> 
> http://www.world-academy-of-
> science.org/worldcomp07/ws/ICAI07/workshops_sessions
> Call for Papers
> The fields of cognitive science, artificial intelligence, and the 
> social sciences can together create a better understanding of 
> cognition and social processes than they can independently of each 
> other.Some efforts in social sciences, especially social 
> simulations, have evolved an understanding of social processes in 
> societies independently from the other two fields. However Sun 
> (2006) among other has shown that there is relation between 
> individual cognition and social processes. Can this connection be 
> understood by exploring the relationship between computational 
> cognitive modeling and social simulation? How is the cognition of 
> a society different from individual cognition? In this session we 
> will examine
> these questions and many more. We invite submissions of research 
> that investigate any of the following topics: (1) the relation 
> between individual and social cognition, (2) multi-agent models 
> that are related to advances in individual cognition, (3) social 
> simulations that utilize cognitive science or artificial 
> intelligence techniques, (4) aspects of social cognition that 
> require modeling, and (5) the integration of cognitive models of 
> learning into multi-agent
> interaction. 
> 
> (Sun, R., 2006) Cognition and Multi-Agent Interaction, Edited by 
> Ron Sun, 2006, Cambridge University Press.
> 
> Submission of Papers
> Authors are invited to submit their draft paper (between 5 to 7 
> pages - single space, font size of 10 to 12) to Sule Yildirim 
> (suley at osir.hihm.no) or Bill Rand (wrand at northwestern.edu) before 
> the deadline. E-mail submissions in MS document or PDF formats are 
> preferable. All reasonable typesetting formats are 
> acceptable.These are general guidelines, if you would like to 
> submit in a different format please contact the coordinators.
> Papers must not have been previously published or current 
> submitted for publication elsewhere.Upon acceptance authors will 
> be asked to follow the IEEE style format in preparing their papers 
> for publication (max. 7 pages). The first page of the submission 
> should include:
> 
> -Title of the paper
> -Name, affiliation, postal address, e-mail address, telephone 
> number and fax number for each author 
> -Name of the author who will present the paper should be indicated
> -A maximum of five keywords
> 
> Session Format
> The session will begin with an overview of the topic by the 
> coordinators, and the peer-reviewed papers will then be orally 
> presented. If time permits a wrap-up discussion will take place at 
> the end of the session.
> 
> Important Dates
> Extended Submission deadline: 15 March, 2007. 
> Notification of acceptance: 5 April, 2007. 
> Camera-ready due: 20 April, 2007. 
> Conference registration deadline: 20 April, 2007
> See ICAI07 website for complete details.
> 
> Publication
> The conference proceedings will be published by CSREA Press (ISBN) 
> in hardcopy. The proceedings will be available for distribution at 
> the conference .
> 
> Some accepted papers will also be considered for journal 
> publication (soon after the conference). All conference 
> proceedings published by CSREA Press are considered for inclusion 
> in major database indexes that are designed to provide easy access 
> to the current literature of the sciences (database examples: ISI 
> Thomson Scientific, IEE INSPEC, DBLP, ...).
> 
> Program Committee
> 
> Session Chairs
> Sule Yildirim, Hedmark University College
> Bill Rand, Northwestern University
> 
> Program Committee
> · Ron Sun, Rensselaer Polytechnic Institute
> · Tuncer Ören, University of Ottawa
> · Maarten Sierhuis, RIACS/NASA Ames Research Center
> · Angelo Cangelosi, University of Plymouth
> · Agnar Aamodt, Norwegian University of Science and Technology
> · Peter De Souza, Hedmark University College
> · Ashwin Ram, Georgia Tech
> · Levent Yilmaz, Auburn University
> Rev Date: March 2, 2007
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> -------------------------------------------------------------------
> -----
> This e-mail was delivered to you by event [at] tu-clausthal.de, 
> what is a
> moderated list run by Computational Intelligence Group of Clausthal
> University of Technology, Germany.
>  
> In the case of any requests, questions, or comments, do not 
> hesitate and
> contact the list administrator event-request [at] tu-clausthal.de 
> ASAP. 
> For all the information on the list, please visit our website
> http://cig.in.tu-clausthal.de/event/ where you can also find an 
> archiveof this list.
> 
> To unsubscribe, E-mail to: <event-off at in.tu-clausthal.de> 
> To switch to the DIGEST mode, E-mail to <event-digest at in.tu-
> clausthal.de>To switch to the INDEX mode, E-mail to <event-
> index at in.tu-clausthal.de>
> Send administrative queries to  <event-request at in.tu-clausthal.de> 
>  
> Computational Intelligence Group, Department of Computer Science
> Clausthal University of Technology
> Germany, http://cig.in.tu-clausthal.de/
> 
> 
> 



From jap at cs.bath.ac.uk  Mon Mar  5 20:12:42 2007
From: jap at cs.bath.ac.uk (J A Padget)
Date: Mon, 05 Mar 2007 19:12:42 +0000
Subject: First CFP: Coordination, Organizations, Institutions and Norms
	(COIN) @ Durham
Message-ID: <1173121962.32442.323.camel@jap2.cs.bath.ac.uk>

With the usual apologies for cross-posts

--Pablo Noriega and Julian Padget.

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

			The MALLOW Workshop on
	  Coordination, Organization, Institutions and Norms
		       in agent systems (COIN)
		  http://www.cs.bath.ac.uk/COIN2007
			      Durham, UK
		       3rd-4th September, 2007
	    An international workshop of the COIN series 

AIMS AND SCOPE

In recent years, social and organizational aspects of agency have
become a major issue in MAS research. Recent applications of MAS in
Web Services, Grid Computing and Ubiquitous Computing make clear the
need to take into account social, legal, economic and technological
dimensions of agent interactions in order to ensure social order
within these environments. The MAS research community has addressed
that need from different perspectives that have gradually become more
cohesive around the four notions that give title to the workshop:
coordination, organization, institutions and norms. COIN at MALLOW07
provides a space for presentation and debate for researchers active in
these areas.

TOPICS OF INTEREST INCLUDE:

Ontologies, methodologies, tools and standards for regulated MAS.
Social science background for regulated MAS: Roles, authority,
motivation, social power and other social relationships and attitudes.
Languages for norms: expressiveness vs. efficiency.  Electronic
institutions and virtual organizations.  Coordination and interaction
conventions, technologies and artifacts.  Institutional aspects of
peer to peer interactions.  Dynamic, adaptive and emergent
organizational structures.  Issues in regulatory dynamics (creation,
evolution, change, disappearance).  Issues in regulated MAS
implementation.  Examples of significant regulated environments.
Simulation, analysis and verification of regulated MAS.

We particularly encourage authors to submit innovative and original
papers that report on: Software frameworks, tools, and methodologies;
Applications, case studies, and experimental work; Formal and
theoretical models.

Papers describing ongoing work and position papers are welcome as well.

VENUE

The workshop will be part of this year's Multi-Agent Logics,
Languages, and Organisations federated Workshops, MALLOW'007 hosted
by the Department of Computer Science and St. Chad's College,
University of Durham, U.K.. Participants in the COIN workshop are
urged to participate in the co-located workshops. For more details of
MALLOW, please see

http://www.dur.ac.uk/durham.agents007/MALLOW007/

The MALLOW'007 format will allow us to host a two-day meeting with
longer presentations, round tables and discussions that have not been
feasible in previous editions of COIN.

PROCEEDINGS

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

IMPORTANT DATES

Paper submission deadline: June 1
Notifications of acceptance/rejection: July 7
Camera-ready copies due: July 20
Workshop Dates: September 3 and 4

PREPARATION AND SUBMISSION OF PAPERS

For preparation of papers to be submitted please follow the
instructions for authors available at the Springer LNCS Web
page:http://www.springer.de/comp/lncs/authors.html. The length of each
paper including figures and references may not exceed 12 pages. All
papers must be written in English and submitted in PDF
format. Submission of a paper should be regarded as an undertaking
that, should the paper be accepted, at least one of the authors will
attend the conference to present the work.

You may submit your paper via e-mail to pablo_ at _iiia_.cisic._es
(remove the "_")

PROGRAM COMMITTEE

Guido Boella (Torino, IT)
Olivier Boissier (Saint-Etienne, FR)
Christiano Castelfranchi (IST-CNR, IT)
Stephen Cranefield (Otago, NZ)
Marina de Vos (Bath, UK)
Virginia Dignum (Utrecht, NL)
Marc Esteva (UT Sydney, AU)
Nicoletta Fornara (Lugano, CH)
Carl Hewitt (MIT, US)
Christian Lemaitre (UAM, MX)
Victor Lesser (UMASS, USA)
Gabriela Lindemann (Humboldt U. Berlin, DE)
Fabiola López (BUAP, MX)
Michael Luck (King's College London, UK)
Eric Matson (Wright, US)
Tim Norman (Aberdeen, UK)
Eugénio Oliveira (Porto, PT)
Andrea Omicini (Bologna, IT)
Sascha Ossowski (URJC, ES)
Juan Antonio Rodríguez (IIIA. ES)
Marek Sergot (Imperial, UK)
Carles Sierra (IIIA, ES)
Mario Verdicchio (Politecnico di Milano, IT)
Wamberto Vasconcelos (Aberdeen, UK)
Javier Vazquez-Salceda (UPC, ES)

ORGANIZATION

WORKSHOP CHAIRS

Pablo Noriega, IIIA-CSIC, Campus UAB, Bellaterra; Barcelona 08193 (ES)
tel. +34 93 580 9570
Fax. +34 93 580 9661
e-mail: pablo_ at _iiia_.csic.es (remove the "_")

Julian Padget, Department of Computer Science, University of Bath,
Bath BA2 7AY (UK)
tel. +44 1225 386971
Fax: +44 1225 383493
e-mail: jap_ at _cs.bath.ac.uk (remove the "_")

COIN STEERING COMMITTEE

Guido Boella, Italy
Olivier Boissier, France
Virginia Dignum, The Netherlands
Victor Lesser, USA
Pablo Noriega, Spain
Andrea Omicini, Italy
Sascha Ossowski, Spain
Julian Padget, UK
Jaime Sichman, Brazil




From iclp07-publicity at di.uevora.pt  Tue Mar  6 10:59:23 2007
From: iclp07-publicity at di.uevora.pt (ICLP07 publicity)
Date: Tue, 6 Mar 2007 09:59:23 +0000
Subject: Second CFP: ICLP 2007 Doctoral Consortium
Message-ID: <3EBD4E85-996D-414A-8E6C-E56C292FE293@di.uevora.pt>

(apologies if you receive multiple copies)
----------------------------------------------------------------------
	    International Conference on Logic Programming
		
		      Third Doctoral Consortium

			   Porto, Portugal
			 September 8-13, 2007
	       http://www.cs.nmsu.edu/~epontell/DC2007
			     -----------


The  2007 ICLP  Doctoral Consortium  (DC) is  the  third international
doctoral  consortium  to  be  offered  as part  of  the  International
Conference on  Logic Programming. The  DC will take place  during ICLP
2007  in Porto,  Portugal.  The Doctoral  Consortium  is designed  for
doctoral students  working in areas  related to logic  programming, as
well as  Master's students interested in pursuing  doctoral degrees in
the field of logic programming.

The Doctoral  Consortium aims to provide students  with an opportunity
to  present  and  discuss  their  research directions  and  to  obtain
feedbacks from  peers as  well as world-renown  experts in  the field.
The Doctoral  Consortium will also  offer invited speakers  and panels
discussions.

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

The Doctoral Consortium  is held the during the  regular activities of
the ICLP 2007 Conference. The aims of the Doctoral Consortium are:

   * To provide  doctoral students  working in the  field of  logic and
     constraint programming  with a friendly and open  forum to present
     their research  ideas, listen to ongoing work  from peer students,
     and receive constructive feedback

   * To  provide  students with  relevant  information about  important
     issues for doctoral candidates and future academics

   * To  develop a  supportive community  of scholars  and a  spirit of
     collaborative research.

   * To support  a new generation  of researchers with  information and
     advice  on  academic,  research, industrial,  and  non-traditional
     career paths.

The Consortium is designed for  students currently enrolled in a Ph.D.
program,  though  we  are  also  open to  exceptions  (e.g.,  students
currently in  a Masters program  and interested in  doctoral studies).
The Consortium is for students  at any stage of their doctoral studies
are  welcome  to  apply.  Applicants  are expected  to  be  conducting
research in the field of Logic Programming; topics of interest include
(but are not limited to):

   * Theoretical Foundations of Logic and Constraint Logic Programming
   * Sequential and Parallel Implementation Technology
   * Static and Dynamic Analysis, Abstract Interpretation, Compilation
     Technology, Verification
   * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent
     Logic Programming, Inductive Logic Programming)
   * Innovative Applications of Logic Programming

The  Consortium  allows  participants  to  interact  with  established
researchers and with  other students, through presentations, question-
answer  sessions, panel  discussions, and  invited  presentations. The
Doctoral Consortium will provide  the possibility to reflect - through
short  activities,  information sessions,  and  discussions  - on  the
process and lessons of research and life in academia. Each participant
will give a short, critiqued, research presentation.

The Doctoral  Consortium will be held  on a date to  be determined, in
parallel with the regular activities  of the ICLP 2007 conference; the
ICLP conference will  run from September 8th to  September 13th, 2007.
Doctoral Consortium  participants will  be offered the  opportunity to
have   their  abstracts   published  in   the  ICLP   2007  conference
proceedings.

Discussants:
Several renowned faculty members and researchers in the field of Logic
Programming will  join in evaluating  the submission packets  and will
participate  in the  Doctoral  Consortium, providing  feedback to  the
presenters. The list  of the discussants will be  published at a later
date.

			       --------

Detailed  submission  instructions  can  be  found in  the  ICLP  2007
Doctoral Consortium web site, at:

	       http://www.cs.nmsu.edu/~epontell/DC2007

			       --------

Important Dates
Submission Deadline:      May 2nd, 2007 (strict)
Acceptance Notification:  May 20th, 2007
Last Date to Update
        Research Summary:  June 5th, 2007 (strict)
Doctoral Consortium:      September 8-13, 2007 (TBA)
ICLP 2006 Conference:     September 8-13, 2007

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

Doctoral Consortium Chairs:

Enrico Pontelli                             Ines de Castro Dutra
Department of Computer Science  	     COPPE/Sistemas
New Mexico State University                 Universidade Federal do Rio
MSC CS, Box 30001                                    de Janeiro
Las Cruces, NM 88003, USA                   Rio de Janeiro, Brasil
epontell _a_t_ cs.nmsu _dot_ edu            ines _a_t_ cos.ufrj _dot_ br



From franconi at inf.unibz.it  Tue Mar  6 13:39:25 2007
From: franconi at inf.unibz.it (Enrico Franconi)
Date: Tue, 6 Mar 2007 23:39:25 +1100
Subject: *20th* Description Logics workshop - Call for Papers
Message-ID: <7328D99C-DE31-4EC7-B1E0-380687753E97@inf.unibz.it>

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

      *20th* International Workshop on Description Logics (DL'07)
                            CALL FOR PAPERS
            Brixen-Bressanone (near Bozen-Bolzano), Italy
                            8-10 June 2007

                       http://dl.kr.org/dl2007/

	      Paper submission DEADLINE: 23 MARCH 2007.

The 2007  edition of the DL workshop  will take place from  the 8th to
the  10th  of June  2007  in  Brixen-Bressanone (near  Bozen-Bolzano),
Italy.  This is 80 Km south of Innsbruck (where the ESWC-07 conference
will  take place  immediately  before); direct  train connections  run
every hour between Innsbruck and Brixen-Bressanone.  Arrived this year
to its 20th  edition, DL is the major annual  event of the description
logics  research community.  The  workshop is  thought as  a gathering
forum to meet, discuss and  exchange experiences among all those, both
in the academy and industry,  who are interested in description logics
and in all their broad range of applications.

Participants in the workshop will enjoy the invited talks by:

     * Hector Levesque
     * Alex Borgida
     * Renee J. Miller

Moreover, Ron Brachman, John Mylopoulos  and others will join us for a
special event to celebrate  the *20th* edition  of the Description Lo-
gics workshop!

Students with accepted papers  may apply  to grants supporting travels
within Europe (300 EUR) or from outside Europe (500 EUR).

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

IMPORTANT DATES

Paper submission deadline:   23 March 2007
Notification of acceptance:  27 April 2007
Camera ready papers due:     18 May 2007
DL'07 Workshop:              8-10 June 2007

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

SCOPE

We invite contributions on all aspects of description logics.
Possible subjects include:

-- Foundations   of  description   logics,   including  distinguishing
    features of  description logics  with respect to  other formalisms,
    expressive power of description logics, decidability and complexity
    of reasoning, and novel inference problems and reasoning techniques
    for solving these problems.

-- Extensions of  description logics,  including, but not  limited to,
    closed world reasoning, defaults, epistemic reasoning, temporal and
    spatial reasoning, procedural knowledge, and query languages.

-- Integration of  description logics  with other formalisms,  such as
    object-oriented representation languages, database query languages,
    constraint-based  programming,  logic  programming, and  rule-based
    systems.

-- Use of description logics in  applications or areas such as natural
    language,  planning,   learning,  databases,  document  management,
    semistructured data, ontology  design, ontology languages, ontology
    engineering, semantic web, and grid computing.

-- Building systems based on description logics, with special emphasis
    on optimization and implementation techniques.

-- Tools that  exploit description  Logic reasoning, such  as ontology
    editors,  database  schema  design,  query optimization,  and  data
    integration tools.

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

SUBMISSION DETAILS

We invite submissions  of technical papers as extended  abstracts of 8
pages,  and submissions  of statements  of interest  of 2  pages.  The
technical papers will be judged according to their scientific quality,
while the  statements of  interest will be  judged according  to their
scientific  relevance.   Accepted  papers  will  be  included  in  the
workshop proceedings  as extended  abstract (8 pages),  regular papers
(12  pages), or  as statements  of  interest (2  pages). The  workshop
proceedings will  be distributed  in paper form  at the  workshop, and
will be made available electronically in the CEUR Workshop Proceedings
series.  Papers should follow the formatting and submission guidelines
to be found at the workshop submissions web page, and should arrive by
the paper submission deadline stated above.

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

PROGRAM COMMITTEE

Area chairs:

Volker Haarslev (chair of the Systems and Tools area)
Domenico Lembo (chair of the Database and Information Systems area)
Boris Motik (chair of the Ontologies and Semantic Web area)
Anni-Yasmin Turhan (chair of the Foundations and Theory area)

PC members:

     * Aditya Kalyanpur
     * Alessandro Artale
     * Alex Borgida
     * Andrea Cali'
     * Bernardo Cuenca Grau
     * Bijan Parsia
     * Birte Glimm
     * Carlos Areces
     * Carsten Lutz
     * David Toman
     * Evren Sirin
     * Francesco Donini
     * Frank Wolter
     * Franz Baader
     * Grant Weddell
     * Ian Horrocks
     * Luciano Serafini
     * Luigi Palopoli
     * Maarten Marx
     * Maurizio Lenzerini
     * Michael Zakharyaschev
     * Peter F. Patel-Schneider
     * Ralf Kuesters
     * Ralf Moeller
     * Riccardo Rosati
     * Rob Shearer
     * Stefan Schlobach
     * Thomas Eiter
     * Thorsten Liebig
     * Ulrike Sattler
     * Umberto Straccia
     * Yevgeny Kazakov

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

DL-07 COMMITTEE

Alessandro Artale   <artale at inf.unibz.it>
Raffella Bernardi   <bernardi at inf.unibz.it>
Andrea Calì         <cali at inf.unibz.it>
Diego Calvanese     <calvanese at inf.unibz.it>
Jos de Bruijn       <debruijn at inf.unibz.it>
Enrico Franconi     <franconi at inf.unibz.it>
Rosella Gennari     <gennari at inf.unibz.it>
Davide Martinenghi  <martinenghi at inf.unibz.it>
Werner Nutt         <nutt at inf.unibz.it>
Sergio Tessaris     <tessaris at inf.unibz.it>
David Toman         <toman at inf.unibz.it>

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

VENUE

The  workshop  will  take  place  in  the  charming  town  of  Brixen-
Bressanone,  near Bozen-Bolzano  in South  Tyrol at  the heart  of the
Dolomites  - the  pink  mountains of  the  Alps.  Like  Bozen-Bolzano,
Brixen-Bressanone has always been a crossroads of various cultures and
it  is  distinguished  by  its  mediaeval  Gothic  architecture.   The
mediaeval alleys and the wealth  of historical references are an ideal
starting point for excursions  into the countryside and for practising
a whole  variety of sports  and leisure activities.   Leaving directly
from the town  centre delegates can set off on their  bikes or on foot
for   excursions   into   the   surrounding   hills   and   mountains.
Brixen-Bressanone is on the main arterial road between Austria/Germany
and Italy and  it is easily accessible from  everywhere by train, car,
bus or plane.

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


-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : smime.p7s
Dateityp    : application/pkcs7-signature
Dateigröße  : 2425 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070306/0fa5672b/attachment.bin>

From c.orasan at wlv.ac.uk  Tue Mar  6 18:19:48 2007
From: c.orasan at wlv.ac.uk (Constantin Orasan)
Date: Tue, 06 Mar 2007 17:19:48 +0000
Subject: PhD studentship in question answering (correct closing date)
Message-ID: <1173201588.25680.24.camel@localhost.localdomain>

Please note that the correct closing date is 13th April 2007. 


                     [Apologies for cross-postings]

         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                  PHD STUDENTSHIP  QUESTION ANSWERING 
     (£10,000 first year, £11,000 second year, £12,000 third year)

                     Closing date: 13th April 2007
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The Research Group in Computational Linguistics, University of
Wolverhampton invites applications for a three-year-funded PhD
studentship in Computational Linguistics. The successful candidate is
expected to carry out research in the domain of question answering. We
are looking for candidates with a good honours degree in Computational
Linguistics, Computer Science or Information Sciences, with programming
skills and some experience in Natural Language Processing.  

Required skills:
- degree in Computational Linguistics, Computer Science or Information
Sciences
- experience with at least one of the following: Java, Perl, C++, .NET
- experience in Natural Language Processing
- good command of the English language

Desirable skills:
- Master's degree in Computational Linguistics, Computer Science or
Information Sciences
- experience in question answering and/or information extraction 
- familiarity with a wide range of programming environments and
operating systems

Applications should be sent to

     Dr. Constantin Orasan
     Research Institute of Information and Language Processing
     University of Wolverhampton
     Stafford St.
     Wolverhampton
     WV1 1SB
     United Kingdom
     E-mail: C.Orasan at wlv.ac.uk

and must include:
- completed application form available from
http://clg.wlv.ac.uk/jobs/PhD-AF-06.pdf or
http://clg.wlv.ac.uk/jobs/PhD-AF-06.doc
- CV including publications if any
- copy of university degree (in English)
- copy of transcript listing all university marks (in English)
- evidence of postgraduate qualification if applicable
- a covering letter in which candidates explain why they have applied
for the studentship, give details of their research
interests/experience, background, programming skills and an outline of
any experience in Natural Language Processing or Linguistics.
- a PhD plan (about 1000 words) which explains the research question to
be addressed, the academic or intellectual context in which the proposed
work is located and the methodology likely to be employed. A brief
action plan should also be provided. The field of this PhD MUST be
question answering. 

Applications should be made by email and/or surface mail. The closing
date for applications is 13th April 2007. The short-listed applicants
will be interviewed by email and telephone in the week beginning 16th
April 2007.

The studentship includes a maintenance grant of 10,000 GBP first year,
11,000 GBP second year and 12,000 GBP third year and also covers the
tuition fees for 3 years.

The successful candidate will be working in a vibrant research
environment, engaging in active research. This studentship is funded by
the EU-funded project QALL-ME, so it is expected that the appointed
student will contribute to this project as well. In return, the student
will have access and will benefit from the resources developed in the
project.

The RESEARCH GROUP IN COMPUTATIONAL LINGUISTICS at the University of
Wolverhampton (http://clg.wlv.ac.uk)

Established by Prof. Mitkov in 1997, the Research Group in Computational
Linguistics is a highly successful one, delivering cutting-edge research
in a number of NLP areas such as anaphora resolution, automatic
summarisation, question answering, lexical knowledge acquisition, text
categorisation, named entity recognition, information extraction, corpus
construction and annotation, automatic terminology processing,
multilingual processing, and multiple-choice question generation. To a
large extent, this research has been undertaken in projects funded by
major UK funding bodies and commercial partners.

For further information/queries, please contact:
Dr. Constantin Orasan
Phone: +44 1902 322 623
Email: C.Orasan at wlv.ac.uk


-- 
Constantin Orasan <C.Orasan at wlv.ac.uk>
Lecturer in Computational Linguistics
Research Group in Computational Linguistics
http://www.wlv.ac.uk/~in6093/
University of Wolverhampton



From jv at imm.dtu.dk  Wed Mar  7 09:50:40 2007
From: jv at imm.dtu.dk (Joergen Villadsen)
Date: Wed, 7 Mar 2007 09:50:40 +0100
Subject: CONTEXT'07, final reminder, March 15, 2007
Message-ID: <20070307085041.111C3A50033@pfepb.post.tele.dk>

CONTEXT'07: FINAL CALL FOR PAPERS, deadline ***March 15, 2007***

Sixth International and Interdisciplinary Conference on Modeling and Using
Context
http://context-07.ruc.dk/
August 20-24, 2007 - Roskilde University, Denmark

See details about submission:
- call for papers http://context-07.ruc.dk/cfp.html
- submission page http://context-07.ruc.dk/submt.html

CONTEXT'07 offers also a collection of 8 highly interesting workshops
and a doctorial consortium with expected deadlines around May 15,
three prominent invited speakers, and exciting social events yet to
be announced.
Follow links at http://context-07.ruc.dk/


From baldoni at di.unito.it  Wed Mar  7 17:08:48 2007
From: baldoni at di.unito.it (Matteo Baldoni)
Date: Wed, 07 Mar 2007 17:08:48 +0100
Subject: CFP: AWESOME@MALLOW'007
Message-ID: <45EEE390.2080806@di.unito.it>

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

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


                Agents, Web-Services, and Ontologies
             Integrated Methodologies (AWESOME'007)

                      International Workshop
               Durham, Uk, September 4th - 6th, 2007

                 Federated workshop of MALLOW'007:
        Multi-Agent Logics, Languages, and Organizations

             URL: http://awesome007.disi.unige.it/
 
             
*****************************************************************
CALL FOR PAPERS
*****************************************************************


AWESOME'007 wants to stimulate discussion among researchers work-
ing on Agents, Web Services, and Ontologies, in order to help the
identification and the definition of Methodologies for  integrat-
ing them. The realisation of distributed, open, dynamic, and het-
erogeneous software systems is, in fact,  a  challenge  that  in-
volves  many facets, from formal theories to software engineering
and practical applications. Scientists in various research areas,
such  as  Semantic Web, Web Services, Agents, Ontologies, are at-
tacking this problem from different perspectives. AWESOME'007 at-
tempts to provide a discussion forum for collecting and comparing
such diverse experiences with the aim of fostering cross  fertil-
ization.  Topics  of  interest are all those concerned with inte-
grated and/or cross-field approaches to for  engineering  Agents,
Web Services, Ontologies. They include, but are not limited to:

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


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

Submission deadline: June 1st, 2007
Notification of acceptance: July 6th, 2007
Final version due: July 20th, 2007
Workshop: September 4th - 6th, 2007


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

We welcome and encourage the submission of high-quality, original
papers, which are not being submitted simultaneously for publica-
tion elsewhere. Papers should be written  in  English,  formatted
according  to  the  Springer LNCS style, and not exceed 16 pages.
Paper submission is electronic via the conference home page.  Ac-
cepted papers will appear in pre-proceedings published by MALLOW.
We aim to publish a selection of revised and expanded papers as a
journal special issue.


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

Printed  copies of the proceedings will be available at the work-
shop. Assuming a sufficient number of  high-quality  submissions,
we  are  again  going to consider the publication of formal post-
proceedings with an international publisher.


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

* Matteo Baldoni, University of Torino, Italy
* Cristina Baroglio, University of Torino, Italy
* Viviana Mascardi, University of Genova, Italy


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

* Mario Bravetti, University of Bologna, Italy
* Antonio Brogi, University of Pisa, Italy
* Thomas Eiter, TU Vienna, Austria
* Laura Giordano, University of Piemonte Orientale, Italy
* Georg Gottlob, Oxford University Computing Laboratory, UK
* Benjamin Hirsch, TU Berlin, Germany
* Paola Mello, University of Bologna, Italy
* Peter Massuthe, University Humboldt, Berlin, Germany
* Andrea Omicini, University of Bologna, Italy
* Viviana Patti, University of Torino, Italy
* Adam Pease, Articulate Software, California, USA
* Marco Pistore, ITC-Irst, Trento, Italy
* Laurent Prevot, Academia Sinica in Taipei, Taiwan
* Paolo Rosso, Universidad Politécnica de Valencia, Spain
* Munindar Singh, North Carolina State University, USA
* Leon Sterling, University of Melbourne, Australia
* Birna van Riemsdijk, Ludwig-Maximilians-Universitaet
  Muenchen, Germany
* Chris Walton, Slam Games, UK
* Amal El Fallah Seghrouchni, University of Paris 6, France
* Michael Winikoff, RMIT University, Australia
* Yuhong Yan, National Research Council Institute for
  Information, Canada
* Nobuko Yoshida, Imperial College, London, UK
* Gianluigi Zavattaro, University of Bologna, Italy


*****************************************************************
MALLOW'007 ORGANIZERS
*****************************************************************

Rafael H. Bordini, University of Durham, UK
Berndt Fawer, University of Durham, UK
Patricia Shaw, University of Durham, UK


-- 
Matteo Baldoni                   
Dipartimento di Informatica       | 
Universita` degli Studi di Torino | Tel. +39 011 6706756 
C.so Svizzera, 185                | Fax. +39 011 751603
I-10149 Torino (Italy)            | URL http://www.di.unito.it/~baldoni
-----------------------------------------------------------------------
Please avoid sending me Word or PowerPoint attachments.
See http://www.gnu.org/philosophy/no-word-attachments.html
-----------------------------------------------------------------------



From jleite at di.fct.unl.pt  Thu Mar  8 15:41:36 2007
From: jleite at di.fct.unl.pt (Joao Leite)
Date: Thu, 8 Mar 2007 14:41:36 +0000
Subject: subscribe
Message-ID: <ab5a2b1b0703080641y4aeeff37hcd48e6e82d9355ef@mail.gmail.com>




From jleite at di.fct.unl.pt  Thu Mar  8 15:49:34 2007
From: jleite at di.fct.unl.pt (Joao Leite)
Date: Thu, 8 Mar 2007 14:49:34 +0000
Subject: Confirmation Request (0839223855)
In-Reply-To: <listadmin-21205706@tu-clausthal.de>
References: <listadmin-21205706@tu-clausthal.de>
Message-ID: <ab5a2b1b0703080649xaa8a965g24be16d2c0d5d569@mail.gmail.com>

On 3/8/07, event administration <event-subscribe at in.tu-clausthal.de> wrote:
> This is an automated message from the
>  <event at in.tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>  for your <jleite at di.fct.unl.pt> address
>
> If you want to confirm this operation,
>  use the Reply command in your mailer.
>
> Check that the Subject of the reply message contains
>  the confirmation ID: 0839223855,
>  the reply is directed to <event-subscribe at in.tu-clausthal.de>,
>  and the 'From' address of your reply is <jleite at di.fct.unl.pt>.
>
> If you do not want to confirm the requested operation, simply do nothing
>
> All requests about this mailing list
>  should be sent to <event-request at in.tu-clausthal.de>
>
>


From lads007 at gmail.com  Thu Mar  8 14:12:39 2007
From: lads007 at gmail.com (LADS'007 Co-organisers)
Date: Thu, 8 Mar 2007 13:12:39 +0000
Subject: LADS'007 - Call for Papers - Workshop on Languages, methodologies
 and Development tools for multi-agent Systems
Message-ID: <200703081312.l28DCeco016431@ns.di.fct.unl.pt>

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

                          CALL FOR PAPERS

                 Submission deadline: June 1, 2007

                   Springer LNAI Post-Proceedings

LADS'007 - First Workshop on Languages, methodologies and Development
                    tools for multi-agent Systems

                http://lia.deis.unibo.it/confs/lads/

Part of MALLOW'007, a federation of workshops on Multi-Agent Logics,
                    Languages, and Organisations

                        September 3-7, 2007

                       Durham, United Kingdom

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

Aim and Scope:

This workshop is dedicated to formal approaches, programming
languages, tools and techniques that support the development of
multi-agent systems. LADS'007 aims to address both theoretical and
practical issues related to developing and deploying multi-agent
systems and promotes the discussion and exchange of ideas concerning
concepts, methodologies, techniques and principles that are
important for multi-agent programming technology, and application in
areas such as the electronic institutions, semantic web, web
services, security, grid computing, ambient intelligence, pervasive
computing, and electronic contracting.

This workshop welcomes submissions of original papers concerning all
aspects of multi-agent development and deployment. Topics include
but are not limited to:

- Programming languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Semantics for multi-agent programming languages
- Implementation of social and organisational aspects of MAS
- Modal and epistemic logics for agent modelling
- Model checking agents and multi-agent systems
- Algorithms for multi-agent issues (e.g., coordination, cooperation,
  negotiation, distributed constraint satisfaction)
- Declarative approaches to engineering agent systems
- Declarative models of agent beliefs and capabilities
- Declarative models of bounded rationality
- Declarative paradigms for the combination of heterogeneous agents
- Specification and verification logics
- Logic programming approaches to agent systems
- Methodologies for MAS analysis and design
- Agent-oriented requirements analysis and specification
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- High-level executable multi-agent specification languages
- Agent communication in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming of mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Experimental analysis of declarative agent technologies
- Industrial experiences with (declarative) agent technologies
- Service-oriented multiagent systems
- Protocol specification and conformance checking
- Declarative description of contracts and negotiation policies
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools
- Test and debugging tools and techniques for MAS
- Electronic institutions

Paper Submission and Publication:

Papers should be written in English, formatted according to the
Springer LNCS style, and they should not exceed sixteen (16) pages
including title page, figures, references, etc. Print and electronic
post-proceedings of selected and revised LADS'007 papers will be
published by Springer in the Lecture Notes in Artificial
Intelligence series.

Important dates:

- Submission: 1 June 2007
- Notification: 6 July 2007
- Camera-ready: 20 July 2007
- Workshop: 4-6 September 2007

Organising Committee:

- Mehdi Dastani
- Amal El Fallah Seghrouchni
- Jo�o Leite
- Paolo Torroni

All enquiries should be sent to lads2007 at easychair.org



From wiiat at kis-lab.com  Thu Mar  8 16:55:29 2007
From: wiiat at kis-lab.com (Jia Hu)
Date: Thu, 8 Mar 2007 23:55:29 +0800
Subject: CFP: IEEE/WIC/ACM IAT 2007 (Silicon Valley, USA)
Message-ID: <20070308160212.D179D241A87@sphinx.rz.tu-clausthal.de>

[Apologies if you receive this more than once]

#####################################################################
         IEEE/WIC/ACM Intelligent Agent Technology 2007
                  CALL FOR PAPERS
#####################################################################

2007 IEEE/WIC/ACM International Conference on
Intelligent Agent Technology (IAT'07)

Silicon Valley, USA, November 2-5, 2007
http://www.cs.sjsu.edu/wi07/iat/
(to be collocated with BIBM'07 and GrC'07)

Sponsored By
IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)

#####################################################################
# Conference Chair
#    Andrei Broder, VP, Yahoo Fellow, Yahoo! Research
#
# Program Chair and Co-Chairs	
#    T.Y. Lin,            San Jose State University/UC Berkeley, USA
#    Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA
#    Matthias Klusch,     German Research Center for AI, Germany
#    Chengqi Zhang,       University of Technology, Sydney, Australia
#
# Organizing Chair	
#    Howard Ho, Manager, IBM Almaden Research Center 
# 
# IAT-WI Joint Keynote Speakers (Tentative)
# 
# Vinton G. Cerf, Turing Award Winner, 
#                 VP and Chief Internet Evangelist, Google 
# Anant Jhingran, VP and CTO, IBM Silicon Valley Laboratory 
#
# (More IAT Invited Speakers will be announced)
#
# (Papers Due: ** June 1 **, 2007)
# Accepted papers will be published in the conference proceedings 
# by the IEEE Computer Society Press, which are indexed by EI.
######################################################################

The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent
Technology (IAT'07) will be jointly held with the 2007 IEEE/WIC/ACM
International Conference on Web Intelligence (WI'07), the 2007 IEEE
International Conference on BioInformation and BioMedicine (BIBM'07),
and the 2007 IEEE International Conference on Granular Computing
(GrC'07) for providing synergism among the four research areas.  It
will provide opportunities for technical collaboration beyond that of
previous conferences. The four conferences will have a joint opening,
keynote, reception, and banquet. Attendees only need to register for
one conference and can attend workshops, sessions and tutorials across
the four conferences.  We are also planning a joint panel and joint
paper sessions that discuss common problems in the four areas.

IAT 2007 provides a leading international forum to bring together
researchers and practitioners from diverse fields, such as computer
science, information technology, business, education, human factors,
systems engineering, and robotics, to (1) examine the design
principles and performance characteristics of various approaches in
intelligent agent technology, and (2) increase the cross-fertilization
of ideas on the development of autonomous agents and multi-agent
systems among different domains. By encouraging idea-sharing and
discussions on the underlying logical, cognitive, physical, and
sociological foundations as well as the enabling technologies of
intelligent agents, IAT 2007 will foster the development of novel
paradigms and advanced solutions in agent-based computing.

+++++++++++
Highlights
+++++++++++

The conference will be held in Silicon Valley, California. Many
high-tech companies and three distinguished universities (Stanford, UC
Berkely and UCSC) are just around the corner. The highlight of the
conference is that a unique forum consisting of a half-day demo
session and free discussion will be organized to link industries and
academics. Leading IT companies like IBM, Google, and Yahoo etc will
present at the conference.

The area now known as Silicon Valley has been a center of
technological development since the 1950's. The name Silicon Valley
stems from the early 1970's, when the area had become the center for
many semiconductor companies. While still hosting semiconductor and
microprocessor companies, the region now hosts the headquarters of
high tech companies of every kind, including many of the best known
and most prestigious names in personal computers, Web search, Internet
auctions, networking, storage, databases, etc.

+++++++++++++++++++
Topics of Interest
+++++++++++++++++++

The topics and areas include, but not limited to:

* Autonomy-Oriented Computing (AOC)
  - Agent-Based Complex Systems Modeling and Development
  - Agent-Based Simulation
  - Autonomy-Oriented Modeling and Computation Methods
  - Behavioral Self-Organization
  - Complex Behavior Characterization and Engineering
  - Emergent Behavior
  - Hard Computational Problem Solving
  - Nature-Inspired Paradigms
  - Self-Organized Criticality
  - Self-Organized Intelligence
  - Swarm Intelligence

* Autonomous Knowledge and Information Agents
  - Agent-Based Distributed Data Mining
  - Agent-Based Knowledge Discovery And Sharing
  - Autonomous Information Services
  - Distributed Knowledge Systems
  - Emergent Natural Law Discovery in Multi-Agent Systems
  - Evolution of Knowledge Networks
  - Human-Agent Interaction
  - Information Filtering Agents
  - Knowledge Aggregation
  - Knowledge Discovery
  - Ontology-Based Information Services

* Agent Systems Modeling and Methodology
  - Agent Interaction Protocols
  - Cognitive Architectures
  - Cognitive Modeling of Agents
  - Emotional Modeling
  - Fault-Tolerance in Multi-Agent Systems
  - Formal Framework for Multi-Agent Systems
  - Information Exchanges in Multi-Agent Systems
  - Learning and Self-Adaptation in Multi-Agent Systems
  - Mobile Agent Languages and Protocols
  - Multi-Agent Autonomic Architectures
  - Multi-Agent Coordination Techniques
  - Multi-Agent Planning and Re-Planning
  - Peer-to-Peer Models for Multi-Agent Systems
  - Reinforcement Learning
  - Social Interactions in Multi-Agent Systems
  - Task-Based Agent Context
  - Task-Oriented Agents

* Distributed Problem Solving
  - Agent-Based Grid Computing
  - Agent Networks in Distributed Problem Solving
  - Collective Group Behavior
  - Coordination and Cooperation
  - Distributed Intelligence
  - Distributed Search
  - Dynamics of Agent Groups and Populations
  - Efficiency and Complexity Issues
  - Market-Based Computing
  - Problem-Solving in Dynamic Environments
 
* Autonomous Auctions and Negotiation
  - Agent-Based Marketplaces
  - Auction Markets
  - Combinatorial Auctions
  - Hybrid Negotiation
  - Integrative Negotiation
  - Mediating Agents
  - Pricing Agents
  - Thin Double Auctions

* Applications
  - Agent-Based Assistants
  - Agent-Based Virtual Enterprise
  - Embodied Agents and Agent-Based Systems Applications
  - Interface Agents
  - Knowledge and Data Intensive Systems
  - Perceptive Animated Interfaces
  - Scalability
  - Social Simulation
  - Socially Situated Planning
  - Software and Pervasive Agents
  - Tools and Standards
  - Ubiquitous Systems and E-Technology Agents
  - Ubiquitous Software Services
  - Virtual Humans
  - XML-Based Agent Systems

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

High-quality papers in all IAT related areas are solicited. 
Paper submissions should be limited to a maximum of 7 pages in the
IEEE 2-column format, the same as the camera-ready format (see the
Author Guidelines of last year at
http://www.computer.org/portal/pages/cscps/cps/final/iat06.xml). 
All submitted papers will be reviewed by the Program Committee on 
the basis of technical quality,  relevance, significance, and clarity. 

Note that IAT'07 will accept ONLY on-line submissions, containing
PDF versions. Please use the Submission Form on the IAT'07
website to submit your paper. Accepted papers will be published in the
conference proceedings by the IEEE Computer Society Press that are
indexed by EI.

Submissions accepted as regular papers will be allocated 7 pages in the
proceedings and accorded oral presentation times in the main conference. 
Submissions accepted as short papers will be allocated 4
pages in the proceedings and will have a shorter presentation time at
the conference than regular papers.

All co-authors will be notified at all time, for the submission,
notification, and confirmation on the attendance. Submitting a paper
to the conference and workshops means that, if the paper is accepted,
at least one author should attend the conference to present the
paper. The acceptance list and no-show list will be openly published
on-line. For no-show authors, their affiliations will receive a
notification.

A selected number of IAT'07 accepted papers will be expanded and
revised for inclusion in Web Intelligence and Agent Systems: An
International Journal (http://wi-consortium.org/journal.html) and in
Annual Review of Intelligent Informatics
(http://www.wi-consortium.org/annual.html)

More detailed instructions and the On-Line Submission Form can be
found from the IAT'07 homepage: http://www.cs.sjsu.edu/wi07/iat/.

+++++++++++++++++++++++++
IAT'07 Best Paper Awards 
+++++++++++++++++++++++++

The best paper awards will be conferred at the conference on the
authors of (1) the best research paper and (2) the best application
paper. Application-oriented submissions will be considered for the
best application paper award.

The full author list and paper title will be announced on the 
Web Intelligence Consortium homepage:
http://wi-consortium.org/html/wicawards.html

++++++++++++++++++++
Industry/Demo-Track
++++++++++++++++++++

We solicit Industry/Demo-Track papers by the following methods.

(1) Industry papers of 4 pages can be submitted on the same schedule as
    the research track.
(2) Separate 2 page demo proposals can submitted at a later schedule.
(3) Full regular paper submissions can include a demo option.
    That is, a full paper submissions will be asked to
    specify if they would like to give a demonstration; choice of
    demonstrations (while utilizing information from the regular reviewing
    process) will be selected based on value as a demonstration.

For options (1) and (2), please find more detailed instructions at
the homepage: http://www.cs.sjsu.edu/wi07/wi/

We are planning to arrange the Industry/Demo track in the afternoon of
November 3 (before and during the conference reception), jointly with
the IAT'07 Demo sessions. Leading IT companies in Silicon Valley 
will be invited to attend this track.

++++++++++
Workshops
++++++++++

As an important part of the conference, the workshop program will
focus on new research challenges and initiatives. All papers accepted
for workshops will be included in the Workshop Proceedings published
by the IEEE Computer Society Press that are indexed by EI, and will be
available at the workshops. Detailed information is available at the
conference homepage.

Note: we will not have a separate workshop registration fee
(i.e., only one conference registration covers everything).

For more information, please visit the conference website at
http://www.cs.sjsu.edu/wi07/iat/.

++++++++++
Tutorials
++++++++++

IAT'07 also welcomes Tutorial proposals. IAT'07 will include
tutorials providing in-depth background on subjects that are of broad
interest to the intelligent agent community. Both short (2 hours) and
long (half day) tutorials will be considered. The tutorials will be
part of the main conference technical program. Detailed information
is available at the conference homepage.

Note: we will not have a separate tutorials registration fee
(i.e., only one conference registration covers everything).

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

Workshop proposal submission:           March 20, 2007
Electronic submission of full papers:   ** June 1, 2007 **
Tutorial proposal submission:           June 15, 2007
Notification of paper acceptance:       August 3, 2007
Camera-ready copies of accepted papers: August 17, 2007
Conference:                             November 2-5, 2007 

++++++++++++++++++++++++
Conference Organization
++++++++++++++++++++++++

Conference Chair:
  * Andrei Broder, Yahoo! Research, USA

Program Chair:
  * Tsau Young (T.Y.) Lin, San Jose State University/UC Berkeley, USA

IAT Program Co-Chairs:
  * Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA
  * Matthias Klusch, German Research Center for AI, Germany
  * Chengqi Zhang, University of Technology, Sydney, Australia

WI Program Co-Chairs:
  * Laura Haas, IBM Almaden Research Center, USA
  * Janusz Kacprzyk, Polish Academy of Science, Poland
  * Rajeev Motwani, Stanford University, USA

Organizing Chair:
  * Howard Ho, IBM Almaden Research Center, USA

Workshop Co-Chairs:
  * Vijay Raghavan, University of Louisiana, USA
  * Yuefeng Li, Queensland University of Technology, Australia

Tutorial Chair:
  * Pawan Lingras, Saint Mary's University, Canada

Industry/Demo-Track Chair:
  * Jianchang Mao, Yahoo! Inc., USA

Local Accommodations Co-Chairs:
  * David Scot Taylor, San Jose State University, USA
  * Tom Qi Zhang, Google, USA

Publicity Chair: 
  * James Wang, Clemson University, USA (chair)
Publicity Co-Chairs: 
  * Martine De Cock, Ghent University, Belgium 
  * Jia Hu, International WIC Institute, China
  * Debajyoti Mukhopadhyay, West Bengal University of Technology, India

IEEE-CS-TCII Chair:
 * Ning Zhong, Maebashi Institute of Technology, Japan

ACM-SIGART Chair
 * Maria Gini, University of Minnesota, USA

WIC Co-Chairs/Directors:
 * Ning Zhong, Maebashi Institute of Technology, Japan
 * Jiming Liu, University of Windsor, Canada

WIC Advisory Board: 
 * Edward A. Feigenbaum, Stanford University, USA
 * Setsuo Ohsuga, Waseda University, Japan
 * Benjamin Wah, University of Illinois, Urbana-Champaign, USA
 * Philip Yu, IBM Thomas J. Watson Research Center, USA
 * L.A. Zadeh, University of California Berkeley, USA

WIC Tech. Committee & WI/IAT Steering Committee:
 * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA
 * Nick Cercone, Dalhousie University, Canada
 * Dieter Fensel, National University of Ireland, Ireland
 * Georg Gottlob, Oxford University, UK
 * Lakhmi Jain, University of South Australia, Australia
 * Jianchang Mao, Yahoo! Inc., USA
 * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France
 * Hiroshi Motoda, Osaka University, Japan
 * Toyoaki Nishida, Kyoto University, Japan
 * Andrzej Skowron, Warsaw University, Poland
 * Jinglong Wu, Kagawa University, Japan
 * Xindong Wu, University of Vermont, USA
 * Yiyu Yao, University of Regina, Canada

Webmaster:
 * Albert Sutojo, San Jose State University, USA

*** Contact Information ***

Jia Hu
International WIC Institute, China
E-mail: hujia at kis-lab.com



From autexier at ags.uni-sb.de  Fri Mar  9 09:19:15 2007
From: autexier at ags.uni-sb.de (Serge Autexier)
Date: Fri, 09 Mar 2007 09:19:15 +0100
Subject: Special Issue of Formal Aspects of Computing: Formal Modeling and
 Verification of Critical Systems
Message-ID: <45F11883.9050009@ags.uni-sb.de>

			    Call For Papers

		 Journal on Formal Aspects of Computing

			    Special Issue on

	  Formal Modeling and Verification of Critical Systems


This   special issue is   devoted to  the   scope  of two  international
workshops: the Workshop on   Automated Verification of  Critical Systems
(AVoCS 2006) and the Verification Workshop (VERIFY'06), which took place
during September  2006  in  Nancy (France)  and  during August  2006  in
Seattle (USA),  respectively.   Topics   of  interest include  automated
verification (abstract  interpretation, model checking, theorem proving,
...), formal   development  methodologies  (compositional   and  modular
reasoning,  refinement,  stepwise  development,  ...),  formal  modeling
techniques    (architectural modeling,   behavioral modeling,    generic
security  models,  ...),  and   case  studies  (academic  as   well   as
industrial).   Possible   application   areas  include  safety-critical,
security-critical, and performance-critical systems.

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   FAC's    author  guidelines   (see
http://www.springer.com/journal/00165/submission),   be     written   in
English, and be formatted using LaTeX.

Submission to this special issue are hereby encouraged via the EasyChair
submission   system at http://www.easychair.org/AVOCSVERIFYJFAC07.   The
deadline for submissions is June 1st, 2007.

Guest editors: Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow


Useful websites:

* Special issue:        http://www.dfki.de/~serge/AVOCS-VERIFY-07
* Submission Webpage:   http://www.easychair.org/AVOCSVERIFYJFAC07
* AVOCS'06 Webpage:     http://avocs06.loria.fr/
* VERIFY'06 webpage:    http://www.easychair.org/FLoC-06/VERIFY.html
* Journal homepage:     http://www.bcs-facs.org/journal
* Author guidelines:    http://www.springer.com/journal/00165/submission


-- 
Serge Autexier                       Tel:    +49-681-302-2133
DFKI GmbH &                          Fax:    +49-681-302-5076
Informatics, Saarland University   Email:    autexier at dfki.de
66123 Saarbruecken                   WWW: www.dfki.de/~serge/


From jv at imm.dtu.dk  Fri Mar  9 20:37:58 2007
From: jv at imm.dtu.dk (Joergen Villadsen)
Date: Fri, 9 Mar 2007 20:37:58 +0100
Subject: DEADLINE EXTENDED: International Workshop on Hybrid Logic 2007 (HyLo 2007)
Message-ID: <20070309193757.43CD1FAC01A@pfepa.post.tele.dk>

*******************************************************************
                    HYLO 2007 DEADLINE EXTENDED!
                  New deadline is Thursday March 22
*******************************************************************
                       FINAL CALL FOR PAPERS
      International Workshop on Hybrid Logic 2007 (HyLo 2007)
                   http://hylomol.ruc.dk/HyLo2007
                        6 - 10 August, 2007
                       organized as part of
                   the European Summer School on
                  Logic, Language and Information
           ESSLLI 2007 https://www.cs.tcd.ie/esslli2007
                   6 - 17 August, 2007 in Dublin
*******************************************************************

ORGANIZERS:

Torben Braüner (Roskilde University, Denmark, torben at ruc.dk) - Chair
Jørgen Villadsen (Technical University of Denmark, jv at imm.dtu.dk) 

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.

The topic of the HyLo workshop of 2007 is not only standard 
hybrid-logical machinery like nominals, satisfaction operators, and 
the downarrow binder, but generally extensions of modal logic that 
increase its expressive power.

The workshop HyLo 2007 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, 
most recently the LICS-affiliated HyLo 2006 
(http://hylomol.ruc.dk/HyLo2006/). The workshop aims to provide a 
forum for advanced PhD students and researchers to present and 
discuss their work with colleagues and researchers who work in the 
broad subject areas represented at ESSLLI.

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. Papers should not 
exceed 10 pages including references. A paper must be submitted 
as a PDF file and the font size must be at least 10 pt when 
printed on A4 paper. It is recommended that the LaTeX "article" 
style is used. Please use the HyLo 2007 submission page 
(http://www.easychair.org/HyLo2007/), handled by the EasyChair 
conference system, to submit papers. The accepted papers will 
appear in the workshop proceedings published by ESSLLI. 
One author for each accepted paper must attend the workshop in 
order to present the paper. It is planned to publish revised 
versions of the accepted papers in a special issue of 
Journal of Logic, Language and Information.

WORKSHOP FORMAT:

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

INVITED SPEAKERS:

Balder ten Cate (University of Amsterdam, The Netherlands)
Ian Hodkinson (Imperial College, UK)

PROGRAM COMMITTEE:

Carlos Areces (INRIA Lorraine, France)
Patrick Blackburn (INRIA Lorraine, France)
Thomas Bolander (Technical University of Denmark) - Co-Chair
Torben Braüner (Roskilde University, Denmark) - Chair
Mai Gehrke (New Mexico State University, USA)
Valeria de Paiva (PARC, USA)
Jørgen Villadsen (Technical University of Denmark) 

IMPORTANT DATES:

Deadline for submissions: March 22, 2007 (strict)
Notification of acceptance: April 21, 2007
Preliminary programme: April 24, 2007
ESSLLI early registration: May 1, 2007
Deadline for final versions: May 17, 2007
Final programme: June 21, 2007
Workshop dates: 6 - 10 August, 2007

LOCAL ARRANGEMENTS:

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

FURTHER INFORMATION:

About the workshop: http://hylomol.ruc.dk/HyLo2007
About ESSLLI: https://www.cs.tcd.ie/esslli2007


From gheorghe at funinf.cs.unibuc.ro  Sun Mar 11 11:57:10 2007
From: gheorghe at funinf.cs.unibuc.ro (Gheorghe Stefanescu)
Date: Sun, 11 Mar 2007 12:57:10 +0200 (EET)
Subject: 1st CfP: Streams and Algebra - J.Log.Alg.Prog. Special Issue
Message-ID: <Pine.LNX.4.44.0703111251510.15211-100000@sun1.funinf.cs.unibuc.ro>

[Our apologies if you receive multiple copies]
-----------------------------------------------------------------------

                           CALL FOR PAPERS
	      Journal of Logic and Algebraic Programming
			   special issue on

		S T R E A M S   A N D   A L G E B R A

		   [ Deadline: 1st September 2007 ]


Special Issue Editors: Manfred Broy         [TU Muenchen,     Germany]
                       Gheorghe Stefanescu  [Univ. Bucharest, Romania]



SCOPE OF THE SPECIAL ISSUE

   A new computing paradigm is currently on spot: interactive
   computation. Most of concurrent, distributed, reactive, embedded,
   component-oriented, agent-oriented and service-oriented systems
   exploit interaction as a fundamental paradigm. At an interaction
   interface data evolve in time, hence streams occur as a royal
   candidate for modeling, specifying, programming, and verifying
   interactive systems.

   This JLAP special issue is dedicated to papers presenting
   fundamental results on streams and making use of algebraic
   techniques.  Topics of interest include [but are not limited
   to]:

   * Algebraic specifications
   * Coordination languages
   * Data-flow networks
   * Interactive systems
   * Hardware design
   * Programming languages
   * Real-time systems
   * Semantics


THE JOURNAL

   The Journal of Logic and Algebraic Programming is an
   international journal whose aim is to publish original work in
   the areas of logical and algebraic methods and techniques for
   programming in its broadest sense. The Journal of Logic and
   Algebraic Programming complements Elsevier's Science of Computer
   Programming and Theoretical Computer Science by its focus on the
   foundations of logical, algebraic and categorical methods for
   programming. For more information, visit
   http://www.elsevier.com/locate/jlap.


IMPORTANT DATES

   Submission deadline:  1st September 2007
   Author notification:  1st January   2008
   Revised papers due:   1st March     2008


SUBMISSION OF MANUSCRIPTS

   We are expecting full (typically, 20-40 pages) high-quality
   papers describing original, previously unpublished research and
   not being simultaneously submitted for publication elsewhere.  The
   normal reviewing process for JLAP journal will be used.

   Submissions should arrive no later than 1st September 2007.  For
   submission, the Elsevier online submission system will be used.
   The authors have to select "Special Issue: Streams and Algebra"
   when they reach the "Article Type" step in the submission
   process. Link: http://ees.elsevier.com/jlap/default.asp

   Authors should use the LaTeX style of the journal which can be
   obtained at the following address:
   http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions

   Queries concerning this special issue should be directed to any
   of the special issue editors. Up-to-date information will also be
   available from http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP/


SPECIAL ISSUE EDITORS

   Manfred Broy         Technische Universität München
			Institut für Informatik
			Boltzmannstr. 3
			85748 Garching
			Germany
			Email: broy at in.tum.de

   Gheorghe Stefanescu  University of Bucharest
			Faculty of Mathematics and Computer Science
			Str. Academiei 14
			010014 Bucharest
			Romania
			Email: gheorghe at funinf.cs.unibuc.ro


USEFUL LINKS

   Journal website:        http://www.elsevier.com/locate/jlap
   Up-to-date information: http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP



From phismith at buffalo.edu  Sun Mar 11 18:47:59 2007
From: phismith at buffalo.edu (Smith, Barry)
Date: Sun, 11 Mar 2007 13:47:59 -0400
Subject: OIC 2007 - Ontology for the Intelligence Community
Message-ID: <20070311174824.DSKR6520.mta13.adelphia.net@LENOVO-B1AD6243.buffalo.edu>



OIC 2007: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY

Towards Effective Exploitation and Integration of Intelligence Resources

Hilton Hotel, Columbia, MD

November 28-29, 2007

The increasing volume, variety and velocity of intelligence analysis 
requires new approaches that will enable greater flexibility, 
precision, timeliness and automation of analysis to maximize valuable 
human resources in responding to fast-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 also 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.

Conference Director: Barry Smith (National Center for Ontological 
Research, Buffalo)

Scientific Committee
Kathleen Stewart Hornsby (Maine) (Chair)
Bill Andersen (Ontology Works)
Selmer Bringsjord (Rensselaer)
Werner Ceusters (Buffalo)
Randall Dipert (Buffalo)
Terry Janssen (Lockheed)
Kathryn Laskey (George Mason University)
Kevin Lynch (CIA)
Leo Obrst (Mitre)
Chris Welty (IBM Research)


CALL FOR PAPERS
Submissions are invited of short papers in pdf format (up to 1500 
words) designed to serve as the basis for 20-minute oral 
presentations at the conference. The authors of selected papers will 
be invited to submit longer versions for publication in volume 1 of a 
new series on Ontology for the Intelligence Community, to be 
published by IOS Press.

Papers may address a wide variety of issues addressing the ontology 
needs of the intelligence community. We are especially interested in 
papers devoted to the task of creating an interoperable suite of 
public-domain ontologies relevant to intelligence analysis, covering 
areas such as:

         emergency response
         urban settings
         geospatial / cartographic
         ethnicity
         social networks
         images and imaging
         transportation
         moving object tracking
         religion and politics
         biology and health

The ontologies should be combinable at will in such a way as to 
support the integration of data describing different domains. We 
encourage submissions that describe scenarios where multiple 
ontologies are linked to support higher-order analysis and reasoning 
over complex data. Questions to be addressed might include: which 
domains should be included in such a suite of ontologies? how can we 
ensure that ontologies interoperate in useful ways? how can we 
address the specific problems arising in virtue of the partiality and 
uncertainty of intelligence data? how can we use domain ontologies to 
organize, display and share intelligence analysis hypotheses while 
also maintaining a clean distinction between types and instances in 
knowledge representation artifacts?

Deadlines
Receipt of papers: July 15, 2007
Notification of acceptance: August 31, 2007

Further information regarding submission will be provided in due 
course at http://ncor.us/oic2007

For inquiries please write to ncor at buffalo.edu.

This meeting is sponsored by the NATIONAL CENTER FOR ONTOLOGICAL 
RESEARCH - BUFFALO.




From stijn.heymans at deri.org  Mon Mar 12 11:22:15 2007
From: stijn.heymans at deri.org (Stijn Heymans)
Date: Mon, 12 Mar 2007 11:22:15 +0100
Subject: Call for demos: ESWC 2007
Message-ID: <200703121122.28101.stijn.heymans@deri.org>

==== Call for Demos at ESWC2007

    ESWC 2007
    4th European Semantic Web Conference
    3 - 7 June 2007
    Innsbruck (Austria)

http://www.eswc2007.org/

Besides the referred paper and poster tracks, ESWC asks for demonstrations
of semantic web ideas to applied to real world problems. This includes
applications, demonstrations of innovative technologies or infrastructure
that supports the deployment of semantic web applications in any area
covered by topics of interest for ESWC2007.

All demonstrations must show relevance, novelty and significance.

== Submissions

Submissions are to be sent to eswc2007-demo at sparql.org by noon, Monday
April 2nd. They must contain:

    * A description of the demonstration, including a statement of its
      cnovelty and relevance.
    * An RDF description

The RDF metadata must include at least a DOAP description [DOAP] and
include contact email using FOAF [FOAF].

The description should be 2-sides or less (excluding screen shots), or a
draft poster with a covering note stating the contribution.

We accept only submissions in the PDF or HTML formats.

== Late breaking news

A few items of late breaking news may also be accepted. To be acceptable
for a poster presentation of late breaking news, a submission must include:

    * Draft poster or 2-side description of the new item
    * A statement as why the submission is timely.

Material submitted to the main paper and poster tracks will not be accepted.

Posters for late breaking news will not be published as part of the conference
proceedings.

== Dates

Demo day: Monday 4th June

Important Dates:

    * Deadline for demo submission: noon Monday April 2nd
    * Notification: May 2nd
    * Demo day: Monday 4th June

Review Committee

    Andy Seaborne (Chair) -- Hewlett-Packard Laboratories
                             <andy.seaborne at hp.com>
    Chris Bizer           -- Freie Universit�t Berlin
    Alberto Reggiori      -- asemantics
    Arjohn Kampman        -- Aduna
    Steve Harris          -- garlik
    Rob Shearer           -- University of Manchester

DOAP
    http://usefulinc.com/doap/
DOAP generator
    http://crschmidt.net/semweb/doapamatic/ 
FOAF
    http://xmlns.com/foaf/0.1/
FOAF generator
    http://www.ldodds.com/foaf/foaf-a-matic.html 


-- 
T +43 512 507 6426
F +43 512 507 9872
W http://members.deri.at/~stijnh/
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : nicht verfügbar
Dateityp    : application/pgp-signature
Dateigröße  : 189 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070312/8b63f3b4/attachment.sig>

From Stephanie.Chow at uoit.ca  Tue Mar 13 13:29:10 2007
From: Stephanie.Chow at uoit.ca (Stephanie Chow)
Date: Tue, 13 Mar 2007 07:29:10 -0500
Subject: Call for Contributions: Eleventh International IEEE EDOC Conference (EDOC 2007)
Message-ID: <ECC165E96ED12C4694072B3DB0DE3F9F05797FFA@itsosmsx01.oncampus.local>

Eleventh International IEEE EDOC Conference (EDOC 2007)
“The Enterprise Computing Conference”
– Call for papers –
15-19 October 2007, Annapolis, MD USA
http://www.edocconference.org
Sponsored by:
IEEE Computer Society
IEEE Communications Society
Hosted by:
The MITRE Corporation
About the conference
The EDOC Conference is the key annual event in enterprise computing. EDOC conferences address the full range of engineering technologies and methods contributing to enterprise distributed application systems. EDOC 2007 will be the eleventh event in the series of conferences, which since 1997 has brought together leading computer science researchers, IT decision makers, IT architects, solution designers and practitioners from academia, industry and government to discuss enterprise computing challenges, models and solutions. Today the creation, operation and evolution of enterprise computing systems comprises challenges that range from high-level requirements and policy modeling to the deployment and maintenance of solutions in and across customer businesses. Enterprise computing is based on a wide (and ever growing) range of methods, models, tools and technologies. The resulting applications also cover a broad spectrum of vertical domains and industry segments, from electronic and mobile commerce to real-time business applications for collaborating enterprises. In recent years, technologies related to business processes integration, management, execution and monitoring have become one of the top areas of interest in enterprise computing. The EDOC Conference emphasizes the integration and management of enterprise computing research and development results, fostering an enterprise and social organizational engineering approach that can address and relate business, application, middleware and technical levels. The themes of openness and distributed computing, based on services, components and objects, provide a useful and unifying conceptual thread for this purpose.
Topics
The EDOC program committee seeks high-quality papers addressing the domains, the life-cycle issues and the realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to:
* Enterprise applications architecture
- Model driven architectures (MDA) and model driven SW development
- Recent UML and OCL based approaches
- Modeling based on domain specific languages (DSL)
- Component based approaches compliant with the OMG enterprise collaboration architecture (ECA)
- Collaborative development and cooperative engineering issues
- Organization and principles of software factories
* State of the art in distributed enterprise applications
- Evolution of middleware standards and architectures, such as CORBA, J2EE and .NET
- Application server solution design and deployment
- Industry specific solutions, e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications
- Innovative applications
*  Integration of multimedia technologies
*  Integration of embedded and mobile interactions
*  Mobile ad hoc networks (MANETs)
* Enterprise applications management
- Maturity models for enterprise applications
- Performance and operational risk prediction and measurement
- Quality of service (QoS) and cost of service (CoS)
- Total cost of ownership (TCO) for enterprise scale solutions
- Management and maintenance of enterprise computing systems
- Information assurance
- Human and social organizational factors in enterprise computing
* Inter-Enterprise collaboration and its architecture
- Cross-organizational business processes
- Community services and infrastructures
- Research and public sector collaboration, e.g. in
*  e-health
*  e-government
* Service oriented architectures (SOA) and enterprise service architectures (ESA)
- Web services research
- Service composition
- Evolution of web services specifications
- Service policies and contract definitions and enforcement
- Service registries –
*  Universal description, discovery and integration (UDDI) and its extensions
*  Semantic service annotations and descriptions
*  Emerging standards for semantic web services
* Business process management (BPM) Systems
- Business Process Modeling and Metamodels
- Business Process Monitoring and Intelligence
- Dynamically configurable BPs
- People integration in BPM Systems
* Business Rules
- Business rules languages and inference systems
- Business rules components
- Business policies
- Rule driven business process engines
* Identity Management and Distributed Access Control
- Security policy definition and description languages
- Security policy interoperability
- Distributed and federated access control
- Network public key infrastructures
- Service provisioning
- Inference mechanisms for policy enforcement
* Information Integration and Interoperability
- Business object model methodologies and approaches
- Taxonomies, ontologies and business knowledge integration
- Master data management for the real-time enterprise (RTE)
- Information management
- Information modeling and transformation across heterogeneous resources
Submission guidelines
Two types of paper submissions will be accepted – research papers and experience reports or case studies.
Research papers should describe original research results that have not been accepted or submitted for publication elsewhere. These papers will be evaluated for scientific or technical contribution, originality, appropriateness and significance. Submissions should not exceed 12 pages in the IEEE format. Experience reports should describe new insights gained from case studies or the application of enterprise computing technology in practice. These papers will be evaluated on their appropriateness, significance and clarity of expression.
Submissions should contain at least 2,000 words and must not exceed 5,000 words.
The conference proceedings will be published by the IEEE Computer Society Press and will be included in the Computer Society Digital Library (CSDL) and the IEEE Digital Library – IEEE Xplore.
All papers will be refereed by at least 3 members of the international program committee, and at least two will be experts from industry in the case of experience reports. All submissions must be in English. Submissions should be made electronically in PDF format through the electronic submission system via the EDOC Conference Management system.
Journals associated with EDOC 2007
The selected best research papers will be considered for special issue of the Enterprise Information Systems Journal (http://www.tandf.co.uk/journals/titles/17517575.asp) to be published in issue #2 of 2008 as well as a potential special EDOC section of the IEEE IT Professional to be published in Spring 2008.
EDOC Workshops
We are inviting proposals for workshops to be held on the 15th and 16th of October 2007. Workshops provide organizers and participants with an opportunity to exchange opinions, advance ideas, and discuss preliminary results on current topics related to enterprise computing, in a small and interactive atmosphere. Workshops can choose to concentrate on in-depth research topics, be devoted to discuss best practices, applications and industrial issues, or a mixture of both. Workshop proposals should be sent to the Workshop Chairs Aniruddha Gokhale a.gokhale at vanderbilt.edu or Vijay Rachamadugu vijayr at mitre.org and should include the title, the names and brief (200 word) biography for each organizer, the proposed workshop duration (one or two days) and a summary of the workshop topics and contents (approximately 1-2 pages, i.e., 500-1000 words).
Important dates:
Conference Schedule
 Abstract submission (optional) 30 March 2007
 Paper submission due 1 May 2007
 Acceptance notification 30 June 2007
Workshop Schedule
 Proposals due: 28 February 2007
 Acceptance notification: 20 March 2007
  
Organizing Committee
General Chair
    Donald W. Sparrow, Jr. (MITRE Corporation, USA)
Program Co-Chairs
    Marcus Spies (University of Munich)
    M. Brian Blake (Georgetown University)
Workshop Co-Chairs
    Aniruddha Gokhale (Vanderbilt University)
    Vijaykumar Rachamadugu (MITRE Corporation, USA)
Publicity Co-Chairs
    Remco Dijkman (Eindhoven University of Technology, Netherlands)
    Patrick C. K. Hung (University of Ontario Institute of Technology, Canada)
Steering Committee
Colin Atkinson, Chair (University of Mannheim, Germany) 
Barrett Bryant (University of Alabama-Birmingham, USA)
Keith Duddy (DSTC, Australia)
Patrick C. K. Hung (University of Ontario Institute of Technology, Canada)
Zoran Milosevic (Deontik, Australia)
Maarten Steen (Telematica Instituut, Netherlands)
Marten J. Van Sinderen (University of Twente, Netherlands)
Guijun Wang (Boeing, USA) 
Alain Wegmann (EPFL, Switzerland) 
Program Committee
Jan Øyvind Aagedal (SINTEF, Norway)
Witold Abramowicz (Poznan University of Economics, Poland)
Dave Akehurst (University of Kent, UK)
Markus Aleksy (University of Mannheim, Germany)
Joao Paulo Almeida (Fed. Univ of Espírito Santo, Brazil & Univ of Twente, Netherlands)
Claudio Bartolini (Hewlett-Packard, USA)
James Bailey (University of Melbourne, Australia)
Andrew Berry (Deontik, Australia)
Jean Bézivin (University of Nantes, France)
Behzad Bordbar (Birmingham University, UK)
Indranil Bose (University of Hong Kong, Hong Kong)
Christoph Bussler (Cisco Systems, Inc, USA.)
Coral Calero (University of Castilla-La Mancha, Spain)
Fei Cao (Microsoft Corporation, USA)
Patrick Y.K. Chau (University of Hong Kong, Hong Kong)
Zhou Chen (Nanyang Technological University, Singapore)
Reynold Cheng (Hong Kong Polytechnic University, Hong Kong)
Chia-Chu Chiang (University of Arkansas at Little Rock, USA)
Dickson Chiu (Dickson Computer Systems, Hong Kong)
Fred Cummins (EDS, USA)
Ernesto Damiani (University of Milan, Italy)
Farhad Daneshgar (University of New South Wales, Australia)
Oscar Diaz (University of Basque Country, Spain)
Gillian Dobbie (University of Auckland, New Zealand)
Boudewijn v. Dongen (Eindhoven University of Technology, Netherlands)
Dirk Draheim (Software Competence Center Hagenberg, Austria)
Dieter Fensel (Digital Enterprise Research Institute, Austria)
Stephane Gagnon (New Jersey Institute of Technology, USA)
Gerald Gannod (Arizona State University, USA)
Claude Godart (Universite Henri Poincare, Nancy and INRIA, France)
Guido Governatori (University of Queensland, Australia)
Jun Han (Swinburne University of Technology, Australia)
Jan Hendrik Hausmann (University of Paderborn, Germany)
Pontus Johnson (Royal Institute of Technology, Sweden)
Eleanna Kafeza (Athens University of Economics and Business, Greece)
Axel Korthaus (University of Mannheim, Germany)
Thomas Kühne (Technische Universität Darmstadt, Germany)
Ashish Kundu (Purdue University, USA)
Lea Kutvonen (University of Helsinki, Finland)
Thomas Kwok (IBM T. J. Watson Research Center, USA)
Heinrich Hussmann (Munich University, Germany)
Marc Lankhorst (Telematica Instituut, Netherlands)
Fion Lee (Hong Kong Baptist University, Hong Kong)
Ho-fung Leung (Chinese University of Hong Kong, Hong Kong)
Frank Leymann (Stuttgart University, Germany)
Qing Li (City University, Hong Kong)
Yaping Lin (Hunan University, China)
Peter Linington (University of Kent, UK)
Claudia Linnhoff-Popien (Munich University, Germany)
Sonia Lippe (SAP Research, France)
Qusay Mahmoud (University of Guelph, Canada)
Carolyn McGregor (University of Western Sydney, Australia)
Frederic Montagut (SAP Research, France)
Jishnu Mukerji (Hewlett Packard, USA)
Francois Pacull (Xerox Research Europe, France)
George Papadopoulos (University of Cyprus, Cyprus)
Dunlu Peng (Fudan University, China)
Luís Ferreira Pires (University of Twente, Netherlands)
Frantisek Plasil (Charles University, Czech Republic)
Thomas Preuss (Fachhochschule Brandenburg, Germany)
Iman Hafiz Poernomo (King's College, UK)
Dick Quartel (University of Twente, Netherlands)
Rajeev Raje (Indiana University/Purdue University at Indianapolis, USA)
Kerry Raymond (Queensland University of Technology, Australia)
Tom Ritter (Fraunhofer Fokus, Germany)
Jose Raul Romero (University of Cordoba, Spain)
Douglas Schmidt (Vanderbilt University, USA)
Tony Shan (Wachovia Bank, USA)
Timothy Shih (Tamkang University, Taiwan)
Yuqing Sun (Shandong University. China)
Richard Soley (Object Management Group, USA)
Susanne Strahringer (European Business School, Germany)
Yazhe Tang (University of Western Ontario, Canada)
Michiaki Tatsubori (IBM Tokyo Research Laboratory, Japan)
Kerry Taylor (CSIRO, Australia)
David Trastour (Hewlett-Packard, USA)
Vladimir Tosic (Lakehead University, Canada)
Sandy Tyndale-Biscoe (Open-IT, UK)
Antonio Vallecillo (University of Malaga, Spain)
Pieter van Gorp (University of Antwerp, Belgium)
Changzhou Wang (Boeing, USA)
Xiaoling Wang (Fudan University, China)
Andrew Watson (Object Management Group, USA)
Gerald Weber (University of Auckland, New Zealand)
Edward Willink (Thales Research and Technology, UK)
Andreas Wombacher (University of Twente, Netherlands)
Bryan Wood (Open-IT, UK)
Jian Yang (Macquarie University, Australia)
George Yee (National Research Council, Canada)
Benjamin Yen (University of Hong Kong, Hong Kong)
Xiaofeng Yu (Nanjing University, China)
Michael Zapf (University of Kassel, Germany)
Christian Zeidler (ABB Corporate Research, Germany)
Dan Zhang (University of Ontario Institute of Technology, Canada)
Kangmin Zheng (MITRE Corporation, USA)
Note:  EDOC program inquires should be sent to program co-chairs Profs Marcus Spies (marcus.spies at lrz.uni-muenchen.de) or M. Brian Blake (blakeb at cs.georgetown.edu).

From amilcar at dei.uc.pt  Wed Mar 14 00:09:31 2007
From: amilcar at dei.uc.pt (=?ISO-8859-1?Q?F._Am=EDlcar_Cardoso?=)
Date: Tue, 13 Mar 2007 23:09:31 +0000
Subject: CfP: Computational Creativity 2007
Message-ID: <3368954B-C380-44B9-9224-32EBB2E23499@dei.uc.pt>

Apologies for cross-posting.

---------------------------------------------------------------------
CALL FOR PAPERS
4th INTERNATIONAL JOINT WORKSHOP ON COMPUTATIONAL CREATIVITY

Goldsmiths' College, University of London
London, UK, 17-19 June 2007


---> Due to requests, new Submission deadline: 24 March

website: http://doc.gold.ac.uk/isms/CC07/

The Program Committee of the 4th International Joint Workshop on
Computational Creativity invites submissions of technical and
position papers.  The workshop will be held at Goldsmiths,
University of London, UK, on 17-19 June 2007.

--------------------------
Workshop Objectives
--------------------------
The aim of the workshop is to facilitate exchange of ideas on the  
topic of
computational creativity. It will bring together people from AI,  
Cognitive
Science and related areas such as Psychology, Philosophy and the Arts
who research questions related to the notion of creativity with  
respect to
computers. The workshop will address issues such as how we assess
creativity in computers, how computers can model creative thought, how
computers can be used to enhance human creativity, and how we can
write creative software. The workshop will include papers on the many
and various aspects of computational creativity, and will showcased the
applications of computational creativity to the sciences, creative
industries and arts. The workshop will provide a forum for identifying
trends and opportunities for research on creativity and promising
practices concerning the development of creative systems. In addition,
there will be a "show and tell" session, which will be devoted to
demonstrations of systems exhibiting behaviour which would be
deemed creative in humans.

--------------------------
Topics
--------------------------
Original contributions are solicited in all areas related to Creative
Systems, including but not limited to:
- Computational models of creativity
- Cognitive models of creativity
- Metrics, frameworks and formalizations for the evaluation of
	creativity in computational systems
- Computational tools for supporting creativity
- Specific applications to music, language and the arts, to
	architecture and design, to scientific discovery, to education
	and to entertainment
- Philosophical discussions of computational creativity
- Detailed system descriptions of creative systems, including
	engineering difficulties faced, example sessions and artefacts
	produced, and applications of the system

-----------------------
Important Dates (updated due to requests)
-----------------------
March 24, 2007   Submission deadline
April 28, 2007   Authors' Notification
May   26, 2007   Deadline for final camera-ready copies

--------------------------
Submission Requirements
--------------------------
Authors should produce their papers according to the LaTeX format
posted on the workshop web site. Papers should be no longer than
eight pages; longer papers will not be reviewed. All submissions will
be reviewed in terms of quality, impact and relevance to the area of
computational creativity.

Contributions will be subject to anonymous, blind peer review:
reviewers will not be aware of the identities of the authors. This
requires that authors exercise some care not to identify themselves
in their contributions. Authors will receive feedback in the form of
reviewers' comments.

All Submissions will be made by electronic means. Detailed
instructions about the submission procedure are available on the
workshop web site.

----------------------------
Previous events
----------------------------

This workshop is the first completely autonomous edition of the series
of International Joint Workshops on Computational Creativity that were
held in association with other major events:

IJWCC 2004, Madrid, Spain, ECCBR'2004
IJWCC 2005, Edinburgh, UK, IJCAI'2005
IJWCC 2006, Riva del Garda, Italy, ECAI'2006
This joint series results from two previous streams of events that
have, since 1997, solidified and added rigour to the computational
treatment of creative processes. These events have been symposia and
workshops associated with AISB 99, AISB 00, ICCBR 01, AISB 01, ECAI 02,
AISB 02, IJCAI 03, AISB 03 and LREC 04.

-------------------------
Workshop Chairs
-------------------------
Amilcar Cardoso
Center for Informatics and Systems (CISUC)
University of Coimbra, Portugal
http://www.dei.uc.pt/~amilcar

Geraint A. Wiggins
Centre for Cognition, Computation and Culture
Goldsmiths' College, University of London, UK
http://www.doc.gold.ac.uk/~mas02gw/
-------------------------
Local Organising Committee
-------------------------
Oliver Bown
Marcus T. Pearce
Geraint A. Wiggins

Intelligent Sound and Music Systems Group
Centre for Cognition, Computation & Culture
Department of Computing
Goldsmiths, University of London
New Cross, London SE14 6NW, United Kingdom

---------------------------
Program Committee
---------------------------
John Barnden (University of Birmingham, UK)
Oliver Bown (Goldsmiths, University of London, UK)
David Brown (Worcester Polytechnic Institute, USA)
Simon Colton (Imperial College London, UK)
John Collomosse (University of Bath, UK)
Pablo Gervás (Universidad Complutense de Madrid, Spain)
Paulo Gomes (University of Coimbra, Portugal)
Robert Keller (Harvey Mudd College, Claremont, California, USA)
João Leite (New University of Lisbon, Portugal)
Jesús López (University of Southern Queensland, Australia)
Ramon López de Màntaras (IIIA-CSIC, Spain)
Penousal Machado (University of Coimbra, Portugal)
Lorenzo Magnani (University of Pavia, Italy)
Diarmuid O'Donoghue (National University of Ireland, Maynooth, Ireland)
David C. Moffat (Glasgow Caledonian University, UK)
Marcus T. Pearce (Goldsmiths, University of London, UK)
Alison Pease (University of Edinburgh, UK)
Francisco C. Pereira (University of Coimbra, Portugal)
Rafael Pérez y Pérez (Universidad Autónoma Metropolitana, Mexico)
Sarah Rauchas (Goldsmiths, University of London, UK)
Graeme Ritchie(University of Aberdeen, UK)
Rob Saunders (University of Sydney, Australia)
Oliviero Stock (Istituto per la Ricerca Scientifica e Tecnologica,  
Trento, Italy)
Tony Veale (University College Dublin, Ireland)
Gerhard Widmer (University of Linz, Austria)

-------------------------
IJWCC Steering Committee
-------------------------
Amilcar Cardoso (University of Coimbra, Portugal)
Simon Colton (Imperial College London, UK)
Pablo Gervás (Universidad Complutense de Madrid, Spain)
Tony Veale (University College Dublin, Ireland)
Geraint A. Wiggins (Goldsmiths, University of London, UK)





From L.C.Verbrugge at ai.rug.nl  Wed Mar 14 11:42:54 2007
From: L.C.Verbrugge at ai.rug.nl (Rineke Verbrugge)
Date: Wed, 14 Mar 2007 11:42:54 +0100
Subject: CEEMAS 2007: Call for Papers
Message-ID: <C3C9C830-D218-11DB-9488-000A957C0F6E@ai.rug.nl>

*we apologize for multiple copies*
***************
Call for Papers
***************

5th International Central and Eastern European Conference on 
Multi-Agent Systems

25-27 September 2007,
Leipzig, Germany

http://www.ceemas.org/ceemas07


About the Conference
====================
The aim of the CEEMAS conference series is to provide a biennial forum 
for the presentation of multi-agent research and development results. 
With its particular geographical orientation towards Central and 
Eastern Europe, CEEMAS has become an internationally recognised event 
with participants from all over the world. CEEMAS’07 expects papers 
from every fundamental research fields of multi agent systems. Papers 
which focus on the following three areas are especially welcome: 
scalability and reconfigurability of multi agent systems; deployment 
scenarios exploiting synergies of multi agent systems and other related 
technologies like grid, web services and semantic web; applications of 
multi agent systems in design and manufacturing, transport and 
logistics, space applications, tourism industry, e-commerce and many 
other application areas. The Organising Committee solicits research 
submissions for the main research track of the conference, as well as 
for the accompanying industrial and posters track. For further details 
visit the conference web site.

The conference proceedings including the accepted papers of the main 
conference, selected papers from the posters and industrial track, are 
planned to be published by Springer Verlag in the LNAI series as before.


Topics of the conference
========================

# agent models and architectures
# reactive and intentional agents
# planning and scheduling in MAS
# conflicts, conflict resolution and negotiation
# coordination, teamwork, coalition formation
# formal methods, logic in MAS
# personal agents, agent-based user interfaces
# learning and evolution in MAS
# holons and holarchies
# mobility, migration, accessibility
# agents' representation
# social knowledge and social reasoning
# ant colonies & swarms
# agents in electronic business and virtual organizations
# self-organising systems and emergent organization
# complexity and tractability in agent-based systems
# agent standards, communication, agent management
# agent platforms and interoperability
# knowledge management & ontologies
# agent oriented software engineering, modelling and methodologies
# agent communication, interaction protocols and mechanisms
# meta-reasoning, meta-agency, reflection in MAS
# security, authentication, intrusion detection
# reports on applications and case studies
# relationship to related technologies: middleware, grid, web services
# trust, reputation, and reliability
# scalability and performance issues, robustness
# robot teams, multi robot systems
# artificial social systems
# agent based social simulation
# verification and testing
# adjustable autonomy of MAS


Important Dates
===============

Full paper submission:      8 April, 2007
Notification of acceptance: 13 May, 2007
Camera ready papers:        17 June, 2007


Submission Details
==================

All submissions will be subject to academic peer review by at least two 
members of the Program Committee. Selection criteria include accuracy 
and originality of ideas, clarity and significance of results, and 
quality of presentation. Authors of all submissions are requested to 
format their papers according to Springer LNAI guidelines 
(http://www.springer.de/comp/lncs/authors.html) and submit them 
electronically as described on the conference web page.

Research track submissions:
---------------------------
Paper submissions for the main research track of the conference should 
be formatted according to Springer LNAI guidelines and must not exceed 
10 pages, including graphics and references. Authors are requested to 
submit their papers electronically on the conference submission web 
page.


Posters track
-------------
The conference poster session provides an opportunity to present the 
work in progress, enabling to discuss projects with others in the 
field. Students are encouraged to submit a poster presentation. The 
presenters will be invited to contribute an article as well. Papers 
should be formatted according to Springer LNAI guidelines and must not 
exceed 3 pages, including graphics and references. Authors are 
requested to submit their papers electronically on the conference 
submission web page.


Industrial track
----------------
The CEEMAS conference provides the opportunity to submit papers on 
genuine applications of agent technology. Papers describing concrete, 
practical implementations with industrial links are encouraged opposed 
to pure conceptual plans or potential applications. Our goal is to 
demonstrate the real life value and commercial reality of multi-agent 
systems as well as to foster the communication between academia and 
industry on this field. If your paper describes practical experience 
and real applications, you should submit it to the industrial track. 
System descriptions should be formatted according to Springer LNAI 
guidelines and must not exceed 2 pages, including graphics and 
references. Authors are requested to submit their papers electronically 
on the conference submission web page.


Submission policies
===================

CEEMAS’07 will not accept any paper, which has already been published 
or accepted for publication in a journal or another conference. These 
restrictions apply only to journals and conferences, not to workshops 
and similar specialized presentations with a limited audience and 
without archival proceedings.

For each accepted paper, at least one author is required to attend the 
conference to present the paper. Each author can give only one 
presentation. Papers without at least one author registering by the 
early registration deadline will be automatically excluded from the 
conference programme and the proceedings.

The best paper of the conference, to be selected by the Programme 
Committee at the conference, will receive the Best Paper Award during 
the conference.


Organising Committee
====================

General chair: Laszlo Z. Varga (Hungary)
Programme co-chair: Hans-Dieter Burkhard (Germany)
Programme co-chair: Rineke Verbrugge (The Netherlands)

Secretariat
-----------
UNIVERSITÄT LEIPZIG
Karen Heyden
Marschnerstrasse 31
D-04109 Leipzig
Tel. +49 (0)341 9733727
Fax. +49 (0)341 9733729

Steering Committee
------------------
Barbara Dunin-Keplicz (Poland)
Vladimir Gorodetski (Russia)
Michael Luck (UK)
Vladimir Marik (Czech Republic)
Joerg Mueller (Germany)
Edward Nawarecki (Poland)
Michal Pechoucek (Czech Republic)
Paolo Petta (Austria)
Laszlo Z. Varga (Hungary)


Conference Venue
================

http://www.sabre-conference.de/

In 2007 Leipzig will be the location for a major event in which a 
number of well established as well as new conferences and workshops 
will join forces in order to conduct the probably biggest and most 
influential event in this area in Europe for 2007. SABRE will mainly 
focus on Software, Agents, Multi-agent Systems, Grid-computing, 
Service-oriented Architectures, Business Process and Services 
Computing, Self-Organization, and Autonomous Systems. It, especially, 
will also concentrate on the relationships and overlaps between these 
areas. Moreover, as can already be implied from the title of the 
conference, SABRE will not only concentrate on research but will 
especially also bridge the gap between research and industry by 
providing a fertile platform for business-oriented topics and 
presentations. Thus, we especially encourage applied researchers, 
users, and industry to submit contributions to one of our events. SABRE 
is a transparent event what especially also means that every 
participant of an individual conference is allowed to go to whatever 
session (s)he wants to go, whether it belongs to the specific 
conference of her/his choice or not.



From c.orasan at wlv.ac.uk  Wed Mar 14 13:56:23 2007
From: c.orasan at wlv.ac.uk (Constantin Orasan)
Date: Wed, 14 Mar 2007 12:56:23 +0000
Subject: Aston Corpus Symposium
Message-ID: <1173876983.5162.12.camel@localhost.localdomain>

 
                   [Apologies for cross-postings]

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

      PRELIMINARY ANNOUNCEMENT – call for expressions of interest

                    Aston University, Birmingham, UK
                School of Languages and Social Sciences
         ISLS – Institute for the Study of Language and Society

          ASTON CORPUS SYMPOSIUM: Friday 4th May 2007 10am-5pm
 ---------------------------------------------------------------------


The Aston Corpus Symposium celebrates the re-launch of corpus research
activities at Aston University, in particular the ACORN (Aston Corpus
Network) project: http://corpus.aston.ac.uk, initiated by the School of
Languages and Social Sciences, and funded for 2006-7 by the Flexible
Learning Development Centre.

The programme will consist of presentations by the following
distinguished speakers:
•        Bill Dodd (University of Birmingham)
•        Patrick Hanks (Masaryk University)
•        Michael Hoey (University of Liverpool)
•        Susan Hunston (University of Birmingham)
•        Ramesh Krishnamurthy (Aston University)
•        Bill Louw (University of Zimbabwe)
•        Tony McEnery (Lancaster University)
•        Mike Scott (University of Liverpool)
•        John Sinclair (Tuscan Word Centre, Florence)
•        Wolfgang Teubert (University of Birmingham)

The final details are still being arranged, but the attendance fee is
likely to be c. £40 for the whole day, including the full symposium
documentation package; lunch, coffee/tea, and other refreshments; and
the Reception at the end of the Symposium. There will be a discounted
fee for unwaged students, on production of evidence of their student
status.

Places will be limited, so we ask you to express your interest in
attending as soon as possible. We will then offer places on a
first come, first served basis. Please email Iztok Kosem
(kosemi at aston.ac.uk) now, and he will send you more information about
the event as soon as it becomes available.



From areces at loria.fr  Thu Mar 15 11:25:56 2007
From: areces at loria.fr (Carlos Areces)
Date: Thu, 15 Mar 2007 11:25:56 +0100
Subject: EUROCORES Programme LogICCC - CfP
Message-ID: <45F91F34.2070307@loria.fr>

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

## Please feel free to circulate this message ##

Dear colleagues,

Following agreement with funding organisations in Austria, Belgium,
Croatia, Cyprus, Czech Republic, Denmark, Finland, France, Germany,
Israel, Netherlands, Portugal, Rumania, Spain, Sweden and Turkey, the
European Science Foundation is launching a Call for Outline Proposals
for Collaborative Research Projects to be undertaken within the
EUROCORES Programme “Modelling intelligent interaction - Logic in the
Humanities, Social and Computational sciences (LogICCC)”. The deadline
for Outline Proposals is 11 May 2007, 12:00 PM (noon).

The Call has been published on the ESF website at
http://www.esf.org/logic, where you will also find useful information on
the maximum number of individual projects that the participating funding
agencies are able to fund. For your convenience, these documents have
also been enclosed.

Please note that applicants should contact their national funding
agencies in order to verify their eligibility and to ensure compliance
with the relevant agencies’ current granting rules and regulations.
Contact details can be found in the Call for Proposals.

If you have any further questions about the Call, do not hesitate to
contact me.

Yours sincerely,

Eva Hoogland


Dr. Eva Hoogland

EUROCORES Coordinator for the Cognitive Sciences

European Science Foundation

1, quai Lezay Marnésia
F-67080 Strasbourg
France

+33 (0)3 88 76 2183

logic at esf.org


-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : Call for Outline Proposals LogiCCC.pdf
Dateityp    : application/octet-stream
Dateigröße  : 367289 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070315/3ed1bdcd/attachment.obj>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : Funding Information to Community.pdf
Dateityp    : application/octet-stream
Dateigröße  : 219820 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070315/3ed1bdcd/attachment-0001.obj>

From esraerdem at sabanciuniv.edu  Thu Mar 15 18:48:14 2007
From: esraerdem at sabanciuniv.edu (Esra Erdem)
Date: Thu, 15 Mar 2007 19:48:14 +0200
Subject: Subscribe me!
Message-ID: <1173980894.45f986de13d75@webmail.sabanciuniv.edu>





From esraerdem at sabanciuniv.edu  Thu Mar 15 20:53:34 2007
From: esraerdem at sabanciuniv.edu (Esra Erdem)
Date: Thu, 15 Mar 2007 21:53:34 +0200
Subject: Confirmation Request (1455267232)
In-Reply-To: <listadmin-21408038@tu-clausthal.de>
References: <listadmin-21408038@tu-clausthal.de>
Message-ID: <1173988414.45f9a43e56ef2@webmail.sabanciuniv.edu>



Quoting event administration <event-index at in.tu-clausthal.de>:

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




From broersen at cs.uu.nl  Fri Mar 16 13:47:27 2007
From: broersen at cs.uu.nl (Jan Broersen)
Date: Fri, 16 Mar 2007 13:47:27 +0100
Subject: PhD position in logic and philosophy
Message-ID: <45FA91DF.7050701@cs.uu.nl>

The Intelligent Systems Group of the department of Information and
Computing Sciences of the Faculty of Science, in collaboration
with the research group Theoretical Philosophy of the department
of Philosophy of the Faculty of Humanities, is looking for a

 >>>>>>>>>>>>> PhD-researcher (1,0 fte) on the topic <<<<<<<<<<<<<<<
 >>> "Logical Models for the Dynamics of Motivational Attitudes" <<<

TOPIC DESCRIPTION

Logical models for belief and knowledge and logical models for
motivational attitudes (intentions, obligations, desires) have
both been around for decades. In more recent years, the interests
in analyzing belief and knowledge have shifted towards a focus on
belief change. There, we want to understand, not only what
triggers a change in beliefs, but also what the consequences of
such a change are to earlier obtained beliefs and uncertainties.
Such questions are equally pressing for motivational attitudes,
but a similar shift to analyzing motivation change is still in its
inception stage. The aim of this project is to make a substantial
contribution to that development, on the basis of a comparison of
motivation change with belief change, and supported by a
philosophical analysis of motivation change. Among the questions
that will be addressed are the following. Under what conditions
are intentions reasonably dropped? How are obligations weighed
against desires? What are conditional obligations and how should
we model them? How are a person's rights and liberties affected by
changes in the rights and liberties of others?

RESEARCH ENVIRONMENT

The research for this project will be carried out against the
background of the multidisciplinary program in Cognitive
Artificial Intelligence at Utrecht University. The PhD-researcher
will be closely collaborating with members of both the Information
and Computer Science department and the Philosophy department. The
PhD-researcher will also be participating in the education
programme in Cognitive Artificial Intelligence. In addition,
through our international contacts we expect to arrange for
stimulating visitorships to well-known research groups abroad.
Promotors for this PhD-research are prof. dr. J.-J. C. Meyer
(Intelligent Systems) and prof. dr. A. Visser (Theoretical
Philosophy).

WE ASK

A Master degree in logic, computer science or philosophy;
familiarity with modal logic; an interest in philosophical
questions concerning intentionality and action explanation.

WE OFFER

An appointment as `assistent in opleiding' (Dutch: AIO, English:
PhD student). Salary max € 2472 (level AIO, CAO Nederlandse
Universiteiten); The salary is supplemented with a holiday bonus
of 8% and a year-end bonus of 3% per year. In addition we offer: a
pension scheme, partially paid parental leave, facilities for
child care, flexible employment conditions in which you may trade
salary for vacation days or vice versa. Conditions are based on
the Collective Employment Agreement of the Dutch Universities.

ADDITIONAL INFORMATION

For additional information, applicants are invited to get in contact
with dr. ir. J.M. Broersen, 030-2533193, broersen at cs.uu.nl or dr. R.
Mastop, 030-2532088, rosja.mastop at phil.uu.nl. Also, a more elaborate
description of the project can be found through our home pages
(http://www.cs.uu.nl/~broersen/ and http://www.phil.uu.nl/~rosja/).

HOW TO APPLY

To apply, please send a letter (with CV) addressed to

Head of Personnel and Organization
Budapestlaan 6
P.O. Box 80.010
3584 CD Utrecht
The Netherlands

or send an email to science.P&O at uu.nl

Please cite vacancy number 62708.

The deadline for receipt of applications is April 3rd, 2007



From C.Orasan at wlv.ac.uk  Thu Mar 15 01:35:02 2007
From: C.Orasan at wlv.ac.uk (Orasan, Constantin)
Date: Thu, 15 Mar 2007 00:35:02 -0000
Subject: Final call for participation: ARE2007
Message-ID: <1173918902.5564.9.camel@localhost.localdomain>

Dear all,

This is the final call for participation for the 1st Anaphora Resolution
Exercise (ARE) organised in conjunction with the 6th Discourse Anaphora
and Anaphor Resolution Colloquium (DAARC2007). The general objective of
ARE is to develop discourse anaphora resolution methods and to evaluate
them in a common and consistent manner. For this first edition, we
propose 4 different tasks. Details about them can be found at:
http://clg.wlv.ac.uk/events/ARE/

If you would like to participate please contact Constantin Orasan
(C.Orasan at wlv.ac.uk) for more details.

The ARE Organisers


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

From ofers at ie.technion.ac.il  Fri Mar 16 15:32:07 2007
From: ofers at ie.technion.ac.il (Ofer Strichman)
Date: Fri, 16 Mar 2007 16:32:07 +0200
Subject: Call for papers: The 5th iworkshop on Bounded Model Checking (BMC'07)
Message-ID: <006d01c767d7$e0c05880$0900a8c0@strichmanlap>

Call for Papers:  Fifth International Workshop on Bounded Model Checking 
(BMC'07)
************************************************************************

When: July 8th, 2007  (a day after CAV'07)
Where: Berlin, Germany

BMC'07 is affiliated with the 19th International Conference on 
Computer-Aided Verification (CAV'07).

URL: http://ie.technion.ac.il/BMC07

contact: bmc07 at ie.technion.ac.il

Chairs
--------
Armin Biere, Johannes Kepler University, Linz, Austria
Ofer Strichman, Technion, Haifa, Israel


Important Dates
-------------------
Submissions: April 22, 2007
Notification: May 21, 2007
Final Papers: June 3, 2007
Workshop: July 8, 2007 Objective

Scope
-------
The scope of the workshop includes all theoretical and practical aspects of 
Bounded Model Checking, including, but not limited to, using SAT technology 
for unbounded model checking, combining BMC with other tools and techniques, 
experimental results in an industrial setting, BMC of infinite state 
systems, translation schemes, and dedicated SAT techniques for BMC.

Information about the submission process can be found in the BMC web page.



From gardent at loria.fr  Mon Mar 19 08:28:27 2007
From: gardent at loria.fr (Claire Gardent)
Date: Mon, 19 Mar 2007 08:28:27 +0100
Subject: Postdoc position in NLP, Nancy (France)
Message-ID: <20070319072827.GA7481@gallieni.loria.fr>

           Post Doc Position at INRIA Lorraine, Nancy (France)
		

Linguistic Field(s): Computational Linguistics 

Topic: Error mining in a Tree Adjoining Grammar

Deadline: March 31, 2007. 

Employer: INRIA (French National Institute for Research in Computer
Science) / LORIA, Nancy (France) 

Job Description: The Lorraine Laboratory of IT Research and its
Applications (Nancy, France) has a position for a Postdoctoral fellow
to work on error mining in a tree adjoining grammar using both parsing
and generation.

Applicants must have a ** recent doctoral degree ** (Doctoral thesis
less than one year old (May 2006) or being defended before end of
2007) an area relevant to the project (linguistics, computational
linguistics, computer science), good statistical knowledge and a solid
computational background. Good knowledge of a script language (perl,
python) is required. A knowledge of parsing and/or realisation
algorithm is useful but not imperative.

The candidate will collaborate with the project members and
participate in the national project Passage
http://atoll.inria.fr/passage

Further information and the details of the application procedure are
available from the site http://www.loria.fr/~gardent.html. The
official closing date is March 31, 2007, but applications will be
processed until the position is filled.
 
Contact:        Claire Gardent <claire.gardent at loria.fr>
                                                                                                                                                                                


From tic.encyclopedia.ai at udc.es  Mon Mar 19 11:37:29 2007
From: tic.encyclopedia.ai at udc.es (tic.encyclopedia.ai at udc.es)
Date: Mon, 19 Mar 2007 11:37:29 +0100
Subject: Reminder - Call for articles - New Extended Deadline (Only 5 Topics)
Message-ID: <20070319193626.2E5CB18E@smtp.udc.es>

"Encyclopedia of Artificial Intelligence".

Editors:  Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos.

tic.encyclopedia.ai at udc.es
http://sabia.tic.udc.es/encyclopediaAI/

We have received more than 200 proposals and we want to thank all contributors, for the work and for the confidence in the success of this project.

We have organized the received articles in 20 topics. We have not received enough submissions in 5 of these topics, for that reason we propose a new call of articles for these 5 topics:

   -- Knowledge Engineering (Expert Systems)
   -- Ontologies
   -- Ambient Intelligence and Ubiquitous
   -- Natural Language Processing
   -- Robotics

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

         IMPORTANT NEW EXTENDED DEADLINE - ONLY 5 TOPICS
         April 4, 2007 - RECEIVE PROPOSALS FOR ARTICLES

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

 ** Introduction
Nature has always been a source of inspiration for science problem solving.Areas such as Pharmacy, Physics or Aeronautics use biological concepts toreach beyond their current limits.

As far as Computing Science - and more specifically, Artificial Intelligence (AI) - is concerned, the use of biological concepts is highly reliable for achieving good results. At the early stages of AI (1950s), Artificial Neural Networks (ANN) - quite successful as classification and pattern recognition systems - were developed by using the structure of the nervous system as a basis. After these systems, biology has inspired the development of other techniques - among which the evolutionary systems are the most promising ones when dealing with new problems that use a vast amount of data - such asBiomedical Computing or weather forecasting.

Both the techniques based in cell or natural organisms performance, as well as those based on evolutionary theories, have a wide success record when applied to real problems. These types of techniques currently represent a very active area of research, as not only a high number of companies use them, but also many related high level scientific congresses are being held annually on these techniques.

 ** Coverage
To meet this need, currently we are in the process of editing the "Encyclopedia of Artificial Intelligence " that will provide comprehensive coverage and definitions of the most important issues, concepts, trends and technologies in Artificial Intelligence. This important new publication will be distributed worldwide among academic and professional institutions and will be instrumental in providing researchers, scholars, students and professionals with access to the latest knowledge related to Artificial Intelligence techniques.

To ensure that this publication has the most current and relevant coverage of all topics related to Artificial Intelligence, we are asking scholars well-known for their particular area of research, to contribute short articles of 1,500-3,500 words on any of the above topics.

 ** Submission Procedure
We would like to invite you to consider submitting a proposal on any of the above topics for this upcoming encyclopedia by submitting a brief (75-100 words) description of your proposed topic to us by no later than April 4, 2007. You will then have until May 31, 2007 to prepare your full submission (1,500-3,500 words in length) and 7-10 related terms and their appropriate definitions. A copy of a sample article and terms with definitions can be found at http://sabia.tic.udc.es/encyclopediaAI/  All submitted articles will undergo a double-blind, peer-review process upon its receipt. 

We also invite you to visit the site http://sabia.tic.udc.es/encyclopediaAI/
for additional information about this publication.

Please forward your proposal to Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos, editors, at tic.encyclopedia.ai at udc.es. This book is tentatively scheduled for publishing by Information Science Reference (formerly Idea Group Reference), www.idea-group.com/reference, (an imprint of Idea Group Inc.) in 2008.

IMPORTANT DEADLINES
April 4,  2007 - Receive proposals for articles
April 12, 2007 - Notification of accepted proposals
May 31, 2007 - Full articles due

If you have any questions or concerns, or if we can be of any assistance, please let us know. We look forward to hearing from you soon.

Kind Regards,

Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos
Editors of Encyclopedia of Artificial Intelligence
tic.encyclopedia.ai at udc.es
Dept. of Information & Communications Technologies
University of A Coru�a
Spain

EDITORIAL ADVISORY BOARD

Dr. Jose Mar�a Barreiro. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain
Dr. Stefano Cagnoni. Dipartimento di Ingegneria dell'Informazione. Universit� degli Studi di Parma. Italia
Dr. Paul M. Chapman. Dept. of Computer Science. University of Hull. England
Dr. Jose Crespo del Arco. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain
Dr. Darryl Davis. Dept. of Computer Science. University of Hull. England
Dr. Anselmo del Moral. University of Deusto. Spain
Dr. Norberto Ezquerra. Georgia Institute of Technology. USA
Dr. Llu�s Jofre. Polytechnical University of Catalunya. Spain
Dr. Daniel Manrique. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain
Dr. Juan Pazos. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain
Dr. Javier Pereira. University of A Coru�a. Spain
Dr. Ana Belen Porto. Dept. of Information & Communications Technologies. University of A Coru�a. Spain
Dr. Juan R�os. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain
Dr. Peter Smith. University of Sunderland. England



From samt2007 at ge.imati.cnr.it  Tue Mar 20 11:32:13 2007
From: samt2007 at ge.imati.cnr.it (samt2007 at ge.imati.cnr.it)
Date: Tue, 20 Mar 2007 11:32:13 +0100 (CET)
Subject: SAMT 2007: Call for papers
Message-ID: <1926.192.168.0.233.1174386733.squirrel@samba.ge.imati.cnr.it>

[Apologies for cross-postings. Please forward this mail to anyone
interested.]

------------------------------------------------------------------------------------
CALL FOR PAPERS
Second international conference on Semantics And digital Media Technology
(SAMT 2007)
Former European Workshop on the Integration of knowledge, semantic and
digital Media Technologies (EWIMT)
December 5-7, 2007
Genova, Italy
http://samt2007.ge.imati.cnr.it/
------------------------------------------------------------------------------------

OBJECTIVES
----------

The international conference on Semantics And digital Media Technologies
(SAMT) targets to narrow the large disparity between the low-level
descriptors that can be computed automatically from multimedia content and
the richness and subjectivity of semantics in user queries and human
interpretations of audiovisual media - The Semantic Gap.

SAMT started out as two workshops, EWIMT 2004 and EWIMT 2005, that quickly
achieved enormous success in attracting high-quality papers and over 100
participants from across Europe and beyond. Last year EWIMT turned into
the full-fledged conference SAMT, addressing integrative research on new
knowledge-based forms of digital media systems. SAMT brings together those
forums, projects, institutions and individuals investigating the
integration of knowledge, semantics and low-level multimedia processing,
and links them with industrial research and development engineers who
exploit the underlying emerging technology.

In cooperation with the European Commission DG Information Society, the
third day of the conference will feature keynote talks from EC
representatives.

TOPICS
------
Topics of interest include, but are not limited to:

* Integration of multimedia processing and Semantic Web technologies
* Multimedia ontologies and infrastructures
* Knowledge assisted multimedia analysis and access
* Knowledge based inference for semi-automatic semantic media annotation
* Integration of content-based multimedia analysis with natural language
and speech processing
* Multimodal techniques, high dimensionality reduction and   low-level
feature fusion
* Revelance feedback for finding semantics
* Semantic-driven multimedia indexing and retrieval
* Metadata management for multimedia
* Browsing large multimedia archives
* Scalable, semantic-driven multimedia content adaptation and summarization
* Interfaces and personalisation for interaction with large multimedia
repositories
* Social tagging, ontologies and multimedia content
* Semantics-driven multimedia presentation generation
* Context, user, network and semantics-aware media engineering
* Standards bridging the multimedia and knowledge domains


PAPER SUBMISSION
-----------------
Original contributions should be submitted electronically according to the
instructions that will be posted to the conference web site. The
conference proceedings will be published by Springer Verlag in the Lecture
Notes of Computer Science series (LNCS). Full papers are expected to be
12-14 A4 pages and should present previously unpublished original results
that are not simultaneously submitted elsewhere. The accepted full paper
contributions will be presented during the plenary sessions and will
appear in the conference proceedings. Short papers are expected to be 4 A4
pages at most. The accepted short papers will be included in the
proceedings as extended abstract and presented as posters during the
conference.

Prospective contributors are invited to submit their papers on-line
according to the guidelines at
http://samt2007.ge.imati.cnr.it.

Information for LNCS Authors at
http://www.springer.com/east/home/computer/lncs?SGWID=5-164-7-72376-0

Submissions will open in May 2007.

IMPORTANT DATES
---------------

20 April      Special Sessions Submission
 4  May	      Notification for Special Sessions
21 May        Tutorials & Workshops Proposals
 4 June       Paper Submission
31 July       Paper Notification
10 Sept       Camera-ready Papers

for information, please contact samt07-chairs at ge.imati.cnr.it


ORGANIZING COMMITTEE
--------------------

General Conference Chairs:
Bianca Falcidieno, IMATI-CNR, Italy
Yannis Avrithis, National Technical University of Athens, Greece

Technical Programme Chairs:
Michela Spagnuolo, IMATI-CNR, Italy
Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
Paul Buitelaar, DFKI, Germany

Special Sessions Chair:
Werner Haas, JOANNEUM RESEARCH, Austria

Workshops Chair
Catherine Houstis, Informatics and Telematics Institute, Greece

Tutorials Chair
Noel O'Connor, Dublin City University, Ireland


PROGRAMME COMMITTEE
-----------------
Technical Programme Committee

Bruno Bachimont, INA, France
Wolf-Tilo Balke, Univ Hannover, Germany
Jenny Benois-Pineau, University of Bordeaux, France
Patrick Bouthemy, IRISA, France
Andrea Cavallaro, Queen Mary University of London
Stavros Christodoulakis, Technical University of Crete, Greece
Philipp Cimiano, AIFB, Germany
Fabio Ciravegna, University of Sheffield, UK
Thierry Declerck, DFKI, Germany
Touradj Ebrahimi, Swiss Federal Institute of Technology, CH
Jerome Euzenat, INRIA, FR
Christophe Garcia, France Telecom, France
Gregory Grefenstette, LIC2M, CEA-LIST
William I. Grosky, University of Michigan, US
Werner Haas, JOANNEUM Research, Austria
Siegfried Handschuh, DERI Galway, Ireland

Bruno Bachimont, Institut National de Audiovisuell, France
Wolf-Tilo Balke, University of Hannover, Germany
Jenny Benois-Pineau, University of Bordeaux, France
Patrick Bouthemy, IRISA, France
Andrea Cavallaro, Queen Mary University of London, UK
Stavros Christodoulakis, Technical University of Crete, Greece
Philipp Cimiano, AIFB Universitat Karlsuhe, Germany
Fabio Ciravegna, University of Sheffield, UK
Thierry Declerck, DFKI, Germany
Touradj Ebrahimi, Swiss Federal Institute of Technology, CH
Christophe Garcia, France Telecom, France
Gregory Grefenstette, LIC2M, CEA-LIST
William I. Grosky, University of Michigan, US
Werner Haas, Joanneum Research, Austria
Siegfried Handschuh, DERI Galway, Ireland
Paola Hobson, Motorola Labs, UK
Andreas Hotho, University of Kassel, Germany
Antoine Isaac, Vrije Universiteit, The Netherlands
Ebroul Izquierdo, Queen Mary University of London, UK
Franciska de Jong, University of Twente, The Netherlands
Joemon Jose, University of Glasgow, UK
Hyoung Joong Kim, Korea University, Korea
Stefanos Kollias, National Technical University of Athens, Greece
Paul Lewis, University of Southampton, UK
Simone Marini, IMATI-GE / CNR, Italy
Ferran Marques, Technical University of Catalonia, Spain
Jose Martinez, GTI-UAM, Spain
Adrian Matellanes, Motorola Labs, UK
Bernard Merialdo, EURECOM, France
Ralph Moller, Hamburg Institute of Technology, Germany
Frank Nack, LIRIS - University Claude Bernard, Lion, France
Milind Naphade, IBM, US
Jan Nesvadba, Philips Research Laboratories, Endhoven
Noel O'Connor, Dublin City University, Ireland
Jacco van Ossenbruggen, CWI Amsterdam, The Netherlands
Jeff Pan, University of Aberdeen, UK
Thrasyvoulos Pappas, Northwestern University, US
Dietrich Paulus, University of Koblenz, Germany
Ewald Quak, Tallinn University of Technology, Estonia
Fausto Rabitti, ISTI-CNR, I
Andrew Salway, University of Surrey, UK
Mark Sandler, Queen Mary, University of London
Simone Santini, Universidad Autonoma de Madrid, Spain
Francis Schmitt, CNRS, France
Sergej Sizov, University of Koblenz-Landau, Germany
Alan Smeaton, Dublin City University, Ireland
Steffen Staab, University of Koblenz-Landau, D
Giorgos Stamou, National Technical University of Athens, Greece
Vojtech Svatek, University of Economic, Prague, Czech Republic
Raphael Troncy, CWI, NL
Manolis Vavalis, ITI, GR
Remco Veltkamp, Utrecht University, NL
Anne Verroust, INRIA, France
Paulo Villegas, Telefonica I+D, Spain
Li-Qun Xu, British Telecom, UK

------------------------------------------------------------------------------------
TO BE REMOVED FROM THIS LIST
You are receiving this email because you have participated in a previous
EWIMT or SAMT related event. If you would like to be removed from the SAMT
publicity email list, please send a message with the word 'REMOVE' in the
SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it.
You will be removed from this list when we receive your reply.




From areces at loria.fr  Tue Mar 20 12:29:11 2007
From: areces at loria.fr (Carlos Areces)
Date: Tue, 20 Mar 2007 12:29:11 +0100
Subject: CFP: Workshop Logic, Rationality and Interaction, Beijing, China
Message-ID: <45FFC587.9070609@loria.fr>

CALL FOR PAPERS

Workshop Logic, Rationality and Interaction, 5-9 August, 2007.
URL: http://www.illc.uva.nl/LORI
Beijing, China.

*About the Workshop*

In the past decade it has become increasingly clear that studying
information, first and foremost, means studying information exchange. 
This acknowledgement of the inherently social character of information 
shows up at many places in modern logical theories. More generally, 
information exchange is a form of interaction where agents act together 
in strategic ways. This new perspective has led to contacts between 
logic and game theory, bringing a new set of disciplines into the scope 
of logic: viz., economics, and the social sciences. New interfaces are 
arising, such as epistemic studies of rational behavior in games. 
Another interesting development in this area is the rise of the notion 
of 'social software', the idea of using computational techniques for 
analyzing patterns of social behavior. And finally, interaction is also 
  crucial to intelligent behavior in the field of natural language. Here 
pragmatics, the study of the actual use of language between different 
agents, has become the primary focus of research. Notions from game 
theory, in particular evolutionary games, are being used to-day to 
answer all kinds of pragmatic issues, for instance, how linguistic 
conventions can arise.  This workshop aims to bring together researchers 
working on these and related topics in logic, philosophy, computer 
science, and related areas in order to arrive at an integrated 
perspective on knowledge acquisition, information exchange, and rational 
action.

*Call for papers*

Researchers from various fields, including artificial intelligence, game
theory, linguistics, logic, philosophy, and cognitive science are 
invited to submit a paper to this workshop which aims to arrive at an
interdisciplinary perspective on knowledge acquisition, information
exchange, and rational action. Topics of interest include, but are not
limited to

     a. semantic models for knowledge, for belief, and for uncertainty
     b. dynamic logics of knowledge, information flow, and action
     c. logical analysis of the structure of games
     d. belief revision, belief merging
     e. logics for preferences and utilities
     f. logics of probability and uncertainty

All researchers in the area are invited to submit a paper of 12 pages.
Each paper should include a title, the names and contact details of all
authors, and a short abstract of 100-300 words. Talks will be 45 minutes
long, including 10 - 15 minutes for discussion. The detailed submission
procedure will be specified soon. A selection of the accepted papers 
will be published in a special issue of 'Knowledge, Rationality and Action'.

*Important Dates*

     a.  Paper submission deadline: 15 April 2007
     b.  Notification of authors: 7 May 2007
     c.  Camera-ready copies due: 1 June 2007
     d.  Workshop dates: 5-9 August 2007


*People involved*

Chair: Johan van Benthem
Co-Chairs: Shier Ju and Frank Veltman
General Organizers : Minghui Xiong and Fenrong Liu

Invited Speakers
        a. Alexandru Baltag (Oxford University, UK)
        b. Vincent F. Hendricks (Roskilde University, Denmark)
        c. Wiebe van der Hoek (Liverpool University, UK)
        d. Gerhard Jager (University of Bielefeld, Germany)
        e. Yossi Feinberg (Stanford University, USA)
        f. Jialong Zhang (Chinese Academy of Social Sciences, China)

Programme Committee

The Programme Committee consists of chairs and invited speakers.

Committee of Recommendation

        a. Patrick Blackburn (European Association of Logic, Language and
Information)
        b. Giacomo Bonanno (LOFT)
        c. Joseph Halpern (TARK)
        d. Johann Makowsky ( EACSL)
        e. Jacek Malinowski (Studia Logica)
        f. Gabriel Sandu (ESF Eurocores Intelligent Interaction)

*Contact*

If you have any questions or comments regarding the organization of the
workshop or the paper submission procedure, please do not hesitate to
contact us:
         a. Minghui Xiong (email: hssxmh at mail.sysu.edu.cn)
         b.  Fenrong Liu (email: fenrong at science.uva.nl)


From koen at mmi.tudelft.nl  Wed Mar 21 21:48:27 2007
From: koen at mmi.tudelft.nl (Koen Hindriks)
Date: Wed, 21 Mar 2007 21:48:27 +0100
Subject: Reminder: March 26, CIA 2007 paper submission deadline
Message-ID: <002401c76bfa$46e72d20$0700000a@meije>

Dear colleague(s)

 

We would like to cordially invite you to submit a paper on relevant advances
in R&D in intelligent information agents and systems for the internet, web,
and semantic web to the 11th international workshop CIA 2007.

 

For more information on the event, please visit
http://www.dfki.de/~klusch/cia2007. 

 

The paper submission deadline is March 26, 2007!

 

Thank you very much for considering this request and efforts in advance!

 

Sincerely,

CIA 2007 Organization Board

 

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

From oliveras at lsi.upc.edu  Thu Mar 22 17:16:02 2007
From: oliveras at lsi.upc.edu (Albert Oliveras Llunell)
Date: Thu, 22 Mar 2007 17:16:02 +0100
Subject: SMT 2007 -- 2nd CFP
Message-ID: <4602ABC2.5070505@lsi.upc.edu>


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

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

     ------------------ 2nd  Call for Papers -------------------

                         SMT Workshop '07
     5th International Workshop on Satisfiability Modulo Theories

         Previously called: Pragmatics of Decision Procedures
                   in Automated Reasoning (PDPAR)

      Berlin, Germany, 1-2 July 2007  (affiliated with CAV '2007)

                http://www.lsi.upc.edu/~oliveras/smt07

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

Background
~~~~~~~~~~
Deciding the satisfiability of first-order formulas modulo background
theories, known as the Satisfiability Modulo Theories (SMT) problem,
has proved to be useful in verification, compiler optimization,
scheduling, and other areas.

The success of SMT techniques depends on the development of both
domain-specific decision procedures for each concrete theory
(e.g. linear arithmetic, the theory of arrays, or the theory of
bit-vectors) and combination methods that allow one to obtain more
versatile SMT tools. These two ingredients together make SMT
techniques well-suited for use in larger automated reasoning and
formal verification efforts.

Aims and Scope
~~~~~~~~~~~~~~
The aim of the workshop is to bring together researchers and users of
SMT tools and techniques. Continuing with the PDPAR tradition, we
especially encourage submission of papers focused on pragmatic
aspects. Relevant topics include but are not limited to:

* New decision procedures and new theories of interest
* Combination of decision procedures
* Novel implementation techniques
* Benchmarks and evaluation methodologies
* Applications and case studies
* Theoretical results

Important dates
~~~~~~~~~~~~~~~
Submission deadline                  : 23 April
Notification of acceptance/rejection : 21 May
Final version due                    : 4 June
Workshop                             : 1-2 July

Proceedings
~~~~~~~~~~~
Given the informal style of the workshop, only informal proceedings
will be distributed at the workshop. We are planning to publish a
selected subset of the submitted papers as post-proceedings in a
special volume of the Electronic Notes in Theoretical Computer Science
(ENTCS) unless the authors prefer not to.

Paper Submission and Proceedings
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Following the PDPAR'06 initiative, there are two categories of
submissions:

* Original papers: contain original research (simultaneous submissions
  are not allowed) and sufficient detail to assess the merits and
  relevance of the submission. For papers reporting experimental
  results, authors are strongly encouraged to make their data
  available. Given the informal style of the workshop, we will
  welcome work in progress and novel ideas that are not yet
  competitive in practice.

* Presentation-only papers: describe work recently published or
  submitted and will not be included in the proceedings. We see this
  as a way to provide additional access to important developments that
  SMT Workshop attendees may be unaware of.

Papers in both categories will be peer-reviewed. Papers should not
exceed 10 pages (Postscript or PDF) and should be written in LaTeX,
11pt, one column, a4paper, standard margins. Technical details may be
included in an appendix to be read at the reviewers' discretion. Full
submission guidelines are at the workshop web page.

Invited Speakers
~~~~~~~~~~~~~~~~

- Rupak Majumdar, University of California, Los Angeles.

- Peter O'Hearn, Queen Mary, University of London.


Student travel awards
~~~~~~~~~~~~~~~~~~~~~
SMT 2007 will partially reimburse some students for their
conference-related expenses. Preference will be given
to students playing an active role in the workshop. However,
students in other situations are also encouraged to apply.

We require applications in the form of a short recommendation letter
written by the student's supervisor, to be sent to the PC chairs by
May 28.

Program Chairs
~~~~~~~~~~~~~~

- Sava Krstic, Intel Corporation

- Albert Oliveras, Tech. Univ. of Catalonia


Program Committee
~~~~~~~~~~~~~~~~~
Clark Barrett, New York University
Alessandro Cimatti, ITC-Irst, Trento
Byron Cook, Microsoft Research
Amit Goel, Intel Corporation
Aarti Gupta, NEC Labs America
Shuvendu Lahiri, Microsoft Research
Leonardo de Moura, Microsoft Research
Robert Nieuwenhuis, Technical University of Catalonia
Silvio Ranise, LORIA, Nancy
Roberto Sebastiani, Universita` di Trento
Ofer Strichman, Technion
Cesare Tinelli, University of Iowa
Ashish Tiwari, Stanford Research Institute (SRI)


From H.Tews at cs.ru.nl  Thu Mar 22 21:40:56 2007
From: H.Tews at cs.ru.nl (Hendrik Tews)
Date: Thu, 22 Mar 2007 21:40:56 +0100
Subject: CFP: Workshop on C/C++ Verification
Message-ID: <17922.59864.564496.836815@tandem.cs.ru.nl>

My sincererst appologies for crossposting!

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

WORKSHOP ON C/C++ VERIFICATION

July 2nd 2007, Oxford UK, as satellite of IFM
submission deadline: April 29th
http://www.cse.unsw.edu.au/~rhuuck/CV07/

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

C and its cousin C++ are among the most popular languages. In
contrast, application of formal methods to C and C++ code are
relatively rare. Holes in the type system, the frequent use of
type casts and sometimes direct hardware access in C/C++ code
make the development of formal methods very challenging.

The aim of the C/C++ verification workshop is to bring together
people that are working on the verification or the semantics of C
or C++ programs. The workshop will provide a forum to discuss
aspects of the type system and the semantics of C/C++, present
approaches for the verification of C or C++ programs, demonstrate
tools and report about (ongoing) verification projects.

Topics of interest include (but are not limited to):

    * formal semantics of parts or aspects of C/C++
    * formal approaches to compiler or platform specific properties of C/C++
    * formal approaches for safety-critical C/C++ code
    * semantical treatment and verification of embedded 
                          assembly code for direct hardware access
    * verification of C/C++ code and verification results
    * tools for the semantic analysis of C/C++ code
    * tools for the verification of C/C++
    * case studies of C/C++ verification

Interested speakers should submit an extended abstract (between 2
and 10 pages) to H.Tews at cs.ru.nl. The abstracts will be subject to
light reviewing by the organisation committee. Accepted
submissions are collected in a technical report of Radboud
University Nijmegen. A CFP for post-workshop proceedings is
envisaged.


Important dates:
	  29th April:   submission deadline
	  8th  May  :   notification of accepted speakers
	  14th May  :   early (reduced) IFM registration deadline
	  1st June  :   final version of extended abstracts
	  2nd July  :   workshop 
          4-6th July:   IFM main conference
	  

For more information see http://www.cse.unsw.edu.au/~rhuuck/CV07/

The workshop is organised as a satellite event of the conference
on Integrated Formal Methods 2007 (2nd-6th July Oxford UK)


Organisation

Hendrik Tews          Radboud Universiteit Nijmegen, The Netherlands
Reiner Haehnle        Chalmers University of Technology, Sweden
Wolfgang J. Paul      Universitaet des Saarlandes, Germany
Ralf Huuck            NICTA, Australia
Norbert Schirmer      Technische Universitaet Muenchen, Germany


Bye,

Hendrik Tews


From franconi at inf.unibz.it  Fri Mar 23 05:14:16 2007
From: franconi at inf.unibz.it (Enrico Franconi)
Date: Fri, 23 Mar 2007 15:14:16 +1100
Subject: 20th Description Logics workshop - Extended submission deadline
Message-ID: <17AD3FBE-D54B-4FFA-A826-50F344E1F271@inf.unibz.it>

      *20th* International Workshop on Description Logics (DL'07)
                            CALL FOR PAPERS
            Brixen-Bressanone (near Bozen-Bolzano), Italy
                            8-10 June 2007

                       http://dl.kr.org/dl2007/

	 NEW paper summary submission DEADLINE: 26 MARCH 2007
	     NEW paper submission DEADLINE: 28 MARCH 2007

The 2007  edition of the DL workshop  will take place from  the 8th to
the  10th  of June  2007  in  Brixen-Bressanone (near  Bozen-Bolzano),
Italy.  This is 80 Km south of Innsbruck (where the ESWC-07 conference
will  take place  immediately  before); direct  train connections  run
every hour between Innsbruck and Brixen-Bressanone.  Arrived this year
to its 20th  edition, DL is the major annual  event of the description
logics  research community.  The  workshop is  thought as  a gathering
forum to meet, discuss and  exchange experiences among all those, both
in the academy and industry,  who are interested in description logics
and in all their broad range of applications.

Participants in the workshop will enjoy the invited talks by:

     * Hector Levesque
     * Alex Borgida
     * Renee J. Miller

Students with accepted papers  may apply  to grants supporting travels
within Europe (300 EUR) or from outside Europe (500 EUR).

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

IMPORTANT DATES (revised)

Summary submission deadline: 26 March 2007, 11:59pm CET
Paper submission deadline:   28 March 2007, 11:59pm CET
Notification of acceptance:  27 April 2007
Camera ready papers due:     18 May 2007
DL'07 Workshop:              8-10 June 2007

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

SCOPE

We invite contributions on all aspects of description logics.
Possible subjects include:

-- Foundations   of  description   logics,   including  distinguishing
    features of  description logics  with respect to  other formalisms,
    expressive power of description logics, decidability and complexity
    of reasoning, and novel inference problems and reasoning techniques
    for solving these problems.

-- Extensions of  description logics,  including, but not  limited to,
    closed world reasoning, defaults, epistemic reasoning, temporal and
    spatial reasoning, procedural knowledge, and query languages.

-- Integration of  description logics  with other formalisms,  such as
    object-oriented representation languages, database query languages,
    constraint-based  programming,  logic  programming, and  rule-based
    systems.

-- Use of description logics in  applications or areas such as natural
    language,  planning,   learning,  databases,  document  management,
    semistructured data, ontology  design, ontology languages, ontology
    engineering, semantic web, and grid computing.

-- Building systems based on description logics, with special emphasis
    on optimization and implementation techniques.

-- Tools that  exploit description  Logic reasoning, such  as ontology
    editors,  database  schema  design,  query optimization,  and  data
    integration tools.

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

SUBMISSION DETAILS

We invite submissions  of technical papers as extended  abstracts of 8
pages,  and submissions  of statements  of interest  of 2  pages.  The
technical papers will be judged according to their scientific quality,
while the  statements of  interest will be  judged according  to their
scientific  relevance.   Accepted  papers  will  be  included  in  the
workshop proceedings  as extended  abstract (8 pages),  regular papers
(12  pages), or  as statements  of  interest (2  pages). The  workshop
proceedings will  be distributed  in paper form  at the  workshop, and
will be made available electronically in the CEUR Workshop Proceedings
series.  Papers should follow the formatting and submission guidelines
to be found at the workshop submissions web page, and should arrive by
the paper submission deadline stated above.

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

PROGRAM COMMITTEE

PC chairs:

Volker Haarslev (chair of the Systems and Tools area)
Domenico Lembo (chair of the Database and Information Systems area)
Boris Motik (chair of the Ontologies and Semantic Web area)
Anni-Yasmin Turhan (chair of the Foundations and Theory area)

PC members:

     * Aditya Kalyanpur
     * Alessandro Artale
     * Alex Borgida
     * Andrea Cali'
     * Bernardo Cuenca Grau
     * Bijan Parsia
     * Birte Glimm
     * Carlos Areces
     * Carsten Lutz
     * David Toman
     * Evren Sirin
     * Francesco Donini
     * Frank Wolter
     * Franz Baader
     * Grant Weddell
     * Ian Horrocks
     * Luciano Serafini
     * Luigi Palopoli
     * Maarten Marx
     * Maurizio Lenzerini
     * Michael Zakharyaschev
     * Peter F. Patel-Schneider
     * Ralf Kuesters
     * Ralf Moeller
     * Riccardo Rosati
     * Rob Shearer
     * Stefan Schlobach
     * Thomas Eiter
     * Thorsten Liebig
     * Ulrike Sattler
     * Umberto Straccia
     * Yevgeny Kazakov

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

Organising COMMITTEE

Alessandro Artale   <artale at inf.unibz.it>
Raffella Bernardi   <bernardi at inf.unibz.it>
Andrea Calì         <cali at inf.unibz.it>
Diego Calvanese     <calvanese at inf.unibz.it>, co-chair
Jos de Bruijn       <debruijn at inf.unibz.it>
Enrico Franconi     <franconi at inf.unibz.it>, co-chair
Rosella Gennari     <gennari at inf.unibz.it>
Davide Martinenghi  <martinenghi at inf.unibz.it>
Werner Nutt         <nutt at inf.unibz.it>
Sergio Tessaris     <tessaris at inf.unibz.it>, co-chair
David Toman         <toman at inf.unibz.it>

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

VENUE

The  workshop  will  take  place  in  the  charming  town  of  Brixen-
Bressanone,  near Bozen-Bolzano  in South  Tyrol at  the heart  of the
Dolomites  - the  pink  mountains of  the  Alps.  Like  Bozen-Bolzano,
Brixen-Bressanone has always been a crossroads of various cultures and
it  is  distinguished  by  its  mediaeval  Gothic  architecture.   The
mediaeval alleys and the wealth  of historical references are an ideal
starting point for excursions  into the countryside and for practising
a whole  variety of sports  and leisure activities.   Leaving directly
from the town  centre delegates can set off on their  bikes or on foot
for   excursions   into   the   surrounding   hills   and   mountains.
Brixen-Bressanone is on the main arterial road between Austria/Germany
and Italy and  it is easily accessible from  everywhere by train, car,
bus or plane.

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




From ivan.varzinczak at gmail.com  Thu Mar 22 11:29:52 2007
From: ivan.varzinczak at gmail.com (=?ISO-8859-1?Q?Ivan_Jos=E9_Varzinczak?=)
Date: Thu, 22 Mar 2007 11:29:52 +0100
Subject: unsubscribe
Message-ID: <3dc5ef7e0703220329r1774539fp4751b78b29f930ea@mail.gmail.com>


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

From boris at stilman-strategies.com  Sat Mar 24 18:03:08 2007
From: boris at stilman-strategies.com (Boris Stilman)
Date: Sat, 24 Mar 2007 11:03:08 -0600
Subject: Change of address
Message-ID: <20070324171119.A1050239023@sphinx.rz.tu-clausthal.de>

Sir,

I would like to change my subscription address as follows:
From
bstilman at carbon.cudenver.edu
To
boris at stilman-strategies.com

Thank you,
Boris Stilman



From klusch at dfki.de  Mon Mar 26 12:38:52 2007
From: klusch at dfki.de (Matthias Klusch)
Date: Mon, 26 Mar 2007 12:38:52 +0200
Subject: CIA 2007: Submission Deadline Extended to April 20
Message-ID: <4607A2BC.8060000@dfki.de>

+ + + + + + + + + + + + + + + + + + + +

NEW SUBMISSION DEADLINE: APRIL 20, 2007

11th International Workshop on
Cooperative Information Agents CIA 2007
September 19 - 21, 2007, Delft, NL
http://www.dfki.de/~klusch/cia2007/

Proceedings published
by Springer, LNAI series

Online Submission at:
http://www.easychair.org/CIA2007/

+ + + + + + + + + + + + + + + + + + + +

Dear colleagues,

due to several requests, the paper submission
deadline for this event has been extended
to Friday, April 20, 2007, 4pm MEST (strict) for
your convenience.

You are very cordially invited to submit your
relevant work to us!

Research on intelligent information agents and
systems is inherently cross disciplinary covering
themes from domains such as AI, HCI, Internet and
Web technologies including Semantic Web, and SOC,
Information Systems, KDD, IR, P2P and grid computing,
multiagent system technologies as well.

Many thanks in advance for your efforts!

Best regards,
Koen Hindricks, Matthias Klusch,
Leon Stirling, Mike Papazoglou

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





From paolo.torroni at unibo.it  Wed Mar 28 14:17:16 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Wed, 28 Mar 2007 14:17:16 +0200
Subject: Call for Participation :: ArgNMR 2007 (early bird registration
  approaching)
Message-ID: <7.0.1.0.2.20070328140231.02715dc0@unibo.it>

[please distribute]


You are kindly invited to attend the First International Workshop on

	Argumentation and Non-Monotonic Reasoning (ArgNMR 2007)
	Tempe, AZ, May 14, 2007

ArgNMR will represent an opportunity for 
exchanging ideas on the fundamental theoretical 
basis and the design and implementation of 
argument-based systems including semantics, proof 
theory, applications to epistemic and practical 
reasoning, and the comparison of those systems 
with other types of nonmonotonic reasoning.

More info at the url  http://lia.deis.unibo.it/confs/argnmr/

Early bird registration deadline :: March 31, 2007.

See you in Tempe!

Paolo Torroni & Guillermo Simari


~~ LIST OF ACCEPTED PAPERS ~~


~~> A Sound and Complete Proof Procedure for 
Sceptical Preferred Argumentation. By Phan Minh Dung & Phan Minh Thang.
~~> Characterizing defeat graphs where 
argumentation semantics agree. By Pietro Baroni & Massimiliano Giacomin.
~~> A system for credulous and sceptical 
argumentation. By Dorian Gaertner & Francesca Toni.
~~> Inferring preferred extensions by minimal 
models. By Juan Carlos Nieves, Mauricio Osorio Galindo & Ulises Cortes.
~~> Evolving Arguments ­ Reductio ad Absurdum 
Argumentation in Logic Programs. By Luís Moniz 
Pereira & Alexandre Miguel Pinto.
~~> An Abstract Presentation of Dialectical 
Explanations in Defeasible Argumentation. By 
Alejandro Garcia, Carlos Ivan Chesñevar, Nicolas 
Daniel Rotstein & Guillermo R. Simari.
~~> Argumentation-based Proof for an Argument in 
a Paraconsistent Setting. By Iara Almeida and Jose Julio Alferes.
~~> Abductive logic programming for agent 
reasoning and dialogical argumentation: Formal 
properties of the SCIFF-AF. By Paolo Torroni.
~~> Three senses of "Argument." By Adam Wyner, 
Trevor J.M. Bench-Capon & Katie Atkinson.
---
Paolo Torroni, PhD
DEIS, University of Bologna
V.le Risorgimento 2, 40136 Bologna, Italy
voice: +39 051 20 93767, fax: +39 051 20 93073
web: http://lia.deis.unibo.it/~pt/
---



From paolo.torroni at unibo.it  Wed Mar 28 14:33:01 2007
From: paolo.torroni at unibo.it (Paolo Torroni)
Date: Wed, 28 Mar 2007 14:33:01 +0200
Subject: Confirmation Request (0394662215)
In-Reply-To: <listadmin-21661402@tu-clausthal.de>
References: <listadmin-21661402@tu-clausthal.de>
Message-ID: <7.0.1.0.2.20070328143241.02763190@deis.unibo.it>

At 14.17 28/03/2007, you wrote:
>This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
>Somebody (probably you) have requested the subscribe(feed) operation
>   for your <paolo.torroni at unibo.it> address
>
>If you want to confirm this operation,
>   use the Reply command in your mailer.
>
>Check that the Subject of the reply message contains
>   the confirmation ID: 0394662215,
>   the reply is directed to <event-feed at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <paolo.torroni at unibo.it>.
>
>If you do not want to confirm the requested operation, simply do nothing
>
>All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>

---
Paolo Torroni, PhD
DEIS, University of Bologna
V.le Risorgimento 2, 40136 Bologna, Italy
voice: +39 051 20 93767, fax: +39 051 20 93073
web: http://lia.deis.unibo.it/~pt/
---



From ptorroni at deis.unibo.it  Wed Mar 28 14:33:39 2007
From: ptorroni at deis.unibo.it (Paolo Torroni)
Date: Wed, 28 Mar 2007 14:33:39 +0200
Subject: Confirmation Request (0394662215)
In-Reply-To: <listadmin-21661402@tu-clausthal.de>
References: <listadmin-21661402@tu-clausthal.de>
Message-ID: <7.0.1.0.2.20070328143337.02763190@deis.unibo.it>

At 14.17 28/03/2007, you wrote:
>This is an automated message from the
>   <event at in.tu-clausthal.de> mailing list manager
>
>Somebody (probably you) have requested the subscribe(feed) operation
>   for your <paolo.torroni at unibo.it> address
>
>If you want to confirm this operation,
>   use the Reply command in your mailer.
>
>Check that the Subject of the reply message contains
>   the confirmation ID: 0394662215,
>   the reply is directed to <event-feed at in.tu-clausthal.de>,
>   and the 'From' address of your reply is <paolo.torroni at unibo.it>.
>
>If you do not want to confirm the requested operation, simply do nothing
>
>All requests about this mailing list
>   should be sent to <event-request at in.tu-clausthal.de>



From A.M.King at kent.ac.uk  Thu Mar 29 11:26:04 2007
From: A.M.King at kent.ac.uk (A.M.King)
Date: Thu, 29 Mar 2007 10:26:04 +0100
Subject: LOPSTR 2007 Call for Papers
Message-ID: <E1HWqtQ-0007QE-BH@myrtle.ukc.ac.uk>

                              Call for papers

  International Symposium on Logic-Based Program Synthesis and Transformation
                                LOPSTR 2007
               22-24 August 2007, Kongens Lyngby, Denmark
                     (co-located with SAS 2007)

         url:   http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ 
         email: lopstr-2007 at kent.ac.uk 

Objectives:

The  aim  of the  LOPSTR  series  is  to  stimulate  and  promote  international
research and collaboration on logic-based program development.  LOPSTR  is  open
to contributions in logic-based program development in  any  language  paradigm.
LOPSTR has a reputation for being a lively, friendly forum  for  presenting  and
discussing  work in progress. Formal proceedings are  produced  only  after  the
symposium, so authors can incorporate this feedback in the published papers. 

Topics:

Topics  of  interest cover all aspects of logic-based program  development,  all
stages  of the software life cycle, and issues of both  programming-in-the-small
and programming-in-the-large. Papers describing applications in these areas  are
especially welcome.  Contributions  are  welcome  on  all aspects of logic-based
program development, including, but not limited to: 

    specification                           synthesis 
    verification                            transformation 
    analysis                                optimisation 
    composition                             security 
    reuse                                   applications and tools 
    component-based software development    software architectures 
    agent-based software development        program refinement 

Survey  papers,  that  present  some aspect of  the  above  topics  from  a  new
perspective,  and  application papers, that describe experience with  industrial
applications, are also welcome. Papers must describe original work,  be  written
and presented in English, and must not substantially overlap  with  papers  that
have  been  published  or  that  are  simultaneously submitted to a journal or a
conference with refereed proceedings. 

Submission information and Special Issue:

Submissions can either be (short) extended  abstracts  or  (full)  papers  whose
length should not exceed 9  and  15  pages  respectively.  Submissions  must  be
formatted in the Lecture Notes in Computer Science style (excluding bibliography
and well-marked appendices not  intended  for  publication).  Referees  are  not
required to read the appendices, and thus papers should be intelligible  without
them. Short papers may describe work-in-progress or tool demonstrations.

Both accepted short and full papers will appear in the pre-proceedings. The full
papers will  automatically  appear  in  the  formal  proceedings  that  will  be
published by Springer-Verlag in the Lecture Notes in Computer Science series. In
addition,  after the symposium,  the programme committee will select those short
papers to be considered for formal publication.  These  authors  will be invited
to revise and extend their submissions in the light of the feedback solicited at
the meeting. Then after another round of reviewing, these revised papers will be
also published in the formal proceedings. 

The very best papers will additionally be invited to submit for a special  issue
or special track of the journal Higher-Order and Symbolic Computation,  provided
there are sufficient high-quality submissions. 

Papers should be submitted either in PostScript or PDF format and they should be
interpretable by Ghostscript or Acrobat Reader. 

Invited Speaker:

Michael Codish       (Ben-Gurion University of the Negev, Israel)

Program Committee:

Elvira Albert        (Universidad Complutense Madrid, Spain) 
John Gallagher       (University of Roskilde, Denmark) 
Michael Hanus        (Christian-Albrechts-Universitaet zu Kiel, Germany) 
Jacob Howe           (City University, UK) 
Andy King            (University of Kent, UK) 
Michael Leuschel     (Heinrich-Heine-Universitaet Duesseldorf, Germany) 
Mario Ornaghi        (Universita degli Studi di Milano, Italy) 
Etienne Payet        (Universite de La Reunion, France) 
Alberto Pettorossi   (Universita di Roma Tor Vergata, Italy) 
Carla Piazza         (Universita degli Studi di Udine, Italy) 
C. R. Ramakrishnan   (SUNY Stony Brook, USA) 
Abhik Roychoudhury   (National University of Singapore, Singapore) 
Peter Schneider-Kamp (RWTH Aachen, Germany) 
Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands) 
Josep Silva          (Technical University of Valencia, Spain) 
Wim Vanhoof          (University of Namur, Belgium) 

Important dates:

Submission of paper/extended abstract        June 8, 2007  
Notification                                 July 13, 2007 
Revised version (for pre-proceedings)        August 7, 2007 
Symposium                                    August 22-24, 2007 
Camera-ready version (for post-proceedings)  December 14, 2007 


From ptorroni at deis.unibo.it  Thu Mar 29 09:43:35 2007
From: ptorroni at deis.unibo.it (Paolo Torroni)
Date: Thu, 29 Mar 2007 09:43:35 +0200
Subject: Call for Participation :: ArgNMR 2007 (early bird
  registration  approaching)
In-Reply-To: <web-21677271@tu-clausthal.de>
References: <7.0.1.0.2.20070328140231.02715dc0@unibo.it>
 <web-21677271@tu-clausthal.de>
Message-ID: <7.0.1.0.2.20070329094156.04b68708@deis.unibo.it>

Hi Peter! So it's you behind the scenes :-)
thank you so much for being very helpful! sorry about the mistake. 
Eudora completes addresses automatically, sometimes it picks the 
wrong one ;-) I'll keep it in mind in the future
cheers,
P.

At 09.12 29/03/2007, Administrator of mailing lists of CIG at TUC wrote:
>Dear Paolo,
>I found your posting in a "request" folder of our list. It's because you sent
>the posting to "event-feed at in.tu-clausthal.de", what is not the good one. For
>administrative requests, event-request at in... should be used and if you want
>to post an announcement to the list, use the plain event at in.tu-clausthal.de
>address. That way things will go smoothly in the future ;-).
>
>Anyway, I moved your posting around and redistributed it via the Event at CIG
>list, so for now, everything is alright.
>
>Best regards,
>
>Peter Novak, Event at CIG administrator.



From a.artikis at gmail.com  Thu Mar 29 22:44:16 2007
From: a.artikis at gmail.com (Alexander Artikis)
Date: Thu, 29 Mar 2007 23:44:16 +0300
Subject: 2nd CFP: ESAW 07
Message-ID: <130ef5930703291344u5d4df264r82bf147f5280c34a@mail.gmail.com>

Apologies for cross-posting.


----------------------------------------------------------------------------------------------------------
                               CALL FOR PAPERS
----------------------------------------------------------------------------------------------------------

                         Eighth International Workshop
             "Engineering Societies in the Agents World" (ESAW 07),

                             October 22-24 2007,
	
           National Centre for Scientific Research (NCSR) "Demokritos",
                               Athens, Greece


			http://esaw07.iit.demokritos.gr

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

AIMS & SCOPE:

The sequel to successful editions since 2000, ESAW 07 remains committed to
the use of the notion of multi-agent system as seed for animated,
constructive, and highly inter-disciplinary discussions about technologies,
methodologies, and tools for the engineering of complex distributed
applications. While the workshop places an emphasis on practical engineering
issues and applications, it also welcomes theoretical, philosophical,
and empirical contributions, provided that they clearly document their
connection to the core applied issues. Prospective papers about new
paradigms, theories, models are also appreciated.

Topics of interest include, but are not limited to:
- analysis, design, development and verification of agent societies
- open, large-scale multi-agent systems
- models of complex distributed systems with agents and societies
- interaction-coordination patterns in agent societies
- inter-disciplinary approaches for agent societies engineering
- engineering of social intelligence in multi-agent systems
- self-organisation and self regulation in agent societies
- autonomy and self-design of agent societies in an environment
- security, trust and norms in agent societies
- middleware infrastructures for agent societies
- tools and models for agent societies management
- studies of information ecosystems
- experiences in building and maintaining large agent societies
- evolution of institutions in agent societies
- insightful analyses of negative results

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

IMPORTANT DATES:

* Submission Deadline: June 8, 2007
* Acceptance/Rejection Notification:  July 27, 2007
* Revised Papers for Workshop Notes:  September 15, 2007

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

INVITED SPEAKERS:

* Marek Sergot, Imperial College London, UK
* Robert Axtell, The Brookings Institution, USA
* Tim Norman, Univeristy of Aberdeen, UK

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

SUBMISSION:

The ESAW post-proceedings are typically published by Springer in the LNAI
series.
Papers should not exceed 16 pages and should be formatted according to the
Springer LNAI guidelines.

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

ORGANISERS:

- Alexander Artikis, (NCSR "Demokritos", Greece)
- Gregory O'Hare, (University College Dublin, Ireland)
- Kostas Stathis, (Royal Holloway, University of London, UK)
- George Vouros, (University of the Aegean, Greece)

STEERING COMMITTEE:

- Marie-Pierre Gleizes, (IRIT Universite Paul Sabatier, France)
- Andrea Omicini, (DEIS Universita di Bologna, Italy)
- Paolo Petta, (Austrian Research Institute for AI, Austria)
- Jeremy Pitt, (Imperial College London, UK)
- Robert Tolksdorf, (Free University of Berlin, Germany)
- Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy)

PROGRAMME COMMITTEE:

- Grigoris Antoniou, (University of Crete, Greece)
- Federico Bergenti, (Universita di Parma, Italy)
- Carole Bernon, (IRIT Universite Paul Sabatier, France)
- Guido Boella, (Universita degli Studi di Torino, Italy)
- Olivier Boissier, (Ecole Nationale Superieure des Mines de Paris, France)
- Jeff Bradshaw, (IHMC, USA)
- Monique Calisti, (Whitestein Technologies, Switzerland)
- Jacques Calmet, (University of Karlsruhe, Germany)
- Cristiano Castelfranchi, (ISTC-CNR, Italy)
- Luca Cernuzzi, (Universidad Catolica "Nuestra Senora de la Asuncion",
Paraguay)
- Helder Coelho, (University of Lisbon, Portugal)
- Rem Collier, (University College Dublin, Ireland)
- Dan Corkill, (University of Massachusetts at Amherst, USA)
- R. Scott Cost, (University of Maryland Baltimore County, USA)
- Aspassia Daskalopulu, (University of Thessaly, Greece)
- Mehdi Dastani, (Utrecht University, The Netherlands)
- Paul Davidsson, (Blekinge Institute of Technology, Sweden)
- Keith Decker, (University of Delaware, USA)
- Oguz Dikenelli, (Ege University, Turkey)
- Riza Cenk Erdur, (Ege University, Turkey)
- Rino Falcone, (ISTC-CNR, Italy)
- Paul Feltovich, (IHMC, USA)
- Jean-Pierre George, (IRIT Universite Paul Sabatier, France)
- Paolo Giorgini, (University of Trento, Italy)
- Michael O'Grady, (University College Dublin, Ireland)
- Frank Guerin, (University of Aberdeeen, UK)
- Salima Hassas, (Universite Claude Bernard Lyon 1, France)
- Lloyd Kamara, (Imperial College London, UK)
- Anthony Karageorgos, (University of Thessaly, Greece)
- Manolis Koubarakis, (University of Athens, UK)
- Michael Luck, (University of Southampton, UK)
- Fabien Michel, (Universite de Reims, France)
- Tim Miller, (University of Liverpool, UK)
- Pavlos Moraitis, (Paris-Descartes University, France)
- Pablo Noriega, (IIIA, Spain)
- Sascha Ossowski, (Univesidad Rey Juan Carlos, Spain)
- Julian Padget, (University of Bath, UK)
- Juan Pavon Mestras, (Universidad Complutense de Madrid, Spain)
- Paolo Petta, (Austrian Research Institute for AI, Austria)
- Jeremy Pitt, (Imperial College London, UK)
- Alessandro Ricci, (Universita di Bologna, Italy)
- Giovanni Rimassa, (Whitestein Technologies, Switzerland)
- Juan Antonio Rodriguez Aguilar, (IIIA, Spain)
- Fariba Sadri, (Imperial College London, UK)
- Maarten Sierhuis, (RIACS/NASA Ames Research Center, USA)
- Tiberiu Stratulat, (LIRMM, France)
- Robert Tolksdorf, (Free University of Berlin, Germany)
- Leon Van der Torre, (University of Luxembourg, Luxembourg)
- Luca Tummolini, (ISTC-CNR, Italy)
- Paul Valckenaers, (Katholieke Universiteit Leuven, Belgium)
- Wamberto Vasconcelos, (University of Aberdeeen, UK)
- Mirko Viroli, (Universita di Bologna, Italy)
- Marina De Vos, (University of Bath, UK)
- Danny Weyns, (Katholieke Universiteit Leuven, Belgium)
- Pinar Yolum, (Bogazici University, Turkey)
- Franco Zambonelli, (Universita di Modena e Reggio Emilia, Italy)


From publicity at samt2006.org  Fri Mar 30 10:55:43 2007
From: publicity at samt2006.org (publicity at samt2006.org)
Date: Fri, 30 Mar 2007 11:55:43 +0300
Subject: MTAP-JoWS Special Issue on Semantic Multimedia - Deadline Extended
Message-ID: <bulk.29049.20070330115453@manolito.image.ece.ntua.gr>

------------------------------------------------------------
Multimedia Tools and Applications - Journal of Web Semantics
Joint Special Issue on "Semantic Multimedia"
CALL FOR PAPERS - DEADLINE EXTENDED
http://samt2006.org/mtap.html
http://samt2006.org/jows.html
------------------------------------------------------------

Due to many requests, submission deadline is extended to 5 April 2007, 12:00 CET.

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

The objective of this special issue is to collect and report on recent high quality research that narrows the large disparity between the low-level descriptors typically computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media i.e. the so called Semantic Gap. Research in this area is important because of the overwhelming amount of information available as multimedia for the purpose of entertainment, security, education, cultural or technical documentation and the very limited understanding of the semantics of such data sources and, hence, the limited ways in which they can be accessed by users.

In spite of the multitude of such activities, there is a lack of appropriate outlets for presenting high-quality research in the area of "Semantic Multimedia". This joint special issue is addressed to two research communities and two journals, Multimedia Tools and Applications (http://www.springer.com/sgw/cda/frontpage/0,11855,5-0-70-35538244-0,00.html) and Journal of Web Semantics (http://www.elsevier.com/wps/find/journaldescription.cws_home/671322/description). The former is addressed to those members of the multimedia community interested in extending their multimedia analysis, indexing, retrieval etc. methods by leveraging Semantic Web technologies, i.e. core multimedia research employing semantics. The latter will cater towards those members of the Semantic Web community interested in applying their semantic technologies to the field of multimedia. This means that it targets core semantic web research with multimedia as its field of application. High quality contributio!
 ns addressing related theoretical and practical aspects are expected in both. 

Topics of interest
------------------

Topics of interest include, but are not limited to:

* Integration of multimedia processing and Semantic Web technologies
* Multimedia ontologies and infrastructures
* Knowledge assisted multimedia data mining
* Knowledge based inference for semi-automatic semantic media annotation
* Integration of content-based image/video analysis with natural language and speech processing
* Revelance feedback for finding semantics
* Semantic-driven multimedia indexing and retrieval
* Metadata management for multimedia
* Semantic Browsing of large multimedia archives
* Scalable, semantic-driven multimedia content adaptation and summarization
* Semantic interfaces and semantic personalisation for interaction with large multimedia repositories
* Semantics-driven multimedia presentation generation
* Semantics-aware media engineering involving content, users, and networks
* Standards bridging the multimedia and knowledge domains

Submission Procedure
--------------------

Authors have the possibility to submit specifically to either the Journal of Web Semantics or to Multimedia Tools and Applications. However it is also possible to submit to this joint double special issue and leave it to the editors to decide about acceptance for one of the two journals. Prospective contributors are invited to submit papers in A4/US letter, single column, double space format, up to 30 pages long including figures, tables and references. Authors should submit their manuscripts in pdf format online at http://samt2006.org/submission_mtap_jows.html indicating their submission target as "MTAP", "JoWS" or "BOTH". Camera-ready papers will have to conform to the style of the target journal.

Important Dates
---------------

Deadline for manuscript submission:   *** 05 April 2007 12:00 CET ***
Notification to authors:              30 June 2007 
Final accepted manuscript due:        31 July 2007 
Publication date:                     2008 

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

Yannis Avrithis, National Technical University of Athens, Greece
iavr at image.ntua.gr
Steffen Staab, University of  Koblenz-Landau, Germany
staab at uni-koblenz.de
Noel O'Connor, Dublin City University, Ireland
oconnorn at eeng.dcu.ie
Raphael Troncy, CWI, The Netherlands
Raphael.Troncy at cwi.nl


From jap at cs.bath.ac.uk  Fri Mar 30 13:25:09 2007
From: jap at cs.bath.ac.uk (Julian Padget)
Date: Fri, 30 Mar 2007 12:25:09 +0100
Subject: Second CFP: Coordination, Organizations, Institutions and Norms
	(COIN) @ Durham
Message-ID: <1175253909.6534.98.camel@localhost>

With the usual apologies for cross-posts

--Pablo Noriega and Julian Padget.

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

			The MALLOW Workshop on
	  Coordination, Organization, Institutions and Norms
		       in agent systems (COIN)
		  http://www.cs.bath.ac.uk/COIN2007
			      Durham, UK
		       3rd-4th September, 2007
	    An international workshop of the COIN series 

AIMS AND SCOPE

In recent years, social and organizational aspects of agency have
become a major issue in MAS research. Recent applications of MAS in
Web Services, Grid Computing and Ubiquitous Computing make clear the
need to take into account social, legal, economic and technological
dimensions of agent interactions in order to ensure social order
within these environments. The MAS research community has addressed
that need from different perspectives that have gradually become more
cohesive around the four notions that give title to the workshop:
coordination, organization, institutions and norms. COIN at MALLOW07
provides a space for presentation and debate for researchers active in
these areas.

TOPICS OF INTEREST INCLUDE:

Ontologies, methodologies, tools and standards for regulated MAS.
Social science background for regulated MAS: Roles, authority,
motivation, social power and other social relationships and attitudes.
Languages for norms: expressiveness vs. efficiency.  Electronic
institutions and virtual organizations.  Coordination and interaction
conventions, technologies and artifacts.  Institutional aspects of
peer to peer interactions.  Dynamic, adaptive and emergent
organizational structures.  Issues in regulatory dynamics (creation,
evolution, change, disappearance).  Issues in regulated MAS
implementation.  Examples of significant regulated environments.
Simulation, analysis and verification of regulated MAS.

We particularly encourage authors to submit innovative and original
papers that report on: Software frameworks, tools, and methodologies;
Applications, case studies, and experimental work; Formal and
theoretical models.

Papers describing ongoing work and position papers are welcome as well.

VENUE

The workshop will be part of this year's Multi-Agent Logics,
Languages, and Organisations federated Workshops, MALLOW'007 hosted
by the Department of Computer Science and St. Chad's College,
University of Durham, U.K.. Participants in the COIN workshop are
urged to participate in the co-located workshops. For more details of
MALLOW, please see

http://www.dur.ac.uk/durham.agents007/MALLOW007/

The MALLOW'007 format will allow us to host a two-day meeting with
longer presentations, round tables and discussions that have not been
feasible in previous editions of COIN.

PROCEEDINGS

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

IMPORTANT DATES

Paper submission deadline: June 1
Notifications of acceptance/rejection: July 7
Camera-ready copies due: July 20
Workshop Dates: September 3 and 4

PREPARATION AND SUBMISSION OF PAPERS

For preparation of papers to be submitted please follow the
instructions for authors available at the Springer LNCS Web
page:http://www.springer.de/comp/lncs/authors.html. The length of each
paper including figures and references may not exceed 12 pages. All
papers must be written in English and submitted in PDF
format. Submission of a paper should be regarded as an undertaking
that, should the paper be accepted, at least one of the authors will
attend the conference to present the work.

You may submit your paper via e-mail to pablo_ at _iiia_.cisic._es
(remove the "_")

PROGRAM COMMITTEE

Guido Boella (Torino, IT)
Olivier Boissier (Saint-Etienne, FR)
Christiano Castelfranchi (IST-CNR, IT)
Stephen Cranefield (Otago, NZ)
Marina de Vos (Bath, UK)
Virginia Dignum (Utrecht, NL)
Marc Esteva (UT Sydney, AU)
Nicoletta Fornara (Lugano, CH)
Carl Hewitt (MIT, US)
Christian Lemaitre (UAM, MX)
Victor Lesser (UMASS, USA)
Gabriela Lindemann (Humboldt U. Berlin, DE)
Fabiola López (BUAP, MX)
Michael Luck (King's College London, UK)
Eric Matson (Wright, US)
Tim Norman (Aberdeen, UK)
Eugénio Oliveira (Porto, PT)
Andrea Omicini (Bologna, IT)
Sascha Ossowski (URJC, ES)
Juan Antonio Rodríguez (IIIA. ES)
Marek Sergot (Imperial, UK)
Carles Sierra (IIIA, ES)
Mario Verdicchio (Politecnico di Milano, IT)
Wamberto Vasconcelos (Aberdeen, UK)
Javier Vazquez-Salceda (UPC, ES)

ORGANIZATION

WORKSHOP CHAIRS

Pablo Noriega, IIIA-CSIC, Campus UAB, Bellaterra; Barcelona 08193 (ES)
tel. +34 93 580 9570
Fax. +34 93 580 9661
e-mail: pablo_ at _iiia_.csic.es (remove the "_")

Julian Padget, Department of Computer Science, University of Bath,
Bath BA2 7AY (UK)
tel. +44 1225 386971
Fax: +44 1225 383493
e-mail: jap_ at _cs.bath.ac.uk (remove the "_")

COIN STEERING COMMITTEE

Guido Boella, Italy
Olivier Boissier, France
Virginia Dignum, The Netherlands
Victor Lesser, USA
Pablo Noriega, Spain
Andrea Omicini, Italy
Sascha Ossowski, Spain
Julian Padget, UK
Jaime Sichman, Brazil




From marco.gavanelli at unife.it  Fri Mar 30 18:26:18 2007
From: marco.gavanelli at unife.it (Marco Gavanelli)
Date: Fri, 30 Mar 2007 18:26:18 +0200
Subject: RCRA 2007 - Second CfP and news
Message-ID: <460D3A2A.6050608@unife.it>

[apologies for multiple postings]
                            ----- NEWS!!! -----
Post-proceedings will be published either in the new Elsevier
Journal of of Algorithms in Applied Logic and AI, or in the Lecture
Notes in Artificial Intelligence series of Springer-Verlag
                            ----- NEWS!!! -----


*   ________________________________________________________________   *

The RCRA group (Knowledge Representation & Automated Reasoning) of the
AI*IA (Italian Association for Artificial Intelligence) organises the

                           14th RCRA workshop:
      Experimental evaluation of algorithms for solving problems
                     with combinatorial explosion

                     http://pst.istc.cnr.it/RCRA07/
                         rcra07 at dis.uniroma1.it

*   ________________________________________________________________   *

This workshop follows the series of the RCRA (Knowledge Representation
and Automated Reasoning) annual meeting, held since 1994. The success
of the previous events shows that RCRA is becoming a major forum for
exchanging ideas and proposing experimentation methodologies for
algorithms in artificial intelligence.

*   ________________________________________________________________   *

DATE
      5-6 July 2007

VENUE
      Rome, CNR (National Research Council)

AIMS AND SCOPE
      Many problems in Artificial Intelligence show an exponential explosion
      of the search space.  Although stemming from different research areas
      in AI, such problems are often addressed with algorithms that have
      a common goal: the effective exploration of huge state spaces. 
Many algorithms
      developed in one research area are applicable to other problems, 
or can be
      hybridised with techniques in other areas. Artificial Intelligence 
tools
      often exploit or hybridise techniques developed by other research 
communities,
      such as Operations Research.
      In recent years, research in AI has more and more focussed on 
experimental
      evaluation of algorithms, the development of suitable 
methodologies for
      experimentation and analysis, the study of languages and the 
implementation
      of systems for the definition and solution of problems.

      Scope of the workshop is fostering the cross-fertilisation of ideas
      stemming from different areas, proposing benchmarks for new 
challenging
      problems, comparing models and algorithms from an experimental 
viewpoint,
      and, in general, comparing different approaches with respect to 
efficiency,
      problem modelling, and ease of development.

      Topics of interest include, but are not limited to:
      * Experimental evaluation of algorithms for
            o knowledge representation
            o automated reasoning
            o planning
            o scheduling
            o machine learning
            o model checking
            o boolean satisfiability (SAT)
            o constraint programming
            o constraint satisfaction
            o quantified boolean formulae and quantified constraints
            o modal logics
            o logic programming
            o disjunctive logic programming
            o temporal reasoning
      * Definition and construction of benchmarks
      * Experimentation methodologies
      * Metaheuristics
      * Algorithm hybridisation
      * Static analysis of combinatorial problems
      * Languages and systems for definition and solution of problems
      * Comparisons between systems and algorithms
      * Application experiences

      Publications showing negative results are welcome, provided that the
      approach was original and very promising in principle, the 
experimentation
      was well-conducted, the results obtained were unforeseeable and gave
      important hints in the comprehension of the target problem, helping
      other researchers to avoid unsuccessful paths.


WORKSHOP CHAIRS
      * Marco Gavanelli, Universit‡ degli Studi di Ferrara, Italy
      * Toni Mancini, Universit‡ di Roma "La Sapienza", Italy

PROGRAM COMMITTEE
      * Marco Benedetti, UniversitÈ d'OrlÈans, France
      * Francesco Buccafurri, Universit‡ Mediterranea di Reggio 
Calabria, Italy
      * Amedeo Cesta, ISTC-CNR, Italy
      * Khalil Djelloul, University of Ulm, Germany
      * Agostino Dovier, Universit‡ degli Studi di Udine, Italy
      * Wolfang    Faber, Universit‡ della Calabria, Italy
      * Marco Gavanelli, Universit‡ di Ferrara, Italy
      * Narendra Jussien, Ecole des Mines de Nantes, France
      * Daniel Le Berre, UniversitÈ d'Artois, France
      * Ines Lynce, Universidade TÈcnica de Lisboa, Portugal
      * Donato Malerba, Universit‡ degli Studi di Bari, Italy
      * Toni Mancini, Universit‡ degli Studi di Roma "La Sapienza", Italy
      * Pedro Meseguer, CSIC-IIIA, Spain
      * Ilkka Niemela, Helsinki University of Technology, Finland
      * Laurent Perron, ILOG, France
      * Nicola Policella, European Space Agency, Germany
      * Steve Prestwich, Cork Constraint Computation Centre, Ireland
      * Andrea Roli, Universit‡ degli Studi di Bologna, Italy
      * Andrea Schaerf, Universit‡ di Udine, Italy
      * Laurent Simon, LRI-UniversitÈ Paris-Sud, France
      * Kostas Stathis, Royal Holloway-University of London, United Kingdom
      * Armando Tacchella, Universit‡ di Genova, Italy
      * Mirek Truszczynski, University of Kentucky, USA

HOST ORGANIZATION
      ISTC-CNR, Institute for Cognitive Science and Technology, Italian 
National Research Council

LOCAL COMMITTEE
      * Amedeo Cesta, ISTC-CNR, Rome, Italy
      * Nicola Policella, ISTC-CNR, Rome, Italy
      * Simone Fratini, ISTC-CNR, Rome, Italy


IMPORTANT DATES
        * Paper submission deadline:         25 April 2007
        * Notification of acceptance/reject: 25 May 2007
        * Final version:                     20 June 2007
        * Workshop:                          5-6 July 2007

SUBMISSIONS
Papers should not exceed 15 pages (Latex standard article style, 11pt) and
should be submitted electronically via email to rcra07 at dis.uniroma1.it, 
either
in postscript or PDF format.

Two types of submissions are possible
      * Original papers, not previously published in conferences or journals
      * Informal presentations, overviews of research projects, position 
papers

Both types of submissions will be reviewed by at least three members of 
the program committee.
Accepted papers will be electronically published on the workshop web site.
Informal presentations are aimed at fostering discussion between the 
participants.

PUBLICATION
After the workshop,  the authors of original papers will be invited to 
submit an
extended version for the post-proceedings. The publication will be 
either in the
new Elsevier  Journal of Algorithms in Applied Logic and AI, or in the 
Springer-
Verlag series Lecture Notes in Artificial Intelligence.

-- 
Marco Gavanelli, Ph.D.
Computer Science Division
Dipartimento di Ingegneria
University of Ferrara
Via Saragat 1 - 44100 Ferrara (Italy)
Tel  +39-0532-97-4833
Fax  +39-0532-97-4870
http://www.ing.unife.it/docenti/MarcoGavanelli/


From a.ragone at email.it  Fri Mar 30 17:01:20 2007
From: a.ragone at email.it (azzurra ragone)
Date: Fri, 30 Mar 2007 17:01:20 +0200
Subject: subscribe
Message-ID: <20070330151304.200C32ED31@mail.poliba.it>

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

From a.ragone at email.it  Fri Mar 30 17:35:18 2007
From: a.ragone at email.it (azzurra ragone)
Date: Fri, 30 Mar 2007 17:35:18 +0200
Subject: Confirmation Request (2742280229)
In-Reply-To: <listadmin-21719826@tu-clausthal.de>
Message-ID: <20070330154702.99C3F2EF67@mail.poliba.it>

 

-----Original Message-----
From: event administration [mailto:event-subscribe at in.tu-clausthal.de] 
Sent: Friday, March 30, 2007 5:26 PM
To: azzurra ragone
Subject: Confirmation Request (2742280229)

This is an automated message from the
  <event at in.tu-clausthal.de> mailing list manager

Somebody (probably you) have requested the subscribe operation
  for your <a.ragone at email.it> address

If you want to confirm this operation,
  use the Reply command in your mailer.

Check that the Subject of the reply message contains
  the confirmation ID: 2742280229,
  the reply is directed to <event-subscribe at in.tu-clausthal.de>,
  and the 'From' address of your reply is <a.ragone at email.it>.

If you do not want to confirm the requested operation, simply do nothing

All requests about this mailing list
  should be sent to <event-request at in.tu-clausthal.de>



From ci-listen at in.tu-clausthal.de  Mon Mar  5 09:56:39 2007
From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik)
Date: Mon, 05 Mar 2007 09:56:39 +0100
Subject: Fwd: [Event@CIG] Extended Deadline ECM_MAI 2007
Message-ID: <web-21105382@tu-clausthal.de>




   --- the forwarded message follows ---
-------------- nächster Teil --------------
Eine eingebundene Nachricht wurde abgetrennt...
Von: Radoslaw Katarzyniak <radoslaw.katarzyniak at pwr.wroc.pl>
Betreff: Re: [Event at CIG] Extended Deadline ECM_MAI 2007
Datum: Sun, 04 Mar 2007 14:54:37 +0100
Größe: 8968
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070305/92124790/attachment.mht>

From AdministratorofmailinglistsofCIG at TUC  Thu Mar 15 08:46:57 2007
From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC)
Date: Thu, 15 Mar 2007 08:46:57 +0100
Subject: Final call for participation: ARE2007
In-Reply-To: <1173918902.5564.9.camel@localhost.localdomain>
References: <1173918902.5564.9.camel@localhost.localdomain>
Message-ID: <web-21388548@tu-clausthal.de>

Dear Constantin,
thanks for distributing your announcement via our
Event at CIG list. We are happy to see that you use our list 
for
many interesting announcements and obviously the word is 
spreading ;-).
However, I strongly hesitate to let your post through 
because
it does not even roughly stick to our moderation policy. 
You
can read more about it here 
http://cig.in.tu-clausthal.de/event/.

In the case you would like your announcement to be 
distributed via
Event at CIG list, I would like to ask you reformat it to fit 
our
requirements on format (at least roughly if possible). I'd 
like to
stress especially the following two points:

-  clear selfcontained text (not a bunch of links only)
-  obey the traditional CfP format when possible
    (include title, time/space coordinates, 
deadlines/important dates,
    topics of interest, details about organizers like 
names and
    affiliations etc.)


Thanks a lot for your understanding.

Best regards,

Peter Novak, Event at CIG moderator and administrator.



On Thu, 15 Mar 2007 00:35:02 -0000
  "Orasan, Constantin" <C.Orasan at wlv.ac.uk> wrote:
> Dear all,
> 
> This is the final call for participation for the 1st 
>Anaphora Resolution
> Exercise (ARE) organised in conjunction with the 6th 
>Discourse Anaphora
> and Anaphor Resolution Colloquium (DAARC2007). The 
>general objective of
> ARE is to develop discourse anaphora resolution methods 
>and to evaluate
> them in a common and consistent manner. For this first 
>edition, we
> propose 4 different tasks. Details about them can be 
>found at:
> http://clg.wlv.ac.uk/events/ARE/
> 
> If you would like to participate please contact 
>Constantin Orasan
> (C.Orasan at wlv.ac.uk) for more details.
> 
> The ARE Organisers
> 
> 



From AdministratorofmailinglistsofCIG at TUC  Fri Mar 23 11:21:14 2007
From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC)
Date: Fri, 23 Mar 2007 11:21:14 +0100
Subject: unsubscribe
In-Reply-To: <3dc5ef7e0703220329r1774539fp4751b78b29f930ea@mail.gmail.com>
References: <3dc5ef7e0703220329r1774539fp4751b78b29f930ea@mail.gmail.com>
Message-ID: <web-21568364@tu-clausthal.de>

Dear Ivan,
if you really want to unsubscribe from the
list, you should the same address which you
used for subscription. That is ivan at irit.fr,
not the "gmail.com" address.

Best,

Peter Novak, Event at CIG administrator.

On Thu, 22 Mar 2007 11:29:52 +0100
  "Ivan José Varzinczak" <ivan.varzinczak at gmail.com> 
wrote:
> 



From AdministratorofmailinglistsofCIG at TUC  Sun Mar 25 16:24:01 2007
From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC)
Date: Sun, 25 Mar 2007 16:24:01 +0200
Subject: Fwd: Change of address
Message-ID: <web-21600254@tu-clausthal.de>




   --- the forwarded message follows ---
-------------- nächster Teil --------------
Eine eingebundene Nachricht wurde abgetrennt...
Von: Boris Stilman <boris at stilman-strategies.com>
Betreff: Change of address
Datum: Sat, 24 Mar 2007 11:03:08 -0600
Größe: 1761
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070325/711b4283/attachment.mht>

From AdministratorofmailinglistsofCIG at TUC  Thu Mar 29 09:12:45 2007
From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC)
Date: Thu, 29 Mar 2007 09:12:45 +0200
Subject: Call for Participation :: ArgNMR 2007 (early bird
 registration  approaching)
In-Reply-To: <7.0.1.0.2.20070328140231.02715dc0@unibo.it>
References: <7.0.1.0.2.20070328140231.02715dc0@unibo.it>
Message-ID: <web-21677271@tu-clausthal.de>


Dear Paolo,
I found your posting in a "request" folder of our list. 
It's because you sent
the posting to "event-feed at in.tu-clausthal.de", what is 
not the good one. For
administrative requests, event-request at in... should be 
used and if you want
to post an announcement to the list, use the plain 
event at in.tu-clausthal.de
address. That way things will go smoothly in the future 
;-).

Anyway, I moved your posting around and redistributed it 
via the Event at CIG
list, so for now, everything is alright.

Best regards,

Peter Novak, Event at CIG administrator.


On Wed, 28 Mar 2007 14:17:16 +0200
  Paolo Torroni <paolo.torroni at unibo.it> wrote:
> [please distribute]
> 
> 
> You are kindly invited to attend the First International 
>Workshop on
> 
> 	Argumentation and Non-Monotonic Reasoning (ArgNMR 2007)
> 	Tempe, AZ, May 14, 2007
> 
> ArgNMR will represent an opportunity for exchanging 
>ideas on the fundamental theoretical basis and the design 
>and implementation of argument-based systems including 
>semantics, proof theory, applications to epistemic and 
>practical reasoning, and the comparison of those systems 
>with other types of nonmonotonic reasoning.
> 
> More info at the url 
> http://lia.deis.unibo.it/confs/argnmr/
> 
> Early bird registration deadline :: March 31, 2007.
> 
> See you in Tempe!
> 
> Paolo Torroni & Guillermo Simari
> 
> 
> ~~ LIST OF ACCEPTED PAPERS ~~
> 
> 
> ~~> A Sound and Complete Proof Procedure for Sceptical 
>Preferred Argumentation. By Phan Minh Dung & Phan Minh 
>Thang.
> ~~> Characterizing defeat graphs where argumentation 
>semantics agree. By Pietro Baroni & Massimiliano 
>Giacomin.
> ~~> A system for credulous and sceptical argumentation. 
>By Dorian Gaertner & Francesca Toni.
> ~~> Inferring preferred extensions by minimal models. By 
>Juan Carlos Nieves, Mauricio Osorio Galindo & Ulises 
>Cortes.
> ~~> Evolving Arguments ­ Reductio ad Absurdum 
>Argumentation in Logic Programs. By Luís Moniz Pereira & 
>Alexandre Miguel Pinto.
> ~~> An Abstract Presentation of Dialectical Explanations 
>in Defeasible Argumentation. By Alejandro Garcia, Carlos 
>Ivan Chesñevar, Nicolas Daniel Rotstein & Guillermo R. 
>Simari.
> ~~> Argumentation-based Proof for an Argument in a 
>Paraconsistent Setting. By Iara Almeida and Jose Julio 
>Alferes.
> ~~> Abductive logic programming for agent reasoning and 
>dialogical argumentation: Formal properties of the 
>SCIFF-AF. By Paolo Torroni.
> ~~> Three senses of "Argument." By Adam Wyner, Trevor 
>J.M. Bench-Capon & Katie Atkinson.
> ---
> Paolo Torroni, PhD
> DEIS, University of Bologna
> V.le Risorgimento 2, 40136 Bologna, Italy
> voice: +39 051 20 93767, fax: +39 051 20 93073
> web: http://lia.deis.unibo.it/~pt/
> ---
> 



From AdministratorofmailinglistsofCIG at TUC  Thu Mar 29 13:09:24 2007
From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC)
Date: Thu, 29 Mar 2007 13:09:24 +0200
Subject: Call for Participation :: ArgNMR 2007 (early bird
  registration  approaching)
In-Reply-To: <7.0.1.0.2.20070329094156.04b68708@deis.unibo.it>
References: <7.0.1.0.2.20070328140231.02715dc0@unibo.it>
 <web-21677271@tu-clausthal.de>
 <7.0.1.0.2.20070329094156.04b68708@deis.unibo.it>
Message-ID: <web-21685126@tu-clausthal.de>

Hi Paolo,

On Thu, 29 Mar 2007 09:43:35 +0200
  Paolo Torroni <ptorroni at deis.unibo.it> wrote:
> Hi Peter! So it's you behind the scenes :-)

;-). Yes. As with all our "PR" activities ;-). Well, I 
mean
technically of course. The one who pulls the strings 
finally
is of curse Juergen ;-).

> thank you so much for being very helpful! sorry about 
>the mistake. Eudora completes addresses automatically, 
>sometimes it picks the wrong one ;-) I'll keep it in mind 
>in the future

No problem. For me it is alright. It just might happen 
that
it might be a reason for dismissing the posting right away
because I usually get only spam to event-request folder. 
And
I just delete it right away without looking at it too much
most of the time.

Best,

Peter.


> cheers,
> P.
> 
> At 09.12 29/03/2007, Administrator of mailing lists of 
>CIG at TUC wrote:
>>Dear Paolo,
>>I found your posting in a "request" folder of our list. 
>>It's because you sent
>>the posting to "event-feed at in.tu-clausthal.de", what is 
>>not the good one. For
>>administrative requests, event-request at in... should be 
>>used and if you want
>>to post an announcement to the list, use the plain 
>>event at in.tu-clausthal.de
>>address. That way things will go smoothly in the future 
>>;-).
>>
>>Anyway, I moved your posting around and redistributed it 
>>via the Event at CIG
>>list, so for now, everything is alright.
>>
>>Best regards,
>>
>>Peter Novak, Event at CIG administrator.
>