<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
From kung-kiu@cs.man.ac.uk Wed Jan 19 15:20:35 2000
Return-Path: <kung-kiu@cs.man.ac.uk>
Date: Wed, 19 Jan 2000 15:20:30 GMT
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
To: kung-kiu@cs.man.ac.uk
Subject: [graham@cs.newcastle.edu.au: IFCoLog membership]

Dear All,

A Happy New Millennium!

LOPSTR has been invited by IFCoLog to join as a member (see enclosed email). 

I think visibility at this level will be good for LOPSTR, so I propose
that we take up the invitation.

I am also willing to be LOPSTR's IFCoLog representative.

Please let me know what you think asap. Note that unless a majority of
you object, I will assume that you support my proposal to join up and
me as your rep :-)

Thanks.

Kung-Kiu
   
------- Start of forwarded message -------
Return-Path: <graham@cs.newcastle.edu.au>
Date: Thu, 20 Jan 2000 01:51:01 +1100 (EST)
From: Graham Wrightson <graham@cs.newcastle.edu.au>
To: kung-kiu@cs.man.ac.uk
cc: graham@dfki.de
Subject: IFCoLog membership 
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


Dear Kung-Kiu Lau,
this is a message firstly to inform you about IFCoLog (International 
Federation for Computational Logic), incase you are not already aware of it.
Secondly, I understand from David Pearce, that you are involved in the 
LOPSTR Program Development stream and that it might want to become a member 
of IFCoLog.

The main aim of IFCoLog is to promote the interests of the worldwide 
Computational Logic community. It was established at the FLoC conference 
in Trento last year. The current president is Professor Dana Scott of 
Carnegie Mellon University.  In the meantime IFCoLog has a webpage


                  http://www.ifcolog.org/

where you can read more about IFCoLog and its goals.

Currently numerous research communities are joining IFCoLog and we are 
wondering if your research community would like to join. I am not sure 
whether the LOPSTR Program Development stream is just 
a series of conferences or has some legal status as an organised group; 
in either case we expect that it could become a member. Do you think 
you could enquire within your community as to whether it wants to join? 
No doubt you will want to wait for a formal decision on this by your 
members, either at a general meeting or a business meeting of a 
conference. If LOPSTR Program Development wants to join then it would 
need to elect or appoint an IFCoLog representative. Please note that 
money is not required for membership.

I have assumed that you would be able to handle this matter but should 
you feel that someone else is more appropriate then please let 
us know. Also, should you have any queries regarding IFCoLog then I am 
more then happy to respond.

I look forward to your response and hope to meet you some time.

Best regards

Graham Wrightson
IFCoLog Chief Executive Officer
- ------------------------------------------------------------------------------
Graham Wrightson, Associate Professor    
Monetary Systems Engineering Group       
Department of Computer Science           
  and Software Engineering               
The University of Newcastle               
NSW, 2308, Australia                     
Tel. +61-2-49216036                      
Fax. +61-2-49216929                      
Mobile 0412394732                        
email: graham@cs.newcastle.edu.au
http://www.cs.newcastle.edu.au/~graham/
- -------------------------------------------------------------------------------
------- End of forwarded message -------


From proietti@iasi.rm.cnr.it Wed Jan 19 15:41:58 2000
Return-Path: <proietti@iasi.rm.cnr.it>
Sender: proietti@iasi.rm.cnr.it
Date: Wed, 19 Jan 2000 16:46:13 +0100
From: Maurizio Proietti <proietti@iasi.rm.cnr.it>
Organization: IASI-CNR
X-Mailer: Mozilla 4.08 [en] (X11; I; Linux 2.0.36 i686)
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

> LOPSTR has been invited by IFCoLog to join as a member (see enclosed email).
> 
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.

I agree
 
> I am also willing to be LOPSTR's IFCoLog representative.

I support you as LOPSTR's IFCoLog representative


Best wishes,

Maurizio


