IEEE Computer Society Open Conference Statement & IEEE Event Conduct and Safety Statement
  IEEE Privacy Policy


ISMVL 2024
IEEE International Symposium
on Multiple-Valued Logic
     

Venue

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 Kotlářská 2, 611 37 Brno-střed, close to the tram/bus stop ‘Konečného náměstí’ and the bus stop ‘Sušilova’.

Final Programme

  • 27 May:   ULSI Workshop
  • 28 May:   Keynote I, Sessions 1–2, Excursion, and Banquet
  • 29 May:   Keynote II, Sessions 3–5
  • 30 May:   Keynote III, Session 6, and Plenary Session

The programme consists of 3 keynote addresses and 11 regular sessions.

  • Each keynote address: 60 min including Q&A
    in lecture hall ‘Aula’ (building 12)
  • Each contributed talk: 20 min presentation & 5 min Q&A
    Sessions xA in lecture hall ‘Aula’ (building 12)
    Sessions xB in lecture hall ‘M2’ (building 8, Department of Mathematics and Statistics)
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)



Papers in Sessions

[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


Campus plan with building numbers


Building 12 (Aula, 1st floor):
    Registration, Opening, Keynote Addresses, Sessions 1A to 6A and 3, Plenary Session & Closing

Building 8 (Halls M1, M2, M3; Boardroom 08-02015):
    Coffee Breaks (M3), Lunch (get: M3, eat: M1/M2), Symposium & Executive Committee Meeting (M2), Sessions 1B to 6B (M2), ULSI WS (room 08-02015, 2nd floor)