Topics of Interest:
Algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., decision problems, efficient algorithms for automata and languages, relations to complexity theory and logic.

NEW!!!!
Contents of the Proceedings

Important Dates:

Call for Participation:

Submissions:

Registration:

The registration fees 200€ or 130€ for students, (early bird registration, until July 31, 170€ or 100€ respectively) including the proceedings, the conference dinner and the conference excursion should be send to the account:
Symeon Bozapalidis IBAN: GR45 0172 2020 0052 0200 2156 547.
                                Swift Code: PIRBGRAA

Scientific Program (.pdf file)

Conference Site:

The Conference on Algebraic Informatics will be held at the building of the Municipal Library of Thessaloniki, at 27 Ethnikis Aminis str. & Alexandrou Svolou str. (photo, map).

University GuestHouse:

The Universtity GuestHouse is located at: 29 Megalou Alexandrou str. (further information .pdf file)

Conference address:

Sponsors

• Research Committee of Aristotle University of Thessaloniki    (In Greek)

• Ministry of Macedonia - Thrace    (In Greek)

• Association of Authorities

• Municipality of Thessaloniki

Contents

• On skew formal power series
  Werner Kuich

• Automata on Patterns and Graphs
  Symeon Bozapalidis and Antonios Kalampakas

• An Algebraic Characterization of Temporal Logics on Finite Trees, Part 1
  Z. Esik

• An Algebraic Characterization of Temporal Logics on Finite Trees, Part 2
  Z. Esik

• An Algebraic Characterization of Temporal Logics on Finite Trees, Part 3
  Z. Esik

• An Approach to the Embedding Problem for Codes Defined by Binary Relations
  Do Long Van and Kieu Van Hung

• Real Functions computed by Parametric Weighted Finite Automata
  German Tischler

• Weighted automata and weighted logics
  Manfred Droste and Paul Gastin

• Recognizable and Rational Picture Series
  Ina Maurer

• Cut Hierarchies for Restarting Automata and Marcus t-Contextual Grammars
  T. Jurdzinski, F. Mraz, F. Otto, and M. Platek

• Recognizable and Rational Formal Power Series with General Discounting
  Manfred Droste, Heiko Vogler

• Monotone Operations and Monotone Groups
  Costas Busch, Marios Mavronicolas, and Paul Spirakis

• Is Quantum Randomness Algorithmic Random? A Preliminary Attack
  Cristian S. Calude, Michael J. Dinneen

• Varieties of fuzzy languages
  Tatjana Petkovic

• Insertion and Deletion for Involution Codes
  Lila Kari and Kalpana Mahalingam

• Descriptional and Computational Aspects of Generating and Accepting Hybrid Networks of Evolutionary Processors
  Carlos Martın-Vide, Victor Mitrana

• The independence polynomial of a graph - a survey
  Vadim E. Levit and Eugen Mandrescu

• Prefix Picture Sets and Picture Codes
  Archontia Grammatikopoulou

• Syntactic ∞-Tree Languages
  Symeon Bozapalidis

• Recent Results on Pebble Macro Tree Transducers
  Zoltan Fulop, Lorand Muzamely

• The H_v-groups and Marty-Moufang Hypergroups
  R. Bayon, N. Lygeros

• Open problems and exercises on words and languages
  Juhani Karhumaki

Please follow the link, in order to find information on Accommodation

Further information:

• Weather Site
  
  
• City Information
   
• City Map
   
• Aristotle University of Thessaloniki
  

UPDATED: May 23, 2006