Maurizio Proietti      phone (+39) 067716426
IASI-CNR               fax (+39) 067716461
Viale Manzoni 30       email: proietti@iasi.rm.cnr.it
I-00185 ROMA Italy     http://www.iasi.rm.cnr.it/~proietti


From mal@ecs.soton.ac.uk Wed Jan 19 16:07:17 2000
Return-Path: <mal@ecs.soton.ac.uk>
User-Agent: Microsoft Outlook Express Macintosh Edition - 5.01 (1630)
Date: Wed, 19 Jan 2000 16:07:09 +0000
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
From: Michael Leuschel <mal@ecs.soton.ac.uk>
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
In-Reply-To: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Mime-version: 1.0
Content-type: text/plain; charset="US-ASCII"
Content-transfer-encoding: 7bit
Content-Transfer-Encoding: 7bit

on 19/1/00 15:20, Kung-Kiu Lau at kung-kiu@cs.man.ac.uk wrote:

> Dear All,
> 
> A Happy New Millennium!
> 
> LOPSTR has been invited by IFCoLog to join as a member (see enclosed email).
> 
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
Agreed, I think it is a very good thing.

> 
> I am also willing to be LOPSTR's IFCoLog representative.
> 
> 
Agreed,

Regards,
Michael


From julianr@dai.ed.ac.uk Wed Jan 19 16:16:39 2000
Return-Path: <julianr@dai.ed.ac.uk>
From: julianr@dai.ed.ac.uk
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
To: kung-kiu@cs.man.ac.uk (Kung-Kiu Lau)
Date: Wed, 19 Jan 100 16:16:34 +0000 (GMT)
Cc: kung-kiu@cs.man.ac.uk
In-Reply-To: <200001191520.PAA18756@rdf004.cs.man.ac.uk> from "Kung-Kiu Lau" at Jan 19, 0 03:20:30 pm
X-Mailer: ELM [version 2.4 PL24]
Content-Type: text

Kung-Kiu Lau wrote:
> 
> LOPSTR has been invited by IFCoLog to join as a member (see enclosed email). 
> 
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
> 
> I am also willing to be LOPSTR's IFCoLog representative.
> 
I agree that this is basically a good idea. 

I note the following:

o (according to the manifesto) by joining the IFCoLog grouping, we more
  or less commit ourself to take part in a big joint conference every four
  or five years

o does this draw us towards the computational logic community and
  thereby draw us AWAY from the program development community (which
  development would be in the opposite direction to the current (agreed)
  trend)?


I think you would be a fine representative. How do we hold an election? 

Best,

Julian

--
Julian Richardson                         http://www.dai.ed.ac.uk/~julianr/
Mathematical Reasoning Group, Edinburgh University, Phone: +44 131 650 2720 


From kung-kiu@cs.man.ac.uk Wed Jan 19 16:25:17 2000
Return-Path: <kung-kiu@cs.man.ac.uk>
Date: Wed, 19 Jan 2000 16:25:11 GMT
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
To: julianr@dai.ed.ac.uk
CC: kung-kiu@cs.man.ac.uk
In-reply-to: <19885.200001191616@clunie> (julianr@dai.ed.ac.uk)
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]

>I note the following:
>
>o (according to the manifesto) by joining the IFCoLog grouping, we more
>  or less commit ourself to take part in a big joint conference every four
>  or five years
>
>o does this draw us towards the computational logic community and
>  thereby draw us AWAY from the program development community (which
>  development would be in the opposite direction to the current (agreed)
>  trend)?

I don't think joining will commit us to anything that we do not want. 
We will be free to withdraw our membership if they impose any restriction
that we object to. In any case we will discuss individual proposals
for conferences etc when they arise.

>I think you would be a fine representative. How do we hold an election? 

If people nominate alternative candidates, then we can have a vote.

Kung-Kiu


From julianr@dai.ed.ac.uk Wed Jan 19 16:30:13 2000
Return-Path: <julianr@dai.ed.ac.uk>
From: julianr@dai.ed.ac.uk
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
To: kung-kiu@cs.man.ac.uk (Kung-Kiu Lau)
Date: Wed, 19 Jan 100 16:30:03 +0000 (GMT)
In-Reply-To: <200001191625.QAA18824@rdf004.cs.man.ac.uk> from "Kung-Kiu Lau" at Jan 19, 0 04:25:11 pm
X-Mailer: ELM [version 2.4 PL24]
Content-Type: text

