The meeting will take place on the historical campus of the Faculty of
Science of Masaryk University, Department of Mathematics and Statistics
(Ústav matematiky a statistiky), Brno (buildings 8 and 12).
It is located at
,
close to the tram/bus stop ‘Konečného náměstí’
and the bus stop ‘Sušilova’.
|
Monday, 27 May 2024 |
| 14:00–14:30 |
ULSIWS/ISMVL Registration (room 08-02015, building 8, 2nd floor) |
| 14:30–17:00 |
Workshop on Post-Binary ULSI Systems
(room 08-02015, building 8)
|
| 17:00–20:00 |
Welcome/Registration (room 08-02015, building 8, 2nd floor) |
| |
|
Tuesday, 28 May 2024 |
| 8:30–8:45 |
ISMVL Registration (Aula, building 12, 1st floor) |
| 8:45–9:00 |
Opening (Aula, building 12) |
| 9:00–10:00 |
[Keynote Address I]
Chair: R. Stanković (Aula, building 12) |
|
Prof. Claudio Moraga: 54 Years of ISMVL — What did I learn? |
| 10:00–10:20 |
Coffee Break (M3, building 8) |
| 10:20–11:35 |
[Session 1A]
Chair: J. Paseka
Clones |
[Session 1B]
Chair: Na. Homma
Hardware |
| 11:35–11:45 |
Short Break |
| 11:45–12:35 |
[Session 2A]
Chair: Shi. Nagayama
Spectral Methods |
[Session 2B]
Chair: Ya. Yuminaka
Neural Networks |
| 12:35–12:45 |
Short Break |
| 12:45–18:0ε |
Excursion (with Lunch on the bus (Lednice Castle trip)/in M2, building 8 (guided city tour); both starting from campus) |
| 18:30–19:00 |
Transfer (Tram 4) from Hotel Continental to Brno Observatory and Planetarium |
| 19:00–21:30 |
Banquet (Brno Observatory and Planetarium) |
| |
|
Wednesday, 29 May 2024 |
| 9:00–10:00 |
[Keynote Address II]
Chair: K. Emir (Aula, building 12) |
|
Prof. Petr Cintula: General Algebraic Study of Many-Valued Logics |
| 10:00–10:30 |
Coffee Break (M3, building 8) |
| 10:30–11:45 |
[Session 3]
Chair: C. Moraga
Logic Design and Function Classification |
|
| 12:00–13:30 |
Lunch (M1, building 8)
(Symposium & Executive
Committee Meeting
11:50–12:30 (M2, building 8)) |
| 13:30–14:45 |
[Session 4A]
Chair: Ha. Machida
Algebra and Logic I |
[Session 4B]
Chair: K. Smith
Quantum I |
| 14:45–15:15 |
Coffee Break (M3, building 8) |
| 15:15–16:05 |
[Session 5A]
Chair: T. Ferguson
Algebra and Logic II |
[Session 5B]
Chair: Yo. Iijima
Quantum II |
| |
|
Thursday, 30 May 2024 |
| 9:00–10:00 |
[Keynote Address III]
Chair: E. Younis (Aula, building 12) |
|
Prof. Kaitlin Smith: The Role of Software in Quantum Computing Systems
|
| 10:00–10:30 |
Coffee Break (M3, building 8) |
| 10:30–12:10 |
[Session 6A]
Chair: J. Pantović
Satisfiability, Logic Programming and Verification
|
[Session 6B]
Chair: M. Lukac
Machine Learning and Applications
|
| 12:15–13:00 |
Plenary Session
& Closing (Aula, building 12) |
| 13:00– |
Lunch (M1, building 8) |
[Session 1A]
Chair: Jan Paseka
Clones
(Aula, building 12) |
Orderly Majority Functions with their Relation to Minimal Clones
Hajime Machida |
Weak Bases for All Maximal Clones
Mike Behrisch |
Relational Characterization of Multilevel Threshold Functions
Andrea Đurđević and Jovanka Pantović |
| |
[Session 1B]
Chair: Naofumi Homma
Hardware (M2, building 8) |
Equalization for Compensation of Intersymbol Relationship of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping
Yosuke Iijima, Atsunori Okada, and Yasushi Yuminaka |
Specialized Waveform Equalization Techniques for Multi-Valued Data Transmission
Yasushi Yuminaka, Hayate Hasegawa, Nagito Ishida, and Yosuke Iijima |
Efficient Ternary Approximate Multiplier with Balanced Encoding Scheme and Optimized 4-2 Compressor
Wanbo Hu, Wanting Wen, Ziye Li, Guangchao Zhao, and Mingqiang Huang |
| |
[Session 2A]
Chair: Shinobu Nagayama
Spectral Methods (Aula, building 12) |
A Study of the Haar Spectra of Ternary Bent Functions
Radomir Stanković, Milena Stanković, Claudio Moraga, and Jaakko Astola |
Increasing Degree of Ternary Bent Functions
Milena Stanković, Radomir Stanković, Claudio Moraga, and Jaakko Astola |
| |
[Session 2B]
Chair: Yasushi Yuminaka
Neural Networks (M2, building 8) |
Error-Tolerant Quantized Neural Network Based on Non-Weighted Arithmetic
Masanori Natsui, Ken Asano, and Takahiro Hanyu |
Signal Processing with Delta-Sigma Modulated Bitstreams for Artificial Neurons
Akihisa Koyama, Takao Waho, and Hitoshi Hayashi |
| |
[Session 3]
Chair: Claudio Moraga
Logic Design and Function Classification (Aula, building 12) |
Approximate Synthesis for Classification Functions
Tsutomu Sasao |
A Proposal of Equivalence Classes in Maximally Asymmetric Functions and Their Application to Benchmark Generation
Rie Kometani, Shinobu Nagayama, Martin Lukac, Masato Inagi, and Shin'Ichi Wakabayash |
Ternary Function Classification Using Machine Learning
Martin Lukac, Krzysztof Podlaski, Shinobu Nagayama, and Michitaka Kameyama |
| |
[Session 4A]
Chair: Hajime Machida
Algebra and Logic I (Aula, building 12) |
An Epistemic Logic Without K/B Operators
Yang Song and Satoshi Tojo |
Counterexample Sufficiency in Modifications to Strict-Tolerant Logics
Jitka Kadlečiková and Thomas Ferguson |
Relevance Implication and Orthomodular Posets
Kadir Emir and Jan Paseka |
| |
[Session 4B]
Chair: Kaitlin Smith
Quantum I (M2, building 8) |
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
Jagatheesan Kunasaikaran, Kevin Mato, and Robert Wille |
QSweep: Pulse-Optimal Single-Qudit Synthesis
Ed Younis and Noah Goss |
Qudit non-Clifford Interleaved Benchmarking
David Amaro-Alcalá, Barry Cyril Sanders, and Hubert de Guise |
| |
[Session 5A]
Chair: Thomas Ferguson
Algebra and Logic II (Aula, building 12) |
Equivalence between Varieties of Post Algebras with a Distinguished Automorphism and pth Root Rings
Blanca Fernanda López Martinolich |
L-fuzzy Relations on Residuated Lattices
Michiro Kondo |
| |
[Session 5B]
Chair: Yosuke Iijima
Quantum II (M2, building 8) |
An Improved Lower Bound on the Gate Count of Toffoli-Based Reversible Logic Circuits
Takashi Hirayama, Ryo Endo, and Katsuhisa Yamanaka |
QuCode: A Novel Conceptual Description of Quantum Algorithms
Hrithik Ketineni and Marek Perkowski |
| |
[Session 6A]
Chair: Jovanka Pantović
Satisfiability, Logic Programming and Verification (Aula, building 12) |
On NP-Complete Search Problems on Finite Algebras
Bernardo Rossi and Erhard Aichinger |
A Tableau Calculus for Non-Clausal Regular MaxSAT
Jordi Coll, Chu-Min Li, Felip Manyà and Elifnaz Yangin |
Efficient Computation of Logic Derivatives Using Multi-Valued Decision Diagrams
Michal Mrena and Miroslav Kvassay |
Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures
Mohamed Nadeem and Rolf Drechsler |
| |
[Session 6B]
Chair: Martin Lukac
Machine Learning and Applications (M2, building 8) |
A Weight Ternary Ensemble Vision Transformer Toward Memory Size Reduction
Ryota Kayanoma and Hiroki Nakahara |
A Photonic Physically Unclonable Function's Resilience to Multiple-Valued Machine Learning Attacks
Jessie M. Henderson, Elena R. Henderson, Clayton A. Harper, Hiva Shahoei, William V. Oxford, Eric C. Larson, Duncan L. MacFarlane, and Mitchell A. Thornton |
Random Forest and K-Means Clustering Algorithms to Classify 18F-Florbetapir Brain PET
Alexa Bootherstone, Louis Lee, Liam Cristant, Phillip Kuo, Carlos Uribe, Sandra Black, Katherine Zukotynski, and Vincent Gaudet |
Incorporating User Preferences: Mathematical Approach to Recommend Tourist Spots for Foreigners Visiting Himeji City
Ahamad Izzat Hamizan Bin Abu Talib, Teijiro Isokawa, and Naotake Kamiura |
Registration, Opening, Keynote Addresses, Sessions 1A to 6A and 3,
Plenary Session & Closing
Coffee Breaks (M3), Lunch (get: M3, eat: M1/M2), Symposium & Executive Committee Meeting (M2), Sessions 1B to 6B (M2),
ULSI WS (room 08-02015, 2
