From pilir_pue at yahoo.com.mx  Tue Aug  1 00:44:23 2006
From: pilir_pue at yahoo.com.mx (Pilar Pozos)
Date: Mon, 31 Jul 2006 17:44:23 -0500 (CDT)
Subject: Confirmation Request (3307729686)
In-Reply-To: <listadmin-15540692@tu-clausthal.de>
Message-ID: <20060731224423.37647.qmail@web52412.mail.yahoo.com>


 --- event administration
<event-subscribe at tu-clausthal.de> escribió:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe
> operation
>   for your <pilir_pue at yahoo.com.mx> 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: 3307729686,
>   the reply is directed to
> <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is
> <pilir_pue at yahoo.com.mx>.
> 
> 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 tu-clausthal.de>
> 
> 



	
	
		
___________________________________________________________ 
Do You Yahoo!? 
La mejor conexión a Internet y <b >2GB</b> extra a tu correo por $100 al mes. http://net.yahoo.com.mx 



From flax at ics.mq.edu.au  Tue Aug  1 02:53:28 2006
From: flax at ics.mq.edu.au (Lee Flax)
Date: Tue, 1 Aug 2006 10:53:28 +1000 (EST)
Subject: Confirmation Request (2906067776)
In-Reply-To: <listadmin-15457897@tu-clausthal.de>
References: <listadmin-15457897@tu-clausthal.de>
Message-ID: <Pine.GSO.4.63.0608011052400.20518@marcus.ics.mq.edu.au>




On Thu, 27 Jul 2006, event administration wrote:

> This is an automated message from the
>  <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>  for your <flax at ics.mq.edu.au> 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: 2906067776,
>  the reply is directed to <event-subscribe at tu-clausthal.de>,
>  and the 'From' address of your reply is <flax at ics.mq.edu.au>.
>
> 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 tu-clausthal.de>
>
>


From twakaki at sic.shibaura-it.ac.jp  Tue Aug  1 04:59:48 2006
From: twakaki at sic.shibaura-it.ac.jp (Toshiko Wakaki)
Date: Tue, 1 Aug 2006 11:59:48 +0900
Subject: subscribe
Message-ID: <002401c6b516$8d3b4ea0$109b1dac@ailab.se.shibaurait.ac.jp>




From twakaki at sic.shibaura-it.ac.jp  Tue Aug  1 05:53:43 2006
From: twakaki at sic.shibaura-it.ac.jp (Toshiko Wakaki)
Date: Tue, 1 Aug 2006 12:53:43 +0900
Subject: Confirmation Request (3348723834)
References: <listadmin-15548961@tu-clausthal.de>
Message-ID: <003e01c6b51e$157c1ea0$109b1dac@ailab.se.shibaurait.ac.jp>


----- Original Message ----- 
From: "event administration" <event-subscribe at tu-clausthal.de>
To: "Toshiko Wakaki" <twakaki at sic.shibaura-it.ac.jp>
Sent: Tuesday, August 01, 2006 11:39 AM
Subject: Confirmation Request (3348723834)


> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <twakaki at sic.shibaura-it.ac.jp> 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: 3348723834,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <twakaki at sic.shibaura-it.ac.jp>.
>
> 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 tu-clausthal.de>
>



From mehdi at cs.uu.nl  Tue Aug  1 09:22:21 2006
From: mehdi at cs.uu.nl (Mehdi Dastani)
Date: Tue, 01 Aug 2006 09:22:21 +0200
Subject: Confirmation Request (3313343141)
In-Reply-To: <listadmin-15543925@tu-clausthal.de>
References: <listadmin-15543925@tu-clausthal.de>
Message-ID: <44CF012D.7020003@cs.uu.nl>



event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <mehdi at cs.uu.nl> 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: 3313343141,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <mehdi at cs.uu.nl>.
> 
> 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 tu-clausthal.de>
> 


-- 

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


From ttj at closure.tcs.hut.fi  Tue Aug  1 08:59:46 2006
From: ttj at closure.tcs.hut.fi (Tomi Janhunen)
Date: Tue, 1 Aug 2006 09:59:46 +0300 (EEST)
Subject: subscribe
Message-ID: <m1G7oEE-003Pv9C@closure.tcs.hut.fi>



From noltemei at informatik.uni-wuerzburg.de  Tue Aug  1 10:18:01 2006
From: noltemei at informatik.uni-wuerzburg.de (Prof. Dr. H. Noltemeier)
Date: Tue, 01 Aug 2006 10:18:01 +0200
Subject: subscribe
Message-ID: <44CF0E39.1AA0F477@informatik.uni-wuerzburg.de>


-- 
Prof. Dr. Hartmut Noltemeier               Lehrstuhl fuer Informatik I
<noltemei at informatik.uni-wuerzburg.de>     Universitaet Wuerzburg
Tel. 0931 / 888-5054                       Am Hubland
            888-5055                       D-97074 Wuerzburg
Fax. 0931 / 888-4600
WWW: <http://www-info1.informatik.uni-wuerzburg.de/>


From aricci at deis.unibo.it  Tue Aug  1 11:05:43 2006
From: aricci at deis.unibo.it (Alessandro Ricci)
Date: Tue, 1 Aug 2006 11:05:43 +0200
Subject: Confirmation Request (3303466024)
In-Reply-To: <listadmin-15538830@tu-clausthal.de>
References: <listadmin-15538830@tu-clausthal.de>
Message-ID: <97429600-4069-4E69-A73D-74991390E331@deis.unibo.it>


On 31/lug/06, at 16:05, event administration wrote:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <aricci at deis.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: 3303466024,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <aricci at deis.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 tu-clausthal.de>



From ttj at closure.tcs.hut.fi  Tue Aug  1 11:21:28 2006
From: ttj at closure.tcs.hut.fi (Tomi Janhunen)
Date: Tue, 1 Aug 2006 12:21:28 +0300 (EEST)
Subject: Confirmation Request (3366219736)
In-Reply-To: <listadmin-15552039@tu-clausthal.de>
	(event-subscribe@tu-clausthal.de)
References: <listadmin-15552039@tu-clausthal.de>
Message-ID: <m1G7qRM-003Pv9C@closure.tcs.hut.fi>



From laszlo.varga at sztaki.hu  Tue Aug  1 12:25:57 2006
From: laszlo.varga at sztaki.hu (Laszlo Z. Varga)
Date: Tue, 01 Aug 2006 12:25:57 +0200
Subject: subscribe
Message-ID: <44CF2C35.7050809@sztaki.hu>




From laszlo.varga at sztaki.hu  Tue Aug  1 12:37:35 2006
From: laszlo.varga at sztaki.hu (Laszlo Z. Varga)
Date: Tue, 01 Aug 2006 12:37:35 +0200
Subject: Confirmation Request (3377130879)
In-Reply-To: <listadmin-15558313@tu-clausthal.de>
References: <listadmin-15558313@tu-clausthal.de>
Message-ID: <44CF2EEF.7080409@sztaki.hu>

event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <laszlo.varga at sztaki.hu> 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: 3377130879,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <laszlo.varga at sztaki.hu>.
> 
> 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 tu-clausthal.de>
> 


From hemker at sim.tu-darmstadt.de  Tue Aug  1 12:44:50 2006
From: hemker at sim.tu-darmstadt.de (Thomas Hemker)
Date: Tue, 01 Aug 2006 12:44:50 +0200
Subject: subscribe
Message-ID: <44CF30A2.4040901@sim.tu-darmstadt.de>


-- 
Thomas Hemker            hemker at sim.tu-darmstadt.de

Simulation and Systems Optimization
Department of Computer Science
TU Darmstadt
Hochschulstr. 10
D-64289 Darmstadt, Germany

Tel  +49 6151 16-5212    Fax -6648


From hemker at sim.tu-darmstadt.de  Tue Aug  1 13:02:33 2006
From: hemker at sim.tu-darmstadt.de (Thomas Hemker)
Date: Tue, 01 Aug 2006 13:02:33 +0200
Subject: Confirmation Request (3378447209)
In-Reply-To: <listadmin-15558845@tu-clausthal.de>
References: <listadmin-15558845@tu-clausthal.de>
Message-ID: <44CF34C9.2030807@sim.tu-darmstadt.de>



event administration schrieb:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <hemker at sim.tu-darmstadt.de> 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: 3378447209,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <hemker at sim.tu-darmstadt.de>.
> 
> 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 tu-clausthal.de>

-- 
Thomas Hemker            hemker at sim.tu-darmstadt.de

Simulation and Systems Optimization
Department of Computer Science
TU Darmstadt
Hochschulstr. 10
D-64289 Darmstadt, Germany

Tel  +49 6151 16-5212    Fax -6648


From fink at kr.tuwien.ac.at  Tue Aug  1 13:18:08 2006
From: fink at kr.tuwien.ac.at (Michael Fink)
Date: Tue, 01 Aug 2006 13:18:08 +0200
Subject: subscribe
Message-ID: <44CF3870.4010205@kr.tuwien.ac.at>




From fink at kr.tuwien.ac.at  Tue Aug  1 13:31:19 2006
From: fink at kr.tuwien.ac.at (Michael Fink)
Date: Tue, 01 Aug 2006 13:31:19 +0200
Subject: Confirmation Request (3380471069)
In-Reply-To: <listadmin-15559586@tu-clausthal.de>
References: <listadmin-15559586@tu-clausthal.de>
Message-ID: <44CF3B87.40500@kr.tuwien.ac.at>



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



From svb at doc.ic.ac.uk  Tue Aug  1 13:12:49 2006
From: svb at doc.ic.ac.uk (Steffen van Bakel)
Date: Tue,  1 Aug 2006 12:12:49 +0100
Subject: APAL SPECIAL ISSUE: "CLASSICAL LOGIC AND COMPUTATION"
Message-ID: <1154430769.44cf37317048c@www.doc.ic.ac.uk>

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

                   ANNALS OF PURE AND APPLIED LOGIC
                           SPECIAL ISSUE ON
                   CLASSICAL LOGIC AND COMPUTATION

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

                            CALL FOR PAPERS
                            ===============

    Contributions on the topic of Classical Logic and Computation are
    invited for a special issue of Annals of Pure and Applied Logic.

    On  July  15  2006,  the first  meeting  on  "Classical Logic and
    Computation"  took place in Venice,  Italy,  as satellite meeting
    to ICALP'06.     The meeting intended to cover all work aiming to 
    propose a programming language inspired by classical logic, and a 
    semantics for it.    The special issue is first of all set up for
    papers presented at  the workshop,  but the  call is  open to all 
    researchers.

TOPICS

    Topics  of  interest  for  contributions to the journal issue in-
    clude, but are not limited to:

        - types for calculi with continuations
        - design of programming languages inspired by classical 
          logic,
        - witness extraction from classical proofs,
        - constructive semantics for classical logic (e.g. game
          semantics),

SUBMISSIONS

    Submissions  must be original work, which has not been previously
    published in a journal and is not being considered  for  publica-
    tion  elsewhere.  If  related material has appeared in a refereed
    conference proceedings, the text submitted to should be  substan-
    tially more complete or otherwise different.

    A  title  page  must include: full title, authors' full names and
    affiliations, and the address to which correspondence and  proofs
    should be sent. Where possible, e-mail address and telephone num-
    ber should be included. This should be followed by an abstract of
    approximately 300 words and five key words for indexing.

IMPORTANT

    All  source  files  of  the final versions of the accepted papers
    must respect the format of APAL.   In order to make a submission,
    please follow the instructions from:

    authors.elsevier.com/GuideForAuthors.html?PubID=505603&dc=GFA

    Please send a .ps or .pdf file to either
        svb at doc.ic.ac.uk 
    or 
        stefano at di.unito.it

    Deadline for submission: October 31, 2006.


