Program Schedule

Click Here for a Downloadable PDF of the Program Schedule

Time Zone Explanation and Conversion

(CDT) - Central Daylight Time (Dallas, TX)
(CEST) - Central European Summer Time
(JST) - Japan Standard Time

Local Time Zone Conversion

For conversion to other timezones, click here.

Wednesday, May 18th 2022 (CDT)

CDT	CEST	JST	Event/Paper #	Details
7:00	14:00	21:00	ULSI Workshop	(see, http://www.ngc.riec.tohoku.ac.jp/ULSIWS2022/)
15:00	22:00	5:00 (Thursday)	Opening and Welcome	Mitchell Thornton, ISMVL 2022 General Chair Kaitlin Smith, ISMVL 2022 Program Chair
15:15	22:15	5:15 (Thursday)	Invited Speaker 1	Alexey Galda Ternary Quantum Logic Via Pulse-level Control: Challenges and Applications (Session Char: Kaitlin Smith)
16:15	23:15	6:15 (Thursday)	Break
16:20	23:20	6:20 (Thursday)	Session 1	Circuits (Session Chair: Gopal Sundararajan)
			6	Aviraj Sinha and Mitchell Thornton Quantum Multiple Valued Kernel Circuits
			32	Philipp Niemann and Rolf Drechsler Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic
			34	Jongbeom Kim, Yeji Kim, Hyundong Lee, Jihyeong Yun, Hyeseung Jang, Huijeen Jin, Bongjun Kim, Taigon Song and Juhee Park A Convenient Implementation of the Ternary Logic: Using Anti-Ambipolar Transistors and PMOS Based on Printed Carbon Nanotubes
			35	Hyundong Lee, Hyeseung Jang, Jihyeong Yun, Huijeen Jin, Jongbeom Kim, Yeji Kim and Taigon Song Ternary Competitive to Binary: A Novel Implementation of Ternary Logic Using Depletion-mode and Conventional MOSFETs
17:20	0:20 (Thursday)	7:20 (Thursday)	Break
17:25	0:25 (Thursday)	7:25 (Thursday)	Session 2	Quantum (Session Chair: Shinobu Nagayama)
			8	Abdirahman Alasow and Marek Perkowski Quantum Algorithm for Maximum Satisfiability
			10	Kamalika Datta, Abhoy Kole, Indranil Sengupta and Rolf Drechsler Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture
			44	Andrew Litteken, Jonathan M. Baker and Frederick T. Chong Communication Trade Offs in Intermediate Qudit Circuits

Thursday, May 19th 2022 (CDT)

CDT	CEST	JST	Event/Paper #	Details
8:30	15:30	22:30	Invited Speaker 2	Michael Pinsker Current Challenges in Infinite-domain Constraint Satisfaction Problems (Session Char: Mitchell Thornton)
9:30	16:30	23:30	Session 3	Bent Functions and Clones (Session Chair: Jon Butler)
			24	Radomir Stankovic, Milena Stankovic, Claudio Moraga and Jaakko Astola Construction of Ternary Bent Functions From Ternary Linear Functions
			12	Claudio Moraga, Radomir Stankovic and Milena Stankovic On new Properties of the Maiorana-McFarland Ternary Bent Functions
			22	Hajime Machida Centralizing Monoids, Majority Operations and Slupecki Clone
			23	Mike Behrisch Weak bases for Boolean relational clones revisited
			28	Claudio Moraga, Radomir Stankovic and Milena Stankovic Bent-based Realization of a Class of Ternary Plateaued Functions
10:45	17:45	0:45 (Friday)	Break
10:50	17:50	0:50 (Friday)	Session 4	Theory 1 (Session Chair: Radomir Stankovic)
			3	Ivan Chajda, Helmut Länger and Jan Paseka Constructions of Kleene lattices
			9	Ambroise Baril, Miguel Couceiro and Victor Lagerkvist An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems
			14	Norihiro Kamide Falsification-aware Semantics for Description Logics
			17	Thomas Ferguson Non-Deterministic Many-Valued Modal Logic
			37	Andrea Karalic, Jovanka Pantovic and Hristina Suknjaja Characteristic Vectors of Reversible Functions with Threshold Components
12:05	19:05	2:05 (Friday)	Break
12:10	19:10	2:10 (Friday)	Session 5	Theory 2 (Session Chair: Jovanka Pantovic)
			15	Norihiro Kamide Falsification-aware Twist Structures in Description Logic
			20	Jon Butler and Tsutomu Sasao On the Sensitivity of Binary and Multiple-Valued Symmetric Functions
			27	Damian Szmuc and Hitoshi Omori Liberating classical negation from falsity conditions
			39	Hitoshi Omori and Jonas Becker Arenhart Haack meets Herzberger and Priest
16:00	23:00	6:00 (Friday)	Symposium and TCMVL Meeting	Jovanka Pantovic, TCMVL Chair

Friday, May 20th 2022 (CDT)

CDT	CEST	JST	Event/Paper #	Details
8:30	15:30	22:30	Invited Speaker 3	Aria Nosratinia Non-binary Signaling for Multi-user Communication: Recent Results and the Road Ahead (Session Char: Duncan MacFarlane)
9:30	16:30	23:30	Break
9:35	16:35	23:35	Session 6	Synthesis (Session Chair: Marek Perkowski)
			4	Tomasz Mazurkiewicz Approximate memory-based logic synthesis of index generation functions using linear decomposition
			18	Tsutomu Sasao LUT Cascade Realization of Threshold Functions and Its Application to Implementation of Ternary Weight Neural Networks
			21	Kennichi Nakamura and Hiroki Nakahara Optimizations of Ternary Generative Adversarial Networks
			29	Shinobu Nagayama, Tsutomu Sasao and Jon Butler On Decision Diagrams for Maximally Asymmetric Functions
10:35	17:35	0:35 (Saturday)	Break
10:40	17:40	0:40 (Saturday)	Session 7	Applications (Session Chair: Philipp Niemann)
			11	Yosuke Iijima, Yasushi Yuminaka and Kazuharu Nakajima Two-Dimensional Symbol Mapping for Evaluating Multi-Valued Data Transmission Quality
			19	Tsutomu Sasao A Method To Generate Rules From Examples
			26	Ryota Kayanoma and Hiroki Nakahara Fast Interface with Ensemble Ternary Neural Network
			45	Micah Thornton Phase & Power in Genomic Harmonic Analysis
16:00	23:00	6:00 (Saturday)	Plenary Meeting and Closing	Jovanka Pantovic, TCMVL Chair