9th International Conference on Algebraic Informatics
CAI 2022
October 27-29, 2022
Program (also available as a pdf file)
Links to slides and videos are included in each talk slot.
(all times are in CET)
|
Thursday, October 27, 2022 |
|
|
14:45 – 15:00 |
Opening |
|
|
Session chair: Manfred Droste |
|
15:00 – 16:00 |
Yuri Matiyasevich (Opening Lecture) (Slides) (talk video) On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function |
|
16:00 - 16:30 |
Break |
|
|
Session chair: Yuri Matiyasevich |
|
16:30 - 17:30 |
Panos Pardalos (Invited Lecture) (Slides) (talk video) Cliques, Quasi Cliques, and Clique Partitions in Graphs |
|
17:30 - 18:00 |
Lila Kari and Kalpana Mahalingam (Slides) Watson-Crick Powers of a Word |
|
18:00 - 18:30 |
Manuel Kauers and Jakob Moosbauer (Slides) (talk video) A Normal Form for Matrix Multiplication Schemes |
|
|
|
|
Friday, October 28, 2022 |
|
|
|
Session chair: Mikhail Volkov |
|
09:00 – 10:00 |
Jean-Éric Pin (Invited Lecture) (Slides) (talk video) Shuffle Product of Regular Languages: Results and Open Problems |
|
10:00 - 10:30 |
Ivana Micić, Zorana Jančić, and Stefan Stanimirović (Slides) (talk video) Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations |
|
10:30 - 11:00 |
Break |
|
|
Session chair: Jean-Éric Pin |
|
11:00 - 12:00 |
Manfred Droste (Invited Lecture) (Slides) (talk video) Weighted Automata over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image |
|
12:00 - 12:30 |
Peter Kostolányi (Slides) Bideterministic Weighted Automata |
|
12:30 - 14:30 |
Lunch Break |
|
|
Session chair: George Rahonis |
|
14:30 - 15:00 |
Fan Feng and Andreas Maletti (Slides) Weighted Two-Way Transducers |
|
15:00 - 15:30 |
Sebastian Maneth, Helmut Seidl and Martin Vu (Slides) (talk video) How to decide Functionality of Compositions of Top-Down Tree Transducers |
|
15:30 - 16:00 |
Christina Chrysovalanti Fountoukidou and Maria Pittou (Slides) (talk video) A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures |
|
16:00 - 16:30 |
Break |
|
|
Session chair: Panos Pardalos |
|
16:30 - 17:30 |
Moshe Y. Vardi (Invited Lecture) (Slides) (talk video) Constraints, Graphs, Algebra, Logic, and Complexity |
|
17:30 - 18:00 |
Leonidas Efstathiadis (Slides) (talk video) Weighted Propositional Configuration Logic over De Morgan Algebras |
|
|
|
|
Saturday, October 29, 2022 |
|
|
|
Session chair: Dimitrios Poulakis |
|
09:00 – 10:00 |
Robert Rolland (Invited Lecture) (Slides) (talk video) Chaining Multiplications in Finite Fields with Chudnovsky-type Algorithms and Tensor Rank of the k-multiplication |
|
10:00 - 10:30 |
Virgile Dossou-Yovo, Abderrahmane Nitaj and Alain Togbé (Slides) Finding Points on Elliptic Curves with Coppersmith's Method |
|
10:30 - 11:00 |
Break |
|
|
Session chair: Robert Rolland |
|
11:00 - 12:00 |
Paul Spirakis (Invited Lecture) (Slides) (talk video) Some Algorithmic Problems on Temporal Graphs |
|
12:00 - 12:30 |
Jean Néraud (Slides) (talk video) When Variable-Length Codes Meet the Field of Error Detection |
|
12:30 - 14:30 |
Lunch Break |
|
|
Session chair: Paul Spirakis |
|
14:30 - 15:00 |
Valentin Bakoev (Slides) (talk video) Ordering the Boolean Cube Vectors by their Weights and with Minimal Change |
|
15:00 - 15:30 |
Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou and Giannis Vrettos (Slides) (talk video) Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity |
|
15:30 |
Closing remarks |