Steffen van Bakel, Imperial College, London, UK;
Stefano Berardi, Universita` degli studi di Torino, Turin, I.


From svb at doc.ic.ac.uk  Tue Aug  1 14:24:27 2006
From: svb at doc.ic.ac.uk (Steffen van Bakel)
Date: Tue,  1 Aug 2006 13:24:27 +0100
Subject: Confirmation Request (2981354940)
In-Reply-To: <listadmin-15561268@tu-clausthal.de>
References: <listadmin-15561268@tu-clausthal.de>
Message-ID: <1154435067.44cf47fb8216f@www.doc.ic.ac.uk>

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

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


Steffen van Bakel 
 
-------- 
 
	Department of Computing, 
	Imperial College London, 
	180 Queen's Gate,  
	London SW7 2BZ,  
 
	tel:   + 44 20 7594 8263 
	fax:   + 44 20 7581 8024 
	email: svb @ doc.ic.ac.uk 
	http://www.doc.ic.ac.uk/~svb 


From Miki.Hermann at lix.polytechnique.fr  Tue Aug  1 14:58:22 2006
From: Miki.Hermann at lix.polytechnique.fr (Miki Hermann)
Date: Tue, 1 Aug 2006 14:58:22 +0200
Subject: subscribe
Message-ID: <17615.20462.277470.572710@mucha.polytechnique.fr>



From R.P.Evans at brighton.ac.uk  Tue Aug  1 15:13:36 2006
From: R.P.Evans at brighton.ac.uk (R.P.Evans at brighton.ac.uk)
Date: Tue, 01 Aug 2006 14:13:36 +0100
Subject: subscribe
Message-ID: <44CF5380.2050805@brighton.ac.uk>




From R.P.Evans at brighton.ac.uk  Tue Aug  1 15:32:03 2006
From: R.P.Evans at brighton.ac.uk (R.P.Evans at brighton.ac.uk)
Date: Tue, 01 Aug 2006 14:32:03 +0100
Subject: Confirmation Request (3387803678)
In-Reply-To: <listadmin-15563021@tu-clausthal.de>
References: <listadmin-15563021@tu-clausthal.de>
Message-ID: <44CF57D3.4080700@brighton.ac.uk>



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


From Miki.Hermann at lix.polytechnique.fr  Tue Aug  1 15:50:01 2006
From: Miki.Hermann at lix.polytechnique.fr (Miki Hermann)
Date: Tue, 1 Aug 2006 15:50:01 +0200
Subject: Confirmation Request (3386662196)
In-Reply-To: <listadmin-15562673@tu-clausthal.de>
References: <listadmin-15562673@tu-clausthal.de>
Message-ID: <17615.23561.628399.30159@mucha.polytechnique.fr>



From svb at doc.ic.ac.uk  Tue Aug  1 15:15:08 2006
From: svb at doc.ic.ac.uk (Steffen van Bakel)
Date: Tue,  1 Aug 2006 14:15:08 +0100
Subject: APAL SPECIAL ISSUE: "CLASSICAL LOGIC AND COMPUTATION"
Message-ID: <1154438108.44cf53dc6c171@www.doc.ic.ac.uk>

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

                   ANNALS OF PURE AND APPLIED LOGIC
                           SPECIAL ISSUE ON
                   CLASSICAL LOGIC AND COMPUTATION

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

                            CALL FOR PAPERS
                            ===============

    Contributions on the topic of Classical Logic and Computation are
    invited for a special issue of Annals of Pure and Applied Logic.

    On  July  15  2006,  the first  meeting  on  "Classical Logic and
    Computation"  took place in Venice,  Italy,  as satellite meeting
    to ICALP'06.     The meeting intended to cover all work aiming to 
    propose a programming language inspired by classical logic, and a 
    semantics for it.    The special issue is first of all set up for
    papers presented at  the workshop,  but the  call is  open to all 
    researchers.

TOPICS

    Topics  of  interest  for  contributions to the journal issue in-
    clude, but are not limited to:

        - types for calculi with continuations
        - design of programming languages inspired by classical 
          logic,
        - witness extraction from classical proofs,
        - constructive semantics for classical logic (e.g. game
          semantics),

SUBMISSIONS

    Submissions  must be original work, which has not been previously
    published in a journal and is not being considered  for  publica-
    tion  elsewhere.  If  related material has appeared in a refereed
    conference proceedings, the text submitted to should be  substan-
    tially more complete or otherwise different.

    A  title  page  must include: full title, authors' full names and
    affiliations, and the address to which correspondence and  proofs
    should be sent. Where possible, e-mail address and telephone num-
    ber should be included. This should be followed by an abstract of
    approximately 300 words and five key words for indexing.

IMPORTANT

    All  source  files  of  the final versions of the accepted papers
    must respect the format of APAL.   In order to make a submission,
    please follow the instructions from:

    authors.elsevier.com/GuideForAuthors.html?PubID=505603&dc=GFA

    Please send a .ps or .pdf file to either
        svb at doc.ic.ac.uk 
    or 
        stefano at di.unito.it

    Deadline for submission: October 31, 2006.


Steffen van Bakel, Imperial College, London, UK;
Stefano Berardi, Universita` degli studi di Torino, Turin, I.


From noltemei at informatik.uni-wuerzburg.de  Tue Aug  1 17:28:24 2006
From: noltemei at informatik.uni-wuerzburg.de (Hartmut Noltemeier)
Date: Tue, 01 Aug 2006 17:28:24 +0200
Subject: Confirmation Request (3370664335)
In-Reply-To: <listadmin-15555024@tu-clausthal.de>
References: <listadmin-15555024@tu-clausthal.de>
Message-ID: <44CF7318.3010707@informatik.uni-wuerzburg.de>



event administration schrieb:

>This is an automated message from the
>  <event at tu-clausthal.de> mailing list manager
>
>Somebody (probably you) have requested the subscribe operation
>  for your <noltemei at informatik.uni-wuerzburg.de> 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: 3370664335,
>  the reply is directed to <event-subscribe at tu-clausthal.de>,
>  and the 'From' address of your reply is <noltemei at informatik.uni-wuerzburg.de>.
>
>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 tu-clausthal.de>
>
>  
>

-- 
 Prof. Dr. Hartmut Noltemeier                   Lehrstuhl fuer Informatik I
 <noltemei at informatik.uni-wuerzburg.de>         Universitaet Wuerzburg
 Tel. 0931 / 888-5054                           Am Hubland
             888-5055                           D-97074 Wuerzburg
 Fax. 0931 / 888-4600                
 WWW: <http://www-info1.informatik.uni-wuerzburg.de/>




From rjc at doc.ic.ac.uk  Tue Aug  1 17:28:13 2006
From: rjc at doc.ic.ac.uk (Jim Cunningham)
Date: Tue, 1 Aug 2006 16:28:13 +0100
Subject: Confirmation Request (3308022382)
In-Reply-To: <listadmin-15540770@tu-clausthal.de>
References: <listadmin-15540770@tu-clausthal.de>
Message-ID: <a0621021ec0f5236973c0@[146.169.29.37]>


-- 
Jim Cunningham
Department of Computing, Imperial College,
Room 450 Huxley Building, 180 Queens Gate, London SW7 2BZ, UK
tel +44 207 594 8284   fax +44 207 594 8303
Research group on Communicating Agents
http://www.doc.ic.ac.uk/~rjc

My apologies, but because of excessive scam I filter mail, so please 
don't use impersonal triggers ("Hello", "Dear Sir"), and be aware 
that addresses like "hotmail.com" attachments from ".com" addresses 
are particularly suspect. If you are including an attachment from 
outside the College please provide a simple alerting message without 
attachment as well.



From pmaier at inf.ed.ac.uk  Tue Aug  1 17:04:30 2006
From: pmaier at inf.ed.ac.uk (Patrick Maier)
Date: Tue, 01 Aug 2006 16:04:30 +0100
Subject: subscribe
Message-ID: <44CF6D7E.6030800@inf.ed.ac.uk>



From pmaier at inf.ed.ac.uk  Tue Aug  1 17:42:03 2006
From: pmaier at inf.ed.ac.uk (Patrick Maier)
Date: Tue, 01 Aug 2006 16:42:03 +0100
Subject: Confirmation Request (3395597288)
In-Reply-To: <listadmin-15566060@tu-clausthal.de>
References: <listadmin-15566060@tu-clausthal.de>
Message-ID: <44CF764B.1020105@inf.ed.ac.uk>

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



From ahrendt at cs.chalmers.se  Tue Aug  1 17:47:22 2006
From: ahrendt at cs.chalmers.se (Wolfgang Ahrendt)
Date: Tue, 01 Aug 2006 17:47:22 +0200
Subject: subscribe
Message-ID: <44CF778A.10506@cs.chalmers.se>



From ahrendt at cs.chalmers.se  Tue Aug  1 20:17:24 2006
From: ahrendt at cs.chalmers.se (Wolfgang Ahrendt)
Date: Tue, 01 Aug 2006 20:17:24 +0200
Subject: Confirmation Request (3397229766)
In-Reply-To: <listadmin-15566357@tu-clausthal.de>
References: <listadmin-15566357@tu-clausthal.de>
Message-ID: <44CF9AB4.9040808@cs.chalmers.se>

event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <ahrendt at cs.chalmers.se> 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: 3397229766,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <ahrendt at cs.chalmers.se>.
> 
> 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 tu-clausthal.de>
> 




From riccardo.antonini at uniroma2.it  Tue Aug  1 22:57:58 2006
From: riccardo.antonini at uniroma2.it (Riccardo Antonini)
Date: Tue, 1 Aug 2006 22:57:58 +0200
Subject: Confirmation Request (3027768566)
References: <listadmin-15492063@tu-clausthal.de>
Message-ID: <005b01c6b5ad$2f1087e0$6501a8c0@bilancia>


Prof. Riccardo Antonini
www.romaricerche.it
Consorzio Roma Ricerche
c/o Polo Tecnologico Industriale  Romano
via di Salone 147 - 151
00131- Roma
tel. +39-06-35402416
mobile +39-348-5854065
fax +39-06-233214790
----- Original Message ----- 
From: "event administration" <event-subscribe at tu-clausthal.de>
To: "Riccardo Antonini" <riccardo.antonini at uniroma2.it>
Sent: Friday, July 28, 2006 11:30 AM
Subject: Confirmation Request (3027768566)


> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <riccardo.antonini at uniroma2.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: 3027768566,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <riccardo.antonini at uniroma2.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 tu-clausthal.de>
>
>
>




From ventas at riverstore.com.ar  Wed Aug  2 01:52:17 2006
From: ventas at riverstore.com.ar (ventas at riverstore.com.ar)
Date: Tue,  1 Aug 2006 16:52:17 -0700
Subject: subscribe
Message-ID: <20060801165217selman@www.hostz.com.ar>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060801/2e9ab31b/attachment.html>

From k.wang at griffith.edu.au  Wed Aug  2 05:07:03 2006
From: k.wang at griffith.edu.au (Kewen Wang)
Date: Wed, 2 Aug 2006 13:07:03 +1000
Subject: subscribe
Message-ID: <014f01c6b5e0$bd6f2f40$c256ea84@NAINT089756>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060802/5a6bd223/attachment.html>

From k.wang at griffith.edu.au  Wed Aug  2 06:11:19 2006
From: k.wang at griffith.edu.au (Kewen Wang)
Date: Wed, 2 Aug 2006 14:11:19 +1000
Subject: Confirmation Request (3437730058)
References: <listadmin-15574546@tu-clausthal.de>
Message-ID: <01a001c6b5e9$b5290690$c256ea84@NAINT089756>


----- Original Message ----- 
From: "event administration" <event-subscribe at tu-clausthal.de>
To: "Kewen Wang" <k.wang at griffith.edu.au>
Sent: Wednesday, August 02, 2006 1:22 PM
Subject: Confirmation Request (3437730058)


> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <k.wang at griffith.edu.au> 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: 3437730058,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <k.wang at griffith.edu.au>.
> 
> 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 tu-clausthal.de>


From behrens at in.tu-clausthal.de  Wed Aug  2 10:26:41 2006
From: behrens at in.tu-clausthal.de (Tristan Behrens)
Date: Wed, 2 Aug 2006 10:26:41 +0200
Subject: subscribe
Message-ID: <41AB4AB0-A9C2-45A4-AA97-E5CB54B5D09F@in.tu-clausthal.de>

Subscribe!


From behrens at in.tu-clausthal.de  Wed Aug  2 10:27:31 2006
From: behrens at in.tu-clausthal.de (Tristan Behrens)
Date: Wed, 2 Aug 2006 10:27:31 +0200
Subject: Confirmation Request (3455967323)
In-Reply-To: <listadmin-15578175@tu-clausthal.de>
References: <listadmin-15578175@tu-clausthal.de>
Message-ID: <DBCECA76-700B-4827-9BA1-6381A079232E@in.tu-clausthal.de>


