TUESDAY, MAY 23, 2000.

SMC Cascade Room SMC Browsing Lounge
08:45 - 09:00 Opening -
09:00 - 10:00 1. INVITED: Hammerstrom - Biologically Motivated Hardware - IN-1 -
10:00 - 10:15 Break
10:15 - 10:45 2A. NEURAL AND THRESHOLD NETS.
Shen/Inaba/Tanno/Ishizuka - AS-23
2B: SPECTRAL METHODS.
Thornton AM-3
10:45 - 11:15 Matumoto/Ueda/Nomato - AS-13 Falkowski/Rahardja - AS-32
11:15 - 11:45 Syuto/Shen/Tanno/Ishizuka - AS-24 Drechsler/Thornton - 044.G
11:45 - 12:15 Ngom - AM-8 Kim/Kim/Kim - AS-01
12:15 - 13:30 Lunch Break
13:30 - 14:30 3. INVITED: Zurada - Neural Nets - IN-2 -
14:30 - 14:45 Break
14:45 - 15:15 4A. DECOMPOSITION AND DATA MINING.
Jaroszewicz/Simovici - 032.A
4B. ALGEBRA I.
Miyakawa/Rosenberg - AS-22
15:15 - 15:45 Chojnacki/Jozwiak - 045.N Takagi/Nakashima - AS-07
15:45 - 16:15 Sasao - AS-09 Ciabattoni - 040.I
16:15 - 16:30 Break
16:30 - 17:00 5A. FUZZY LOGIC.
DeCock/Kerre - 041.B
5B: REED-MULLER LOGIC:
Yanushkevich/Dueck/Shmerko - AM-12
17:00 - 17:30 Strehl/Moraga/Temme - 034.G Babu/Sasao - AS-08
17:30 - 18:00 Thiele - 047.G Rahardja/Falkowski - AS-18


WEDNESDAY, MAY 24, 2000

08:30 - 9:30 6: INVITED: Stoica - Evolvable Hardware in NASA - IN-3 -
9:30 - 9:45 Break
09:45 - 10:15 7A: LOGIC AND ALGEBRA:
Brzozowski - AM-13
7B. DECISION DIAGRAMS.
Jankovic/Guenter/Drechsler - 035.G
10:15 - 10:45 Aguzzoli/Gerla - 033.I Iguchi/Sasao/Matsuura - AS-12
10:45 - 11:15 Loyer/Spyratos/Stamate - 031.F Stankovic/Stankovic/Artola/Egiazairan - 043.Y
11:15 - 11:30 Break
11:30 - 12:00 8A. CIRCUITS I.
Abd-El-Barr/Al-Mutawa - AS-30
8B. DECISION DIAGRAMS AND TEST.
Sack/Dubrova/Meinel - 046.G
12:00 - 12:30 Seong/Choi/Shin/Kim - AS-02 Schmiedle/Guenter/Drechsler - 037.G
12:30 - 13:00 Wu/Zhou - AS-19 Hata - AM-10
13:00 - 14:15 Lunch Break
14:15 - 14:45 9A. EVOLUTIONARY AND INFORMATION
THEORY APPROACHES
Luba/Yanushkevich/Opoka/Moraga/Shmerko - AS-15
9B. IMAGE AND LANGUAGE PROCESSING.
Hata - AM-9
14:45 - 15:15 Hozumi/Kakusho/Yamato - AS-10 Falkowski/Lim - AS-17
15:15 - 15:45 Yanushkevich/Popel/Cheushev/Shmerko/Stankovic - AS-11 Rine/Alnakari - AM-1
15:45 - 16:00 Break
16:00 - 17:00 10. INVITED: Orlowska - Structures with many-valued information and their relational proof theory - IN-4 -
17:00 - 18:00 PLENARY SESSION. -


THURSDAY


08:30 - 09:00 11A. CIRCUITS II.
Uemura/Baba - AS-03
11B. THEOREM-PROVING AND APPLICATIONS.
Beckert/Haenhle - 039.G
09:00 - 09:30 Byun/Lee/Park/Kim - AS-04 Ganzinger/Sofronie-Stokkermans - 042.G
09:30 - 10:00 Waho/Hattori/Honda - AS-14 Aoki/Nakazawa/Higuchi AS-20
10:00 - 10:30 Mazumder - AM-7 ---
10:30 - 10:45 Break
10:45 - 11:45 12. INVITED: Jabri. Neural Net Hardware - IN-5 -
11:45 - 12:15 PANEL DISCUSSION. -
12:15 - 13:30 Lunch Break.
13:30 - 14:30 13. INVITED: Greg Atwood, Intel - Strata Flash. Multi-valued memory - IN-6 -
14:30 - 15:00 14A. CIRCUITS III.
Olson - AM-4
14B. ALGEBRA II.
Ninomiya/Mukaidono AS-29
15:00 - 15:30 Current - AM-11 Haddad/Machida/Rosenberg - AM-5
15:30 - 16:00 Hanyu/Ike/Kameyama - AS-25 Nagata/Miller/Mukaidono AS-28
16:00 - 16:15 Break
16:15 - 17:15 15. INVITED: Yasuo Takahashi, "Silicon Single-Electron Devices and their Applications" - IN-7 -
17:15 - 17:45 16A. ARITHMETIC AND SYSTEMS.
Hanyu/Kimura/Kameyama - AS-27
16B. VERIFICATION AND POWER ESTIMATION.
Thornton/Drechsler/Guenter - 048.A
17:45 - 18:15 Yuminaka/Katoh/Sasaki/Aoki/Higuchi - AS-16 Wu/Pedram - AS-21
18:15 - 18:45 Kaeriyama/Hanyu/Kameyama - AS-26 Dubrova/Sack - 038.G
18:45 - 19:00 CLOSING REMARKS -