Dear Kung-Kiu,

Happy New Year to you too!

Kung-Kiu Lau wrote:
> 
> >I note the following:
> >
> >o (according to the manifesto) by joining the IFCoLog grouping, we more
> >  or less commit ourself to take part in a big joint conference every four
> >  or five years
> >
> >o does this draw us towards the computational logic community and
> >  thereby draw us AWAY from the program development community (which
> >  development would be in the opposite direction to the current (agreed)
> >  trend)?
> 
> I don't think joining will commit us to anything that we do not want. 
> We will be free to withdraw our membership if they impose any restriction
> that we object to. In any case we will discuss individual proposals
> for conferences etc when they arise.
> 
OK, as long as it is clear to them that we don't necessarily promise
to join in their megaconference (although I guess we would). 

> If people nominate alternative candidates, then we can have a vote.
> 
OK. I only mention it because the IFCoLog manifesto specifically
mentions elections. 

Cheers,

Julian


--
Julian Richardson                         http://www.dai.ed.ac.uk/~julianr/
Mathematical Reasoning Group, Edinburgh University, Phone: +44 131 650 2720 


From fuchs@ifi.unizh.ch Wed Jan 19 16:32:38 2000
Return-Path: <fuchs@ifi.unizh.ch>
Date: 19 Jan 2000 17:34:23 +0100
From: "Norbert E. Fuchs" <fuchs@ifi.unizh.ch>
To: "Kung-Kiu Lau" <kung-kiu@cs.man.ac.uk>
Mime-Version: 1.0
X-Sender: fuchs@mail.ifi.unizh.ch
In-Reply-To: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
Content-Type: text/plain; charset="iso-8859-1" ; format="flowed"
Content-Transfer-Encoding: quoted-printable

At 15:20 +0000 00/1/19, Kung-Kiu Lau wrote:
>LOPSTR has been invited by IFCoLog to join as a member (see enclosed email)=
=2E
>
>I think visibility at this level will be good for LOPSTR, so I propose
>that we take up the invitation.

I agree.

>I am also willing to be LOPSTR's IFCoLog representative.

You have my support.

Best regards.


Norbert E. Fuchs

Institut f=FCr Informatik
Universit=E4t Z=FCrich
CH-8057 Z=FCrich

Telefon    +41-1-635 43 13
=46ax        +41-1-635 68 09
Email      fuchs@ifi.unizh.ch
WWW        http://www.ifi.unizh.ch/~fuchs/


From Pierre.Flener@dis.uu.se Wed Jan 19 16:38:12 2000
Return-Path: <Pierre.Flener@dis.uu.se>
Sender: pierref@csd.uu.se
Date: Wed, 19 Jan 2000 17:37:40 +0100
From: Pierre Flener <Pierre.Flener@dis.uu.se>
Organization: Dept of Information Science, Uppsala University, Sweden
X-Mailer: Mozilla 4.7 [en] (X11; I; SunOS 5.6 sun4u)
X-Accept-Language: de,fr
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: IFCoLog membership
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
> 
> I am also willing to be LOPSTR's IFCoLog representative.

ok,
	Pierre

--
Pierre Flener, Ph.D., Assoc. Prof.
Dept of Information Science    Work: +46 18 471 1028
Uppsala University              Fax: +46 18 52 12 70
Box 513                      mailto:Pierre.Flener@dis.uu.se
S-751 20 Uppsala, Sweden       http://www.dis.uu.se/~pierref/