Am 02.08.2006 um 10:26 schrieb event administration:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <behrens at in.tu-clausthal.de> 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: 3455967323,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <behrens at in.tu- 
> clausthal.de>.
>
> 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 tu-clausthal.de>
>



From noltemei at informatik.uni-wuerzburg.de  Wed Aug  2 10:47:35 2006
From: noltemei at informatik.uni-wuerzburg.de (Prof. Dr. H. Noltemeier)
Date: Wed, 02 Aug 2006 10:47:35 +0200
Subject: Subscribe me!
Message-ID: <44D066A7.CEB3C50@informatik.uni-wuerzburg.de>


-- 
Prof. Dr. Hartmut Noltemeier               Lehrstuhl fuer Informatik I
<noltemei at informatik.uni-wuerzburg.de>     Universitaet Wuerzburg
Tel. 0931 / 888-5054                       Am Hubland
            888-5055                       D-97074 Wuerzburg
Fax. 0931 / 888-4600
WWW: <http://www-info1.informatik.uni-wuerzburg.de/>


From lilia at macs.hw.ac.uk  Wed Aug  2 11:18:05 2006
From: lilia at macs.hw.ac.uk (Lilia Georgieva)
Date: Wed, 2 Aug 2006 10:18:05 +0100 (BST)
Subject: Subscribe
Message-ID: <Pine.LNX.4.61.0608021017570.15016@flamenco>



From lilia at macs.hw.ac.uk  Wed Aug  2 12:28:46 2006
From: lilia at macs.hw.ac.uk (Lilia Georgieva)
Date: Wed, 2 Aug 2006 11:28:46 +0100 (BST)
Subject: Confirmation Request (3462986005)
In-Reply-To: <listadmin-15582043@tu-clausthal.de>
References: <listadmin-15582043@tu-clausthal.de>
Message-ID: <Pine.LNX.4.61.0608021128420.2980@flamenco>

On Wed, 2 Aug 2006, event administration wrote:

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


From conitzer at cs.duke.edu  Wed Aug  2 19:15:02 2006
From: conitzer at cs.duke.edu (Vincent Conitzer)
Date: Wed, 2 Aug 2006 13:15:02 -0400
Subject: subscribe
Message-ID: <d8d29acb0608021015g7bf214a9t57c58ee32c3a83c9@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/20060802/80cc6215/attachment.html>

From lilia at macs.hw.ac.uk  Wed Aug  2 18:18:59 2006
From: lilia at macs.hw.ac.uk (Lilia Georgieva)
Date: Wed, 2 Aug 2006 17:18:59 +0100 (BST)
Subject: Welcome!
In-Reply-To: <listadmin-15582129@tu-clausthal.de>
References: <listadmin-15582129@tu-clausthal.de>
Message-ID: <Pine.LNX.4.61.0608021718430.20077@flamenco>

On Wed, 2 Aug 2006, event administration wrote:

> This is an automated message from the
>  <event at tu-clausthal.de> mailing list manager
>
> You are subscribed to "Event at CIG" <event at tu-clausthal.de>
>  as <lilia at macs.hw.ac.uk>
>
> To unsubscribe, send any message to: <event-off at tu-clausthal.de>
> To switch to the FEED mode,
>  send any message to <event-feed at tu-clausthal.de>
> To switch to the DIGEST mode,
>  send any message to <event-digest at tu-clausthal.de>
> To switch to the INDEX mode,
>  send any message to <event-index at tu-clausthal.de>
> Send administrative queries to <event-request at tu-clausthal.de>
>


From lilia at macs.hw.ac.uk  Wed Aug  2 19:32:17 2006
From: lilia at macs.hw.ac.uk (Lilia Georgieva)
Date: Wed, 2 Aug 2006 18:32:17 +0100 (BST)
Subject: Confirmation Request (3462986005)
In-Reply-To: <listadmin-15594504@tu-clausthal.de>
References: <listadmin-15594504@tu-clausthal.de>
Message-ID: <Pine.LNX.4.61.0608021832160.24017@flamenco>

On Wed, 2 Aug 2006, event administration wrote:

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


From conitzer at cs.duke.edu  Wed Aug  2 19:33:38 2006
From: conitzer at cs.duke.edu (Vincent Conitzer)
Date: Wed, 2 Aug 2006 13:33:38 -0400
Subject: Confirmation Request (3487779270)
In-Reply-To: <listadmin-15594341@tu-clausthal.de>
References: <listadmin-15594341@tu-clausthal.de>
Message-ID: <d8d29acb0608021033p7280f53dgb25ca72f42dcb40a@mail.gmail.com>

On 8/2/06, event administration <event-subscribe at tu-clausthal.de> wrote:
>
> This is an automated message from the
> <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
> for your <conitzer at cs.duke.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: 3487779270,
> the reply is directed to <event-subscribe at tu-clausthal.de>,
> and the 'From' address of your reply is <conitzer at cs.duke.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 tu-clausthal.de>
>
>


-- 
Vincent Conitzer
http://www.cs.duke.edu/dept_info/people/faculty/index.php?csid=0001612
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060802/6f217690/attachment.html>

From ellen at spawar.navy.mil  Wed Aug  2 23:04:16 2006
From: ellen at spawar.navy.mil (Jeffrey S. Ellen)
Date: Wed, 2 Aug 2006 14:04:16 -0700
Subject: subscribe
Message-ID: <007901c6b677$371033d0$b8853180@sandiegoillini>

 

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

From ellen at spawar.navy.mil  Wed Aug  2 23:10:11 2006
From: ellen at spawar.navy.mil (Jeffrey S. Ellen)
Date: Wed, 2 Aug 2006 14:10:11 -0700
Subject: Confirmation Request (3501575561)
In-Reply-To: <listadmin-15596690@tu-clausthal.de>
Message-ID: <008701c6b678$0a82c1b0$b8853180@sandiegoillini>



-----Original Message-----
From: event administration [mailto:event-subscribe at tu-clausthal.de] 
Sent: Wednesday, August 02, 2006 2:07 PM
To: Jeffrey S. Ellen
Subject: Confirmation Request (3501575561)

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

Somebody (probably you) have requested the subscribe operation
  for your <ellen at spawar.navy.mil> 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: 3501575561,
  the reply is directed to <event-subscribe at tu-clausthal.de>,
  and the 'From' address of your reply is <ellen at spawar.navy.mil>.

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 tu-clausthal.de>





From shilov at iis.nsk.su  Thu Aug  3 04:10:43 2006
From: shilov at iis.nsk.su (shilov at iis.nsk.su)
Date: Thu, 3 Aug 2006 09:10:43 +0700
Subject: subscribe
Message-ID: <28033043.20060803091043@iis.nsk.su>

Hello event-subscribe,

  

-- 
Best regards,
 shilov                          mailto:shilov at iis.nsk.su



From shilov at iis.nsk.su  Thu Aug  3 07:33:25 2006
From: shilov at iis.nsk.su (shilov at iis.nsk.su)
Date: Thu, 3 Aug 2006 12:33:25 +0700
Subject: Confirmation Request (3519295298)
In-Reply-To: <listadmin-15598646@tu-clausthal.de>
References: <listadmin-15598646@tu-clausthal.de>
Message-ID: <15810471617.20060803123325@iis.nsk.su>

Hello event,

Thursday, August 3, 2006, 9:02:10 AM, you wrote:

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

ea> Somebody (probably you) have requested the subscribe operation
ea>   for your <shilov at iis.nsk.su> address

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

ea> Check that the Subject of the reply message contains
ea>   the confirmation ID: 3519295298,
ea>   the reply is directed to <event-subscribe at tu-clausthal.de>,
ea>   and the 'From' address of your reply is <shilov at iis.nsk.su>.

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

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




-- 
Best regards,
 shilov                            mailto:shilov at iis.nsk.su



From cogan at sci.brooklyn.cuny.edu  Thu Aug  3 20:55:41 2006
From: cogan at sci.brooklyn.cuny.edu (Prof. Eva Cogan)
Date: Thu, 3 Aug 2006 14:55:41 -0400
Subject: Fw: thank you...
Message-ID: <01ce01c6b72e$6b0f20d0$2f01a8c0@D60GNC11>




.. for reopening the list. add me to the people who were sorry when you closed.
thanks 
eva cogan
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060803/79e1908a/attachment.html>

From wchainbi at lycos.com  Thu Aug  3 21:39:03 2006
From: wchainbi at lycos.com (wchainbi)
Date: Thu, 03 Aug 2006 15:39:03 -0400 (EDT)
Subject: subscribe
Message-ID: <20060803153903.HM.00000000000001y@wchainbi.bos-mail-wwl11.bos.lycos.com.lycos.com>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060803/8a646247/attachment.html>

From wchainbi at lycos.com  Fri Aug  4 09:12:56 2006
From: wchainbi at lycos.com (wchainbi)
Date: Fri, 04 Aug 2006 03:12:56 -0400 (EDT)
Subject: [RE]Confirmation Request (3583193901)
Message-ID: <20060804031256.HM.000000000000022@wchainbi.bos-mail-wwl11.bos.lycos.com.lycos.com>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060804/47672300/attachment.html>

From alessio at doc.ic.ac.uk  Fri Aug  4 17:21:56 2006
From: alessio at doc.ic.ac.uk (Alessio Lomuscio)
Date: Fri, 04 Aug 2006 16:21:56 +0100
Subject: subscribe
Message-ID: <44D36614.7050701@doc.ic.ac.uk>



From alessio at doc.ic.ac.uk  Fri Aug  4 17:47:49 2006
From: alessio at doc.ic.ac.uk (Alessio Lomuscio)
Date: Fri, 04 Aug 2006 16:47:49 +0100
Subject: Confirmation Request (3654814504)
In-Reply-To: <listadmin-15638830@tu-clausthal.de>
References: <listadmin-15638830@tu-clausthal.de>
Message-ID: <44D36C25.6050500@doc.ic.ac.uk>



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


From Francesco.Donini at dis.uniroma1.it  Fri Aug  4 18:29:39 2006
From: Francesco.Donini at dis.uniroma1.it (Francesco Donini)
Date: Fri,  4 Aug 2006 18:29:39 +0200 (CEST)
Subject: subscribe
Message-ID: <1154708979.6231@posta.dis.uniroma1.it>

subscribe

From riccardo.antonini at uniroma2.it  Sat Aug  5 14:25:47 2006
From: riccardo.antonini at uniroma2.it (Riccardo Antonini)
Date: Sat, 5 Aug 2006 14:25:47 +0200
Subject: Confirmation Request (3414676249)
References: <listadmin-15572252@tu-clausthal.de>
Message-ID: <004401c6b88a$4bf394d0$6501a8c0@bilancia>


Prof. Riccardo Antonini
www.romaricerche.it
Consorzio Roma Ricerche
c/o Polo Tecnologico Industriale  Romano
via di Salone 147 - 151
00131- Roma
tel. +39-06-35402416
mobile +39-348-5854065
fax +39-06-233214790
----- Original Message ----- 
From: "event administration" <event-subscribe at tu-clausthal.de>
To: "Riccardo Antonini" <riccardo.antonini at uniroma2.it>
Sent: Tuesday, August 01, 2006 10:58 PM
Subject: Confirmation Request (3414676249)


> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <riccardo.antonini at uniroma2.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: 3414676249,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <riccardo.antonini at uniroma2.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 tu-clausthal.de>
>
>
>




From birna at cs.uu.nl  Sun Aug  6 21:35:00 2006
From: birna at cs.uu.nl (birna at cs.uu.nl)
Date: Sun, 6 Aug 2006 21:35:00 +0200 (CEST)
Subject: subscribe
Message-ID: <32204.86.85.178.137.1154892900.squirrel@mail.cs.uu.nl>




From JEusterbrock at seamless-solutions.de  Sun Aug  6 22:42:09 2006
From: JEusterbrock at seamless-solutions.de (Jutta Eusterbrock)
Date: Sun, 06 Aug 2006 22:42:09 +0200
Subject: subscribe
Message-ID: <44D65421.3020109@seamless-solutions.de>




From cbader at alum.mit.edu  Sun Aug  6 22:56:26 2006
From: cbader at alum.mit.edu (Christopher Bader)
Date: Sun, 6 Aug 2006 16:56:26 -0400
Subject: subscribe
Message-ID: <000301c6b99a$c8c28050$6501a8c0@northamerica.corp.microsoft.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/20060806/5b1e2516/attachment.html>

