Keynote Speakers & Abstract

1. Prof. Benoit Larose
   (LACIM, University of Quebec in Montreal / Champlain Regional College, Canada)
   
   
   Title: An Invitation to Surjective Polymorphisms
   
   Abstract:
   Polymorphisms of relational structures have come to play a critical role in the study of the algorithmic complexity of constraint satisfaction problems: the so-called algebraic approach is at the core of the independent proofs of the CSP dichotomy conjecture by Bulatov and Zhuk in 2017, and is central in the analysis of several natural variants of the CSP. We present a brief overview of these methods and their impact, followed by some recent results on surjective polymorphisms, which are related to the quantified CSP: with the use of topological and combinatorial tools, we study S?upecki digraphs, i.e. those digraphs that admit only essentially unary surjective polymorphisms.



2. Prof. Zeljko Zilic
   (McGill University, Canada)
   
   
   Title: Contribution of K.C. Smith in Applications of Multiple-Valued Logic
   
   Abstract:
   Among numerous contributions of K. C. Smith within multiple-valued logic, there is an interesting streak of developing applications of multiple-valued logic to practical other areas of engineering. In this paper, we focus on the perennially important switch-level modeling and simulation of electronic circuits that allow to fully explore the benefits on MOS transistors in bidirectional transport modes, as well as to simulate large circuits faster. Seminal works of Smith and Ma are outlined from a new perspective, showing how other interests of Prof. Smith outside MVL neatly fit in his research repertoire.



3. Prof. Jacob Biamonte
   (École de technologie supérieure - ÉTS Montréal, Canada)
   
   
   Title: TBD
   
   Abstract:
   TBD