******************************************************************** * Mathematical Structures of Computation * * * * January 13 - February 14 2014 * * Lyon, France * * * * http://smc2014.univ-lyon1.fr * ******************************************************************** We are pleased to announce the programme "Mathematical Structures of Computation" organised in Lyon, from January 13th to February 14th, 2014. The programme proposes five consecutive workshops * Recent Developments in Type Theory, January 13-17. * Algebra and Computation, January 20-24. * Directed Algebraic Topology and Concurrency, January 27-31. * Formal Proof, Symbolic Computation and Computer Arithmetic, February 3-7. * Concurrency, Logic and Types, February 10-14. Information on the programme can be found at http://smc2014.univ-lyon1.fr Registration for the programme is free and will open in early September 2013. The weeks Mathematical Structures of Computation are organised in Lyon with the support of the Labex MILYON - Mathematics and fundamental computer science in Lyon. Together with the trimester Semantics of proofs and certified mathematics organised at Institut Henri Poincaré, Paris, (http://ihp2014.pps.univ-paris-diderot.fr) they constitute a French Semester on certified mathematics, programming languages and the mathematical structures of computation. The organisers Patrick Baillot, Yves Guiraud, Philippe Malbos. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]