BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1924-3266@fg-afs.gi.de
CLASS: PUBLIC
SUMMARY:7th International Conference on Algebraic Informatics
DESCRIPTION:CAI 2017 List of talks by Track\n\n\n\nTrack 1: Automata Theory
  and Logic\n\nTrack 1: Invited Speaker\n\nHeiko Vogler (TU Dresden, Germany
 )\n\nParsing of Natural Languages\n\n\n\nTrack 1: contributed talks\n\n 	Je
 an-É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 witn
 esses 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
   \n\n\n\nTrack 2: Cryptography and Coding Theory\n\nTrack 2: Invited Speak
 er\n\nClaude Carlet (Universite Paris 8, France)\n\nBoolean functions with 
 constrained inputs and the cryptosystem FLIP\n\n\n\nTrack 2: contributed ta
 lks\n\n 	A topological approach to network coding  	Cristina Martinez and A
 lberto 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  	Ri
 ccardo Longo, Chiara Marcolla and Massimiliano Sala 	Approximation of Diffe
 rential Equations of Chaotic Attractors: Numerical Method as Encryption Key
  Field  	Hana Ali-Pacha, Naima Hadj-Said and Adda Ali-Pacha 	Conditional Bl
 ind Signatures  	Alexandros Zacharakis, Panagiotis Grontas and Aris Pagourt
 zis 	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 W
 hether a Given Block Cipher is a Permutation of Another Given Block Cipher 
 a Problem in Intellectual Property  	Gregory V. Bard \n\n\n\nTrack 3: Compu
 ter Algebra\n\nTrack 3: Invited Speaker\n\nMichael Wibmer (Dept. of Mathema
 tics, Univ. of Pennsylvania)\n\n"Computing difference algebraic relations a
 mong solutions of linear differential equations"\n\n\n\nTrack 3: contribute
 d talks\n\n 	Ioannis Z. Emiris, Konstantinos Gavriil, Christos Konaxis  	"I
 nterpolation of syzygies for implicit matrix representation" 	Christoph Fue
 rst, Guenter Landsmann  	"Reduction in free modules" 	Stephen Watt  	"Speci
 alization of Symbolic Polynomials" 	Philippe T. Gimenez  	"Constructing sma
 ll cellular free resolutions for monomial ideals" 	Ilias Kotsireas  	"Low a
 utocorrelation binary sequences (LABS)" 	J. Horacek, Martin Kreuzer, A.S. M
 esseng Ekossono  	"A signature based border basis algorithm" 	Guenter Lands
 mann 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 diff
 erent of smooth schemes and applications" 	Petroula Dospra and Dimitrios Po
 ulakis  	"Efficient algorithms for special roots of quaternion polynomials"
  	Takis (Panajiotis) Sakkalis  	"Quaternion polynomials: Roots and their Ja
 cobians" 	Khanh Linh Tran  	"Kähler differential algebras for 0-dimensional
  schemes" \n\n\n\n\n\nTrack 4: Design Theory\n\nTrack 4: Invited Speaker\n\
 nCharles J. Colbourn (Arizona State University, USA)\n\n"Computational and 
 Recursive Constructions of Perfect Hash Families"\n\n\n\nTrack 4: contribut
 ed talks\n\n 	AG Codes, t-designs and Partition Sets  	Cristina Marinez and
  Alberto Besana 	Covering Arrays as Set Covers  	Ludwig Kampel, Bernhard Ga
 rn, and Dimitris E. Simos 	Kochen-Specker Sets and Hadamard Matrices  	Petr
  Lisonek 	Number of t-tuples in arrays from LFSRs  	Daniel Panario, Brett S
 tevens and Georgios Tzanakis 	Disjoint q-Steiner systems in dimension 13  	
 Michael Braun and Alfred Wassermann 	New Constant Weight Codes and Packing 
 Numbers  	Iliya Bluskov 	The Lovasz Local Lemma and Variable Strength Cover
 ing Arrays  	Lucia Moura, Sebastian Raaphorst and Brett Steven \n\n\n\nTrac
 k 5: Natural and Quantum Computing\n\nTrack 5: Invited Speaker\n\nLila Kari
  (University of Waterloo, Canada)\n\n"Was Pegasus a mammal or a bird? How t
 o measure and visualize (real or synthetic) species' relatedness"\n\n\n\nTr
 ack 5: contributed talks\n\n 	Resistance Analysis for Quantum Hashing  	Far
 id Ablayev, Marat Latypov, Alexander Vasiliev, and Artur Vasilov 	Branching
  Program Complexity of Quantum Hashing  	Farid Ablayev and Marat Ablayev 	M
 ika Hirvensalo  	Interference as a computational resource 
LOCATION:Elite City Resort
DTSTAMP:20181223T122743Z
DTSTART:20170625T080000Z
DTEND:20170628T160000Z
END:VEVENT
END:VCALENDAR