coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ambrus Kaposi <kaposi.ambrus AT gmail.com>
- To: moca-announce AT list.it.uu.se, eutypes AT cs.ru.nl, agda <agda AT lists.chalmers.se>, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, haskell AT haskell.org, homotopytypetheory AT googlegroups.com
- Cc: Danijela Simic <danijela AT matf.bg.ac.rs>
- Subject: [Coq-Club] Call for STSMs, deadline 1 July 2022
- Date: Mon, 6 Jun 2022 08:22:56 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kaposi.ambrus AT gmail.com; spf=Pass smtp.mailfrom=kaposi.ambrus AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f171.google.com
- Ironport-data: A9a23:OHrHRa70puw7K2Am5LCodAxRtADBchMFZxGqfqrLsTDasY5as4F+v jMdWjiGaK2NNmenc90na9m0pxkDv8PXzNQ1TQRv+CE2Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UoYoAwgpLeNeYH5JZSlLxqho2+aEvfDjW1nX4 Y2q/pWFULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 Ip/5LvvcToEBa6WusUUfDtGCnhefpQTrdcrIVDn2SCS50jPcn+p0v83SU9vYtRe9eFwDmVDs /cfLVjhbDjZ37PwkO/9ELA9wJ18daEHP6tH0p1k5TLQFfE9QNbKRq/Q+MRw0zI5h8QIFvHbD yYcQWMyPUSeOUYeUrsRIKxmheOpoWHaSjlj9G2PvaUL6E3OygMkhdABN/KMIoDQLSlPpW6To XuD9GDkCDkBJdmHwHyE9Gitj6nBh0vGtJk6EbS58rt7igTWyDVMUVsZUly0pfT/gUm7Mz5CF 6AK0nUc/I9tzHGGddqnfTyxj1yap0c8GOMFRoXW9zqx4qbT5g+YAE0NQThAdMEquacKqdoCh gDhczTBVWwHjVGFdZ6O3uzL8m7qaED5OUdHNHBUF1JUizX2iNhr1kqnczp1LEKiYjTI9dzYx jmLqG0vjexWg5dUjuO0+lfIhz/qrZ/MJuLU2uk1djP8hu+aTNT9D2BN1bQ9xagbRGp+Zgfc1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323zpiL/INsAum4jeRYB3iM4ldnBM BC7VeR5tM87AZdWRfIfj3+ZUJh2l/e4S7wJqNiNPoMeOPCdizNrDAk3PRLKt4wcuEcrlq47N P+mnTWEXB4n5VBc5GPuHY81iOd1rghnnD+7bc2lknyPjOXGDFbIGO9tGAbfNYgRsfLUyC2Lq Yo3H5XRkH13DrauChQ7BKZJcjjm21BgVc6owyGWH8bfSjdb9JYJUaCAne9wK9U4wMy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz+vqgafpozO7Ig8bU7n/JzS vAEfeSGA+hOGmyXoWRDMcGlodwwbgmviCKPIzGhP2oycptmcArDpY3pcw7pwy8RA3flrsA5u bChiljWTMNbFQRvBcrbcty1yFa1sSRPke5+RRqaLdxaeUGq+49vcnSjgvgyKsAKCBPC2jrKj 1bMUUlE/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jXxzIJFVtGOd2+PWW7x/pKke rwJnfzxNfswnGFKvZB5JLBlwP9s/NDovbJbkl1pEXiXPVSmDrRsfiuP0cVV7PEfw7ZYvU6nU BvK9IAFYPOGP8TqFFNXLw0gN7zR2fYRkzjUzPI0PESqu3MtreTfCR1fb0uWlShQDLppK4d5k +0vj8gbtl6kgR0wP9fa0y1ZqzaWInobX/l1v50WGtW32A8iy1UHcJaFTyGvv8jJZNJLPU0nZ DSTgfOa1bhbw0PDdVs1FGTMjbUB38VQ4EgSwQ9QPUmNl/rEmuQzgE9b/wMxQ1kH1R5Aye9yZ jVmOkAdyX9iJNu0aBWvnlxAGj2twDWc8031jkoDzSjXFhbxEGPKK2I5NKCG+0VxH6ewuNRE1 Onw9YoneW+CkALNMu8aVktsqvilRtt0nuEHsN7yBNyLRvHWfhK86pJDpgM0R9/PDsY4hUmBr u5vlAq1hWsXKgZIy5AG50KmOXj8hfxKyKGugR2swU/RIVzhRQ==
- Ironport-hdrordr: A9a23:n4ec9Km20llsIQKhjJ9yvhVUaR3pDfIv3DAbv31ZSRFFG/FwWf re+8jztCWE7gr5PUtLpTnuAtjifZqxz/5ICOoqXItKPjOW2ldARbsKheDfKlbbakjDH4BmpM NdmmtFZOEYz2IWsS832maF+h8bruW6zA==
- Ironport-phdr: A9a23:3s9bJhdmtNhV/GIxjwKeGUJclGM+QNfLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG9yDsrkd07aempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCCgbb9uM Rm6ohjdutUZjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVQTlgzkbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxGUchMSixBGZu8Y JUTAOodM+hYqIz9qEEPrRu4GAKgAOzixztNinLwwKY00fkuERve0QMvH9wAvnfaosjrOqoMT e+417PHwSnZYv5MxTvx9IrFfxY8qv+MR7Jwds/RxFEzGgPAlVqQs5HlPyiI3eoIqWeb9+1gV fmui2U6rAxxoSKgxt8rionSh4IZ0ErL9SBiz4YvON24U1V2YdGhEJRKtiGaM5F6Td8lQ2Fto Ss3zKANtpGnciYQ0psn2wLfZOKdc4iO+h/uSvudLDZ8iX94eLyyiRS//0igx+D/S8W50llHo yhKnNTMtH0AygDf5MaJRPZh40qs2TSC2gDN5uxFPU05i6jWJpg8ybA+kZoTtF7MHi7wmEjug 6+Wd1kk+ui16+v8eLnmp5icOolpgQ/9KqQjgtKzDfg8PwQUXGWW+f6w2KP+8UD9WrlGk/87n rTfvZvHP8oUvLS5DBVQ0os76xawETOm0NMAkHkCNl1FeRaHg5HpOl7VPfz0FPm/j0munTt23 fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sMbUAxw5PgCu3errFdFw2 pkDVW+NH6OVKKbSvkWJ5uIrLemMfogVuDPlJvgm/fHulXg5mUQcfaWzx5QXbWu3Hu57I0WCe nfsjdIBHn0Lvgo6VuDllFqCUTtLa3a0RK0z/is7B56+DYffWoCth6SM0DqjEp1Mem9GEkyME Wvvd4icR/gMbzuSLtZ9nTwASLiuUJQs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M 8PI1maGRiR9mGUPWjk90Yh7oFdhjFafl7VlxedVUZRe+u9YSgohHZXHifZnTdb2HkrIcduAA AKvTdmvKTUwVc4qhdQOakJ4Fs+5yAvOiW7iCLgM0rePGZYc86TG3nG3Kdw5g2rXzKQ6ylAgR MxSM2arrqp+7BTIQZXEml7fir6nc6Ja0SLQsC+DxHGNsUVceA55SqbIWXRZYVHZ6Zz54UbFU 7i2GKg2KgZdycOFMLpiZdruglFLS+3kJczFJWm2njSeHxGNk5qJZpD3YC0+1T3aE0lMxwMa5 XGdNE43Ay27vnn2AzlnFFapaETpp7ot4EinR1M5mlnZJ3Zq0KC4r1tI3JR0KtsW17MA42I6r ilsWU26x5TQAsaBoAxoeONdZ8k86RFJzzGRrBRza7qnKa0qnVsCa0JvpUq71BxvDZ5B18Evp mk31yJ9LKuZ1BVKcDbLlYvoNOjvI3LptAuqd7aQ31jf1NiM/aJa6/0grE7i+gisHFA/6F1o1 tBU1z2X4ZCZRBEKX8fXVUA6vwN/u6mcYiQ54NbM0mZwNKCvrjLY89cgBe9g2xz5OtkGb/rCG wj1HMkXQcOpLYTGgnCPaRQJdKBX/a8wZIa9cueenbWsJKBmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1LabFXl2hZRk00Sq2a6ggO3yjV1l3ciqa/elC3CzuL+dQYWb3ZRTToH7x+kK oy1gtYGGUmwOlJxxV31uACgnvkd/fsmfAyxCQ9SciP7Ln9vSP61v7uGOItU7Y8w9D5QSKK6a EybTbj0p10b1TniFi1Q3mNeFXnit5Pnkhh9kG/YImx0qS+TeshowgzeotXZT+RMxRIJQSB5j X/cAV32bLzLtZ2E0ozOtOyzTTfrVZRLdjLqi4qFvjGm/kVlBBS+m7a4nditQm1YmWfrktJtU yvPthP1ZILmgr+7PexQdU5tHFbg6sB+F+mSi6MIjYoLkTgfj5SRpj8clHvrdM5cweT4ZWYMQ jgCx5jU5hLk0QttNCDBy4X8X3SbisxvArvyKmAfwiUm7oZDDa2O8adski58o17+pgXUKfRwh TYSz/Iy5WVS2blY/lpwiH/EU/ZLQhAQNDeJ9VzA992kqaRLeGujOaO90kZzh5HpDb2PpB1dR Gesf54jGSFq6cAsVTCEmHb364ziZJzRdYdJ7kzSw0qG1bEEbstuz6lv52IvI2/2sHw7xvRui BVv2cr/p42bMyB2+7r/BBdENzrzbsdV+zf3jK8YkNzFuuLnVphnBDgPW4PlCPyyFzdH//fuL wGVEXs1r32BBKH3EgqW6UMgpHXKWcPOVTnfNDwCwNNuSQPIbk9WmAcPXXMzm5QjCxuCy8noc UM/7TcUrA2dyFME2qdjMB/xVX3arQGjZ2IvSZSRGxFR6xlL+0bfNcHNpvI2BSxT+Yet6RCcM mHOLRodFnkHAwbXYjKrdqnr/9TL9PKUQ/azP+ebK6vbsvRQDr+J3c79idYgpmfUcJ/TYT86S KdnkktbASInR4KDwG5JEnJP0XqKNp/+xl/0+zUr/J7htq2zAkS3o9PIUeMaMM0zqU7ox/3fZ qjA3GAhbmwAnpIUmS2Xkv5GgBhL2nsoL370QdFi/WbMVP6CxfMRVkRGLXs1bIwRseo9xlUfY JaLzIqqifgoyKZyUQ4NVES9yJj2PopTcj37bBWfQx/VUdbObTzTn5OtOfL6GeAW1b8E8UX34 GnTEle/bG7ayX+0B1b2YLsK1GbCbVRfoN3vKE8zTzK4HZS9MFvjd4Ym6F9+ias9gneAXYIFG R57dU4F7riZ7CcDx+56B3QE9X19a++Nhyee6eDcbJcQq/piRCpuxapc5zwhxr1Z4TshJrQ9k TbOrtNov1Ctk/WegjthXh1Urz9XhYWN9Ux8MKTd/5NEVD7K5hUIpWmXDh0LoZNiBLiN8+hIz cPTkavoNDpY29fd/M9ZFsKNbczebyNnPh3uFzrZSgACSH/jNG3SgVBcjODH9nCRqctfyNCkk 54PR7lHEV0tQ6lCWwI1QZpYecYxB2x9wtv5xIYS6HGzrQfcXpBft5HDDbeJBOn3bS2elf9Cb gcJxrXxKcISMJf60gpscAof/syCFkzOUNRKuiAkYBUzpRAH83FmSXYynUvgYBmw+1ccEPe1m lg9jQ40MoFPvH/8pkw6IFbHvn56iE4qhdDsmiycahb0Jaa0GJBcUm/67hdodJz8RAlxYEu5m kkuZ1KmD/pByrBnc25skgrVv5BCTOVdQaNzaxgV3fiLZv8s3Dy0Sw2izE5DoPrPUN5szVRzN 5GrqH1E1kRoa9tnfcQ4y4JGy1FRguSFuSr6j4jZJScRIk8M9CWZfyta4CQ1
- Ironport-sdr: sjEwtkKMamNG8cpP+CexQ8YyiqDGmfMvb3+LV4cB6jTQ5BvFTk5zoD92Q/3PkWENhx/B1m/KHf 4Df3m0/XVRO7z/5ZJ+K8nVYk4/G4GeJZpE/7fnPbBVTSweBiepJz9tcOAkv3aRrFvXEixoebdJ YsQnFo79l1Ux5UrxTOSR7mZO1AnWW51tslfTuhTjeZUQM3y3EnX3+cUHzBsRbWOwYoX0OZ24bM QYnXiiEhEPxVPtPYv7Rm1KVe7zFgA8/G99RuMqRleTZFTV+EEALzz51otGdzbh55Qvmcb9nJKX 72vTIU9T6fg0i5Dty9SuBwmu
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)
Dear Action members,
The next STSM deadline is:
1st July 2022
Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs
*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations.
Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
Open call for Short-Term Scientific Missions (STSMs)
Dear Action members,
The next STSM deadline is:
1st July 2022
Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs
*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations.
Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
- [Coq-Club] Call for STSMs, deadline 1 July 2022, Ambrus Kaposi, 06/06/2022
- [Coq-Club] Call for STSMs, deadline 1 July 2022, Ambrus Kaposi, 06/26/2022
Archive powered by MHonArc 2.6.19+.