From JEusterbrock at seamless-solutions.de  Sun Aug  6 23:06:06 2006
From: JEusterbrock at seamless-solutions.de (Jutta Eusterbrock)
Date: Sun, 06 Aug 2006 23:06:06 +0200
Subject: Confirmation Request (3846351038)
In-Reply-To: <listadmin-15668810@tu-clausthal.de>
References: <listadmin-15668810@tu-clausthal.de>
Message-ID: <44D659BE.2030707@seamless-solutions.de>

event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <JEusterbrock at seamless-solutions.de> 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: 3846351038,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <JEusterbrock at seamless-solutions.de>.
>
> 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 tu-clausthal.de>
>
>
>   



From rached at cyberia.net.lb  Sun Aug  6 10:20:27 2006
From: rached at cyberia.net.lb (Rached Zantout)
Date: Sun, 6 Aug 2006 11:20:27 +0300
Subject: subscribe
Message-ID: <20060807023112.9F622232D8C@sphinx.rz.tu-clausthal.de>




From Francesco.Donini at dis.uniroma1.it  Mon Aug  7 10:05:14 2006
From: Francesco.Donini at dis.uniroma1.it (Francesco Donini)
Date: Mon,  7 Aug 2006 10:05:14 +0200 (CEST)
Subject: Confirmation Request (3659096744)
In-Reply-To: <listadmin-15642132@tu-clausthal.de>
Message-ID: <1154937914.10027@posta.dis.uniroma1.it>

event administration wrote ..
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <Francesco.Donini at dis.uniroma1.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: 3659096744,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <Francesco.Donini at dis.uniroma1.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 tu-clausthal.de>

From rached at cyberia.net.lb  Mon Aug  7 11:01:47 2006
From: rached at cyberia.net.lb (Rached Zantout)
Date: Mon, 7 Aug 2006 12:01:47 +0300
Subject: Confirmation Request (3866639609)
In-Reply-To: <listadmin-15670388@tu-clausthal.de>
Message-ID: <20060807090159.494462809B7@selket.rz.tu-clausthal.de>

 

> -----Original Message-----
> From: event administration [mailto:event-subscribe at tu-clausthal.de] 
> Sent: Monday, August 07, 2006 5:31 AM
> To: Rached Zantout
> Subject: Confirmation Request (3866639609)
> 
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <rached at cyberia.net.lb> 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: 3866639609,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <rached at cyberia.net.lb>.
> 
> 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 tu-clausthal.de>
> 
> 



From R.Bordini at durham.ac.uk  Mon Aug  7 12:36:42 2006
From: R.Bordini at durham.ac.uk (Rafael H Bordini)
Date: Mon, 7 Aug 2006 11:36:42 +0100
Subject: preliminary announcement: Durham Agents'007
Message-ID: <17623.6074.431589.324000@cs-116.dur.ac.uk>



     *****************************************************************
                             Durham Agents'007
                          Preliminary Announcement

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


     Durham Agents'007 will be hosted by the Department of Computer
     Science and St. Chad's College, University of Durham, UK, from
     27th of August to 7th of September 2007. Durham Agents'007 is a
     combination of two events:

     EASSS'07   - 9th European Agent Systems Summer School
                  (27-31 August, 2007)
                  http://www.dur.ac.uk/durham.agents007/EASSS07/

     MALLOW'007 - Multi-Agent Logics, Languages, and Organisations --
                  Federated Workshops (3-7 September, 2007)
                  http://www.dur.ac.uk/durham.agents007/MALLOW007/

     The federated workshops are:

     * Languages and Development Tools for Multi-Agent Systems (LADS)
       Organisers: Mehdi Dastani, Joao Leite, Amal El Fallah
                   Seghrouchni, Paolo Torroni

     * Coordination, Organization, Institutions and Norms in
       Agent Systems (COIN)
       Organisers: Virginia Dignum, Julian Padget

     * Formal Approaches to Multi-Agent Systems (FAMAS)
       Organisers: Barbara Dunin-Keplicz, Rineke Verbrugge

     * Logics for Resource-Bounded Agents(LRBA)
       Organisers: Thomas Agotnes, Natasha Alechina, Brian Logan

     * Agents, Web-Services, and Ontologies -- Integrated
       Methodologies (AWESOME)
       Organisers: Matteo Baldoni, Cristina Baroglio, Viviana Mascardi

     We expect to have more detailed information available in
     October 2006, in particular for each of the MALLOW workshops.

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


From Bernhard.Heinemann at FernUni-Hagen.de  Mon Aug  7 11:30:12 2006
From: Bernhard.Heinemann at FernUni-Hagen.de (Bernhard Heinemann)
Date: Mon, 7 Aug 2006 11:30:12 +0200 (CEST)
Subject: subscribe
Message-ID: <20060807093443.A29532D2F9@newton.fernuni-hagen.de>



From Bernhard.Heinemann at FernUni-Hagen.de  Mon Aug  7 12:13:38 2006
From: Bernhard.Heinemann at FernUni-Hagen.de (Bernhard Heinemann)
Date: Mon, 7 Aug 2006 12:13:38 +0200 (CEST)
Subject: Confirmation Request (3894019203)
Message-ID: <20060807101809.D322E2D2FB@newton.fernuni-hagen.de>



From Laurent.Garcia at info.univ-angers.fr  Mon Aug  7 12:03:19 2006
From: Laurent.Garcia at info.univ-angers.fr (Laurent Garcia)
Date: Mon, 07 Aug 2006 12:03:19 +0200
Subject: subscribe
Message-ID: <44D70FE7.8020907@info.univ-angers.fr>




From Laurent.Garcia at info.univ-angers.fr  Mon Aug  7 13:32:04 2006
From: Laurent.Garcia at info.univ-angers.fr (Laurent Garcia)
Date: Mon, 07 Aug 2006 13:32:04 +0200
Subject: Confirmation Request (3895224400)
In-Reply-To: <listadmin-15678679@tu-clausthal.de>
References: <listadmin-15678679@tu-clausthal.de>
Message-ID: <44D724B4.80003@info.univ-angers.fr>

event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <Laurent.Garcia at info.univ-angers.fr> 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: 3895224400,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <Laurent.Garcia at info.univ-angers.fr>.
> 
> 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 tu-clausthal.de>


From conf at deweerdt.org  Mon Aug  7 16:01:50 2006
From: conf at deweerdt.org (Mathijs de Weerdt)
Date: Mon, 07 Aug 2006 16:01:50 +0200
Subject: subscribe
Message-ID: <44D747CE.80308@deweerdt.org>



From ines at sat.inesc-id.pt  Mon Aug  7 20:17:29 2006
From: ines at sat.inesc-id.pt (Ines Lynce)
Date: Mon, 07 Aug 2006 19:17:29 +0100
Subject: subscribe
Message-ID: <44D783B9.6040905@sat.inesc-id.pt>



From ventas at riverstore.com.ar  Tue Aug  8 01:40:27 2006
From: ventas at riverstore.com.ar (ventas at riverstore.com.ar)
Date: Mon,  7 Aug 2006 16:40:27 -0700
Subject: subscribe
Message-ID: <20060807164027selman@www.hostz.com.ar>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060807/9efb7adb/attachment.html>

From C.Witteveen at tudelft.nl  Tue Aug  8 10:36:51 2006
From: C.Witteveen at tudelft.nl (Cees Witteveen)
Date: Tue, 8 Aug 2006 10:36:51 +0200
Subject: subscribe
Message-ID: <392A7571-301F-4D77-8652-65B8F95FD81C@tudelft.nl>


_____________________________________________________________________

Please note the change in my email-address: C.Witteveen at tudelft.nl
_____________________________________________________________________

Cees Witteveen
Electrical Engineering, Mathematics
and Computer Science                         phone  : +31 15 278 2521
Delft University of Technology               fax    : +31 15 278 6632
P.O. Box 5031 NL-2600 GA Delft    http://www.st.ewi.tudelft.nl/ 
~witt/      
_____________________________________________________________________



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

From Maurice.Bruynooghe at cs.kuleuven.be  Tue Aug  8 13:10:51 2006
From: Maurice.Bruynooghe at cs.kuleuven.be (Maurice Bruynooghe)
Date: Tue, 8 Aug 2006 13:10:51 +0200
Subject: subscribe
Message-ID: <20060808111051.GD9796@cs.kuleuven.ac.be>

 
-- 

Maurice Bruynooghe

email: Maurice.Bruynooghe at cs.kuleuven.be
fax:   ++32 16 32 79 96
tel:   ++32 16 32 75 39 (my office)
       ++32 16 32 75 52 (secretary)
       ++32 16 32 77 00 (Department)
URL: http://www.cs.kuleuven.be/~maurice (my homepage)
     http://www.cs.kuleuven.be/~dtai (groups' homepage)

address:
K.U.LEUVEN
Dept. Computer Science
Celestijnenlaan 200A
B 3001 Heverlee
Belgium




From G.Brewka at t-online.de  Tue Aug  8 17:32:44 2006
From: G.Brewka at t-online.de (Gerhard Brewka)
Date: Tue, 8 Aug 2006 17:32:44 +0200
Subject: subscribe
Message-ID: <003201c6baff$e4ca5550$0100a8c0@DELL>

Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060808/4bd8d3db/attachment.html>

From ines at sat.inesc-id.pt  Tue Aug  8 19:21:13 2006
From: ines at sat.inesc-id.pt (Ines Lynce)
Date: Tue, 8 Aug 2006 18:21:13 +0100 (WEST)
Subject: Confirmation Request (3925034914)
In-Reply-To: <listadmin-15690412@tu-clausthal.de>
References: <listadmin-15690412@tu-clausthal.de>
Message-ID: <2866.85.210.251.115.1155057673.squirrel@sat.inesc-id.pt>

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <ines at sat.inesc-id.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: 3925034914,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <ines at sat.inesc-id.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 tu-clausthal.de>
>



From Maurice.Bruynooghe at cs.kuleuven.be  Wed Aug  9 09:53:43 2006
From: Maurice.Bruynooghe at cs.kuleuven.be (Maurice Bruynooghe)
Date: Wed, 9 Aug 2006 09:53:43 +0200
Subject: Confirmation Request (3984424754)
In-Reply-To: <listadmin-15701353@tu-clausthal.de>
References: <listadmin-15701353@tu-clausthal.de>
Message-ID: <20060809075343.GC27785@cs.kuleuven.ac.be>

On Tue, Aug 08, 2006 at 01:14:20PM +0200, event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <Maurice.Bruynooghe at cs.kuleuven.be> 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: 3984424754,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <Maurice.Bruynooghe at cs.kuleuven.be>.
> 
> 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 tu-clausthal.de>

-- 

Maurice Bruynooghe


From nicola.olivetti at univ-cezanne.fr  Wed Aug  9 13:53:38 2006
From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI)
Date: Wed, 9 Aug 2006 13:53:38 +0200 (CEST)
Subject: TABLEAUX 2007 Preliminary Announcement
Message-ID: <31218728.1155124418283.JavaMail.root@frontal2>

*************************************************************************
                       TABLEAUX 2007
                  Preliminary Announcement

	     http://tableaux2007.univ-cezanne.fr/
***********************************************************************
The conference TABLEAUX 2007, Automated Reasoning with Analytic Tableaux 
and Related Methods, will take place in Aix en Provence, France, 
3-6 July 2007. 

The conference will be hosted in the Centre Universitaire Aix Montperrin 
of the University Paul Cézanne (Aix-Marseille III).  

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

    * analytic tableaux for various logics (theory and applications)
    * related techniques and concepts, e.g., model checking and BDDs
    * related methods (model elimination, sequent calculi, connection 
      method, ...)
    * new calculi and methods for theorem proving in classical and 
      non-classical logics (modal, description, intuitionistic, linear, 
      temporal, ...)
    * systems, tools, implementations and applications

We expect to have more detailed information and to issue the first 
call for paper in September 2006.

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

Program Committee chair:
Nicola Olivetti

LSIS - UMR CNRS 6168
Université Paul Cézanne (Aix-Marseille 3)
email: nicola.olivetti at univ-cezanne.fr, nicola.olivetti at lsis.org
phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334
http://www.lsis.org/olivetti/

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


