The 1996 International Symposium on Multiple-Valued Logic (ISMVL) was held in Santiago de Compostela, Spain on May 29-31. This was our second meeting in Spain; the first was held in 1988. Many good ideas were presented, and the multiple-valued logic community benefited from free exchange among participants. In addition to technical discussions, there was the chance to strengthen mutual friendship. For example, in the banquet, participants enjoyed Spanish foods and traditional Spanish dances. Thus, this 26th meeting of ISMVL continued a tradition that abides by the original meaning of "Symposium".

The Distinctive Contribution Award in ISMVL 95 was given to T.Sasao and J.T.Butler for "Planar Multiple-Valued Decision Diagrams." Such awards are not always conferred every year, since it depends on paper quality and its presentation.

We thank all of the contributors, especially those that participated directly in the symposium. These include Professors E. Trillas, D. Simovici, C. Moraga, T. Sasao, C. B. Silio and the organizers at the University of Santiago de Compostela. We appreciate the contribution of the authors and the referees.

Although research on multiple-valued logic is done by a small number of people now, this topic holds significant promise for future electronics and information systems. Truly original research comes from a small number of people at the beginning, since few people can be familiar with such fields. I hope that your pioneering efforts have great impact on next-generation technologies. We should sustain our dream of multiple-valued logic as an important part of digital systems. Our tradition is to respect such a philosophy, and we should be proud of our activities.

I strongly recommend that you submit papers of the next symposia. Especially, we welcome further participation of younger researchers and students. On their shoulders rest the destiny of multiple-valued research. To enhance our activities, we must continue to have the meeting "International Workshop on Post-Binary Electronics." In next year's symposium, we plan tutorials on the fundamentals of multiple-valued logic. We hope to see you in Nova Scotia, next year.

Best Regards,
Michitaka Kameyama

M. Kameyama welcomed all present and expressed his honor at having been chosen as MVL-TC Chair. He thanked K. C. Smith, Past TC-Chair, for his many efforts during his term as Chair.

1. Minutes of ISMVL-95 Plenary Session - The minutes were previously distributed in the Bulletin. It was agreed the ISMVL-95 Plenary Session Minutes be approved as distributed.

2. Report of the Executive Subcommittee -

Election of TC Officers - Two members-at-large are required from Jan. 1997 to Dec. 2000. K. C. Smith (past TC-Chair and Chair of the Nominating Committee) nominated V. Shmerko (Poland) and G. Gulak (Canada). There being no further nominations, those two were acclaimed.

Bulletin Editor - The Chair advised that as G. Epstein is retiring, he will not be continuing as Bulletin Editor. The Chair announced that he is appointing Y. Hata, who has excellent web skill, as Bulletin Editor. The plan is to move to an electronic bulletin, but to provide paper copies
to those who request one due to poor internet access. Y. Hata is to formulate a plan for this project as well as an MVL-TC home page.

The deadlines for information to be sent to the Bulletin Editor are Feb. 15, July 1 and Nov. 1. Submissions should be sent by e-mail to Y. Hata, hata{at}comp.eng.himeji-tech.ac.jp.

A database of MVL researchers is to be constructed. A request for information was distributed. The request asked that the following information:

i) name
ii) affiliation
iii) address
iv) telephone/fax numbers
v) e-mail address
vi) home page address
vii) research interests

be sent to mvltc{at}kameyama.ecei.tohoku.ac.jp (acceptable from June 5, 1996).

3. Report of the Symposium Subcommittee -

D. Simovici expressed the thanks of all present to all those involved in the organization of ISMVL-96 and especially to C. Moraga who was instrumental in bringing the Symposium to Santiago. He also noted the financial support of the University of Santiago de Compostela and the Galacian government.

D. Simovici reported that the Symposium subcommittee has laid out the following tentative schedule of symposia sites:

1997 - Antigonish, Nova Scotia, Canada
1998 - Fukuoka, Japan
1999 - Freiburg, Germany
2000 - Portland, Oregon
2001 - Warsaw, Poland
2002 - Boston, Mass.

He noted that proposals would be presented for 1997 and 1998 for approval at this Plenary Session and that proposals for the other sites would be forthcoming in subsequent years. He also noted that from 1999 on is still tentative and others are free to propose alternative sites.

ISMVL-97 - G. Dueck presented a proposal to host ISMVL-97 in Antigonish, Nova Scotia, Canada. It is a small university town about 2.5 hours drive from Halifax Airport. The symposium is to be held at the Best Western Hotel. Both hotel and symposium registration fees will be quite reasonable. A call-for-papers was distributed. The Program Committee is to be D. M. Miller (Americas), R. Drechsler (Europe/Asia) and I. Ishizuka (Asias/Pacific).

