13 Jan - 14 Feb 2014
Lyon, France
********************************************************************
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.