AFL: Automata and Formal Languages

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2015 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
AFL 2014 Automata and Formal Languages
May 27, 2014 - May 29, 2014 Szeged, Hungary Mar 14, 2014
AFL 2008 he 12th International Conference on Automata and Formal Languages
May 27, 2008 - May 30, 2008 Balatonf├╝red, Hungary Mar 7, 2008
 
 

Present CFP : 2014


*We apologize if you received this email several times.
To be removed from our mailing list, please respond to
this message with UNSUBSCRIBE in the subject line.*

Automata and Formal Languages, AFL2014
14th International Conference
Szeged, May 27--29, 2014.
http://www.inf.u-szeged.hu/afl2014

*Announcement*
The AFL series, initiated by the late Professor Istv\'an
Pe\'ak in 1980, has a long tradition. The AFL conferences
cover all aspects of automata and formal languages,
including theory and applications.

Topics of interest include (but are not limited to):
grammars, acceptors and transducers for strings, trees,
graphs, arrays, etc., algebraic theories for automata and
languages, combinatorial properties of words and languages,
formal power series, decision problems, efficient algorithms
for automata and languages, relations to complexity theory
and logic, picture description and analysis, quantum
computing, cryptography, concurrency, applications of
automata and language theory in biology, natural language
processing, and other fields.

The scientific program will consist of invited lectures
and contributed presentations selected by the international
program committee.

*Invited Speakers*
Arnaud Carayol (Marne-la-Vall\'ee)
Markus Holzer (Giessen)
Christof L\"oding (Aachen)
Sebastian Maneth (Edinburgh)

*Program Committee*
Marie-Pierre B\'eal (Marne-la-Vall\'ee)
Symeon Bozapalidis (Thessaloniki)
Erzs\'ebet Csuhaj-Varj\'u (Budapest)
J\"urgen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
P\'al D\"om\"osi (Debrecen, Ny\'\i regyh\'aza)
Frank Drewes (Umea)
Zolt\'an \'Esik (Szeged, chair)
Zolt\'an F\"ul\"op (Szeged, co-chair)
Viliam Geffert (Kosice)
Oscar H. Ibarra (Santa Barbara, CA, USA)
Masami Ito (Kyoto)
Martin Kutrib (Giessen)
Kamal Lodaya (Chennai)
Markus Lohrey (Siegen)
Andreas Maletti (Stuttgart)
Alexander Okhotin (Turku)
Friedrich Otto (Kassel)
Giovanni Pighizzini (Milan)
Libor Pol\'ak (Brno)
Antonio Restivo (Palermo)
Kai Salomaa (Kingston, ON, Canada)
Pedro V. Silva (Porto)
Gy\"orgy Vaszil (Debrecen)
Pascal Weil (Bordeaux)
Hsu-Chun Yen (Taipei)

*Important dates*
Paper submission deadline: *March 14, 2014.*
Author notification: *April 22, 2014.*
Camera-ready deadline: *May 5, 2014.*
Conference: *May 27--29, 2014.*

*Submission guidelines*
Submissions to AFL2014 must not exceed 15 pages
(in EPTCS style and including bibliography).
If the authors believe that more details are
essential to substantiate the main claims, they may
include a clearly marked appendix that will be read
at the discretion of the program committee.

Simultaneous submissions of papers to any other
conference with published proceedings or submitting
previously published papers is not allowed.
Only electronic submissions in PDF format are accepted.
Information about the submission procedure will be
available on the conference web page in due time.
The proceedings will be published in the EPTCS series.

A special issue of the
*International Journal of Foundations of Computer Science*
containing expanded versions of selected papers will
be published after the conference.

*Contact*
Zolt\'an \'Esik: ze@inf.u-szeged.hu
or
Zolt\'an F\"ul\"op: fulop@inf.u-szeged.hu

The conference is organized by the Department of Foundations
of Computer Science, Faculty of Science and Informatics,
University of Szeged, Hungary.
 

Related Resources

MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
IJBES 2016   International journal of Biomedical Engineering and Science
SAC PL 2017   ACM SAC'17 PL Track
BIOEJ 2016   Bioscience & Engineering: An International Journal
GandALF 2016   The Seventh International Symposium on Games, Automata, Logics and Formal Verification
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICALP 2016   43rd International Colloquium on Automata, Languages, and Programming
FM 2016   21st International Symposium on Formal Methods