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

Philippe Malbos malbos at math.univ-lyon1.fr
Mon Jul 8 09:56:03 EDT 2013

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

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


Registration for the programme is free and will open in early September

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.

More information about the Types-announce mailing list