CAI 2017: 7th International Conference on Algebraic Informatics
VeranstaltungsortElite City Resort
24100 Kalamata, Greece
CAI 2017 List of talks by Track
Track 1: Automata Theory and Logic
Track 1: Invited Speaker
Heiko Vogler (TU Dresden, Germany)
Parsing of Natural Languages
Track 1: contributed talks
- Jean-Éric Pin and Xaro Soler-Escrivà
Languages and formations generated by D_4 and Q_8
- Ondrej Klima and Libor Polak
Syntactic structures of regular languages
- Pascal Caron, Jean-Gabriel Luque, Bruno Patrou
Improving witnesses for state complexity of catenation combined with boolean operations
- Stefan Stanimirovic, Miroslav Ciric, J. Ignjatovic
An improvement of the determinization of fuzzy finite automata via factorization of fuzzy states
Track 2: Cryptography and Coding Theory
Track 2: Invited Speaker
Claude Carlet (Universite Paris 8, France)
Boolean functions with constrained inputs and the cryptosystem FLIP
Track 2: contributed talks
- A topological approach to network coding
Cristina Martinez and Alberto Besana
- Pairing-Friendly Elliptic Curves Resistant to TNFS Attacks
Georgios Fotiadis and Elisavet Konstantinou
- Collaborative Multi-Authority Key-Policy Attribute-Based Encryption for Shorter Keys and Parameters
Riccardo Longo, Chiara Marcolla and Massimiliano Sala
- Approximation of Differential Equations of Chaotic Attractors: Numerical Method as Encryption Key Field
Hana Ali-Pacha, Naima Hadj-Said and Adda Ali-Pacha
- Conditional Blind Signatures
Alexandros Zacharakis, Panagiotis Grontas and Aris Pagourtzis
- Hash Function Design for Cloud Storage Data Auditing
Nikolaos Doukas, Oleksandr P. Markovskyi, Nikolaos G. Bardis
- Method for Accelerated Zero-Knowledge Identification of Remote Users based on Standard Block Ciphers
Nikolaos G. Bardis, Oleksandr P. Markovskyi, Nikolaos Doukas
- Determining Whether a Given Block Cipher is a Permutation of Another Given Block Cipher a Problem in Intellectual Property
Gregory V. Bard
Track 3: Computer Algebra
Track 3: Invited Speaker
Michael Wibmer (Dept. of Mathematics, Univ. of Pennsylvania)
"Computing difference algebraic relations among solutions of linear differential equations"
Track 3: contributed talks
- Ioannis Z. Emiris, Konstantinos Gavriil, Christos Konaxis
"Interpolation of syzygies for implicit matrix representation"
- Christoph Fuerst, Guenter Landsmann
"Reduction in free modules"
- Stephen Watt
"Specialization of Symbolic Polynomials"
- Philippe T. Gimenez
"Constructing small cellular free resolutions for monomial ideals"
- Ilias Kotsireas
"Low autocorrelation binary sequences (LABS)"
- J. Horacek, Martin Kreuzer, A.S. Messeng Ekossono
"A signature based border basis algorithm"
- Guenter Landsmann and Fürst
"Gröbner reduction in modules over arbitrary rings"
- G.H.E. Duchamp, Hoang Ngoc Minh, Quoc Hoan Ngo
"The algebra of Kleene stars of the plane and polylogarithms"
- Le Ngoc Long
"Computing the Dedekind different of smooth schemes and applications"
- Petroula Dospra and Dimitrios Poulakis
"Efficient algorithms for special roots of quaternion polynomials"
- Takis (Panajiotis) Sakkalis
"Quaternion polynomials: Roots and their Jacobians"
- Khanh Linh Tran
"Kähler differential algebras for 0-dimensional schemes"
Track 4: Design Theory
Track 4: Invited Speaker
Charles J. Colbourn (Arizona State University, USA)
"Computational and Recursive Constructions of Perfect Hash Families"
Track 4: contributed talks
- AG Codes, t-designs and Partition Sets
Cristina Marinez and Alberto Besana
- Covering Arrays as Set Covers
Ludwig Kampel, Bernhard Garn, and Dimitris E. Simos
- Kochen-Specker Sets and Hadamard Matrices
- Number of t-tuples in arrays from LFSRs
Daniel Panario, Brett Stevens and Georgios Tzanakis
- Disjoint q-Steiner systems in dimension 13
Michael Braun and Alfred Wassermann
- New Constant Weight Codes and Packing Numbers
- The Lovasz Local Lemma and Variable Strength Covering Arrays
Lucia Moura, Sebastian Raaphorst and Brett Steven
Track 5: Natural and Quantum Computing
Track 5: Invited Speaker
Lila Kari (University of Waterloo, Canada)
"Was Pegasus a mammal or a bird? How to measure and visualize (real or synthetic) species' relatedness"
Track 5: contributed talks
- Resistance Analysis for Quantum Hashing
Farid Ablayev, Marat Latypov, Alexander Vasiliev, and Artur Vasilov
- Branching Program Complexity of Quantum Hashing
Farid Ablayev and Marat Ablayev
- Mika Hirvensalo
Interference as a computational resource