From dix at tu-clausthal.de  Wed Aug  9 14:18:28 2006
From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix)
Date: Wed, 09 Aug 2006 14:18:28 +0200
Subject: CFP
Message-ID: <44D9D294.5010007@tu-clausthal.de>

------------Toutes nos excuses pour les réceptions multiples--------
--------------------------------------------------------------------

                     AOSE meets ProMAS
                     =================

Edited by R.Bordini, M.Dastani, J.Dix, A.El Fallah Seghrouchni

       http://www.cs.uu.nl/ProMAS/ProMASSpecialIssue.htm


A special issue of IJAOSE will be dedicated to consolidating the
combined use of AOSE methodologies and agent programming languages
and platforms for agent-based software development. One typical
issue is that of how the usual abstractions used in agent-oriented
design (such as goals, plans, protocols, roles, norms, organisations)
are mapped into specific constructs in programming languages for
multi-agent systems. Of no less importance is the provision for
essential parts of the development process, such as debugging and
testing. Any major development which has been done in accordance to
well known AOSE methodologies as well as using programming languages
for multi-agent systems would also be of significant interest. We
welcome original, high quality papers not only on these topics but
more generally on the issues surrounding AOSE and ProMAS.

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

Submission: 31 August 2006
Notification: 31 November 2006
Final Version: January 15th
Expected publication: Spring 2007

For more details, see: http://www.cs.uu.nl/ProMAS/ProMASSpecialIssue.htm


-- 



From WiebevanderHoek at csc.liv.ac.uk  Thu Aug 10 11:51:12 2006
From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek)
Date: Thu, 10 Aug 2006 10:51:12 +0100 (BST)
Subject: 10th JELIA: Call for Participation
Message-ID: <Pine.LNX.4.64.0608101050120.23710@linux1.csc.liv.ac.uk>



 	CALL FOR PARTICIPATION TO THE 10th JELIA
 	European Conference on Logics in AI
 	Liverpool, 13 - 15 September, 2006

The registration for JELIA'06 is now open:

 	http://www.csc.liv.ac.uk/~jelia06

JELIA this year accepted 34 papers, 12 system demonstrations, and attracted 3 
well-known invited speakers:

* Saso Dzeroski (Ljubljana)
* Illka Niemela (Helsinki)
* Andrei Voronkov (Manchester)

On top of this, we have a grant scheme for students in place!

Registration is open until 14th of August, and the fee includes a copy of the 
proceedings, conference dinner, social excursion and lunches.

With kind regards,

Alexei Lisita (Local Chair)
Boris Konev (Tool Session Chair)
Michael Fisher (Program Chair)
Wiebe van der Hoek (General Chair)
---------------------------------------------------------------
Prof. Wiebe van der Hoek       http://www.csc.liv.ac.uk/~wiebe/
Department of Computer Science      tel (+44 151) 794 7480/3672
University of Liverpool             fax (+44 151)      794 3715
Liverpool L69 7ZF, United Kingdom           wiebe at csc.liv.ac.uk
_______________________________________________


From brewka at informatik.uni-leipzig.de  Thu Aug 10 09:31:26 2006
From: brewka at informatik.uni-leipzig.de (Gerhard Brewka)
Date: Thu, 10 Aug 2006 09:31:26 +0200 (CEST)
Subject: subscribe
Message-ID: <200608100731.k7A7VQ7G002732@isys4.informatik.uni-leipzig.de>



From brewka at informatik.uni-leipzig.de  Thu Aug 10 09:53:03 2006
From: brewka at informatik.uni-leipzig.de (Gerhard Brewka)
Date: Thu, 10 Aug 2006 09:53:03 +0200 (CEST)
Subject: Confirmation Request (4144863767)
Message-ID: <200608100753.k7A7r2Es002775@isys4.informatik.uni-leipzig.de>



From costanza at cst.dk  Thu Aug 10 12:06:53 2006
From: costanza at cst.dk (Costanza Navarretta)
Date: Thu, 10 Aug 2006 12:06:53 +0200
Subject: subscribe
Message-ID: <44DB053D.4000403@cst.dk>


-- 

Costanza Navarretta
Senior Researcher,
Centre for Language Technology - University of Copenhagen
Njalsgade 80, DK-2300 Copenhagen S

tel: +45 35329065 fax: +45 35329089



From costanza at cst.dk  Thu Aug 10 12:59:49 2006
From: costanza at cst.dk (Costanza Navarretta)
Date: Thu, 10 Aug 2006 12:59:49 +0200
Subject: Confirmation Request (4153551717)
In-Reply-To: <listadmin-15762405@tu-clausthal.de>
References: <listadmin-15762405@tu-clausthal.de>
Message-ID: <44DB11A5.60000@cst.dk>



Costanza Navarretta
Senior Researcher,
Centre for Language Technology - University of Copenhagen
Njalsgade 80, DK-2300 Copenhagen S

tel: +45 35329065 fax: +45 35329089



event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <costanza at cst.dk> 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: 4153551717,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <costanza at cst.dk>.
> 
> 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 tu-clausthal.de>


From brewka at informatik.uni-leipzig.de  Thu Aug 10 13:17:44 2006
From: brewka at informatik.uni-leipzig.de (Gerhard Brewka)
Date: Thu, 10 Aug 2006 13:17:44 +0200 (CEST)
Subject: Digest mode
Message-ID: <200608101117.k7ABHivQ002851@isys4.informatik.uni-leipzig.de>



From brewka at informatik.uni-leipzig.de  Thu Aug 10 13:45:39 2006
From: brewka at informatik.uni-leipzig.de (Gerhard Brewka)
Date: Thu, 10 Aug 2006 13:45:39 +0200 (CEST)
Subject: Confirmation Request (4144863767)
Message-ID: <200608101145.k7ABjcXI002885@isys4.informatik.uni-leipzig.de>


> X-Virus-Scanned: by amavisd-new at v3-ul
> From: "event administration" <event-digest at tu-clausthal.de>
> Subject: Confirmation Request (4144863767)
> To: "Gerhard Brewka" <brewka at informatik.uni-leipzig.de>
> Date: Thu, 10 Aug 2006 13:42:10 +0200
> List-ID: <event.tu-clausthal.de>
> X-ListServer: CommuniGate Pro LIST 5.1c.2
> MIME-Version: 1.0
> X-Virus-Scanned: by PureMessage V4.7 at tu-clausthal.de
> 
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe(digest) 
operation
>   for your <brewka at informatik.uni-leipzig.de> 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: 4144863767,
>   the reply is directed to <event-digest at tu-clausthal.de>,
>   and the 'From' address of your reply is 
<brewka at informatik.uni-leipzig.de>.
> 
> 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 tu-clausthal.de>
> 



From rpetrick at inf.ed.ac.uk  Thu Aug 10 17:05:30 2006
From: rpetrick at inf.ed.ac.uk (Ron Petrick)
Date: Thu, 10 Aug 2006 16:05:30 +0100 (BST)
Subject: subscribe
Message-ID: <Pine.LNX.4.64.0608101605030.2781@localhost.localdomain>



From rpetrick at inf.ed.ac.uk  Thu Aug 10 17:47:28 2006
From: rpetrick at inf.ed.ac.uk (Ron Petrick)
Date: Thu, 10 Aug 2006 16:47:28 +0100 (BST)
Subject: Confirmation Request (4173131428)
In-Reply-To: <listadmin-15771248@tu-clausthal.de>
References: <listadmin-15771248@tu-clausthal.de>
Message-ID: <Pine.LNX.4.64.0608101646520.2781@localhost.localdomain>



From dlottodlotto8 at virgilio.it  Fri Aug 11 12:07:39 2006
From: dlottodlotto8 at virgilio.it (dlottodlotto8 at virgilio.it)
Date: Fri, 11 Aug 2006 11:07:39 +0100 (GMT+01:00)
Subject: NEDERLAND DAYZERS:
Message-ID: <10cfcb3885f.dlottodlotto8@virgilio.it>

NEDERLAND DAYZERS: 
PALEISSTRAAT 5, 2514 JA,
THE HAGUE, THE 
NETHERLANDS.
Official Website: www.dayzers.nl

Dear Beneficiary,

We 
happily notify you of the draw of the Email Lottery Ballot - World 
Gaming Board Sweepstakes program held on the 7th of August, 2006. Your 
email address attached to our Lottery payment order, had the following 
particulars:(i) Ticket Nr. DZNL 492 - 714 - 027 / 2006; (ii) Lucky Nrs. 
09, 22, 36, 61, 63, 79, 84; (iii) Reference Nr. NUWL / DZNL / 48326MST;
(iv) Batch Nr.:DTOW 1396 62U7A; which consequently won you this lottery 
in the 1st category. You have therefore been approved to claim a total 
sum of One Million Euro only, in cash credited to your File Reference 
number as quoted above. This is from a total cash prize of Fifty 
Million Euro only, shared amongst the fifty winners in this category.

All participants were selected randomly from the internet through the 
computer draw system, extracted from over 140 countries that are 
listed, online. Microsoft Corporation, to encourage some individuals 
with websites and email addresses promoted this lottery which takes 
place at this time, of every three years.

The payment authority of 
your prize - One Million Euro only - already paid and insured in your 
name with our Paying bank will be issued to effect immediate/swift 
transfer in the mode you will prefer and nominate, upon satisfactory 
report on your identity verification and validation recommendation by 
our Claims Department.

We are proud to inform you that, over 200 
million Euro are won annually in more than 140 countries worldwide, as 
a result of our promotional programmes.

Due to the mixup of certain 
names, you are advised to keep your winning information confidential 
until your claim has been processed and your money paid to you. All 
winnings must be claimed not later than 30th of September, 2006. After 
this date, all unclaimed funds will be withdrawn.

To file for your 
claim, please contact our Claims Department: Tel. +31-623-868-256 ; 
email:dayzersclaimdept06 at excite.com; Contact person: Dr. JOHAN 
GALLAGHER for your identity verification, while quoting: (i). Your full 
name(s) and Nationality;(ii). Reference Number and (iii). Batch Number 
and (iv).Tel. Number 

Congratulations once more.

Faithfully yours,

Mrs. Maureen van Houdt,
Lottery Coordinator. 



From selim at cs.utexas.edu  Fri Aug 11 17:50:29 2006
From: selim at cs.utexas.edu (Selim T. Erdogan)
Date: Fri, 11 Aug 2006 10:50:29 -0500
Subject: subscribe
Message-ID: <20060811155029.GA22836@tarsus.cs.utexas.edu>



From selim at cs.utexas.edu  Fri Aug 11 18:07:45 2006
From: selim at cs.utexas.edu (Selim T. Erdogan)
Date: Fri, 11 Aug 2006 11:07:45 -0500
Subject: Confirmation Request (4260918272)
In-Reply-To: <listadmin-15795567@tu-clausthal.de>
References: <listadmin-15795567@tu-clausthal.de>
Message-ID: <20060811160745.GC22836@tarsus.cs.utexas.edu>

On Fri, Aug 11, 2006 at 06:02:33PM +0200, event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <selim at cs.utexas.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: 4260918272,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <selim at cs.utexas.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 tu-clausthal.de>


From gupta at utdallas.edu  Sat Aug 12 20:10:50 2006
From: gupta at utdallas.edu (Gopal Gupta)
Date: Sat, 12 Aug 2006 13:10:50 -0500 (CDT)
Subject: Confirmation Request (2886680147)
In-Reply-To: <listadmin-15454137@tu-clausthal.de>
References: <listadmin-15454137@tu-clausthal.de>
Message-ID: <Pine.GSO.4.58.0608121310420.21325@grant.utdallas.edu>



On Wed, 26 Jul 2006, event administration wrote:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <gupta at utdallas.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: 2886680147,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <gupta at utdallas.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 tu-clausthal.de>
>
>


From popper at nczisk.sk  Mon Aug 14 12:08:09 2006
From: popper at nczisk.sk (Popper)
Date: Mon, 14 Aug 2006 12:08:09 +0200
Subject: subscribe
Message-ID: <00b301c6bf89$8b69cf70$7801a8c0@XPPOPPER>

popper at nczisk.sk
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20060814/40c0c949/attachment.html>

From popper at nczisk.sk  Mon Aug 14 16:18:03 2006
From: popper at nczisk.sk (Popper)
Date: Mon, 14 Aug 2006 16:18:03 +0200
Subject: Confirmation Request (0205749069)
References: <listadmin-15824763@tu-clausthal.de>
Message-ID: <025001c6bfac$74c1dce0$7801a8c0@XPPOPPER>

