[TYPES/announce] Mathematical Structures of Computation, Lyon 2014 (REGISTRATION)

Philippe Malbos malbos at math.univ-lyon1.fr
Sat Oct 5 13:02:26 EDT 2013

*            Mathematical Structures of Computation                *
*                                                                  *
*                January 13 - February 14 2014                     *
*                        Lyon, France                              *
*                                                                  *
*                 http://smc2014.univ-lyon1.fr                     *

                      REGISTRATION NOW OPEN

We are pleased to announce again the programme "Mathematical Structures
of Computation" organised in Lyon, from January 13th to February 14th,

The programme proposes five consecutive workshops

   1. Recent Developments in Type Theory, January 13-17.

   2. Algebra and Computation, January 20-24.

   3. Directed Algebraic Topology and Concurrency, January 27-31.

   4. Formal Proof, Symbolic Computation and Computer Arithmetic,
February 3-7.

   5. Concurrency, Logic and Types, February 10-14.

Information on the programme can be found at


The program of the workshops 3-4-5  is partially open ; please feel
free to propose talks to the corresponding organisers (contacts are
available on the above web-page).

Registration for one or several of these workshops is free, but
recommended, and can be performed on:


Financial support for PhD students and postdocs for accomodation is
available upon request to organiser of each workshop, deadline to apply
for financial support is October 31 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.

More information about the Types-announce mailing list