Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations)


Chronological Thread 
  • From: Christopher Michael POSKITT <cposkitt AT smu.edu.sg>
  • Subject: [Coq-Club] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations)
  • Date: Mon, 12 Jun 2023 12:15:40 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=smu.edu.sg; dmarc=pass action=none header.from=smu.edu.sg; dkim=pass header.d=smu.edu.sg; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=pMnfdk8Zvre5hk7Fjb4fjUftv86wD4ZQh0LsbSmApP0=; b=Ffoz/eetoUndlgfXhGD686UfRQ9GkUpayTOQWaJFmFpt6RJFZ1l7R85nump06eqoma7W0xmJhBiHXhiyy/4WoEZxNOh0vrNtTDT4FQN/pkWA7t/PAxj1BW0EQzVoKyc6D8R/FnraOAQEvTvb2DmS2yb7D20IHkVaPwTKDVdz3Q8JacCzjzm9qP84EFIOZIQX1d82XF6BrARf+DJAkQcNNgPIdTd2WiHVLz8czdIlXcCpcNUk82ZODXkLmaTkLGsWVH79FE1rLLE0neIOjvo7nZ2pxXOJclm5szCIr3epmS9dl8bBBxKOkZw7rSm5+oh4zeeQtOzvZnYjDWeVTFoNjw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GFSYJymN1Kh9JxP7Apy/sW+8ifDkp8hG7wqsaYZfERuey+e8S1MW4jYBQFU338l7L4lrpGGhpGwhj1RfmSdjwhE6WDbsSRVT8yhQ7mSdebTzo63TD0H5mocTzFQeIUTLDbBQOk7nIzHCqOQc86bwX31PfA2UZfyoLt4uWaAA8TIkAAIJQ5/C5sEHOIFMfLvIP4is8I3Ded7HuwpOFbQvjd0Xaa4wpgfBwcLb/ARfjKTrO6JJr5l0a7WVtBrSkHRY+eMNvZ/OhqJcpKiHToU/MzRWsaRehoA3qEVjJ9rgvC5SL+ZZC7/S/oKOhUkMt81PxgabzQoAU98CCBPJREbHxQ==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cposkitt AT smu.edu.sg; spf=Pass smtp.mailfrom=cposkitt AT smu.edu.sg; spf=Pass smtp.helo=postmaster AT APC01-PSA-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:4ybe6KzoDXrdLfzKCM16t+dCzSrEfRIJ4+MujC+fZmUNrF6WrkUOn DEWWD3VPv6JZ2rwfI13PN6/8E8AucWEytQ2Gldl+VhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Yc3l48sfrZ80sx5a6q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPT89ZOLlETP7cX2cB5XVp0t sQ6dRYCO0Xra+KemNpXS8FFvu97dYzTB6pavXttizbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZg9RUcph2r312z+iLlW0q3rNzUYzy2PLyxdy0aTxGMHQZ5qHSdgThUnwS mfupj2jXkpAZIDAodaD2i6hl+PQoS+mYoZRM4Sj3dBXklqr7GNGXXX6UnPg+KLi0hfkMz5FE GQf8y8q6Kwz71CDVcj4RxT+oXievxdaVcA4O+Y98USGzrfeyx2IA3ANCD9Hct0v8sEsLQHGz XeMltLtQCR0ubSNQirE8bHO9W7vfy8IMWUFeCkICxMf5MXuq50yiRSJSct/FKmyjZv+HjSYL y22QDYWuIUwrewb8qeB8nPhjW6XnNvxbFMT6VCCNo661T9RaImgbo2uzFHU6/dcMYqUJmVtW lBUxKByC8heXPmweDyxrPYlR+zwv6zYWNHIqQc1TsF6pm/FF2uLJ9g43d1oGKt+GuU+EdMDS GXOogpXjHO4FCf6PPMoC25dI+431qHmfekJu9jRZ9tKJ4BqfQaf93k3YkjKhz2w1k8xjas4J JGXN962CmoXArhmyzzwQPoB1bgsxWY1wma7qXHHI/aPjuP2iJ29EOht3L6yggYRsP3sTOL9r 4k3Cidy408DONASmwGOmWLpEXgELGIgGbf9oNFNe+iIL2JOQT9xVaKJkel6JdI0z8y5c9skG FntCie0L3Ku3RX6xfmiMSgLhE7HAckn8ypibHVE0aiAgiZ+PNrzhEvgS3fHVeJ+r7c7lKQco wgtfsSLGPNUTTrbsz0PcIPwxLGOhzz67T9iyxGNOWBlF7Y5H1Kh0oa9ImPHqnJVZgLp7pRWn lFV/liHKXb1b18/VJq+hTPG5w/ZgEXxb8ouBRCVfocKIxS2mGWoQgSo5sIKzwg3AU2r7lOnO 8y+XX/0fMGc+dVnw8qDnq2esYaiHs13G0cQTSGR7q+7OWOetiCvyJNJGrTANz3MdnLGyIP7b 8Vsztb4LKImmnROuNFCCLpF9/81yObugL549T5aOkv3QW6lMI49HUne7/Jz7vVM4pR7pTqJX lm+/4gGGLeRZ+LgPl0jBCskSeWhx/skpyTg0s5sBEPc4g5247u1fkFANDaciCFmDeVUMaF05 cwDqcIp+wiEpR5yCem/jwdQ7HWqLFYMd44Fp6MqKtbnpSRzw24TfKGGLDH95a++TullM24oE 2eyv7XDjbEN/XjyWSM/OlaV1NUMmKlUng5ByWIDAFG7mtDloPsT9z8J+BQVSjVl9Dl249hRC ENKaXIsfb6v+g12jvdtR2qvQgFNJCOI83zLlmcmqjfrcFmKZEfscksNYf2A7WIIwVJ6JzJ7x oyV+EzhcDTtffzy4BcMZF5Ym6TjY+Bcpgzms+K7LvuBBKg/MGbEgLfxRG8mqCnHIMIWhW/tm MRP48NLMJTGbQMMqfcZD62fhO0cZzKaKFMfQtVn1rIDRlvYSWqIwTLUd127If0VLdOb70apV s5kfJpOcz+c1y++iC8RKoBRAr1znd8vvMEjfJGyL0E4krKvlBhbm7OOyTrbm0kQXMRIrckmD 4HaKhauMzC13CNPumnvqMJkBDKJUeMcbleh4NHvofQ7KZ0TlcpNL2Qg2aSQlFeIOlJF+xm0g lvyV5XOxbY/9bU2zpreKYQdNQCaMtipaf+p9jq0uNFwbd/iF8fCmgcWi1v/NTRtIrojdIVrp IuJreLI8hvJjJQuX0DdvquxJa1DyMGxfehQa8zMPCZ7mwmGU5TS+BctwT2zBqFIt9J/3fOZY TWERvG+TvMvYOcF9kZpM3BfNz0/F5XIarzRoHLhjvaUVTkY/w/1DPKm0n7Lf2trSzI6BKenL gnSvdev+dFqg4BeDzAUB/xdIsFZIX2yfYAEZtHOpT2jIW3wuWy7u5zmjgsG6xvHLlKmAfTKy 8vJaTamfSvjpZyS6s9StrJDmyE+DVF/sLEWRV0c8dsnsAKKJjcKAspFOKpXF6wOtDL50az5Q zT/bGECLyHZdhYceDXe5OXTZCuuNtYsCPzYeANwp1i1bh2oDryuGLFirydsw0lncwvZkd2IF 4ssxW3SDDOQnLdZHOod36nuy6MvjPbX3WkB9k3BgtT/SURWS6kD0Ht6WhFBT2rbGsXKj1/GP nUxWXsCekygVErtCox1Tha5wv3CUO/HlF3ErBtjweozf62y9MYYkbjHAMi21bcOKsMXOLQJW HX7AXOX5Hyb0WASvq1vvM81hahzCrSAGc3SwGrLW1gJh6/pgog4F5pqoMbNZJhKFM1j/5f1j TyxpXUyGQKeJyi9HZWInB4R9csZvm0kVln0Yc2WmdMCuQc80p7UdwXs1w2TxVQcbUT8lx0wf Qr+p3p9b7FbWPUIaNW+WjkmSoS7PPws
  • Ironport-hdrordr: A9a23:QuOS36BTcoYbdlnlHeg0sceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPEfP+VEssQIb6La90ci7MAThHPtOjbX5Uo3SOTUO1FHIEGgA1/qV/9SDIVybygc178 4JHMZD4bbLbWSS+PyKgjVQZOxQo+WvweSNv6Pz3n1tRQZlZ+VL9AFiEDuWFUVwWU1vGYc5PI D03LsOmxOQPVAsKuirDHgMWObO4/fRkoj9XBIADxk7rCGTkDKT7qLgGRTw5GZUb9oP+8ZpzY H2qX202kyRiYD19vYa7R6c031ioqqt9jKEPr3MtiFaEESttu/iXvUZZ1TLhkFMnAjo0idirD CEmWZbAyx+hkmhBV2dsF/j3RLt3y0p7GKnwViEgWH7qci8Xz4iDdFd7LgpACcxxnBQzO2U6p g7rF6xpt5SF1fNjS7979/HW1VjkVe1u2MrlaoWg2ZEWYUTZbdNpchHlXklZKsoDWb/8sQqAe NuBMbT6LJfdk6bdWnQui1qzMa3Vno+Ex+aSgwJu9CT0TJRgHdlpnFosfA3jzMF7tYwWpNE7+ PLPuBhk6xPVNYfaeZnCOIIUaKMex3wqNL3QRyvyHjcZd460ij22uPKCZ0OlZ2XRKA=
  • Ironport-phdr: A9a23:K26W8xKMBnWr/x/rENmcuA5oWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFuLMx1QKCAduTwskHotSVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Z3ebx9HiTagYb5+I xq7oATMvcQKnIVuLbo8xRTOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLtiCcGLD4562DXisp/jKlGvhyvvgF0w4DVYI6LMPpxY77WcdcUSGZdW8pcUTFKDIGhY IsVF+cPPftWr5XzqVUNsRSxChKhC/nzxjNUnHL6wbE23usnHArb3AIgBdUOsHHModjrNKcSS +G1zLLUzTXEd/NW2Sny6JLVeR4moPGDQbJwftDPxkkrCgjLlEyep5HgMT2WyOoDrXWQ4u18W uK3jG4nsAJxojmzxscwkYTJnYcVyk3e+Spn3Yk1OMe0SFV0YdO9FpZbqi6VOZdsTMw4X2Fop Dg1yqcAuZOjfCUH1JspyhHDZ/KHcoWF7QzvWeaTLDl4in9ofL2xihiu/Uav1ODxStW53lhUo ydZltTBtWwB2hjO58WaS/Zw/EGs0iuB2QDU7+FLO0E0lazDJp473LEwjYQcvl7ZHiDqmEX2l rWadkI++uin8+jneKvppoSCOIBukAHxLqQumtalDegiNQgORWeb9OKh37Pg5U30WLpHguEsn qXErJzXJ94XqrC5DgJVyIou6xayAy+43NkZgXUKIldIdA+bg4XtOlzDJf/1APKij1u3jDhmw vXLM7nnD57QNHbMiq3hcqx460NEyAo809Rf55VMB7wdOvz+RFP9uMHBAhEjLgK53//rCNJm2 YwAQ26PBbKZML/Jvl+P++IvJfSDaJUNuDbnLPgl++DhgmMlmV8ceqmp24EbaHelHvR6J0WZZ n3sgtQbHWgWuQo+SfTmiFyEUTFNe3a/R60x6i0hBI67EYvORJqhjKKB0Sq7BJFbZmBLBkiJE XjydoWEX/kMaDiVIs9kijELSaChS4g61RGttQ/616ZnI/HP+i0dqJLvzsZ66PDOlR0o7jx0A NyR02eWQG5shGMHWyc23LxjoUx60lqPz7B0g+ZEGtxL+/NJTgA6OIbAwONgDtDyXhvNftOIS Fa9XtWrGioxT9I0w98WeUlxAdSijhbZ3yqrGbAZjbKLBIYs/qLGw3fxP9p9y2rB1KQ5k1YmR dJPOXS6ia576gjcHJXEk16ZlqavbaQTxjTB9GaFzWqUvUFXShR8UavfXSNXSFHRqIHS5lnDV KOpEbQqKENkyMWCI6ZOIuXOtnZneMurbN/GZHmymnusLQ2N2/WBYJesYGpLj3aVM1QNjw1Gp SXODgM5HCr0+Dq25F1GEFvuZxmp6uxisDahSURyyQiWbkpn3r7z+xgPhPXaRelAlqkctnIHr DN5VE24w8qQE8CJ8gF5e75fYM8hyExCyCTUuxE7JZPzZ7t6iAsmeh9s91jryw0xD4xBlcYwq 3Z/xxJ1MqGZzE9pbDaFm538J/vMJTq65wihPpbfwUqWy9OK4uEP5fA//k3kpx2sH1E+/m9P+ uF+iyLZ3q7jSQ0YXNT2T1o98AV8q/fCeC4h6ojI1Hpqd66prjvF3NFvD+wgovq5V/FYNq7MV Ar7EslAQtOrNPRvgV+iKBQNIOFV8qcwecKgbfqPnqCxbq5mm3q9gGJL7ZoYsArE/jdgSuPOw 5cOwu2JlgqBWTDmiV69s8fx0YlabDAWF2C7xGDqHolULqF1eI8KDy+pLajVjp11n5n2WH9E6 Ha4Ak5A1cO0PwGdLhT80QBWyUULsCm/gyLrhzdwkjwvsu+exHmSm6K7LEVBYDMWAjQ/3jKOa cCugtsXXValdV0snRqhvwPhwrRD4b54JC/VSFtJeC7/KydjVLGxv/yMeZ0qittgvCNJXeC7e V3fRKT6pk5Q2DvkBGhf2CwTbDS3/Jj1glphhyjOSRQ75GqcYsx2yRrFsZbXXflK3TsaWAFjj CSRC1ShecKmt4bch9LIteawUHikX5tYfHzwzI+OgyC84HVjHRy1m/3bdsTPKQEhyme70tBrU X+NtxPgeszx0K/8N+t7f05uDVu66sxgG4g4nJFizJ0X3HEbgN2S8x9l2S/4KdJA2qPicFIWQ CNNztLIphPqkEFuNXOGwYvlW27VnpMnPoHlJDlLh2RgsohDE++M4aZBnDdpr1bdz0qZevV7k joHiLMv5HMcn+AVqV8oxySZDKoVGBoQNijtmhKUqtGm+fkPIj/3Lv7qiRc4wI3yadPK6htRU 3v4ZJo4SCp578EldUnJzGW28IbvPt/ZcdMUsBSQ1RbGlelcbpwrxZ9ozWJqP3zwuXo9xqs1l xtriNuxpI+cKGRx4IqiBwMeOzHoIdgcsGKI7+4WjoON0oajE480UD4TW4DrTO60OCkXqLLqO xvICzJ2+RL5UfLPWASY7klhtXfGFZumYmqWKHcuxtJnXBCBJUZbjVNcTHAgk5U+DAzv2N35f RIz+GUK/lCh4EgpqKogJ1zlX2zYvgvtdjokVM3VMk9N9g8br0bNbZ7FsqQqTn4eoM3n9VLWY m2DO1YTUSdTAhDCXgmyeOP2uryiu6CZHrbsdKeIO+3R77cGEajZjZO3jtk9o3DWbJ7JbiEkV qJlnRATFXFhR5aCx3NVEHRRznqSKZTC+XLesmV2tpztq6itAl+2o9LeVf0Ia48n+gjq0/zfc bTN3WAjcGYeh8JExGeUmuNCmgdC0WcxLn/wT9Fi/WbMVP6CwfIRVk5BLXoraI0ZtOo9xlUfZ Zad24mzjvggyadpQ1ZdCQ69wofwPZNMeyflcwqZYSTDfLWeeW+Xm4euOfP6EfsIy7wF/xyo5 WTHSwm6ZmTFzmO5EUjoaL4EjTnHbkEE/tv7K002TzG7FbeEIlW6KIMl0GdwnPtu3CqMaTVUM CAgIR4X6OTAq3kD2rMjU21Zsig4d6/dymDDsq+Beshz07MjAzwoxb8Api1rjeINtWcUH7R0g HeA84Qo+Qvgy7HJk2o2GBtW9mQW3sTV5QM7ZfyfrMUlOz6M/QpRvzjKTUpS4YI4VJu14vsYy 8CTxv+pbmkYtYuFrY1GXpGcKdrbYid7d0WxXmeFUk1cFmfOVymXhlQBwqzIsCLM6MZm7MG9w NIPUuMJCQZzSapcUBwjQpQDOMslA2lizuLd1ZNYoyPi9nyzDI1bpsyVC6jUXqupeHDA0OAMZ gNUk+6ia9tNcNChnRU7MBF7hNiYRhCWDIkL+HQ4KFJvxScFuHlmEj9ugQS8Ml/ruDlLUqfo1 h8wgQ9jbel/wyz07Q5xPV/X4iY8jQ8qlp3ziDSVOlYdNY+IVJpNQ2rxvkk1aNbgRhptKBe1l gpiPSvFQLRYi/1hc3pqgUnSo8kHFflZRKxCKBgeoJPfL+0vykhZoz67yFVvzNPuUcInrDADN JmmojRHxh5pa8MzKerIPq1Vw1NMh6WI+Ci1yuQ2xwxYLEEIlQHaMCIFo00HMLA6KjHgorQqs FTd3WEeJS5RCrIjubpy+1k4Ovicwi6oyLNFJk2rdqSeI66fp2nchJuIT1c3hSZq3wFO+bl71 9tmclLBCxhplePOUU5UaIyfdFIwDYIa7nXYcCeQvP+YxJt0O9/4DeX0VaqUs61ShEu4HQEvF oBK78IbH5Dq3luLSKWvZLMD1xgp4xzmYVufC/EcMhmTlywEot2j5IRywM9QKixbGmo3YkDVr v7H4xQnhvaORoJ8enABQo4NLW47QuWTowUB5jF4NxDy1egUjg+f8zX7uyLcSiHmaMZub+uVY hUqD8yq/TI48O69jludofC8bynqcN9lvNHI8+YToZ2KXuhVQbdKuEDZg4BERnauXj2HAZuvK pP3cYVpcc3sByPwTAmkkzxsBZSUXp7lPu2SjArvX4oRrISLwGVpK5qmDj9HUxZo+7NfvOQtP 0tbJcJ8OEOgthxiZfDnZl7AjZP2BT7qcGUzLbEXzP3mNeENiXN0NqnijiNnF81yzvHroxdVG NdW0VeGg67kPtYWUDCtSCZUI1yd/HNgxWY9br5gkKBjkHaq+REdK27ZLuUxMT4d5ohuCw/Ke ickTTZpD16E09iZ61b1jelLpnlTw44Pg70d6CCs7NiCOFfOEOSqscuH6SN4NIp/+vQjP9C7e ZmN7MuGzG6YEcCYsxXbAnSzT6MIw4EJciwEGKIalzl9YZ5U/tcboQ84UsN0T1SgILIpu/anZ SciFiFAlEfxsqub2SFEj+uhnaDVxE/4mHUKGSQv6MwHuuA0Fil8b2UZubOpUJjQmymcUG8XL QwP7ANKogUdiot3eeOj643NHsYk9g==
  • Ironport-sdr: 64870c74_gZ3FkvQmfiZVPqEBtmLGFx+UNOVQQCKEFOcZ8l4w08SdRp3 Y7+vyssLuzMSjpjYTnx96a5YEnu8Xfmf0P9n9Pg==
  • Msip_labels: MSIP_Label_6951d41b-6b8e-4636-984f-012bff14ba18_Enabled=True;MSIP_Label_6951d41b-6b8e-4636-984f-012bff14ba18_SiteId=c98a79ca-5a9a-4791-a243-f06afd67464d;MSIP_Label_6951d41b-6b8e-4636-984f-012bff14ba18_SetDate=2023-06-12T12:00:42.5958617Z;MSIP_Label_6951d41b-6b8e-4636-984f-012bff14ba18_ContentBits=0;MSIP_Label_6951d41b-6b8e-4636-984f-012bff14ba18_Method=Standard