From Gerard.Ferrand@lifo.univ-orleans.fr Wed Jan 19 16:39:20 2000
Return-Path: <Gerard.Ferrand@lifo.univ-orleans.fr>
Date: Wed, 19 Jan 2000 17:39:42 +0100 (MET)
From: Gerard Ferrand <Gerard.Ferrand@lifo.univ-orleans.fr>
Reply-To: Gerard Ferrand <Gerard.Ferrand@lifo.univ-orleans.fr>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
To: kung-kiu@cs.man.ac.uk
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: xfty1go2ts2Q8FAzhdBqdQ==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 


> Please let me know what you think asap. Note that unless a majority of
> you object, I will assume that you support my proposal to join up and
> me as your rep :-)
> 

I agree with this proposal, obviouslsy

Best regards

Gerard Ferrand
-----------------------------------------------------------
LIFO, Departement d'Informatique
Universite d'Orleans 
BP 6759  
F-45067 Orleans Cedex 2
-----------------------------------------------------------
Tel    : +33 (0)2 38 41 70 10
Fax    : +33 (0)2 38 41 71 37
E-mail : Gerard.Ferrand@lifo.univ-orleans.fr
-----------------------------------------------------------


From lee@cs.mu.OZ.AU Thu Jan 20 00:27:28 2000
Return-Path: <lee@cs.mu.OZ.AU>
X-Authentication-Warning: mundook.cs.mu.OZ.AU: lee owned process doing -bs
X-Authentication-Warning: mundook.cs.mu.OZ.AU: lee@localhost didn't use HELO protocol
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership] 
In-reply-to: Your message of "Wed, 19 Jan 2000 15:20:30 GMT."
             <200001191520.PAA18756@rdf004.cs.man.ac.uk> 
Date: Thu, 20 Jan 2000 11:26:51 +1100
From: Lee Naish <lee@cs.mu.OZ.AU>


>A Happy New Millennium!

Thanks, but the calendar I use has a new millennium starting *next* year,
so happy old millennium also!

>LOPSTR has been invited by IFCoLog to join as a member (see enclosed email). 
>
>I think visibility at this level will be good for LOPSTR, so I propose
>that we take up the invitation.
>
>I am also willing to be LOPSTR's IFCoLog representative.

Great.

	lee


From dts@dcs.ed.ac.uk Thu Jan 20 00:49:10 2000
Return-Path: <dts@dcs.ed.ac.uk>
From: Don Sannella <dts@dcs.ed.ac.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Thu, 20 Jan 2000 00:49:01 +0000 (GMT)
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: IFCoLog membership
In-Reply-To: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
X-Mailer: VM 6.43 under 20.4 "Emerald" XEmacs  Lucid

 > LOPSTR has been invited by IFCoLog to join as a member (see enclosed email).
 > 
 > I think visibility at this level will be good for LOPSTR, so I propose
 > that we take up the invitation.
 > 
 > I am also willing to be LOPSTR's IFCoLog representative.
 > 
 > Please let me know what you think asap. Note that unless a majority of
 > you object, I will assume that you support my proposal to join up and
 > me as your rep :-)

Dear Kung-Kiu,

Sounds fine to me (both proposals).

Best regards, Don


From bibel@intellektik.informatik.tu-darmstadt.de Thu Jan 20 09:25:54 2000
Return-Path: <bibel@intellektik.informatik.tu-darmstadt.de>
Date: Thu, 20 Jan 2000 10:24:59 +0100
From: Wolfgang Bibel <bibel@intellektik.informatik.tu-darmstadt.de>
To: kung-kiu@cs.man.ac.uk
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]

Dear Kung-Kiu,

you have my full support for both the joining of LOPSTR to IFCoLog as well
as you being the first representative.

I would however suggest that any such representation should in principle
be one limited in time, say 2 years. Although it remains a rare case, but
when it happens that a representative does a bad job yet sticks to his
privileges, it is extremely embarrassing for the rest of those involved to
clear matters.

Best wishes,
Wolfgang


From kung-kiu@cs.man.ac.uk Thu Jan 20 09:59:20 2000
Return-Path: <kung-kiu@cs.man.ac.uk>
Date: Thu, 20 Jan 2000 09:59:15 GMT
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
To: bibel@intellektik.informatik.tu-darmstadt.de
CC: kung-kiu@cs.man.ac.uk
In-reply-to: 
	<200001200924.KAA17799@kifs.intellektik.informatik.tu-darmstadt.de>
	(message from Wolfgang Bibel on Thu, 20 Jan 2000 10:24:59 +0100)
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]

