Skip to Content.
Sympa Menu

coq-club - [Coq-Club] EJCP 2020 - ANNULATION

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] EJCP 2020 - ANNULATION


Chronological Thread 
  • From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] EJCP 2020 - ANNULATION
  • Date: Wed, 22 Apr 2020 14:58:31 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jean-Christophe.Filliatre AT lri.fr; spf=Pass smtp.mailfrom=Jean-Christophe.Filliatre AT lri.fr; spf=None smtp.helo=postmaster AT mailext.lri.fr
  • Ironport-phdr: 9a23:pxLvpxRMq0Gpr+RQ/QOVqb9HlNpsv+yvbD5Q0YIujvd0So/mwa69bBeN2/xhgRfzUJnB7Loc0qyK6v2mBTNLvMzJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRW7oR/eu8QUjodvKrg9wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMTMy7WPZhdFqjK9DoByvugJxzY3abo6bO/VxYqzTcMgGRWpYRMtdSzBND42+YoYJEuEPPfxYr474p1YWqRWxGxOjBOX2xjJWhn/2x6w60/89EQHBxAwgH8wBu2nUotX0MKcSVeG1w7PUzTXZcfxdxDDw5ozWfR87p/GARKx9ccrLyUkuDAPFklKQqZTlPzyLzOgDs2mb7+5kVeKukWEntxtxrSa0y8cokInJh5gZyl7e9Shgxos+ON62SFZjbNK5DpddszuWO5Z0T84iWW1kpSY3xqcbtZKneiUB1Y4pyATFa/OddoiF+hLjW/iVITd/nH9lfaiwhxe28Ue+xez8StO40FJQripEiNXMuGoN2wTS6siBVPR94l+s1SuR2w3X8O1IPEI5mKrBJ5I8wrM8jIcfvVjbEi/zgkr2jauWdks++uiv7uTqerHoqYGGOI9ykw3zLKQumta+AeQjLggOWHCb+eSi27H5/UP5QbFKjvk3kqbDrJDaP9oUq7W9Aw9P04Yv8Ri/Dy2+3NQCgXYHNE5FeA6Aj4XxJ17OJ+n4Ae6jjFSojTdk3OvLPqbhA5XINnjMiq3tfbd7605GyQo818pT55xOCuJJHPWmUUjo8dfcExURMgquwu+hBs8u+JkZXDetD6afdYjSq16T+uU3I+TESo4RvDf0N+Ior6rMgHY/3HQdZ6iywZwPaH3+MPViJ0SQfWDhqtMbECEEpFxtH6TRlFSeXGsLND6JVKUm62RjUd70PcL4XomoxYe58mKjBJQGNGRcCxaCCyWwLtTWa7I3cCuXZ/RZvHkBXLmlRZUm0EH8sBX7jbR9fLONp38o8Kn73d0w3NX90BE/8TstUZaY2mCJQnFo2GcSRnk4xvInrA==

L'édition 2020 de l'École Jeunes Chercheurs en Programmation (EJCP),
qui devait avoir lieu à Nantes du 22 au 26 juin 2020, *est annulée*.

Autant que possible, l'EJCP sera reconduite en 2021, au même endroit
et avec les mêmes intervenants.

Merci à tous pour votre compréhension.


  • [Coq-Club] EJCP 2020 - ANNULATION, Jean-Christophe Filliatre, 04/22/2020

Archive powered by MHonArc 2.6.18.

Top of Page