Skip to Content.
Sympa Menu

coq-club - [Coq-Club] JFLA 2025 - Inscriptions ouvertes

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] JFLA 2025 - Inscriptions ouvertes


Chronological Thread 
  • From: Marie Kerjean <marie.kerjean AT lipn.univ-paris13.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] JFLA 2025 - Inscriptions ouvertes
  • Date: Thu, 5 Dec 2024 10:45:09 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marie.kerjean AT lipn.univ-paris13.fr; spf=Pass smtp.mailfrom=marie.kerjean AT lipn.univ-paris13.fr; spf=None smtp.helo=postmaster AT mail.lipn.univ-paris13.fr
  • Ironport-data: A9a23:XOVygaNGc1o7bS3vrR0Ck8FynXyQoLVcMsEvi/4bfWQNrUp20GcEm zQbUWmBa/6NZDakKYx+aIyx8k0HupXSz4RjGXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQXNNwJcaDpOt/vZ8E435ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWaXX/hxdUxMX0sAqox2v5JL3hBz s4HfWVlghCr34pawZq+Q+howMAiNM+tIYUepDR4xCvYFq99B57ZK0nIzYYJgHFq25wIRKiFI ZNEAdZsREyojxlnP14NCZ94n+qyhHT2dRVcqUqT47cx4naW1AVr0aO0a5zbYLRmQO0Mxh3F/ jOcoDiR7hcybPyPihyg2FaVvMjdxSHpAJ8yT5Lh36s/6LGU7jVPWUxJBQTTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYTRJxUEvU8rhyLy7SR+w+DB3NdFXhPcrTKqfPaWxR2+ FuEmfO2OAB1j5q8aWqj2K6blgGtbH19wXA5WQcISg4M4t/GqY41jw7SQtsLLEJTpoapcd0X6 2vaxBXSl4kuYdg3O7KT02qvvt5BjpfWCAo0/gORQ2Sk8EZhbZSkfNXzr1bBhRqhEGp7ZgTe1 JTns5HAhAzrMX1qvHXTKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bImSyO xCL6VMKvM470J6WgUlfPdjZ5yMCk/GIKDgZfq2KN7Kin7AoLFLZo38+DaJu9zy8yhZy+U3AB XtrWZ/wXCdFWfsPIMueXeob2KMm3EgDKZD7G/jGI+Cc+ePGPha9EO5VWGZim8hgvctoVi2Mo o4Hb6NnCnx3DIXDX8Ug2dVPdw1adSJkVMmeRg4+XrfrHzeK0VoJU5f5qY7NsaQ890iMvr6Qp yHvaVwS01flm3zMJCODb30pOvulXo9yoTh/dWYgNEqhkSprK4u+zrYtR71ud5ke9ctn0aFVS dsBcJ6+GfhhcGnM1AkcSpjfl7ZcUiqXqziABAefWwhnTaVcH1TI3vTGYjrQ8DI/C3vrlMkm/ Jyl+ADpYbsCYAVAF8/mQu+LyW2stEgshOldcVrBEvxDXVSx9YNrCjfQi8UvKJomMiTzxTq91 ieXDywHpOLLnZQHzdnRiY2ArKarC+FbDGMCO0X6tJGYbTL7+Einyq9+CNe4RyjXDj7Iyf/zd NdrwOHZG9xZulRz6q5XMathlIA67PvR/45q9BxuRij3Xg76G4FbAye02OdUvfdw3Z5fgwy9X 3yP9vR8ObmkPMDEEkYbFDE6b9ashO0lpT3P0csbeEnKxjd73L6iY3VgOxOhjC98LrwsFKgHx ewnmtAd6i3hqx4MH+uFsBtp9DW3HiRda5kki5AUO5+0qwwJzloZX4fQJBWr676yavJNEHIQH BmquIT4iY5hm3XyK0gIKSCV3M52p4g/hxRR/VpTe3WLgoXkg9E07j1w8BM2bB9c/j9a9+RNJ 2FbBlF+Couf9gdNlO1SAmWnGiBaJRij4keq4UA4pG7YaEiJV2L2M2w2P9iWzn0Z625xejt6/ qmS7XTMCRLGXZjW8HMpeEhHr/fDc4RAxjfakpr6I/XfTogIXzX1p4SPO0wKkkLDKuEsjhTlo eJKwr5BWZfjP3RNn5xhWpio7pVOehWqP2cYfOpA+pkOFmTieD2f/ziCBkSyW8FVLczx7k6KJ J1yF/1LSiiB+n6CnhIDCY4IBo1Ervojyd4BW7HsfEotkb+UqBh3u5PxqAn6okIWQOtVrMVsE bOJKgq+EVGRi0BExE7Ljs1PYVSjbfc+OQbT4eGS8ccyLawljt1CS08J/4WRg2S0KypiphKdg xPCbfTZzstk0oVdoLHvGaRiWSSxcNP6a/uV+i+3rN5PMIrFNMOUkzM/qlLiOxZzAZ4MadJWl JCmkt3+7GXatpkYDkHbnJigEfFSxMOQBeB4DOP+HEN4rwCjBvD+xgQl0H+pD6BJnPd2xNiVd yHhZOSeLdcqCspgnltLYC1gIjMhIqXQbJa4gxiirv6JWyMv4SaeIPyJrXbWPHxmLAkWMJjDC yjxifakxvZciK9uXBYkJfVXM6VUEW/Ze5kNVoPO7GGDL2ySnFm9lKPolkMg5RH1G3C0KpvGz qyfdCfuViaZmf/u985YgbxQrxdMLXdagMsMRGw/1eNyqQiHCD8hEbxAH7QAU51aq3mnntWwL jTAd3ArBijBTCxJO0e0qsjqWgCEQPcCIJHlLzgu5FmZcDqyGJjGOrZ66yN8+D1jT1MPFg18x Q02oRUc/yRdw62Fgc4W7/2/x+Nm3vWc23QJ5wXlmtbzGE9FR7sQvJCk8MyhSgSfe/whVm2ST YT2eYyAaEW6UUi3DMBhZTtNEQsYp2q0iTsyBctK6MiKoJ2VlYWs19WmU9weEdQ/gAAiIL8WQ zXqQWqTpnifwH0I4PBvtchBbWqYzx6UNpDSEZIPjjH+U019BqrL8i/CcecyoBkexTNi
  • Ironport-hdrordr: A9a23:k2W53aEofUvIQjqZpLqFfZHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskd2ZJkh8erhBEDyewKkyXcV2/hZAV7MZniDhILFFu9fBOjZsnXd8k/Fh4lgPM 5bGsATZ+EYZmIK7voSlTPIdurIt+P3kpxA692+815dCSVRL41w5QZwDQiWVmdsQhNdOJY/HJ 2AouJaujuJYx0sH46GL0hAe9KGi8zAlZrgbxJDLQUg8hOygTSh76O/OwSE3y0ZTyhEzd4ZgC X4ek3Cl+meWsOAu1HhPlzontVrcRzau5t+7fm3+4cow/PX+0WVjcpaKv+/VXsO0ZmSAR4R4a LxSlEbTo9OAjrqDxyISReB4Xib7B8+r3Dl0lOWmn3lvIjwQy87EdNIgcZDfgLe8FdIhqAJ7E vl5RPpi3N7N2KzoM3G3am8azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCr2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WyDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3SE4la6SHkIndyNvaBqDglqFC5K gpeGkoylIPRw==
  • Ironport-phdr: A9a23:eWkxhBd+4s5901TPu7gl3fHWlGM++tfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9uEoKoaw6qO6ua8AjRGuc7A+Fk5M7VyFDY9yv8q1zQ6B8CEDUCpZNXLVAcdW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cLjYd4K6s8yBTFrmdJdu9LwW9kOU+fkwzz68q+4JJv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH4WxZ JYNAeUcJ+ZVt4rzqVUBohSwGweiBP7hxSNHiHLtwa030P4sHR3a0AA+Hd8DtmnfotXvNKcVV OC41K7Gwi/Zb/NXxzj29Y3GfQ47ofGOQ71/a8zRwlQoGgPAlFqQs43lMC2P2uQOrWeb9ehgW vy1hG4hsAxxpjmvxt8qioXTm4IVzFHE9TtgzIYtP9K4Uk97YcW5HJZerS2aOZF2T9okTmp1t yk01qcItoSnfCgW1psn3RjfZuSFfoWH/x/uSPqdLDR8iXxqeLyymhm8/VWuxOD8Vse50VhEo zRLnNTIuH4AywLe5taZRvVy8Emv1jWC2gLO5+xZJ00/iKTVK5kkwrEql5oTt1zOHi7wmEXsj a+ZbF8o+uay6+nhf77opYecOpdphgz6PakigNKzDOQ3PwQUQmSW+Oqx2Kf+8UD5WLlHjf47n rPEvJ3YIckXvLC1DgFJ3oo59hqyDjar3dIFlnQZKFJFZQmHj5T3NFHUPf74DPa+jEq0nTt3w f3NI6fvDY/XLnfZlbfsZbZ95FBYyAo01d1f4ohbCrAFIP7pXk/xtcTYDhkjPwypxebnCct92 poGWW2VGK+ZMbjSvUKG6+41LemMfpcZuDf7K/c7+/7jlWI1lFsScKWzw5caaH+1Eu57L0iYb 3fgmMoNHGcSsgo7VuPqiVmCUTBJZ3a1WqIx/jQ7B5i8DYfCWI+hmr+B0zmhHp1UeG9JEFaMH Gzsd4WFQ/cMbjieItJnkjwFS7itUpch2gu0tA/70LprM+TZ9jcWtZL5zNR14fbcmgko9TNoF 8Sdz32NT2Zsk28VXzM2xrxwoVRhylef1qh1m+BXFdtK5/9QTgg6MYPcwPdhBtDpWgPBe8+JR 0y8TtWnBzExVNMxzMUUb0ZzAdXxxizEiiGtGvoek6GBLJ0y6KPVmXbrdOhnzHOT8aA7jlRuY cZVN2CvgOYr8gHJBoOPkEiDlaujc4wY3TbLsnqFzHTLpEhCURUpCuPLRyZMNQPtsd3l6xaaH PeVArM9P14ZoSbjAq5Da9myyE5DWO+mI9PGJWS4h2a3Ax+MgLKKdovjPWsHj23GEEZRtQcV8 D6dMBQmQD+7qjfbBSZvGBTsblnu/OB4gHe6Vkly0geLcQh53qC04UdOw/KGGLsIxrxRgC46s H1vGUqlmdffCt6OvQ1kKaBVe9IwplRKz2DUvgpVOp24KeZ/gF8ANhx+pUL1jk4xBJ8T2dMyo iYMywx/YbmdzEsHdz6c2sXoPabLL2Dp4B21Q6vf21WY1NeO/OES7vUm7k3qpgCyTxFk/W8PP 8B99Xya692KCQMTVcm0SUMr711hoKmcZCAh5oTS3HkqMK+uszaE1ch7TO0igg2tedtSKsbmX Ef7DtEaCs6yKecrh0nhbxQKO/pX/bI1OMXufuWP2aqiNuJt1Dy8imEP7Id420OKvy1yL4yAl 5MM2fCVmAiKTTXxhVGJtsHvn8ZZYzAMW3K20yn/XdUXaLczNYcHBGGyItGmk81kjs2IOTYQ/ 1qiClUanc6xLEPDMxqngFEWjBpM5yX6yk7ah3Runjokr7SSxnnLyuXmL18cP3JTAXJllRHqK JS1iNYTWA6paRIonV2r/xWfpeATqaJhIm3UWUoNcTLxKjQoV6Kqt7fEYMNV6p4htw1TUfy6J 02cS6C4uxIA0ji6RC1Q3npoElPi8oW8hBF8hG+HeTx2pWDYdIdzyA3d6dXabfpQxjxAWS95l 3zPD0K9JIDyu9uO3cSm0Kj2RyeqUZtddjPuxIWLuX6g5GFkNha4mui6htztFQVSPTbT79BxT m2IqR/9ZtKuzKGmKad8eVEuAlbg6s18E4U4k40qhZhW12JIzpmS+HMGly/0P7A5ker7ZWAMS HgIzsTX7QHj8EliNnTP2oT4SDCFy9FgfIDhJG0Mki4w9MFFDq6I4acMxHop5ADl8USIP6M7x 2p4q7Nm4WVSm+wTvQsx0iiRSqsfG0VVJ22klhiF6cy/sLQCYW+udbaq008t+LLpRLqGowxaR DP4YsJ7THM2tJgjdguSizuqt9KBGpGYd98YuxyKng2ViuFULMl0jf8WnW98Pnq7u3Q5yuk9h Bgo3JegvYHBJX8+mcDxShNeKDDxYNsevz/3iqML1MOfxYGiWJZsADcGVZ3ASfOwFnQPs/X5c h6HCjwn8yzdF6CVTmr9oA926mnCFZymLSTdIXADzNgkRxSHJkFWhigQXS082IM/Fx7v3MX7c VwgvXYf/BSrz3kEgvItPB75XGDFoQ6uYTphU5mTIi1d6QRa7lvUO8iTvapjWjtV9Zq7oEmRO 3SWMk5WWHoRVBXOVDWBdvG+oMPN+O+CCq+iIuvSNP+Q/PdGWa7AzMCq24piuTKNLsPJI39jE bgj01BCRikiXcrD/ldHAyVFmD2La8+DolGh/Cxp69i26vXwAVmp65HHCr1ZNchj9kKrh6adc vaZnidicG0e2IlEknbMzPJ3MEc6rSZoenHtFL0BsXWIV6fMgupMCAZdbSpvNcxO5qZ63w9XO MedhMmnnrh/xuU4DVtITzmD0omgeNAKLmehNVjGGFfDNbKIIifOyt32ZqX0QKNZjeFdvRm98 TiBFEqrMjOGnjjvHxehVIMExDmcJwBbsZqhfwxFDGHiSJTiawW9dsJxjCNz2bQuh2iTbigSK 3k0ck9AqKGR8TINgvh7HD8kjDItJu2FliCFqujAf89H7b0xX3gyzrwBpi1nmN43pGleSfd4m TXftItrqlCiyayUzyZ/FQFJsnBNjZ6KukNrPePY8INBUDDK5kFojy3YBhIUqt9iEtCqtbpXz 42FkavpKToE8N/O/8YVAeDQKdqBdmcnMASsADfODRBcFnilLyuM4i4V2OHX7XCTopUg/9L0n 4EST7ZASFEvPvYTC0AjGN0aJtFqWDI61KaSls8TvCH4ogObF6A49tjXE/mVB/voMjOQi7JJM gAJzb3PJoMWLoTn2kZmZzGSc6zOGlLWG81LozMkdgYuoV4Uqz5wVD9qs6oAQges+HlVCPi1g FsugxF/er12sjn2sQ9fzrvioSIxlA81mM3jxy2XcSC0NK6qXJoPUGz6rRppWq4=
  • Ironport-sdr: 67517627_dLjSGINPDJsy3Xpwt0MywMRlE6yyih+QLm2eP/JlRkXzBq1 hrjHmAzmgbr7XlsZs3afrGrBbIjngys6yGXK08Q==