Dear Wolfgang,

Thank you for your support.

>I would however suggest that any such representation should in principle
>be one limited in time, say 2 years. 

Thanks for the suggestion, it's a good idea.

>Although it remains a rare case, but
>when it happens that a representative does a bad job yet sticks to his
>privileges, it is extremely embarrassing for the rest of those involved to
>clear matters.

I'm not aware of any privileges associated with the representative,
who is just a contact (an email address!) as far as I can see.

Kung-Kiu
 

From Pierre.Flener@dis.uu.se Thu Jan 20 15:01:31 2000
Return-Path: <Pierre.Flener@dis.uu.se>
Sender: pierref@csd.uu.se
Date: Thu, 20 Jan 2000 16:01:20 +0100
From: Pierre Flener <Pierre.Flener@dis.uu.se>
Organization: Dept of Information Science, Uppsala University, Sweden
X-Mailer: Mozilla 4.7 [en] (X11; I; SunOS 5.6 sun4u)
X-Accept-Language: de,fr
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
CC: Wolfgang Bibel <bibel@intellektik.informatik.tu-darmstadt.de>,
        Pierre Flener <Pierre.Flener@dis.uu.se>
Subject: Re: IFCoLog membership
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Kung-Kiu Lau wrote, in answer to Wolfgang Bibel:

> > I would however suggest that any such representation should in principle
> > be one limited in time, say 2 years. 
>
> Thanks for the suggestion, it's a good idea.

I also think so.

> > Although it remains a rare case, but
> > when it happens that a representative does a bad job yet sticks to his
> > privileges, it is extremely embarrassing for the rest of those involved to
> > clear matters.
>
> I'm not aware of any privileges associated with the representative,
> who is just a contact (an email address!) as far as I can see.

I think what Wolfgang might have been aiming at sth much more general:
the LOPSTR community could have a steering committee with a (bi-annually?)
elected president, whose *privilege* would then be to be the default
representative for *all* such opportunities!?  Otherwise, since Kung-Kiu
maintains the LOPSTR homepage, he will be contacted each time, and each
time he will "feel like volunteering" for the proposed position, getting
all the limelight, because everybody is too busy for doing the democratic
process properly (I have noticed of course that KK is not/never opposed to
other candidates and elections).  If we do not want a steering committee,
then we might still vote to agree that the "acting president" is always
the current LOPSTR stream-chair (for CL), which is currently Kung-Kiu,
which is why nobody should oppose his nomination here and now.  (Of course,
having our presidency rotate every year might not be too welcome by some
associations such as IFCoLog.)

best,
	Pierre


From Danny.DeSchreye@cs.kuleuven.ac.be Mon Jan 24 08:54:09 2000
Return-Path: <Danny.DeSchreye@cs.kuleuven.ac.be>
Sender: Danny.DeSchreye@cs.kuleuven.ac.be
Date: Mon, 24 Jan 2000 09:53:49 +0100
From: Danny De Schreye <Danny.DeSchreye@cs.kuleuven.ac.be>
Organization: KULeuven
X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.5 i586)
X-Accept-Language: en
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Kung-Kiu,

I do not have any objection against Lopstr joining Ifcolog
and obviously, you are best placed to represent it.

(Confidential part excised by me -- Kung-Kiu) 

Cheers,
Danny.


From bossi@dsi.unive.it Mon Jan 24 10:54:23 2000
Return-Path: <bossi@dsi.unive.it>
Date: Mon, 24 Jan 2000 11:59:41 +0100
From: Annalisa Bossi <bossi@dsi.unive.it>
X-Mailer: Mozilla 4.06 [it] (WinNT; I)
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit


> LOPSTR has been invited by IFCoLog to join as a member (see enclosed email).
>
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
> I am also willing to be LOPSTR's IFCoLog representative.

