[TYPES/announce] Mathem. Structures of Computation: 2nd CFP and call for talks

[Baillot Patrick]

********************************************************************
*    Second call-for-participation and talk proposals              *
*            Mathematical Structures of Computation                *
*                                                                  *
*                January 13 - February 14 2014                     *
*                        Lyon, France                              *
*                                                                  *
*                 http://smc2014.univ-lyon1.fr                     *
********************************************************************

In short:
- A call for talk proposals for the workshops 4 and 5,
"Formal Proof, Symbolic Computation and Computer Arithmetic"
  and "Concurrency, Logic and Types"
is open until Dec 20, 2013 (extended deadline)
(for the modalities see the pages
http://smc2014.univ-lyon1.fr/doku.php?id=week4
http://smc2014.univ-lyon1.fr/doku.php?id=week5).
- Registration for each of the 5 workshops is possible until January 4, 
2014.
======================================================================

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

                     http://smc2014.univ-lyon1.fr

Registration for one or several of these workshops is free, but
recommended, and can be performed until *Jan. 4, 2014* on the following 
page:

          http://smc2014.univ-lyon1.fr/doku.php?id=registration


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.