|
Wednesday, June 4, 2025 (EDT) |
| 9:00-12:00 |
Reed-Muller Workshop
|
| 12:00-13:20 |
Lunch |
| 13:20-16:45 |
Workshop on Post-Binary ULSI Systems
|
| 17:00-19:00 |
Welcome Reception
and Poster Presentations from RM/ULSI
|
| |
|
Thursday, June 5, 2025 (EDT) |
| 8:45-9:00 |
Opening |
| 9:00-10:00 |
[Keynote Address I]
|
TBD
Prof. Benoit Larose
(University of Quebec in Montreal, Canada) |
| 10:00-10:20 |
Coffee Break |
| 10:20-12:00 |
[Session 1S]
Special Session on Spin-Edge
Computing I
|
[Session 1B]
Non Classical Logics
|
| 12:00-13:00 |
Lunch (Symposium & Executive
Committee Meeting) |
| 13:00-13:35 |
[Keynote Address II]
|
Contribution of K.C. Smith in Applications of MVL
Prof. Zeljko Zilic
(McGill University, Canada) |
| 13:35-15:05 |
[Session 2]
KC Smith Special Session I
|
| 15:05-15:20 |
Coffee Break |
| 15:20-17:00 |
[Session 3S]
Special Session on Spin-Edge
Computing II
|
[Session 3B]
Emerging Applications
|
| 17:00-18:00 |
Free Time |
| 18:00-21:00 |
Banquet |
| |
|
Friday, June 6, 2025 (EDT) |
| 9:00-10:00 |
[Keynote Address III]
|
TBD
Prof. Jacob Biamonte
(University of Quebec in Montreal, Canada) |
| 10:00-10:20 |
Coffee Break |
| 10:20-12:00 |
[Session 4A]
Quantum Computing
|
[Session 4B]
Security
|
| 12:00-13:00 |
Lunch |
| 13:00-15:05 |
[Session 5A]
Logic Design
|
[Session 5B]
Algebra, Clone, & Logic
|
| 15:05-15:20 |
Coffee Break |
| 15:20-16:30 |
[Session 6]
KC Smith Special Session II
|
| 16:30-17:00 |
Plenary Session
& Closing |
| |
[Session 1S]
Special Session on Spin-Edge Computing I |
Implementation of an MRAM-Based Edge AI Hardware with a Fine-Grained Power-Gating Technique
Tomohiro Yoneda, Yasuhiro Takako, Akira Tamakoshi, Masanori Natsui, Daisuke Suzuki and Takahiro Hanyu
|
An FPGA-Based Rapid-Prototyping Platform for Spintronics-Based Edge-Computing Hardware
Daisuke Suzuki, Tomohiro Yoneda, Yasuhiro Takako, Akira Tamakoshi, Masanori Natsui and Takahiro Hanyu
|
Probabilistic Computing Utilizing Stochastic Spintronic Devices
Shunsuke Fukami
|
Analog CMOS Spiking Neural Network for Time-Series Signal Recognition
Shigeo Sato, Satoshi Moriya, Masaya Ishikawa and Hideaki Yamamoto
|
| |
[Session 1B]
Non Classical Logics |
Multi-Valued Models for Intuitionistic Logic
Alexander Sakharov
|
On Many-Valued Modal Probabilistic Logics
Igor Sedlar and Ondrej Majer
|
A Predicate Variant of Two-Layered Many-Valued Probability Logic
Libor Behounek
|
A Complete Tableau Calculus for Signed MaxSAT
Jordi Coll, Chu-Min Li, Felip Manya and Elifnaz Yangin
|
| |
[Session 2]
KC Smith Special Session I |
Opening to KC Smith Special Session (15-min):
Memories of K. C. Smith: Analog Computing, Multiple-Valued Logic and Machine Learning
Vincent Gaudet
|
Hardware-Compatible U-Net for Low-Dose PET Reconstruction
Eric-Khang Dao, Katherine Zukotynski, Sandra Black and Vincent Gaudet
|
Energy-Efficient Automated Seizure Detection in Wearable/Implantable BCIs: Motivations, Methods, and Example Implementation
Alireza Dabbaghian and Hossein Kassiri
|
Delta-Sigma Modulated Noise-Shaping Bitstreams for Multilayer Perceptron
Takao Waho, Akihisa Koyama and Hitoshi Hayashi
|
| |
[Session 3S]
Special Session on Spin-Edge Computing II |
Intelligent Power-Gating Technique with Quick Wake-Up/Sleep Functionality for Spintronics-Based Edge Computing Hardware
Fangcen Zhong, Masanori Natsui and Takahiro Hanyu
|
Simluation and Evaluation of Asynchronous Circuits in Extreme Edge Environments
Masashi Imai
|
Enhanced Simulated Bifurcation for MIMO Detection
Ryan Seah and Warren J. Gross
|
Generating Hamiltonians with Known Minimum Energy Based on Ground-State Spin Logic for Probabilistic-Bit-Based Simulated Annealing
Naoya Onizawa and Takahiro Hanyu
|
| |
[Session 3B]
Emerging Applications |
Binarization and Classification of RGB Images
Kamila Abdiyeva, Tagir Nukenov, Oliver Keszocze, Shinobu Nagayama and Martin Lukac
|
Multi-Modal CSNNs for Integrated Toxicity Detection Across Text, Audio, and Visual Modalities
Ismail El Sayad
|
MUSIC Spectra Using Cayley Graphs of Multiple-Valued Signals
Aviraj Sinha, Darrell Young, Eric Larson and Mitchell Thornton
|
REBEL-6: A 32-Trit Balanced Ternary Instruction Set Architecture with R2R Compiler Pipeline for C
Steven Bos, Vetle Bodahl, Ole Christian Moholth and Henning Gundersen
|
| |
[Session 4A]
Quantum Computing |
Reducing the Cost of Clifford-T Quantum Gates
Takehiro Ishioka, Martin Lukac and Shinobu Nagayama
|
Realizing 4-input Functions with the Minimum Toffoli Gate Count
Shigeru Yamashita, Takashi Horiyama, Norihito Yasuda and Tatsuya Nakao
|
A Novel Data Representation Towards Efficient FPGA-based Quantum Computer Simulation
Haruhiko Hasegawa, Masayuki Shimoda, Hiroki Nakahara and Takefumi Miyoshi
|
Modeling and Simulation of Multiple-Valued and Nonlinear Quantum Photonic Components
Joshua Ange, Mason Tuller, Jessie Henderson, Elena Henderson, Bradley Moores, Duncan MacFarlane and Mitchell Thornton
|
| |
[Session 4B]
Security |
Hybrid Fingerprinting for Effective Detection of Cloned Neural Networks
Can Aknesil, Elena Dubrova, Niklas Lindskog, Jakob Sternby and Hakan Englund
|
Decompressing Dilithium's Public Key with Fewer Signatures Using Side Channel Analysis
Ruize Wang, Joel Gartner and Elena Dubrova
|
Is Your Chip Leaking Secrets via RF Signals?
Yanning Ji, Elena Dubrova and Ruize Wang
|
Solving AES-SAT Using Side-Channel Hints: A Practical Assessment
Elena Dubrova
|
| |
[Session 5A]
Logic Design |
Representation of Rotation Symmetric Multiple-Valued Functions Using Decision Diagrams
Shinobu Nagayama, Tsutomu Sasao, Jon Butler and Martin Lukac
|
Linear Transformations for Iterative Reduction of Variables
Tsutomu Sasao
|
Normal Forms and Decompositions of Monotone Ternary Functions
Klaus Schneider and Nadine Kercher
|
Additive Decomposition of Bent Functions
Claudio Moraga, Radomir Stankovic and Milena Stankovic
|
Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design
Saeideh Nabipour, Kamalika Datta, Lennart Weingarten, Abhoy Kole and Rolf Drechsler
|
| |
[Session 5B]
Algebra, Clone, & Logic |
All Minimal Clones Generated by {0, 1}-Valued Majority Operations on a Five-Element Set
Mike Behrisch, Edith Vargas-Garcia and Andreas Wachtel
|
On $2$-Valued Majority Functions with Their Relation to Minimal Clones
Hajime Machida
|
Foulis m-Semilattices and Their Modules
Michal Botur, Jan Paseka and Milan Lekar
|
Cut Elimination and Normalization in Intermediate Connexive Logics
Norihiro Kamide
|
Normalization Theorem for Extended Intuitionistic Belnap--Dunn Logic
Norihiro Kamide
|
| |
[Session 6]
KC Smith Special Session II |
20-min Memorial Talk:
On the Contributions to Multiple-Valued Logic by Prof. Kenneth C. Smith
D. Michael Miller
|
Multi-Valued Data Transmission System Using Mild Waveform Shaping Based on Multi-Dimensional Symbol Mapping
Yosuke Iijima, Atsunori Okada and Yasushi Yuminaka
|
Visualization of the Waveform Shaping Effect of Higher-order FFEs Using Multi-valued Symbol Mapping
Yasushi Yuminaka, Ryou Andachi, Yosuke Iijima and Haohao Zhang
|