Dear Kung-Kiu,

I agree with the proposal and I support you as LOPSTR's IFCoLog representative

Best regards,
Annalisa


From hanus@I2.Informatik.RWTH-Aachen.DE Mon Jan 24 12:47:54 2000
Return-Path: <hanus@I2.Informatik.RWTH-Aachen.DE>
Date: Mon, 24 Jan 2000 13:45:40 +0100 (MET)
From: Michael Hanus <hanus@I2.Informatik.RWTH-Aachen.DE>
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
In-Reply-To: Kung-Kiu Lau's message of January 19 (15:20)
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
X-Mailer: VM 6.22 under 19.15 XEmacs Lucid
Reply-To: mh@informatik.uni-kiel.de
Mime-Version: 1.0 (generated by tm-edit 7.106)
Content-Type: text/plain; charset=US-ASCII

Kung-Kiu Lau wrote:
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
> 
> I am also willing to be LOPSTR's IFCoLog representative.
> 
> Please let me know what you think asap. Note that unless a majority of
> you object, I will assume that you support my proposal to join up and
> me as your rep :-)

I fully agree to your proposal.

Sorry for the delay but I was outside for conferences
during the last week.

Best regards,

Michael


P.S.: Please note that I have moved to the university of Kiel
since the beginning of the new year. You will find my new
address below.

--------------------------------------------------------------------------
 Michael Hanus            email: mh@informatik.uni-kiel.de, hanus@acm.org
 Institut fuer Informatik    phone: ++49-(0)431-880-7271 or -7270 (Secr.)
 CAU Kiel, Olshausenstr. 40                     fax: ++49-(0)431-880-7613
 D-24098 Kiel, Germany         URL: http://www.informatik.uni-kiel.de/~mh
--------------------------------------------------------------------------


From brogi@di.unipi.it Tue Jan 25 11:35:17 2000
Return-Path: <brogi@di.unipi.it>
Organization:  Dipartimento di Informatica di Pisa - Italy
Date: Tue, 25 Jan 2000 12:40:43 +0100
From: Antonio Brogi <brogi@DI.Unipi.IT>
X-Mailer: Mozilla 4.5 [en] (Win98; I)
X-Accept-Language: en
MIME-Version: 1.0
To: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Subject: Re: [graham@cs.newcastle.edu.au: IFCoLog membership]
References: <200001191520.PAA18756@rdf004.cs.man.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Dear Kung-Kiu,

Sorry for the delay in replying to your message
but I was out of town for a school.

> LOPSTR has been invited by IFCoLog to join as a member (see enclosed email).
> I think visibility at this level will be good for LOPSTR, so I propose
> that we take up the invitation.
>
> I am also willing to be LOPSTR's IFCoLog representative.
I agree with both your proposals. 

Best regards

Antonio
______________________________________________________
                   Antonio Brogi                            

  Dipartimento di Informatica, Universita' di Pisa  
           Corso Italia 40, 56125 Pisa, Italy
e-mail: brogi@di.unipi.it       phone: +39 050 887 290
http://www.di.unipi.it/~brogi   fax:   +39 050 887 226
______________________________________________________


From kung-kiu@cs.man.ac.uk Thu Feb  3 11:29:01 2000
Return-Path: <kung-kiu@cs.man.ac.uk>
Date: Thu, 3 Feb 2000 11:28:55 GMT
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
To: graham@cs.newcastle.edu.au
CC: graham@dfki.de, kung-kiu@cs.man.ac.uk
In-reply-to: <Pine.SOL.3.91.1000120013316.3044A-100000@lily.newcastle.edu.au>
	(message from Graham Wrightson on Thu, 20 Jan 2000 01:51:01 +1100
	(EST))
Subject: Re: IFCoLog membership

Dear Graham,

Thank you for your invitation to LOPSTR to join IFCoLog.

The LOPSTR community has had an email discussion and has decided to
join IFCoLog and that I would be its IFCoLog representative.

Kung-Kiu Lau