Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings - Muntean, Traian; Poulakis, Dimitrios; Rolland, Robert (Berlin, Heidelberg : Springer Berlin Heidelberg, 2013)
Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling.
Keywords: Computer science; Software engineering; Computer logic; Mathematical logic; Computer science -- Mathematics