Section: Dissemination

Popularization

• Seminars in international workshops without peer review

  • Alejandro Díaz-Caro. Identifying isomorphic propositions. In First Workshop of ANR-NSFC project LOCALI. Beijing, China. November 4–6.

  • Pierre Halmagrand. Proof compression and certification in Zenon Modulo. In Third Workshop of the Amadeus Project for Proof Compression. Nancy, France. September 16.

  • Gilles Dowek has participated to the workshop Locali in Beijing where he has given a talk.

• Seminars in national workshops without peer review

  • Alejandro Díaz-Caro. Identifying isomorphic propositions. In Journées LAC. Créteil, France. November 28–29.

  • Alejandro Díaz-Caro. Vectorial types, non-determinism and probabilistic systems: Towards a computational quantum logic. In Quantum Computing in Nancy. Nancy, France. March 21.

  • Gilles Dowek has participated to the workshop Rochebrune 2013 La preuve et ses moyens, where he has given a talk.

  • Gilles Dowek has given several talks on Computer Science in Education, at the congrès de la SIF, the workshop EPI in Nancy, the workshop UPS in Luminy, the journée ISN in Orsay, the journée Pascaline in Paris, etc.

  • Gilles Dowek has given several popular science talks: in Paris for the young kangaroos, in Athens, and in the Lycée Raoul Folleraux.

• Other seminars

  • Alejandro Díaz-Caro. Hacia una lógica computacional cuántica. FCEIA, Universidad Nacional de Rosario. Rosario, Argentine. August 9.

  • Alejandro Díaz-Caro. Vectorial types, non-determinism and probabilistic systems: Towards a quantum computational logic. PPS, Université Paris-Diderot. Paris, France. May 7.

  • Alejandro Díaz-Caro. Vectorial types, non-determinism and probabilistic systems: Towards a quantum computational logic. LIAFA, Université Paris-Diderot. Paris, France. April 16.

  • Alejandro Díaz-Caro. Non determinism (and probabilities) through type isomorphism. LIP, École Normale Supérieure. Lyon, France. February 21.

  • Alejandro Díaz-Caro. Quantum computing, non-determinism, probabilistic systems...and the logic behind. Modal'X. Université Paris X. Nanterre, France. January 31.

  • Pierre Halmagrand. Zenon Modulo: When Achilles outruns the tortoise using Deduction modulo. Mines ParisTech laboratory CRI. Fontainebleau, France. October 30.