IEEE MVL-TC Bulletin - May '01

Dear Colleague, it is this time of the year again, when trees are changing their colours and rainfall gets heavier (at least in the part of the world, where I live).
For us, however, whose research interests include MVL, a different, but equally characteristic,
feature of the month October is to prepare the paper(s) for next year's ISMVL.

I would like to invite you cordially to write up your latest results and submit them, as usual, by November 1st to your closest area program chair. Details concerning submission can be found on the ISMVL 2001 web site: http://www.ipipan.waw.pl/~ismvl/.

The 31st ISMVL will be held in Warsaw, Poland from 22nd to 24st of May 2001.
I visited Warsaw two years ago and I can recommend this thriving city with its beautifully restored historical center to you without reservation.
Don't miss it, in particular, if could not make it to this year's ISMVL, which was held in Portland/OR, USA. An unprecedented number of invited speakers, an excellent scientific program, interesting social events, and all this perfectly organized by Marek Perkowski's team, made for an extremely attractive and well-attended conference.

Perhaps you recall that in the plenary session held in Portland we decided that the MVL technical committee become a member of IFCoLog (http://www.ifcolog.org/), the International Federation
for Computational Logic.
I applied on behalf of the TC and you can see us now listed at http://www.ifcolog.org/Areas/ under the area "Multiple-Valued Logic".

We had also talked about the possibility of producing an electronic and/or CD-Rom archive of past ISMVL proceedings. While the full project is still pending, it is perhaps worth pointing out that the proceedings since 1997 are available to IEEE CS Digital Library members at
http://www.computer.org/proceedings/proceed_i.htm#i.
Many institutions have DL subscriptions and the proceedings are accessible for their employees.

On November 5/6 I will participate in the Society's Technical Activity Board meeting
in Dallas/TX. If there is any issue that you would like me to address at this forum, please let me know.

 

	Reiner Haehnle
	reiner{at}cs.chalmers.se
	http//:www.cs.chalmers.se/~reiner

Bulletin Editor: Yutaka Hata