This is to reconfirm my subscription. I am now for National Center for 
Health Information, however also as a part time employee with "uniba," from 
where your information has been forwarded to me.
Dr. Mikulas Popper

----- Original Message ----- 
From: "event administration" <event-subscribe at tu-clausthal.de>
To: "Popper" <popper at nczisk.sk>
Sent: Monday, August 14, 2006 12:39 PM
Subject: Confirmation Request (0205749069)


> This is an automated message from the
>  <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>  for your <popper at nczisk.sk> 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: 0205749069,
>  the reply is directed to <event-subscribe at tu-clausthal.de>,
>  and the 'From' address of your reply is <popper at nczisk.sk>.
>
> 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 tu-clausthal.de>
>
>
>
> __________ Informacia od NOD32 1.1705 (20060814) __________
>
> Tato sprava bola preverena antivirusovym systemom NOD32.
> http://www.eset.sk
>
> 



From Marieke.Huisman at sophia.inria.fr  Wed Aug 16 10:13:13 2006
From: Marieke.Huisman at sophia.inria.fr (Marieke Huisman)
Date: Wed, 16 Aug 2006 10:13:13 +0200
Subject: subscribe
Message-ID: <44E2D399.4060904@sophia.inria.fr>



From kruisebar at gmail.com  Wed Aug 16 11:38:11 2006
From: kruisebar at gmail.com (=?ISO-8859-1?Q?Ra=FAl_Cruz_Barbosa?=)
Date: Wed, 16 Aug 2006 11:38:11 +0200
Subject: subscribe
Message-ID: <9b3bb9970608160238o51822401qf3777e0d2f09880c@mail.gmail.com>

RAUL CRUZ-BARBOSA


From kruisebar at gmail.com  Wed Aug 16 11:41:19 2006
From: kruisebar at gmail.com (=?ISO-8859-1?Q?Ra=FAl_Cruz_Barbosa?=)
Date: Wed, 16 Aug 2006 11:41:19 +0200
Subject: Confirmation Request (0374989712)
In-Reply-To: <listadmin-15895089@tu-clausthal.de>
References: <listadmin-15895089@tu-clausthal.de>
Message-ID: <9b3bb9970608160241q51f349f5l926b98bf8d9283dd@mail.gmail.com>

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


From Marieke.Huisman at sophia.inria.fr  Wed Aug 16 11:53:26 2006
From: Marieke.Huisman at sophia.inria.fr (Marieke Huisman)
Date: Wed, 16 Aug 2006 11:53:26 +0200
Subject: Confirmation Request (0373411947)
In-Reply-To: <listadmin-15894314@tu-clausthal.de>
References: <listadmin-15894314@tu-clausthal.de>
Message-ID: <44E2EB16.40107@sophia.inria.fr>



From amigoni at elet.polimi.it  Wed Aug 16 15:06:23 2006
From: amigoni at elet.polimi.it (Francesco Amigoni)
Date: Wed, 16 Aug 2006 15:06:23 +0200
Subject: subscribe
Message-ID: <0a0c01c6c134$c7547920$9479af83@lapamigoni>




From amigoni at elet.polimi.it  Thu Aug 17 10:13:27 2006
From: amigoni at elet.polimi.it (Francesco Amigoni)
Date: Thu, 17 Aug 2006 10:13:27 +0200
Subject: Confirmation Request (0389160424)
In-Reply-To: <listadmin-15900158@tu-clausthal.de>
Message-ID: <000001c6c1d5$0aaa0ff0$9479af83@lapamigoni>



-----------------------------------------------------------------------
Francesco Amigoni, Ph.D.

Politecnico di Milano - Artificial Intelligence and Robotics Laboratory

Dipartimento di Elettronica e Informazione
Politecnico di Milano
Piazza Leonardo da Vinci, 32
I-20133 Milano (MI), Italy

Voice: +39 02 2399-3475
Fax: +39 02 2399-3411
Email: amigoni at elet.polimi.it
Web: http://www.elet.polimi.it/people/amigoni
----------------------------------------------------------------------- 

> -----Original Message-----
> From: event administration [mailto:event-subscribe at tu-clausthal.de] 
> Sent: Wednesday, August 16, 2006 3:36 PM
> To: Francesco Amigoni
> Subject: Confirmation Request (0389160424)
> 
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <amigoni at elet.polimi.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: 0389160424,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <amigoni at elet.polimi.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 tu-clausthal.de>
> 



From wjamroga at in.tu-clausthal.de  Thu Aug 17 17:14:11 2006
From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga)
Date: Thu, 17 Aug 2006 17:14:11 +0200
Subject: subscribe
Message-ID: <44E487C3.6000300@in.tu-clausthal.de>




From wjamroga at in.tu-clausthal.de  Thu Aug 17 17:14:50 2006
From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga)
Date: Thu, 17 Aug 2006 17:14:50 +0200
Subject: Confirmation Request (0480137687)
In-Reply-To: <listadmin-15924435@tu-clausthal.de>
References: <listadmin-15924435@tu-clausthal.de>
Message-ID: <44E487EA.8080500@in.tu-clausthal.de>



event administration wrote:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <wjamroga at in.tu-clausthal.de> 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: 0480137687,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <wjamroga at in.tu-clausthal.de>.
> 
> 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 tu-clausthal.de>
> 
> 


From nutt at inf.unibz.it  Sat Aug 19 12:12:32 2006
From: nutt at inf.unibz.it (Werner Nutt)
Date: Sat, 19 Aug 2006 12:12:32 +0200
Subject: subscribe
Message-ID: <EA8DF7C2-17D0-431C-9BD9-D4C227C1B6C8@inf.unibz.it>




From Yann.Secq at univ-lille1.fr  Sun Aug 20 13:33:39 2006
From: Yann.Secq at univ-lille1.fr (Yann Secq)
Date: Sun, 20 Aug 2006 13:33:39 +0200
Subject: subscribe
Message-ID: <44E84893.90900@univ-lille1.fr>


-- 
MCF Yann SECQ, {Yann.Secq|secq}@lifl.fr, http://www.lifl.fr/~secq
SMAC: Systemes Multi-Agents et Comportements, LIFL CNRS UMR 8022, USTL
LIFL: http://www.lifl.fr/SMAC & USTL: http://www.univ-lille1.fr



From Yann.Secq at univ-lille1.fr  Sun Aug 20 18:14:54 2006
From: Yann.Secq at univ-lille1.fr (Yann Secq)
Date: Sun, 20 Aug 2006 18:14:54 +0200
Subject: Confirmation Request (0727645241)
In-Reply-To: <listadmin-15970157@tu-clausthal.de>
References: <listadmin-15970157@tu-clausthal.de>
Message-ID: <44E88A7E.2020906@univ-lille1.fr>

event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <Yann.Secq at univ-lille1.fr> 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: 0727645241,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <Yann.Secq at univ-lille1.fr>.
> 
> 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 tu-clausthal.de>


-- 
MCF Yann SECQ, {Yann.Secq|secq}@lifl.fr, http://www.lifl.fr/~secq
SMAC: Systemes Multi-Agents et Comportements, LIFL CNRS UMR 8022, USTL
LIFL: http://www.lifl.fr/SMAC & USTL: http://www.univ-lille1.fr



From rsm at ucl.ac.uk  Thu Aug 17 17:21:31 2006
From: rsm at ucl.ac.uk (Rob Miller)
Date: Thu, 17 Aug 2006 16:21:31 +0100
Subject: COMMONSENSE'07 - CALL FOR PAPERS
Message-ID: <766F1317-60BA-49BE-AC9A-F357C99627A1@ucl.ac.uk>

COMMONSENSE'07 - CALL FOR PAPERS

Important dates:
   - Paper or extended abstract submission deadline: October 6, 2006
   - Notification of acceptance: November 3, 2006
   - Camera ready papers due: January 26, 2007
   - Symposium: March 26-28, 2007

We invite submissions for presentation at Commonsense'07, the 8th  
International Symposium on Logical Formalizations of Commonsense  
Reasoning, to be held as part of the AAAI Spring Symposium Series,  
March 26-28 2007, at Stanford University, California, USA.

One of the major long-term goals of AI is to endow computers with  
common sense, and one approach to this goal is to formalize  
commonsense reasoning using mathematical logic. This is the focus of  
this symposium. The challenges to creating such a formalization  
include the accumulation of large amounts of knowledge about our  
everday world, the representation of this knowledge in suitable  
formal languages, the integration of different representations in a  
coherent way, and the development of explicit reasoning methods that  
use these representations. Specific topics of interest include:

- change, action, and causality
- ontologies, including space, time, shape, and matter
- levels of granularity of ontology and reasoning
- large commonsense knowledge bases
- axiomatizations of benchmark commonsense problems
- exploration of new commmonsense domains in a preformal way
- nonmonotonic reasoning
- formal models of probabilistic reasoning
- formal theories of context
- mental attitudes
- belief change, update, and revision
- cognitive robotics
- reasoning about multi-agent systems
- aspects of commonsense reasoning applicable to the Semantic Web
- applications of formal representations to applications
- other mathematical tools for capturing commonsense reasoning

The focus of the symposium is on formal representation rather than on  
algorithms. While mathematical logic is expected to be the primary  
lingua franca of the symposium, we also welcome papers using a  
rigorous but non-logic-based representation of commonsense domains.  
Technical papers offering new results in the area are especially  
welcome; object-level theories as opposed to meta-level results are  
preferred. However, survey papers, papers studying the relationship  
between different approaches, and papers on methodological issues  
such as theory evaluation, are also encouraged.

We are pleased to be able to hold this symposium as a special event  
in honor of John McCarthy's 80th year. John McCarthy is, of course,  
the father of formal commonsense reasoning, and submissions which  
celebrate his immense contribution to the field are especially welcome.

Papers or extended abstracts of no more than 6 pages should be  
submitted as email attachments to commonsense07 at ucl.ac.uk (PDF  
format) by October 6, 2006. All submissions will be reviewed by the  
program committee as listed on the Commonsense'07 web site (URL  
below). The symposium will be co-chaired by

- Eyal Amir, University of Illinois
- Vladimir Lifschitz, University of Texas at Austin
- Rob Miller, University College London

For all enquiries please email the symposium co-chairs at  
commonsense07 at ucl.ac.uk. For a more detailed call for papers and  
further information see the symposium web site at www.ucl.ac.uk/ 
commonsense07.


From pn at info.univ-angers.fr  Mon Aug 21 10:57:25 2006
From: pn at info.univ-angers.fr (Pascal Nicolas)
Date: Mon, 21 Aug 2006 10:57:25 +0200 (MEST)
Subject: subscribe
Message-ID: <Pine.SOC.4.64.0608211057160.14105@helios.info-ua>





From C.Orasan at wlv.ac.uk  Mon Aug 21 12:44:53 2006
From: C.Orasan at wlv.ac.uk (Constantin Orasan)
Date: Mon, 21 Aug 2006 11:44:53 +0100
Subject: subscribe
Message-ID: <1156157093.21089.0.camel@localhost.localdomain>





From pn at info.univ-angers.fr  Mon Aug 21 14:34:24 2006
From: pn at info.univ-angers.fr (Pascal Nicolas)
Date: Mon, 21 Aug 2006 14:34:24 +0200 (MEST)
Subject: Confirmation Request (0806262479)
In-Reply-To: <listadmin-15981385@tu-clausthal.de>
References: <listadmin-15981385@tu-clausthal.de>
Message-ID: <Pine.SOC.4.64.0608211434200.15128@helios.info-ua>




On Mon, 21 Aug 2006, event administration wrote:

> This is an automated message from the
>  <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>  for your <pn at info.univ-angers.fr> 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: 0806262479,
>  the reply is directed to <event-subscribe at tu-clausthal.de>,
>  and the 'From' address of your reply is <pn at info.univ-angers.fr>.
>
> 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 tu-clausthal.de>
>


From C.Orasan at wlv.ac.uk  Mon Aug 21 15:48:15 2006
From: C.Orasan at wlv.ac.uk (Constantin Orasan)
Date: Mon, 21 Aug 2006 14:48:15 +0100
Subject: Confirmation Request (0811576274)
In-Reply-To: <listadmin-15984056@tu-clausthal.de>
References: <listadmin-15984056@tu-clausthal.de>
Message-ID: <1156168095.21089.2.camel@localhost.localdomain>

