[TYPES/announce] Mathematical Structures of Computation, Lyon 2014.

[Philippe Malbos]

********************************************************************
*            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.