luttik's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
MCU 2013 Machines, Computations and Universality
Sep 9, 2013 - Sep 12, 2013 Z├╝rich, Switzerland Apr 30, 2013
NCMA 2013 Non-Classical Models of Automata and Applications
Aug 13, 2013 - Aug 14, 2013 Umea, Sweden May 26, 2013
ISCIM 2013 2nd International Symposium on Computing in Informatics and Mathematics
Sep 26, 2013 - Sep 27, 2013 Tirana, Albania Jun 9, 2013
RP 2013 The 7th International Workshop on Reachability Problems
Sep 25, 2013 - Sep 27, 2013 Uppsala, Sweden Jun 10, 2013
AFCA 2013 1st International Workshop on Applications and Fundamentals of Cellular Automata
Dec 4, 2013 - Dec 6, 2013 Matsuyama, Japan Aug 19, 2013 (Aug 13, 2013)
STACS 2014 31st International Symposium on Theoretical Aspects of Computer Science
Mar 5, 2014 - Mar 8, 2014 Lyon, France Sep 20, 2013
LATIN 2014 Latin American Theoretical INformatics (LATIN 2014)
Mar 31, 2014 - Apr 4, 2014 Montevideo, Uruguay Sep 22, 2013
FoSSaCS 2014 17th International Conference on Foundations of Software Science and Computation Structures
Apr 5, 2014 - Apr 13, 2014 Grenoble, France Oct 11, 2013 (Oct 4, 2013)
LICS 2014 Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 14, 2014 - Jul 18, 2014 Vienna, Austria Jan 20, 2014 (Jan 13, 2014)
UTP 2014 Unifying Theories of Programming
May 12, 2014 - May 13, 2014 Singapore Jan 24, 2014 (Jan 17, 2014)
RTA-TLCA 2014 Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS
Jul 14, 2013 - Jul 17, 2013 Vienna, Austria Jan 28, 2014
CIAA 2014 Conference on Implementation and Application of Automata
Jul 30, 2014 - Aug 2, 2014 Giessen, Germany Mar 9, 2014
AFL 2014 Automata and Formal Languages
May 27, 2014 - May 29, 2014 Szeged, Hungary Mar 14, 2014
DLT 2014 18th International Conference on Developments in Language Theory
Aug 26, 2014 - Aug 29, 2014 Ekaterinburg, Russia Mar 17, 2014
DCFS 2014 16th International Workshop on Descriptional Complexity of Formal Systems
Aug 5, 2014 - Aug 8, 2014 Turku, Finland Apr 11, 2014
LINEARITY 2014 Third International Workshop on Linearity
Jul 13, 2014 - Jul 13, 2014 Vienna, Austria Apr 13, 2014
NCMA 2014 6-th International Workshop on Non-Classical Models of Automata and Applications
Jul 28, 2014 - Jul 29, 2014 Kassel, Germany May 4, 2014
RP 2014 The 8th International Workshop on Reachability Problems
Sep 22, 2014 - Sep 24, 2014 Oxford, UK Jun 11, 2014
MeCBIC 2014 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi
Sep 16, 2014 - Sep 16, 2014 Bucharest, Romania Jun 29, 2014 (Jun 22, 2014)
SBMF 2014 Brazilian Symposium on Formal Methods
Sep 29, 2014 - Oct 1, 2014 Maceio', AL, Brazil Jul 22, 2014 (Jul 15, 2014)
first | previous | Page 2 | next | last Total of 60 CFPs in 3 pages