On Mon, 2006-08-21 at 12:56 +0200, event administration wrote:
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <C.Orasan at wlv.ac.uk> address
> 
> If you want to confirm this operation,
>   use the Reply command in your mailer.
> 
> Check that the Subject of the reply message contains
>   the confirmation ID: 0811576274,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <C.Orasan at wlv.ac.uk>.
> 
> If you do not want to confirm the requested operation, simply do nothing
> 
> All requests about this mailing list
>   should be sent to <event-request at tu-clausthal.de>
> 



From alfredo at cse.unsw.edu.au  Mon Aug 21 23:33:52 2006
From: alfredo at cse.unsw.edu.au (Alfredo Gabaldon)
Date: Mon, 21 Aug 2006 23:33:52 +0200
Subject: subscribe
Message-ID: <CF134893-C30D-47A6-9489-5CDC696296DB@cse.unsw.edu.au>




From alfredo at cse.unsw.edu.au  Mon Aug 21 23:42:48 2006
From: alfredo at cse.unsw.edu.au (Alfredo Gabaldon)
Date: Mon, 21 Aug 2006 23:42:48 +0200
Subject: Confirmation Request (0850124638)
In-Reply-To: <listadmin-15995422@tu-clausthal.de>
References: <listadmin-15995422@tu-clausthal.de>
Message-ID: <08F9450F-1849-49F1-AF8A-6A18F7FE43A9@cse.unsw.edu.au>


On 21/08/2006, at 11:38 PM, event administration wrote:

> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
>
> Somebody (probably you) have requested the subscribe operation
>   for your <alfredo at cse.unsw.edu.au> 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: 0850124638,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <alfredo at cse.unsw.edu.au>.
>
> 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 tu-clausthal.de>
>



From Jean.Christophe.Janodet at univ-st-etienne.fr  Wed Aug 23 15:29:15 2006
From: Jean.Christophe.Janodet at univ-st-etienne.fr (Jean-Christophe Janodet)
Date: Wed, 23 Aug 2006 15:29:15 +0200
Subject: subscribe
Message-ID: <44EC582B.9060201@univ-st-etienne.fr>




From Jean.Christophe.Janodet at univ-st-etienne.fr  Wed Aug 23 16:24:56 2006
From: Jean.Christophe.Janodet at univ-st-etienne.fr (Jean-Christophe Janodet)
Date: Wed, 23 Aug 2006 16:24:56 +0200
Subject: Confirmation Request (0994908284)
In-Reply-To: <listadmin-16037468@tu-clausthal.de>
References: <listadmin-16037468@tu-clausthal.de>
Message-ID: <44EC6538.7070209@univ-st-etienne.fr>

event administration a écrit :
> This is an automated message from the
>   <event at tu-clausthal.de> mailing list manager
> 
> Somebody (probably you) have requested the subscribe operation
>   for your <Jean.Christophe.Janodet at univ-st-etienne.fr> 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: 0994908284,
>   the reply is directed to <event-subscribe at tu-clausthal.de>,
>   and the 'From' address of your reply is <Jean.Christophe.Janodet at univ-st-etienne.fr>.
> 
> 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 tu-clausthal.de>
> 
> 


-- 
Jean-Christophe Janodet - EURISE - Lab Hubert Curien - Dept d'Info
UMR CNRS-UJM 5516 - Bat F, 18 r Pr Benoît Lauras - 42000 St-Etienne
http://eurise.univ-st-etienne.fr/~janodet/
tel: 33 4 77 91 57 99 - fax: 33 4 77 91 57 81



From C.Orasan at wlv.ac.uk  Thu Aug 24 18:24:27 2006
From: C.Orasan at wlv.ac.uk (Constantin Orasan)
Date: Thu, 24 Aug 2006 17:24:27 +0100
Subject: Postdoctoral Research Fellow/Senior Research Fellow in Question
	Answering
Message-ID: <1156436667.10187.38.camel@localhost.localdomain>

               [apologies for cross posting]

------------------------------------------------------------------
Postdoctoral Research Fellow/Senior Research Fellow in Question
Answering

Salary £19,430 - £25,184* pa or £29,211 - £37,521* pa (level of
appointment dependent on qualifications and experience)
-------------------------------------------------------------------

As postdoctoral research fellow/senior research fellow you will work on
a EU funded project to develop a system for Question Answering Learning
technologies in a multiLingual and Multimodal Environment (QALL-ME),
focusing on implementation of various components, as well as evaluation
of the system. The initial contract is for three years with the
possibility of extension, subject to successful completion of this
project. You should have a degree in computer science, whilst a PhD in
computational linguistics or equivalent experience is a plus. Experience
in Natural Language Processing (NLP) techniques and programming are
required, as well as familiarity with Question Answering and Information
Extraction. Publications in good journals, experience with grant
application and working with the industry, native or near native English
speaker are a plus. For appointment at Senior Research Fellow level you
will need to demonstrate a very good publications record, grant
applications experience, and potential leadership qualities.

Applications closing date: 18 September 2006
Start date: Beginning of October 2006
Ref: A4568

Applications should include a completed application form, CV, and
covering letter in which the candidates explain why they have applied
for the position and give details of their research interests/experience
and background. Candidates should also give the names of three referees
with their email addresses and telephone numbers. The interviews are
scheduled to take place in the second half of September, and the
starting date is as soon as possible after the interviews.

For informal inquiries, please contact Mr. Constantin Orasan
(C.Orasan at wlv.ac.uk) or Prof. Ruslan Mitkov (R.Mitkov at wlv.ac.uk). 

For an application form, please download it from
http://clg.wlv.ac.uk/projects/CAID/app_form_jobs.pdf

More information on this forthcoming project can also be obtained at
http://clg.wlv.ac.uk/projects/QALL-ME

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

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
abstracting, 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.

 
-- 
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 kaci at cril.univ-artois.fr  Fri Aug 25 14:56:20 2006
From: kaci at cril.univ-artois.fr (Souhila KACI)
Date: Fri, 25 Aug 2006 14:56:20 +0200
Subject: subscribe
Message-ID: <44EEF374.5010802@cril.univ-artois.fr>




From pierregrenon at gmail.com  Sun Aug 27 14:25:50 2006
From: pierregrenon at gmail.com (Pierre Grenon)
Date: Sun, 27 Aug 2006 14:25:50 +0200
Subject: subscribe
Message-ID: <c1a7d8fd0608270525k3b3325e7ya05ce76798fdf43a@mail.gmail.com>




From pierregrenon at gmail.com  Sun Aug 27 15:09:15 2006
From: pierregrenon at gmail.com (Pierre Grenon)
Date: Sun, 27 Aug 2006 15:09:15 +0200
Subject: Confirmation Request (1335734761)
In-Reply-To: <listadmin-16107434@tu-clausthal.de>
References: <listadmin-16107434@tu-clausthal.de>
Message-ID: <c1a7d8fd0608270609y34f4e9e6occc9fca8dabf31f5@mail.gmail.com>

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


From jarek at cs.yorku.ca  Thu Aug 24 20:58:12 2006
From: jarek at cs.yorku.ca (jarek at cs.yorku.ca)
Date: Thu, 24 Aug 2006 14:58:12 -0400
Subject: Kein Betreff
Message-ID: <1156445892.44edf6c4e193a@mail.cse.yorku.ca>

subscribe




----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.


From pokorny at xsb.com  Mon Aug 28 15:24:37 2006
From: pokorny at xsb.com (Robert Pokorny)
Date: Mon, 28 Aug 2006 09:24:37 -0400
Subject: subscribe
Message-ID: <00d701c6caa5$4f87c3f0$8801190a@xsbinternal.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/20060828/fbe65c02/attachment.html>

From pokorny at xsb.com  Mon Aug 28 16:22:56 2006
From: pokorny at xsb.com (Robert Pokorny)
Date: Mon, 28 Aug 2006 10:22:56 -0400
Subject: Confirmation Request (1427069541)
In-Reply-To: <listadmin-16164825@tu-clausthal.de>
Message-ID: <00ec01c6caad$755deac0$8801190a@xsbinternal.com>



-----Original Message-----
From: event administration [mailto:event-subscribe at tu-clausthal.de] 
Sent: Monday, August 28, 2006 9:55 AM
To: Robert Pokorny
Subject: Confirmation Request (1427069541)

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

Somebody (probably you) have requested the subscribe operation
  for your <pokorny at xsb.com> address

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

Check that the Subject of the reply message contains
  the confirmation ID: 1427069541,
  the reply is directed to <event-subscribe at tu-clausthal.de>,
  and the 'From' address of your reply is <pokorny at xsb.com>.

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

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





From lavinia at mfn.unipmn.it  Tue Aug 29 12:13:20 2006
From: lavinia at mfn.unipmn.it (Lavinia Egidi)
Date: Tue, 29 Aug 2006 12:13:20 +0200
Subject: FINAL CFP CLAT 2007
Message-ID: <F60605E6-D863-4583-B39A-4C56860CE191@mfn.unipmn.it>

*************our apologies for multiple copies*****************

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

                    	   FINAL CALL FOR PAPERS

                           	  CLAT 2007
Computer-aided Law and Advanced Technologies track
of ACM Symposium on Applied Computing, SAC 2007
			http://www.clat.unibo.it
			http://www.mfn.unipmn.it/~lavinia/clat2007

                        Seoul, Korea, March 11-15, 2007
===============================================

The 3rd Computer-aided Law and Advanced Technologies forum (CLAT  
2007) will be held as part of the 22nd ACM Symposium on Applied  
Computing (SAC 2007), March 11-15, 2007, Seoul, Korea (http:// 
www.acm.org/conferences/sac/sac2007/).

SAC 2007
For the past twenty years, the ACM Symposium on Applied Computing  
(SAC) has been an essential forum for applied computer scientists,  
computer engineers, software engineers, and application developers  
from around the world.  SAC 2007 is sponsored by the ACM Special  
Interest Group on Applied Computing, and hosted by the Seoul National  
University in Seoul, and Suwon University in Gyeonggi-do.

CLAT 2007
Advances in computer applications and the social cyberspaces created  
by computing networks highlight the need for a revised  legal  
framework to deal with emerging issues. Similarly, the legal domain  
can benefit from such technical advances.
On the other hand, dematerialization of documents and documental  
flows call for appropriate technical tools that allow to design  
paradigms meeting the relevant legal requirements.
A combined effort of the computer science and law communities would  
have benefical consequences in areas such as e-Business, e- 
Government, e-Commerce,...
A track that focuses on the intersection of law and technology  
represents a broad and diverse forum for the discussion of research  
in computer-aided law and can provide synergies when aligned with  
other areas of SAC.

Of particular interest is the identification of a new technology- 
aided paradigm, one which assures security and trust among its  
practitioners.  This would entail the management of communications
and electronic relationships, both private and public.
Topics to be addressed will cover the use of computer technologies  
within public administration (e-Government) and the private sector (e- 
Commerce), among several other key areas.

Topics of interest include, but are not limited to:

1) TECHNOLOGICAL SUPPORT FOR:
Agent-treatable legal issues
Civil liability
Codes of conduct
Contracts
Copyright protection
Counter-terrorism initiatives
Criminal liability
e-Business
e-Governance
e-Government
Electronic court proceedings
Electronic evidence
Intellectual property
Legal publicity
On-line dispute resolution
Privacy
Protection of consumer rights
Torts
Trust and reputation

2) LEGAL ASPECTS OF:
Agent-based paradigms
Artificial intelligence
Cybercrime
Databases
Dematerialization of documental flows
Digital signatures
Electronic documents
Electronic mail
Network security
Online creative industries
Privacy-preserving data-mining
Public key infrastructures
Security mechanisms (encryption, authentication, access control, etc.)
Simulation
Software protection
Traffic monitoring and logging
Trust and reputation models
Virtual communities
Watermarking and fingerprinting techniques

PROGRAMME
The workshop will include paper presentations and panel sessions over  
the course of one day. The
programme will be available at the conference site and at the track  
sites.

TRACK CHAIRS
Lavinia Egidi
University of Piemonte Orientale, Italy
Computer Science Department
lavinia.egidi at mfn.unipmn.it

Giovanni Sartor
European University Institute of Florence, Italy
Department of Law
Giovanni.Sartor at IUE.it

