coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Mikhail Barash <Mikhail.Barash AT uib.no>
- Cc: Carla Ferreira <carla.ferreira AT fct.unl.pt>, Mikhail Barash <Mikhail.Barash AT uib.no>
- Subject: [Coq-Club] ECOOP Doctoral Symposium -- 2nd Call for Papers
- Date: Mon, 5 May 2025 11:04:31 +0000
- Accept-language: fi-FI, en-US, nb-NO
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uib.no; dmarc=pass action=none header.from=uib.no; dkim=pass header.d=uib.no; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=bZmulANF4o3lIE5c6CQjAhFpWeF1AiVEVH173W5fWYA=; b=lZ6GaA2hBuM4kRKXMz4txGiCroNGT6Xlme0kHUjuxEyK1lBvgDEZs+dF8RfIGhYNOtQ/KlhfYBLIN/vLkF6d9C0iCSB163PsCSn3hfwiXYA2l5WFB+S5UDwX/ffMmvkydIf0rF0QG72dQIyqGm7C303ZOPqGd67Krl2EkzANaYccLBnWxq6sS57aFVEkoo2EKOTr+gQXHF8uhKEcrKqh56VQS0tbvRWHXydqHlevB5GaBgCAlRHX6RTLcf9LOSYwjc3eONjI08T1dPz0+cXMBqhbJy/gNGtTGnPlH9RNK4zztHuT1mPh8OEwW9t3/iyO+oZpfXquUX0MMURKYetw9g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=yIJSBce12mUwrD2MtekAjZgquk3odRlqNSwuI57xZw4W7aNXBY6Srbxe8S5oyWrrpvPyBfAdb62IvDpwwj5mD+evmdgsaZO1xlSsm5KaPgDzfUTUbUUEx9YlF3XiLtQOpwuH0vgNu4ZmcbWQndh3XajlT/2gxhVgTZoSTP2fqA5AAmi0A4wMC3go5+Za+CYi2QA68a0KJ5rlr4AS6zoviRd+y1nFqhjdEWEktvbxqAVW2u2ypUwzFZanOvGEU6+OmlEffJHyuB/+32gKe3wjMxvaMJlVKoLba0fT/yBmvAdO8zmD+/YC18z4jX1bPIt4XFmWW5AH6xypj/tWhrM4Nw==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Mikhail.Barash AT uib.no; spf=Pass smtp.mailfrom=Mikhail.Barash AT uib.no; spf=Pass smtp.helo=postmaster AT DUZPR83CU001.outbound.protection.outlook.com
- Ironport-data: A9a23:O2tUSqzrK3D8WkGXpTV6t+cEzSrEfRIJ4+MujC+fZmUNrF6WrkUOn GVJDWmHO/bcYGOje9kiYY3koEsC7MOAzYAyTwdt/1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usy5Kmq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPjws5jBm41O7cJxckmOUtX5 N8bFCgkO0Xra+KemNpXS8FAu/YbFpmwF75H4igmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUSYBFOUMt4wrju3yGvG9FbgAr9Sa4fxmnQzAVw1P7HOcDcYdyiWMRf2ECfz o7D1z6jWk9AZIzHkVJp9FrwvvKTmizRU7s3P+Kz9uF6n3m6/jc6XUh+uVyT+qLj1hHWt8hkA 0cd/y5rqakp6GSwX9zlVlu5pmSFt1gSQbJ4GOojrQqJ16D8+BecHmFCTzhbadVgutVebTIv1 1SSt8j4ACRm9ryTU3OUsLmOxQ5eIgAQJG4GICkDVxcF7sT5p5k+hwDISI86SPTu14WlXzbt3 zqNsS4ywa0JitIG3Lm6+laBhC+wop/OTUg+4QC/sn+ZAh1Ra4+eaoaH6l7h/Mlvfb6zV0iiv 0Qcsp3LhAwRNq2lmCuISeQLObim4feZLTHR6WKD+bFxp1xBHFbzLOhtDCFCGat/DioTUR7EC HI/VCtU7Z5XeX2td7N3bp+rDNwnxLrnE428DqqPN4IeJJ9saAWA4SdiI1aK2Hzgm1Qtlqd5P oqHdcGrDjARDqEPINuKqwU1judDKsMWnDm7qXXHI/KPjef2iJm9FehtDbd2RrplhJ5oWS2Mm zqlC+OEyg9ETMr1aTTN/IgYIDgidCdnW8um8JAHJ7Ddc2KK/V3N7deBkNvNnKQ0x8xoehvgo CHlBye0NXKj2yKacVnUNhiPlpu2Accv9i1hVcDTAbpY8yN4O9rwhEvuX542dqMg7+tt0bZ/S OMdE/hs8dweIgkrDw81NMGnxKQ7LETDrVvXY0KNPmJjF7Y+HFah0oG/LmPSGNwmV3TfWT0W+ uL4jluzrFtqb1gKMfs6n9r/nwPu5SBMxr4asomhCoA7RXgAObNCc0TZ5sLb6elXQfka7mLCj l7EMgRSvuTXvY4+/f/AgK3O/c/jEPJzEgAeVyPX5Kq/f3uStGey455yYMDRdxDkVUTw5PqDY 8dRxKrCK/EppgtBnLd9NLdJ9pgAweXTiYVU9SleJ0WTXW+XUuthBlKkwfhwsrZ8w+4FmAmuB WOK1NpoGZSIH8LHSVcuBRcva7SC8do2mTDiy+s/D2unxS1w/ZuBCV5zOTvVggNjDbJFCqEX6 sZ/h9w3siuR0gELNPSChQBqr1W8FGQKCfgbh8tLEb3VhRoO4XAcR57lUwvdwoyFMvdIOWkUe g6kvrLI3elg9xCTYkgINCb/2MRGjs4zozFM9lgJImqJlvfjhvMa2B5w8yw9fj9Kzydogv5CB Wx2C3Jbfam+3S9kpMxmbVCeHwtsAB64+Euo73ArkGbfbVejV02TDWkbFNuOwnsk8DNnTmAGx I2b9Wfraia1XcfT2iBpZ1Vphca+RvNM9yrDuvudIeK7I7cAbwDY35CePVgzl0O/AOcaplH2m u1xzeMhNYz5LXExpoM4Oam71JMRakmNG01fS/Qx/YciP2LVSBet0xegdmGzfcJsIaTR0EmaU sZBGONGZy6c5g2v8A8JJPcrDedvvfgL4NEiROvaFVQeueHCkgsz4YPiyCfuoUQKHfNsqJ8ZA aHMfWugFmewuyNlq1XVppMZBlviMMg2Xyyi7uWb6+5TKokitttrekQM0reZmXWZHQ9k3hCMt jP4eK7k4L1++LtogrfTPP1PNyesJfP3cda4wgS5ntBNTNHIaOPllQcerHv5NAV3Y5oVfflKl oq2jd2m53Od4Y4KUF3YlaKRSIhPx8G5B9RMPuzNcXJ1oCqlWe3X2SUlxVyWE5Jyve142tiGX Cq9Mcu5Ss4UUYxSxVpTcClvLCweAKXWMIbjnx2Cq963LTQ7/TL7BcyCziL3YVFhdyVTBYDMI VLrsPP/vuJnitxFO04ZI/Q3WpNXMEHpA7A7RoegqRiZEWiarVeQsZTylRcbyG/qC1vVNO3Y8 J76VhzFWxDqg57xzfZdqJ1UghIMKWRU2M0cXx446sEsrSKXF0sEJrktCooHAZRqjSDC7pH0S zXTZm8ECy+mfzB7XTjjwdbkTCGNL/cvP4rnGzkX4E+kUSe6K4eeCr9H9C07wXNXeCPm/d63O +Ml5Xz8ERig8K5HHd9JyKSAvt5m4ffGylYj20P3yZXyCilDJ4Q67iVqGQ4VWBHXF83Iql7wG lE0YmJ5W2C+d1/6FJdxWnxSGSxBhgjV8RcTUX6tzurc6qKh988R+M2nbqu3mvcGYd8RLbEDe WLvSiHfqyqK03gUou0yt8hvnaZwDumRE9OnKLP4AzcfhLy09n9tKvZqcfDjly3+0FU3/5Lhe jiQD7wWKHm3EHoBg5arkV1QvZVsTngLEjfFyhbloiPLmgA4yN6ffAW2yAX8Ktf7rK2LU4BwX mIJdEjIy7GJnGKMmNW8nq1zSp+77QU5CHjOFCYvJn83ugn5U3dTTdiNzGljv++8MxR4KkF8a aebldM6kG5isuVjwCi89OokjnNbQ3vt1+jNZ3IFPP6mKzdo6L7GTg==
- Ironport-hdrordr: A9a23:2LOAVqCDIe6f0/vlHeg5sceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPEfP+VAssHFJo7C90dq7MArhHPlOkMAs1NaZLX/bUQ6TQL2KgrGSpwEIdxeeygc/79 YpT0EdMqyWMbESt6+Tj2eF+r0bsbq6GdWT9ILjJgBWPGNXQpAlyz08JheQE0VwSgUDL4E+Do Cg6s1OoCflUWgLb+ygb0N1FdTrlpnurtbLcBQGDxko5E2lljWz8oP3FBCew1M3Ty5P+7E/6m LI+jaJq5lL8svLhiM05VWjoai+q+GRi+erw/b8yvT9Hw+cxTpAor4RGIFq8gpF4t1Ho2xa6O Uk6y1QRPibrUmhNV1d6CGdpjUJ3FsVmgXf4E7djn35rcPjQjUmT8JHmIJCaxPcr1Etpddmzc twrhekXrdsfGD9dR7Glqr1fgAvklDxrWspkOYVgXAaWYwCaKVJpYha+E9OCp8PEC/z9YhiSY BVfbbhzecTdUnfY2HSv2FpztDpVnMvHg2eSkxHvsCOyTBZkH1w0kNdzs0CmXUL8o47VvB/lp D5G7UtkKsLQt4dbKp7CutEScyrCnbVSRaJK26WKUSPLtB2B5sMke+H3FwY3pDVRHVT9upPpH 3oaiImiVIP
- Ironport-phdr: A9a23:m3GtBBLp4nwL3Cqc+NmcuFdpWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEv7M11BSTDd2Ks7ptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmjaxe69+I Am5oQnPtcQanY9vJroswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalWuwyqqQBhzIHIYYGVLPt+cb3bfdMGXmpKQ8JdWzVcDo+gc 4cDCuwMPeNZr4nmvFsOrB2+BQaxD+3x0zFDm3H23awk3OQlDA7NwQgsEtwSvHjRqtj+KaUcX v2vzKTQzTvOce5Y2Svz5obLbh8vrv6DUKlsccrI1UUjCx/JgkmNpYHjIjib1v4Ns2+e7+d4U uyvim0nqwFrrTiuwscnl5TEiZgPyl/e7iV5wJs+KNq/Rk56Yt6kEIFftyCeN4dsX84tWXtot zwhyr0GopO7YSkKx489yx7ZbPyKao6F6Q/sW+iNOzl3nm5leK6hiBao90it0vPxW9Sp3FtKq idInMfBu20N2RHX98SKV/Rw80aj1DqS1Q3f9u9KLF0pmKfHJJMsxr49mocXvErNACP6hVn6g aCQe0459Oao7OHnba/npp+aL4J7lB3xMqMpmsynG+g4NRIOX2eD9eS8073j4VH2QK9SjvEsj qbZt5XaKMIGraC6Gw9YyoYu5wilAzu7zNgUgGMLIVNHdR6dkoTlJ1LDLOjmAfq+n1ihnjJmy +3aMrL7A5jAK2XPnKv/cbt45UNRxw8+wNVd6p9SF7oMPvbzWlLqtNzEEBA5KRG6w+fmCdpjz o4SRWSCCbKDPqzIq1+H/OcvLvGMZIALvDb9LOAo6fDggnA6g1ETYaqk0JUJZX+2AvhqP1iVb WDrgtccDWcFpQ0+TPHsiFKfSzJTf2yyX6Ug5j4lFI2mEYbDRoergLCb2ye7A4FWZmRBClCLE nfkbZmLW/AJaC6KI89hlCILVaS5RoIhyx2irhL2x6Z6IubO+yAVt4jv2MVp6+DQjR0y8CZ7D 8WZ02GDVWF0mWYISicx0qB+okx9yk2M0al8g/BCCNFc/elJXR0hNZ7c1OF6FtHyVRnbctePT 1aqWtOmDiopQdIr39AOe1p9G8mljh3b0SemG6UVmKCTBJwo7qLc2GD8KNpnxHbD0Kktll0mQ spUNW26naN/7AjSB4vRk0qDjaqqdKIc3DTM9GiZ12aOsltYXBZqUarZRXAfelfWrdPh60zeS L+uEK0rPRdFyc6fMaRHccbpjFVDRPf7ItvSeWOxm2GqBRaJ3LyAdoTqe38F0CXHFEcEixwT/ WqBNQUmCCehpmPeAyB1FV/0eEPt8ex+qGuhQUMuzgGKaVdh17uv9RIPi/ycUaBb8KgDvXIEq jZ0FVe5l/jfEdObp0I1WaRfYdo85BFt3HjQrAxVI52qaaZl0A1NOz9rtl/jgk0kQr5LltIn+ TZ1lGKaSIqd2VJFLXaD2Izof6fQIS/09QyubKjf3hff1syX8+EB8qdwsE3t6SeuEEdq6HB7y 59NyXLJw5TJDAMTVdTbW1w+7BhSurDQJC86tMvPzXM5CaCvqXfZ3s4xQu4syxKuZdBaZYaFF w/7EslcLcG0Ifcqs0WoZFQCO7Ma77Y6avuvbODOw6u3JKBgkTah2HxA+5x421mQ+jBUZtP65 6xVmNqlhlPeETDhkF2mr8b735heYi0fFXa+zi6iA5NNYqp1fsAADmLGz9Sf4NJ4itatXndZ8 ATmHFYawIqzfhHUaVXh3ApW3EBRoHq9mCL+wSYm2zcu5rGS2iDD2YGAPFIOJ3JLSW9+jFztP Zn8jtYUW1KtZhQokx3t7FjzxqxSrqByZ2fJRkIAcy/zJmBkGqy+09jKK+tO65MhsCEReu2ma EuaYqP8qV0c1GKrHmdTwiw6ayD/oo/wzFRxjGOQKmo2rWKMJJs2nE+GooKDA6cJjmljJmEwk zTcC1miMsP8+NyVk82GqeWiTye7UZYVdyD3zISGvS/95GtwABT5kerg/7+vWQU8zyL/0MFnE CvSqxOpKKzq1KSzMOYhVEByDUT8w9d7EMd4lcFj4fNYkWhfnZiT8XcdxC3WMNZb0KP6KlAEX zcQw/bI4QKj3kopfRfrj8rpE36axMVmfdyzZGgbjzk84859A6CR9LVYnCFxrzJUtCrpaONm1 ncYwPoqsjsBhv0R/RAqxWObC6wTGk9ROWrtkQ6J5pawtvcfaGGqeLm2nE1w+LLpRJSDoQFVW XK/UJ44FDRwxth+OhTK1zX/55rld9/Zcd8I/kDO1U6Y1q4Ld9RozqpCjDEvIW/nuHw51+M36 H4mlYq3uoSKMSQl/a60BAJZKiygYsoS/j/3iqMN1s2S3o2pAtBgAmBWBt2xFavuTm1U7Ky3Z GPsWHUmp3yWGKTSB1qa4UZi9TfUFoyzcmuQLz8fxMljQx+UIApehhoVVXM0hM1cdEjiycr/f UN+/j1U6ET/r04G7+NrNxD+ViH1rR2hcTccVZmVahxRpFInhQ+dIYmF4+R/EjsNtLigrwyEK 2jdTQ1SBHoJclGFDRblOfP9gLuIu/jdDe24IfzUZLyIouELTPaEy6Wk1Y5+9iqNPMGCbTFyS uc20U1ZUTVlCtzUzn8RHjcPmXuHPKv57F+svzd6pcel/LH3VRLzsMGRXqBKP4wn+gjq0/vbc b/Kwn4/cXEBi9sN3SOalOBZhQZNzXkoL370T9Fi/WbMVP6Cx/URVkZDLXs1bIwRsuo9xlUfZ JSd04uvkOY+1rlsVR9ETQCzx5vvPJRRZTn7bBSeWyPpfPyHPWGZmpmrJ//jD+UW1KIN6FWxo WjJSUa7Z2bazmC7WUz3abMey33LWX4W8IClLEQ3ADC6Hou/M0+1bIcs329xnex8h2uUZzQVa WEuKhoU/LPMtXgK0q0nQz4TqSc8SIvM0yeBsbuCI85P46IyW3Z6y7oBsn9ik+MHvmYZHbR0g HWA9Nc2+gP/y7DdxGY/C0hA8m4T1tDM4B8qfKzd8tMotW/sxBsW9i3QDh0Lo4EgEdjzo+VKz dOJkqvvKTBE+taS/M0GBsGSJtjVeHYmNBPoHnbTAm5nBXazMnrDgkVGjPyI3lGonKAA+sPHp cJWE/lcSUA/Ee4cBgJ9BtseLZxrXzQi17mGkMoP4nn4px7UIacS9pzKTfOdB/zzJS3R0OMCP kNRh+2na91LZsXywAR6Z0N/nZjWFkaYRt1LriB7L0c1rEhL7HliXzgz1kbiOWbPqDcYEf+5m AJzixMrPL5rrW+1pQloYAOS9HhV8gF5g9jujDGPfSSkKa6xWdsTEC/orw0rNZi9RQ9pbAq0l EgiNTHeRrsXgaEzEAIjwALap5ZLHuZRCKNeZxpFj9SWZPUh0FAagCy9zFRHzfbEA91kk0F5F Pzk52IFwA9lYNMvcObII7FVy1FLmq+UlgOV5NgLkFQ1Gh5VqSWVZTICv1EOOv8+PS208+dw6 AuE3TxeZGwLUPlsqfVvvBBYWazI32fr1LhNLVq0PuqUIvaCumTOosWPR0s5ykICk0QWtagzy 8oodFCYElw+1LbEXQpcLtLMcEsGCqgavGiWZyuFtv/BhI54L5noXP69VveA7e4Vmh72QF5vT t5KtoJZWcDxmEDAcZW7dPhckUprvEKzYwzbaZYBMBOTzGVa+YfmlMcxhc8FYWhASWRlbXfqv PCO/lVs2LzbG45oKnYCAtlZbDRvAJb8w2gB+C0faVv/muMBlFrbt2O6+nuWVH+kKIM8LPaMO 0E2AYnvq2xmqvq41QaPoMeZezGfV5wqu8eRu7kT/8/VUqoNH7ch6xyOyc4EFjSrSzCdS9ftf sqpMtB+Y4CsUSTqCgTn2WByEp6UXp7lL7DW01vhHd8G6dDCjj5/bZTvHWlGQ0Ui4LxarKNkO 19ZasJiM0ex7lYwa/TkcgnAio38ESHwc3MTRv1bh41SiJRKziBqaOjokRPIq7knzuPx90lfH Pnibzny+MSbXdkFehWrQiUbfBjTry0kkWQnLvw13uo03BLPtx8bLiyPc+tqLmdDuoNlbW4=
- Ironport-sdr: 68189b42_OXwnswsCuEVovEWC7AeTBR62X/5nvtnr1iYTXPNVYFbjI3i Z1Adw8bo8L4zqtn8QLxfNx5LoNr0e3Iyu9hH/lw==
- Msip_labels:
European Conference on Object-Oriented Programming (ECOOP 2025)
** DOCTORAL SYMPOSIUM **
3rd of July 2025
Bergen, Norway
Webpage: https://2025.ecoop.org/track/ecoop-2025-doctoral-symposium
Submission link: https://ecoop2025-ds.hotcrp.com
=== Important Dates ===
Submission deadline: 9th of May 2025 (AoE, extended)
Notification: 15th of May 2025 (AoE)
Symposium: 3rd of July 2025
=== Doctoral Symposium at ECOOP ===
ECOOP is a conference about programming originally focused on object
orientation, but now including all practical and theoretical investigations
of programming languages, systems and environments.
The ECOOP Doctoral Symposium provides a forum for PhD students at any stage
in their research to get detailed feedback and advice. The objectives of this
event are to:
- Allow students to practice writing clearly and present their research
effectively.
- Receive constructive feedback from experienced researchers and peers.
- Offer opportunities to form research collaborations.
- Interact with other researchers at ECOOP and associated events.
=== Submission Categories ===
We solicit three categories of submissions:
- Early-stage PhD students: a two-page research proposal with a problem
description, a sketch of a proposed approach, and a summary of relevant
related work. It is not necessary to present concrete results.
- Later-stage PhD Students: a four-page research statement with a problem
description, goal statement, method, and preliminary work. Submissions should
focus on the research method rather than technical details.
- Job talks: a biography (written in the third person and similar to the
short bios used on academic websites or for speaker announcements) and a
brief summary of the job talk (written in a style appropriate for a general
computer science audience).
=== Travel and Attendance Support Grants ===
ECOOP 2025 and AITO (aito.org) offer a limited number of free student
registrations and limited student travel support for ECOOP 2025.
More information can be found at:
https://2025.ecoop.org/attending/student-scholarships
- [Coq-Club] ECOOP Doctoral Symposium -- 2nd Call for Papers, Mikhail Barash, 05/05/2025
Archive powered by MHonArc 2.6.19+.