SMU Classification: Restricted


*** FINAL CALL FOR PARTICIPATION ***

 

STAF 2023 - Software Technologies: Applications and Foundations

 

July 18-21, 2023, Leicester, UK

 

https://conf.researchr.org/home/staf-2023

 

EARLY REGISTRATION DEADLINE: June 14, 2023

 

REGISTRATION INFORMATION: https://conf.researchr.org/attending/staf-2023/registration

 

DRAFT PROGRAMME: https://conf.researchr.org/program/staf-2023/program-staf-2023/

 

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The STAF federated event runs annually. The conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools.

 

We invite you to join us at STAF 2023 in Leicester, UK from July 18-21, 2023!

 

KEYNOTE SPEAKERS

 

- Kim G. Larsen, Aalborg University (Denmark)

- Dan Ghica, Huawei Research and University of Birmingham (UK)

- Mohammad Abdulaziz, King’s College London (UK)

- Andrzej Wąsowski, IT University of Copenhagen (Denmark)

 

More details: https://conf.researchr.org/track/staf-2023/staf-2023-keynotes

 

CO-LOCATED CONFERENCES:

 

- ECMFA 2023: https://conf.researchr.org/home/ecmfa-2023

- ICGT 2023: https://conf.researchr.org/home/icgt-2023

- TAP 2023: https://conf.researchr.org/home/tap-2023

 

CO-LOCATED WORKSHOPS:

 

- AI4SE@STAF 2023: https://conf.researchr.org/home/staf-2023/ai4se-staf-2023

- Agile MDE 2023: https://conf.researchr.org/home/staf-2023/a-mde-2023

- GCM 2023: https://conf.researchr.org/home/staf-2023/gcm-2023

- HEDA 2023: https://conf.researchr.org/home/staf-2023/heda-2023

- MeSS 2023: https://conf.researchr.org/home/staf-2023/mess-2023

 

CO-LOCATED CONTEST:

 

- TTC 2023: https://conf.researchr.org/home/staf-2023/ttc-2023



  • [Coq-Club] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations), Christopher Michael POSKITT, 06/12/2023

Archive powered by MHonArc 2.6.19+.

Top of Page