Alessandra Villecco
University of Bologna, Italy
Department of Law - CICU
alessandra.villecco at unibo.it

PROGRAM COMMITTEE
Kevin Ashley, University of Pittsburgh, USA
Francesco Bergadano, University of Turin, Italy
Davide Cavagnino, University of Turin, Italy
Junesun Choi, Sungkyunkwan University, Korea
Enrico Denti, University of Bologna, Italy
Maria Fasli, University of Essex, UK
Sang-Jo Jong, Seoul National University, Korea
Khalid Al-Kofahi, Thomson Legal & Regulatory, USA
Minsoo Lee, Ewha Womans University, Korea
Mario Losano, University of Piemonte Orientale, Italy
Rosa Meo, University of Turin, Italy
Tope Omitola, University of Cambridge, UK
Marinella Petrocchi, IIT, CNR, Italy
Henry Prakken, Universiteit Utrecht, Netherlands
Lorenza Saitta, University of Piemonte Orientale, Italy
Marek Sergot, Imperial College of London, UK
Emily Weitzenböck, University of Oslo, Norway
Stefano Zunarelli, University of Bologna, Italy

SUBMISSION GUIDELINES
We encourage submissions of  papers describing original research not  
previously published. According to the conference policy, papers  
cannot be submitted to multiple tracks of SAC 2007. Each paper will  
be reviewed by at least three referees, both with legal and technical  
competences. The review process will be blind.
The length of submitted papers should not exceed 8 pages in ACM  
format (approximately 8000 words). However, notice that accepted  
papers exceeding 5 pages (approximately 5000 words) will be charged a  
fee for each extra page.
Submissions will be managed electronically.
Papers should be submitted at http://sac.cs.iupui.edu/SAC2007/ 
SubmitAbstract.aspx?TrackID=83.
(For any technical problems with the submission system, please  
contact jallen at cs.iupui.edu.)
For further submission guidelines, please see the track sites: http:// 
www.clat.unibo.it and http://www.mfn.unipmn.it/~lavinia/clat2007 .

PUBLICATIONS
The accepted papers will be published in their entirety in the ACM  
SAC 2007 proceedings.

REGISTRATION
Detailed information on registration conditions and fees will be  
available at SAC 2007 web-site,
http://www.acm.org/conferences/sac/sac2007.

============================
IMPORTANT DATES
Sept. 8, 2006: Paper submissions
Oct. 16, 2006: Author notification
Oct 30, 2006: Camera-Ready Copy
============================

CONTACTS
Alessandra Villecco
University of Bologna -
Department of Law - CICU
Via Zamboni, 27/29
40196 Bologna BO
Italy
alessandra.villecco at unibo.it
Phone: +39 051 2099654
Fax: +39 051 2099624

Lavinia Egidi
Universita' del Piemonte Orientale
Dipartimento di Informatica
Via Bellini, 25/G
15100 Alessandria AL
Italy
lavinia.egidi at mfn.unipmn.it
Phone: +39 0131 360187
Fax: +39 0131 360198



OTHER SAC 2007 TECHNICAL TRACKS

A.I., Computational Logic, Image Analysis
Advances in Spatial and Image-based Information Systems
Agents, Interactions, Mobility, and Systems
Autonomic Computing
Bioinformatics
Computer Applications in Health Care
Computer Ethics and Human Values
Computer Forensics
Computer Networks
Computer Security
Constraint Solving and Programming
Coordination Models, Languages and Architectures
Data Mining
Data Streams
Database Theory, Technology, and Applications
Dependable and Adaptive Distributed Systems
Document Engineering
E-Commerce Technologies
Embedded Systems: Applications, Solutions, and Techniques
Evolutionary Computation
Geoinformatics and Technology
Geometric Computing and Reasoning
Handheld Computing
Information Access and Retrieval
Mobile Computing and Applications
Model Transformation
Multimedia and Visualization
Object Oriented Programming Languages and Systems
Operating Systems and Adaptive Applications
Organizational Engineering
Programming for Separation of Concerns
Programming Languages
Reliable Computations and their Applications
Semantic Web and Application
Semantic-Based Resource Discovery, Retrieval and Composition
Software Engineering
Software Verification
System On Chip Design and Software Supports
Trust, Recommendations, Evidence, and other Collaborative Know-how
Ubiquitous Computing
Web Technologies






From aricci at deis.unibo.it  Tue Aug  1 11:15:18 2006
From: aricci at deis.unibo.it (Alessandro Ricci)
Date: Tue, 01 Aug 2006 11:15:18 +0200
Subject: [CFP] ACM SAC Track on Coordination Models, Languages and Architectures - Call for Paper
Message-ID: <redirect-15556434@tu-clausthal.de>

[Apologies if you receive multiple copies]

CfP: ACM SAC Special Track on Coordination Models, Languages and  
Architectures

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

        Coordination Models, Languages and Architectures
	
    Special Track of the 22nd ACM Symposium on Applied Computing  
(SAC’07)
        March 11 – 15, 2007, Seoul, Korea SAC 2007


           http://conf.deis-ce.unibo.it/sac/sac2007

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

IMPORTANT DATES

* Submission deadline: 8 September 2006
* Author notification: 16 October 2006
* Camera ready: 30 October 2006

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

AIMS & SCOPE

Building on the success of the eight previous editions (1998-2006), a  
special track on coordination models, languages and applications will  
be held at SAC 2007. Over the last decade, we have witnessed the  
emergence of models, formalisms and mechanisms to describe concurrent  
and distributed computations and systems based on the concept of  
coordination.  The purpose of a coordination model is to enable the  
integration of a number of, possibly heterogeneous, components  
(processes, objects, agents) in such a way that the resulting  
ensemble can execute as a whole, forming a software system with  
desired characteristics and functionalities which possibly takes  
advantage of parallel and distributed systems. The coordination  
paradigm is closely related to other contemporary software  
engineering approaches such as multi-agent systems, service-oriented  
architectures, component-based systems and related middleware  
platforms. Furthermore, the concept of coordination exists in many  
other Computer Science areas such as Cooperative Information Systems,  
Distributed Artificial Intelligence, and Internet Technologies.

On the one side, after more than a decade of research developments in  
academic contexts, coordination technology is getting more and more  
attention in industrial contexts, as a key element for engineering  
complex distributed systems. Accordingly, one of the themes of 2007  
edition will be concerned on “Coordination Models, Languages and  
Technologies a decade later: impact on real-world industrial  
applications and systems”.

On the other side, coordination paradigm is getting more and more a  
momentum in state-of-the-art engineering paradigm such as multi-agent  
systems and service-oriented architectures: in the first case,  
coordination abstractions or artifacts are more and more perceived as  
essential to design and support the working activities of agent  
societies; in the latter case, service coordination, orchestration,  
choreography are going to be essential aspects of next generations of  
WS-based systems.

Accordingly, major topics of interest will include this year the  
following ones:

- Novel models, languages, programming and implementation techniques
- Applications of coordination technologies
- Industry point of view: experiences, applications, open issues
- Internet-and Web-based coordinated systems
- Coordination of multi-agent systems, including mobile and  
intelligent agents
- Coordination in Service-oriented architectures and Web Services
- Languages for service description and composition
- Models, frameworks and tools for Group Decision Making
- Modern Workflow Management Systems and Case-Handling
- Coordination in Computer Supported Cooperative Work
- Software architectures and software engineering techniques
- Configuration and Architecture Description Languages
- Coordination Middleware and Infrastructures
- Coordination in GRID systems
- Emergent Coordination: Swam based, Stigmergy
- Coordination technologies, systems and infrastructures
- Relationship with other computational models such as object  
oriented, declarative (functional, logic, constraint), programming or  
their extensions with coordination capabilities
- Formal aspects (semantics, reasoning, verification)
-----------------------------------------------------------------------

PROCEEDINGS AND POST-PROCEEDINGS

Papers accepted for the Special Track on Coordination Models,  
Languages and Applications will be published by ACM both in the SAC  
2007 proceedings and in the Digital Library.

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

PAPER SUBMISSION

Original papers from the above-mentioned or other related areas will  
be considered.This includes three categories of submissions: 1)  
original and unpublished research; 2) reports of innovative computing  
applications in the arts, sciences, engineering, business,  
government, education and industry; and 3) reports of successful  
technology transfer to new problem domains. Each submitted paper will  
be fully refereed and undergo a blind review process by at least  
three referees. The accepted papers in all categories will be  
published in the ACM SAC 2007 proceedings.
Format Submit your paper electronically in either PDF or postscript  
format. Please note: neither hardcopy nor fax submissions will be  
accepted. Submissions should be printable on a standard printer on  
common paper formats like letter and DIN A4. Please use a Postscript  
previewer such as Ghostview to check the portability of Postscript  
documents. The author(s) name(s) and address(es) must not appear in  
the body of the paper, and self reference should be in the third  
person. This is to facilitate blind review. The body of the paper  
should not exceed 4,000 words.

Accepted full papers should not exceed 5 pages in a double column  
format (with the option, at additional expense, to add three more  
pages). Accepted poster papers will be published as extended 2-page  
abstracts in the symposium proceedings. All submissions must be  
received by 8 September 2006
SUBMISSION PROCEDURE

Submission is entirely automated by an eCMS paper management tool,   
available at
the main SAC Web Site: http://www.acm.org/conferences/sac/sac2007/.  
Authors must first register their own account by obtaining a  
password, and then follow the instructions.

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

PROGRAM CHAIRMEN

Bernhard Angerer, GigaSpaces.com
mailto: bernard at gigaspaces.com
http://www.gigaspaces.com

Alessandro Ricci, DEIS, Università di Bologna, Cesena, Italy
mailto: aricci at deis.unibo.it
http://lia.deis.unibo.it/~ari

Michael Ignaz Schumacher, EPFL IC IIF LIA, Lausanne, Switzerland
mailto: michael.schumacher at epfl.ch
http://liawww.epfl.ch/People/schumach/
-----------------------------------------------------------------------



From svb at doc.ic.ac.uk  Tue Aug  1 17:06:46 2006
From: svb at doc.ic.ac.uk (Steffen van Bakel)
Date: Tue, 01 Aug 2006 17:06:46 +0200
Subject: APAL SPECIAL ISSUE: "CLASSICAL LOGIC AND COMPUTATION"
Message-ID: <redirect-15565487@tu-clausthal.de>

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

                   ANNALS OF PURE AND APPLIED LOGIC
                           SPECIAL ISSUE ON
                   CLASSICAL LOGIC AND COMPUTATION

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

                            CALL FOR PAPERS
                            ===============

    Contributions on the topic of Classical Logic and Computation are
    invited for a special issue of Annals of Pure and Applied Logic.

    On  July  15  2006,  the first  meeting  on  "Classical Logic and
    Computation"  took place in Venice,  Italy,  as satellite meeting
    to ICALP'06.     The meeting intended to cover all work aiming to 
    propose a programming language inspired by classical logic, and a 
    semantics for it.    The special issue is first of all set up for
    papers presented at  the workshop,  but the  call is  open to all 
    researchers.

TOPICS

    Topics  of  interest  for  contributions to the journal issue in-
    clude, but are not limited to:

        - types for calculi with continuations
        - design of programming languages inspired by classical 
          logic,
        - witness extraction from classical proofs,
        - constructive semantics for classical logic (e.g. game
          semantics),

SUBMISSIONS

    Submissions  must be original work, which has not been previously
    published in a journal and is not being considered  for  publica-
    tion  elsewhere.  If  related material has appeared in a refereed
    conference proceedings, the text submitted to should be  substan-
    tially more complete or otherwise different.

    A  title  page  must include: full title, authors' full names and
    affiliations, and the address to which correspondence and  proofs
    should be sent. Where possible, e-mail address and telephone num-
    ber should be included. This should be followed by an abstract of
    approximately 300 words and five key words for indexing.

IMPORTANT

    All  source  files  of  the final versions of the accepted papers
    must respect the format of APAL.   In order to make a submission,
    please follow the instructions from:

    authors.elsevier.com/GuideForAuthors.html?PubID=505603&dc=GFA

    Please send a .ps or .pdf file to either
        svb at doc.ic.ac.uk 
    or 
        stefano at di.unito.it

    Deadline for submission: October 31, 2006.


Steffen van Bakel, Imperial College, London, UK;
Stefano Berardi, Universita` degli studi di Torino, Turin, I.