MOTION: ISMVL-97 be held in Antigonish, Canada, Dueck(Moraga). Unanimous.

ISMVL-98 - T. Sasao presented a proposal to host ISMVL-98 in Fukuoka, Japan. It is to be held in a new software research centre providing excellent facilities. Hotel accommodation will be next to the centre. M. Kameyama will be the Program Co-Chair for Asia/Pacific. The other two Program Co-Chairs have yet to be selected.

MOTION: ISMVL-98 be held in Fukuoka, Japan. Sasao(Simovici) Unanimous.

4. Other Business -

The Japanese MVL Research Group has created a home page at http://mac117.icu.ac.jp/MVL/MVL.

The first volume (four issues) of the MVL Journal is to be published this summer. R. Drechsler and M. Miller have agreed to guest edit a special issue of the journal on decision diagrams and L. Micheel has agreed to edit a special issue on circuits and devices.

The Chair mentioned an evening panel discussion that took place at ISSCC'96 on the subject of MVL flash memory. He commented on the important role of ISMVL for the development of new research areas, as can be seen from this example. Similar initiative has been achieved in fuzzy logic,
logic design using MVL concepts, multile-valued coded highly-parallel arithmetic circuits and other areas.

R. Hahnle described the EC COST Action 15 entitled Many-Valued Logics for Computer Science Application. He spoke to the goals to that initiative which is sponsored by the European Community. He said he would like to serve as a liaison between that group and the MVL-TC. He noted that
the two groups have somewhat different but complementary emphases. He can be contacted for more information at reiner{at}ira.uka.de.


Respectfully submitted,

D. M. Miller
MVL-TC Secretary

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 27th. annual symposium on May 28 - 30, 1997 in Antigonish, Nova Scotia, Canada. The symposium will be sponsored by the St. Francis Xavier University and by the IEEE Computer Society.

You are invited to submit an original research, survey or tutorial paper on any subject in the area of Multiple-valued Logic, including, but not exclusively limited to:

Authors are requested to submit 5 copies (in English) of their double-space typed manuscript on 8.5 by l l inch or A4 paper by November 1, 1996. Each paper should be no longer than 20 pages and should include a 50-l00 word abstract. Papers should be sent to the closest Program Chair:

AMERICAS
Prof. D. M. Miller
Department of Computer Science
University of Victoria
Victoria BC, Canada V8W 3P6
(604) 721-7220 (604) 721-7292 fax
dmill{at}csr.uvic.ca


EUROPE/AFRICA
Dr. Rolf Drechsler
Institute of Computer Science
Albert-Ludwigs-University
Am Flughafen 17
79110 Freiburg im Breisgau, Germany
drechsle{at}informatik.uni-freiburg.de


ASIA/PACIFIC
Prof. Okihito Ishizuka
Dept. of Electronic Engineering
Miyazaki University
Gakuen-Kibana Miyazaki-Shi 8809-21
Japan
(81) 985-58-2811 (81) 985-58-2876 fax
ishizuka{at}esl.miyazaki-u.ac jp


Authors will be notified by February 1, 1997. Photo-ready copies of accepted papers are due by March 1,1997. For additional information please contact:

Prof. Gerhard Dueck, Symposium Chair
Dept. of Math and Comp. Sci.
St. Francis Xavier University
Antigonish, Nova Scotia, Canada B2G 2W5
(902) 867-3972 (902) 867-2448 fax
gdueck{at}stfx.ca
http://juliet.stfx.ca/ gdueck/ismvl97/

To make the Web page of MVL-TC, please send your personal data :

1) full name, 2) affiliation, 3) address, 4) phone/fax numbers,
5) e-mail address, 6) research interests, 7) web page address,

to the following e-mail address :

hata{at}comp.eng.himeji-tech.ac.jp

Yutaka Hata, MVL-TC Bulletin/Web Page Editor

The MVL-TC Bulletin is moving to a new format. It will be accessable to the World Wide Web, and freely available to all. The MVL-TC Bulletin will now include short articles, letters and reports, in addition to the latest news in multiple-valued logic. Under the new format, you can access the member list and contact directly MVL-TC officers. Also available will be the abstracts of papers in the Proceedings of the International Symposium on Multiple-Valued Logic and Multiple-Valued Logic - An International Journal.
If you would like to receive a paper copy of the MVL-TC Bulletin please contact me directly.

Yutaka Hata, MVL-TC Bulletin/Web Page Editor