[ This message is intentionally written in French. It is a call for
registration to, and extra information for, the "Francophones
Functional-Languages Days" to be held at the end of January 2025. ]

*Merci de faire circuler : ouverture des inscriptions*

JFLA 2025 (http://jfla.inria.fr/jfla2025.html)

Journées Francophones des Langages Applicatifs

Domaine de Roiffé (Vienne) du 28 au 31 janvier 2025

Ces journées réunissent concepteurs, utilisateurs et théoriciens ;
elles ont pour ambition de couvrir les domaines des langages
applicatifs, de la preuve formelle, de la vérification de programmes,
et des objets mathématiques qui sous-tendent ces outils. Ces domaines
doivent être pris au sens large : nous souhaitons promouvoir les ponts
entre les différentes thématiques.

Grâce à nos orateur·ice·s invité·e·s, et aux très nombreuses
soumissions de qualité, le programme de ces journées s'annonce riche
et passionnant ! La liste des articles acceptés sera mise en ligne
prochainement.

Les détails se trouvent sur le site web :
http://jfla.inria.fr/jfla2025.html

L'inscription est un forfait, comprenant notamment l'hébergement en
pension complète sur le site des journées :

- participant·e au tarif de base en chambre double : 590 euros
- participant·e au tarif de base en chambre simple : 670 euros
- étudiant·e orateur·ice (article accepté) : 0 euro
- participant·e tarif subventionné : 0 euro

Les inscriptions des étudiant·e·s orateur·ices et des participant·e·s
subventionné·e·s sont financées par nos sponsors académiques et
industriels. Ces inscriptions (gratuites) sont néanmoins nécessaires
pour la réservation de l'hébergement.

Les inscriptions sont possibles jusqu'au mardi 7 janvier, mais le
nombre de places est limité, inscrivez-vous dès maintenant !

Au plaisir de partager ces journées 2025 avec vous tous·tes,

Adrien Guatto et Marie Kerjean
Pour le comité de programme des JFLA 2025


  • [Coq-Club] JFLA 2025 - Inscriptions ouvertes, Marie Kerjean, 12/05/2024

Archive powered by MHonArc 2.6.19+.

Top of Page