ADVANCE PROGRAM, INFORMATION, and REGISTRATION FORM for the
IEEE 25th International Symposium on Multiple-Valued Logic
----------------------------------------------------------
Sponsored by the IEEE Computer Society, the IEEE Technical
Committee on Multiple-Valued Logic, and Indiana University
and
1995 Workshop on Post-Binary Ultra-Large Scale Integration
----------------------------------------------------------
May 22-25, 1995
Indiana University
Bloomington, Indiana 47405
USA
INTRODUCTION
==============================================================================
1995 marks a quarter century of progress in multiple-valued logic. The field
has been a fertile one, providing a forum for early research in fuzzy logic,
multiple-valued quantum devices, biological computing, and theory of multiple-
valued algebra, logic, and design methodology. ISMVL is unique because it
brings theoreticians, circuit designers, and applications-oriented researchers
together in a common forum where advances in each area are shared.
This year's symposium includes invited lectures on gaggle theory, quantum
multiple-valued circuits, and multiple-valued function design. The program
committee selected 43 papers in areas such as classical and quantum circuit
design, fuzzy logic, algebra and logic, logic design and synthesis, and
applications of multiple-valued logic such as genetic algorithms and neural
systems. Parallel tracks for theory and implementation areas assure a tight
focus on research topics without wasted time for symposium attendees.
Early arrivals for ISMVL'95 are invited to attend the 1995 Workshop on Post-
Binary Ultra-Large Scale Integration. There is no charge for the workshop,
but participants are asked to indicate their attendance on the registration
form.
Indiana University will host the symposium on its Bloomington campus, known
for its beauty during the springtime. Participants will see a profusion of
flowering trees and shrubs on the gently rolling campus as they relax between
technical sessions with walks through wooded parts of the campus. Indiana
University has an internationally-recognized school of music, with many free
recitals and performances offered by music school faculty and students during
the symposium. Bloomington has a wide variety of ethnic restaurants,
including Japanese, Thai, Tibetan, Chinese, Mexican/Spanish, as well as a
variety of seafood, barbecue, and family restaurants. When you arrive your
registration package will include maps to local restaurants, a schedule of
special events, and a list of things to see and do in the area.
ADVANCE PROGRAM 1995 Workshop on Post-Binary Ultra-Large Scale Integration
==============================================================================
Monday, May 22
1995 Workshop on Post-Binary Ultra-Large Scale Integration
----------------------------------------------------------
14:00
Introduction: T. Sasao (5 minutes)
14:05
Session I: Novel Computation, Organizer, J. Mills
Title: Analog VLSI Kirchhoff Machines
Speaker: Jonathan Mills
14:30
Title: Information Theory of Lukasiewicz Logic Arrays
Speaker: Robert Montante
14:55
Break (15 minutes)
Session II: Logic Design, Organizer, T. Sasao
15:10
Title : Ordered Kronecker Function Decision Diagrams.
Speaker: Rolf Drechsler
15:35
Title : On a design of AND-OR-EXOR logic circuits.
Speaker: Tsutomu Sasao
16:00
Title : Design of High Performance Digital System Based on Linearity
Speaker: Michitaka Kameyama
16:25
ADVANCE PROGRAM IEEE 25th International Symposium on Multiple-Valued Logic
==============================================================================
Monday, May 22
1800-2000 ISMVL'95 On-Site Registration (continues on Tuesday)
1900-2100 Reception, Musical Arts Center
Tuesday, May 23
IEEE 25th International Symposium on Multiple-Valued Logic
----------------------------------------------------------
0800-0815 Opening Remarks
0815-0915 Invited Address: Gaggle Theory and Multiple-Valued Logic. M.
Dunn, Indiana University
0915-0945 Refreshment break
0945-1125
VLSI
----
Title : A High Speed Interconnect Network using ternary logic
Author : Jens Kargaard Madsen and Stephen I Long
Title : Wire-Free Computing Circuits Using Optical Wave-Casting
Authors: Satoshi Sakurai, Takafumi Aoki and Tatsuo Higuchi
Title : Redundant Complex Number Systems
Authors: Yuji Ohi, Takafumi Aoki and Tatsuo Higuchi
Title : Design of Highly Parallel Multiple-Valued Linear
Digital System for k-Ary Operations Based on
Extended Representation Matrices
Authors: Morihiro Ryu and Michitaka Kameyama
LOGIC DESIGN 1
--------------
Title : Planar Multiple-Valued Decision Diagrams
Authors: Tsutomu Sasao and Jon T. Butler
Title : Reed-Muller Transform for Incompletely
Specified Functions via Sparse Polynomial Interpolation
Authors: Zeljko Zilic and Zvonko Vranesic
Title : Properties of the Zhang-Watari Transform
Authors: Ralph Oenning, Claudio Moraga
1125-1400 Lunch
1400-1515
CIRCUIT DESIGN 1
----------------
Title : Memory Circuits for Multiple Valued Logic Voltage Signals
Author : K. Wayne Current
Title : From Multivalued Current Mode CMOS Circuits to
Efficient Voltage Mode CMOS Arithmetic Operators
Author : K. Navi, D. Etiemble,
Title : Multiple-Valued Arithmetic Integrated Circuits Based on 1.5V-Supply
Dual-Rail Source-Coupled Logic
Authors: Takahiro Hanyu, Akira Mochizuki and Michitaka Kameyama
ALGEBRA 1
---------
Title : The Radii of Sheffer Functions Over E(3)
Authors: Jeffrey Beckman and T.C. Wesselkamper
Title : Classification of Functions and Enumeration of Bases
of Set Logic Under Boolean Compositions
Authors: Alioune Ngom, Corina Reischer and Ivan Stojmenovic
Title : Completeness Theory for Vector Partial Multiple-Valued Logic
Functions
Author : Boris A. Romov
1515-1530 Refreshment Break
1530-1645
DEVICE-BASED CIRCUIT AND TESTING 1
----------------------------------
Title : Quantum Device Model Based Super Pass Gate for Multiple-Valued
Digital
Systems
Authors: Xiaowei Deng, Takahiro Hanyu and Michitaka Kameyama
Title : Random Pattern, Fault Simulation in Multi-Valued Circuits
Authors: Rolf Drechsler, Rolf Krieger, Bernd Becker
Title : The Evaluation of Full Sensitivity for Test Generation in MVL
Circuits
Authors: Elena Dubrova, Dilian Gurov and Jon C. Muzio
LOGIC 1
-------
Title : Paraconsistent Circumscription
Author : Zuoquan Lin
Title : Novel Quantized Transform for Ternary Systems
Authors: Bogdan J. Falkowski and Susanto Rahardja
Title : A Three-Valued Semantics for Discourse Representations
Authors: Seiki Akama and Yotaro Nakayama
=========================
Wednesday, May 24
0800-0815 Opening Remarks
0815-0915 Invited Address:
Resonant Tunneling Transistor and Its Application
to Multiple-Valued Logic Circuits
Takao Waho, NTT LSI Laboratories, NTT, Japan
0915-0945 Refreshment break
0945-1100
FUZZY LOGIC
-----------
Title : On mathematical foundations of fuzzy cluster analysis
Author : Helmut Thiele
Title : On the lattice-isomorphism between fuzzy equivalence relations and
fuzzy partitions
Author : Norbert Schmechel
Title : Segment Matrix Vector Quantization and Fuzzy Logic for Isolated-World
Speech Recognition
Authors: Liusheng Liu, Zhijian Li and Bingxue Shi
LOGIC DESIGN 2
--------------
Title : Efficient Algorithm for the Generation of Fixed Polarity Quaternary
Reed-Muller Expansions
Authors: Bogdan J. Falkowski and Susanto Rahardja
Title : Factorization of Multi-Valued Logic Functions
Authors: Hui Ming Wang, Chung Len Lee and Jwu E Chen
Title : On Input Permutation Technique for Multiple-Valued Logic Synthesis
Authors: Yutaka Hata and Kazuharu Yamato
1100-1400 Lunch
1400-1510
DEVICE-BASED CIRCUIT AND TESTING 2
--------------------
Title : High Speed 3-Valued Logic Gates Based on the
Multiple beta Transistors
Authors: Wang Shoujue, Wu Xunwei and Feng Hongjuan
Title : Fuzzy Membership Function Circuit Using Hysteretic Resonant Tunneling
Diodes
Authors: Hao Tang, Hung Chang Lin
Title : On Designing of 4-Valued Memory With Double-Gate TFT
Authors: Chung Len Lee, Horng Nan Chern, Min Shung Liao and Hui Min Wang
ALGEBRA 2
--------
Title : Join-Irreducible Clones of Multiple Valued Logic Algebra
Authors: Akihiro Nozaki and Grant Pogosyan
Title : Finitary Approximations and Metric Structure of the Space of Clones
Authors: Hajime Machida
Title : Partial Clones containing all permutations
Authors: Lucien Haddad and Ivo G. Rosenberg
Title : Finite Algebraic Models for Residuated Logic
Author : Wendy MacCaull
1515-1530 Refreshment Break
1530-1645
CIRCUIT DESIGN 2
--------------
Title : Multiple-Valued Logic Function Realization
Authors: A.K. Jain, M.H. Abd-El-Barr, and Ronald J. Bolton
Title : Race-Hazard and Skip-Hazard in Multivalued
Combinational Circuits
Authors: Xunwei Wu, Xiexiong Chen and Jizhong Shen
Title : 2^k-ary Cyclic AN Codes for Burst Error Correction
Authors: Ryutaro Murakami, Yoshiteru Ohkura and Ryosaku Shimada
LOGIC 2
-----------------
Title : A Characterization of Kleenean Functions
Authors: Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima and Masao Mukaidono
Title : Uniqueness of Partially Specified Multiple-Valued Kleenean Function
Authors: Hiroaki Kikuchi, Noboru Takagi, Shohachiro Nakanishi and Masao
Mukaidono
Title : On Tableaux for Logic of Paradox
Authors: Zuoquan Lin and Wei Li
1645-1700 Refreshment Break
1700-1800 Plenary session: MVL-TC Meeting
1900-2100 Banquet with entertainment by IU Jazz and Blues Quartet
==============================
Thursday, May 25
0815-0915 Invited Address:
Decomposition of Multiple-Valued Functions.
Tadesz Luba, Technical University of Warsaw,
Warsaw, Poland.
0915-0945 Refreshment break
0945-1100
ARTIFICIAL INTELLIGENCE
-----------------------
Title : Multiple-Valued Genetic Algorithms
Authors: T.C. Wesselkamper and Joshua Danowitz
Title : Learning Multiple-Valued Logic Networks Based on Back Propagation
Authors: Zheng Tang, Okihiko Ishizuka and Koichi Tanno
Title : Three-Valued Constructive Logic and Logic Programs
Authors: Seiki Akama
LOGIC DESIGN 3
--------------
Title : Functional Decision Diagrams for Multiple-valued functions
Author : Radomir S. Stankovic
Title : Multiple-Valued Logic Design Using Multiple-Valued EXOR
Authors: Takahiro Hozumi, Yutaka Hata and Kazuharu Yamato
1100-1115 Closing remarks
==============================================================================
TO ATTEND ISMVL'95...
---------------------
- Fill out and return the symposium registration form at the end of this
message by mail or e-mail to the Indiana University Conference Bureau.
- Please mark banquet attendance and meal preference.
- Please include payment information.
- Make hotel reservations at the on-campus Indiana Memorial Union
or the off-campus Hampton Inn by May 8.
- Make travel arrangements that will typically include a shuttle bus,
limousine ride, or car rental from Indianapolis to your hotel in
Bloomington. You may also choose to fly from Chicago O'Hare via
an airline shuttle to Bloomington.
SYMPOSIUM REGISTRATION
----------------------
ISMVL'95 registration includes admission to the symposium technical sessions,
the opening reception, refreshments, and a copy of the symposium's
proceedings. Registration is 100% refundable until May 8, two weeks before
the symposium. No refunds will be issued after that date. Authors are
reminded that at least one author should attend the symposium to present
accepted papers.
Symposium Registration is
IEEE Member Non-Member Student (w/proceedings)
Early $ 250 $ 300 $ 30
By May 1
Late/On-Site $ 275 $ 350 $ 50
After May 1
Register for the symposium and RSVP for the banquet through the Indiana
University Conference Bureau. Send checks, money orders or VISA/Mastercard
billing information to the IU Conference Bureau with your registration form.
VISA/Mastercard payments can be made with an e-mail registration. All
payments must be made in US funds, with checks and money orders drawn on banks
that do business in the US.
Indiana University will make all reasonable efforts to accomodate persons with
disabilities at this symposium. If you have special needs, please indicate
them on the registration form. Questions about special needs should be
directed to the Senior Conference Coordinator, Ms. Marybeth Gasman, at 812-
855-6451, or via email to mgasman@indiana.edu.
BANQUET MENU SELECTION
----------------------
The banquet meal is -not- included in your registration fee. The meal and
beverage (wine or non-alcoholic beverage) costs $20 US. A separate cash bar
will be available prior to the banquet for those attendees who wish to
purchase alcoholic beverages before the banquet.
The banquet meal must be selected at the time of registration. Choice of
entree includes:
London Broil (beef)
Chicken California
Salmon Filet
All entrees are served with a green salad and dressing, two vegetables, roll,
wine or beverage, and dessert.
HOTEL RESERVATIONS
------------------
Indiana Memorial Union
----------------------
A block of 80 rooms has been reserved in the recently-renovated Indiana
Memorial Union. Room rates are:
One person Two people
Single $60 US $68 US
Double $68 US $76 US
Twin Double $71 US $79 US
The Union is centrally located on campus within easy walking distance of the
conference site in the Business School, and within 10-20 minutes walking
distance of restaurants in downtown Bloomington.
Make reservations at the Indiana Memorial Union by filling out the hotel
reservation form and calling, faxing, or mailing your request and payment
information by May 8.
Hampton Inn
-----------
A second block of 40 rooms has been reserved in the Hampton Inn. Room rates
are a flat rate for doubles, and can sleep from 1-4 people:
Double $52 US
The Hampton Inn is approximately five minutes away from the Indiana University
Campus by car. Attendees may either take a cab or bus to the conference site,
or use a rental car. Parking is available at the Hampton Inn and at the
Business School Parking Garage on campus.
Make reservations at the Hampton Inn by filling out the hotel reservation form
and calling, faxing, or mailing your request and payment information by May 8.
TRAVEL INFORMATION
------------------
Indiana University is located 45 miles south of Indianapolis. Indianapolis is
served by Indianapolis International Airport, with flights from all major
airlines in the US. Flights to Indianapolis from major hubs in Atlanta,
Chicago, Cinncinati, Detroit, New York, and St. Louis provide connections for
international attendees arriving from outside the US. Please make your
reservations early, as visitors from around the US arrive early for the Indy
500 Auto Race time trials. Major traffic due to the race itself occurs after
ISMVL'95, and is not expected to interfere with departures.
Bloomington is served by numerous shuttle bus and limousine services at
varying rates. Call for current rates, and to make your reservations for
ground transportation. A round trip is usually less expensive, and can be
rescheduled with 24 hours advance notice if necessary. All shuttles and
limousines leave from the Ground Transportation Center at Indianapolis
International Airport. The Ground Transportation Center is located near the
entrance to the ground floor access road, on the level of baggage claim.
Follow the signs to the Center, which has a comfortable waiting room and rest
rooms.
Bloomington Shuttle: 812-332-6004
Classic Touch Limousine: 812-339-7269
Hoosier Alternative Limousine: 317-241-2311
Personal Touch Limousine: 812-332-5466
Automobile rental is available at the Indianapolis International Airport from
a number of rental agencies. Call for current rates and to make your
reservations. International visitors can make rental car reservations through
their local representatives of these firms.
Alamo Rent-A-Car: 800-327-9633
AVIS: 800-831-2847
Budget: 800-527-0700
National: 800-227-7368
Some visitors may choose to rent a car and drive from Chicago or Detroit.
Driving time is approximately 5 hours to Bloomington on interstate divided
highways. From Indianapolis, take I-465 (a 'ring road' that circles
Indianapolis) to Indiana State Highway 37 South. 37 goes directly to
Bloomington. Exit on the old 37 (first Bloomington exit) and follow it to
Walnut Street (where the Hampton Inn is located, 2100 N. Walnut St.) or into
Bloomington where turning left onto East 7th Street will bring you to the IU
campus and the Indiana Memorial Union.
Finally, Bloomington is currently served by an airline shuttle from Chicago
O'Hare International Airport. Service is provided by Great Lakes Airlines,
Ltd. using Beechcraft 1900 airliners. Call 800-554-5111 for current pricing
and schedules. Outside the US send a FAX with flight arrival and departure
data into/out of Chicago O'Hare to 612-767-7001, ATTN: Vicki. Your shuttle
flight information and ticket pricing will be faxed back in return.
Bloomington's airport is a small regional airport, so you should also make
arrangements from one of the limousine services to be picked up on arrival and
taken to your hotel. Car rental is not available at the Bloomington airport.
==============================================================================
==============================================================================
SYMPOSIUM REGISTRATION FORM
---------------------------
NAME: (Last).......................................................
(FIrst)......................................................
IEEE MEMBER NUMBER:................................................
AFFILIATION:.......................................................
ADDRESS:...........................................................
...........................................................
CITY:..............................................................
STATE/PROVINCE:....................................................
COUNTRY:...........................................................
POSTAL CODE:.......................................................
DAYTIME TELEPHONE W/COUNTRY CODE...................................
EMAIL ADDRESS:.....................................................
SPECIAL NEEDS (Please describe access, dietary requirements below):
...................................................................
...................................................................
...................................................................
...................................................................
MAILING LIST STATEMENT:
(...) Do NOT include my mailing address on non-IEEE society mailing lists.
(...) Do NOT include my mailing address on meeting attendee lists.
PLEASE RSVP FOR POST-BINARY ULSI WORKSHOP (no charge for attendance)
No, I cannot attend. (...)
Yes, I will attend. (...)
PAYMENT INFORMATION
-------------------
SYMPOSIUM REGISTRATION
IEEE Member Non-Member Student (w/proceedings)
Early $250 US (...) $300 US (...) $30 US (...)
By May 1
Late/On-Site $275 US (...) $350 US (...) $50 US (...)
After May 1
PLEASE RSVP FOR BANQUET
No, I cannot attend. (...)
Yes, I will attend and bring (.....) guests. We choose the following
entree(s):
London Broil (beef) (...)
Chicken California (...)
Salmon Filet (...)
--------------------------
Total entrees (...) x $20 = Banquet total (.......)
TOTAL PAYMENT ENCLOSED
Symposium Registration .........
Banquet total .........
----------------------------------
Total .........
METHOD OF PAYMENT
By credit card
--------------
Please fill out the following information and return it and the filled-in form
via email to: iuconfs@indiana.edu
via fax to: 812-855-8077
or call : 800-933-9330
Please charge my VISA (...) Mastercard (...)
Account number:..................................
Expiration date:.................................
Authorization Signature:.........................
By check or money order
-----------------------
Please make checks or money orders out to: Indiana University, 128-95
Payment must be made in US funds on a bank doing business in the US.
Return the filled-in form with payment to:
Indiana University Conference Bureau
Indiana Memorial Union, Room 671
Indiana University
Bloomington, Indiana 47405-3201
USA
==============================================================================
==============================================================================
INDIANA MEMORIAL UNION RESERVATION FORM (Rooms held through May 8)
-------------------------------------------------------------------
NAME: (Last).......................................................
(FIrst)......................................................
IEEE MEMBER NUMBER:................................................
AFFILIATION:.......................................................
ADDRESS:...........................................................
...........................................................
CITY:..............................................................
STATE/PROVINCE:....................................................
COUNTRY:...........................................................
POSTAL CODE:.......................................................
DAYTIME TELEPHONE W/COUNTRY CODE...................................
SPECIAL NEEDS (Please describe access, dietary requirements below):
...................................................................
...................................................................
...................................................................
...................................................................
MAILING LIST STATEMENT:
(...) Do NOT include my mailing address on non-IEEE society mailing lists.
(...) Do NOT include my mailing address on meeting attendee lists.
PAYMENT INFORMATION
-------------------
One person Two people
Single $60 US (...) $68 US (...)
Double $68 US (...) $76 US (...)
Twin Double $71 US (...) $79 US (...)
TOTAL PAYMENT ENCLOSED
Total .........
METHOD OF PAYMENT
By credit card
--------------
Please fill out the following information and return it and the filled-in form
via fax to: 812-855-3426
or call : 800-209-8145 or
812-856-6381
Please charge my VISA (...) Mastercard (...)
Account number:..................................
Expiration date:.................................
Authorization Signature:.........................
By check or money order
-----------------------
Please make checks or money orders out to: Indiana Memorial Union
Payment must be made in US funds on a bank doing business in the US.
Return the filled-in form with payment to:
Indiana Memorial Union
900 East 7th Street
Bloomington, Indiana 47405
USA
For a full refund, cancellation must be made before 6pm on the scheduled date
of arrival. Check-in time is 4pm. Check-out time is 1pm.
==============================================================================
==============================================================================
HAMPTON INN RESERVATION FORM (Rooms held through May 8)
--------------------------------------------------------
NAME: (Last).......................................................
(FIrst)......................................................
IEEE MEMBER NUMBER:................................................
AFFILIATION:.......................................................
ADDRESS:...........................................................
...........................................................
CITY:..............................................................
STATE/PROVINCE:....................................................
COUNTRY:...........................................................
POSTAL CODE:.......................................................
DAYTIME TELEPHONE W/COUNTRY CODE...................................
SPECIAL NEEDS (Please describe access, dietary requirements below):
...................................................................
...................................................................
...................................................................
...................................................................
MAILING LIST STATEMENT:
(...) Do NOT include my mailing address on non-IEEE society mailing lists.
(...) Do NOT include my mailing address on meeting attendee lists.
PAYMENT INFORMATION
-------------------
1-4 people (flat rate)
Double $52 US (...)
TOTAL PAYMENT ENCLOSED
Total .........
METHOD OF PAYMENT
By credit card
--------------
Please fill out the following information and return it and the filled-in form
via fax to: 812-334-8433
or call : 812-334-2100
Please charge my: VISA (...) Mastercard (...)
American Express (...) Diners Club (...)
Account number:..................................
Expiration date:.................................
Authorization Signature:.........................
By check or money order
-----------------------
Please make checks or money orders out to: Hampton Inn
Payment must be made in US funds on a bank doing business in the US.
Return the filled-in form with payment to:
Hampton Inn
2100 North Walnut Street
Bloomington, Indiana 47404
USA
For a full refund, cancellation must be made before 6pm on the scheduled date
of arrival. Check-in time is 2pm. Check-out time is 12 noon.
==============================================================================
==============================================================================
------------------------------