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: Sun, 26 Jun 2022 23:33:21 +0200
- Authentication-results: mail2-smtp-roc.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-f176.google.com
- Ironport-data: A9a23:T1G5GKmrCsnmmd8p0USKmpfo5gy5IERdPkR7XQ2eYbSJt1+Wr1Gzt xJNCGuFPq2DZ2WgLtonPonkoxtS78LVx99lSlZsrStjEVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09QAbeSRWVvX4 4us+ZOHYjdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1im5aeTCoKJZbpgcpFQzdGFQBMDfNZreqvzXiX6aR/zmXDenrohuRkVQQ4ZNJGvOlwBm5K+ LoTLzVlghKr3brnhuLmDLM114J6c5eD0IA34hmMyRnaBO4hWpGFSqDA/8JD9Dg1j8FKW/3ZY qL1bBIzNkWZPUweaz/7DroShuSUuFXNdwEBrVeRpLs42TaUlVZYhe2F3N39I4TWH625hH2wr WXfum/9HxsyL82a0TPD83S2h+aJkzmTZW4JPLix9/ovkVfKg2JKV0NQWly8rv20zEW5XrqzN nD45AIBg6Ic8WGIVeLYRjPgsFCauD8ua4RPRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ g/Z9z8OLWw/2IB5WU5x5Z/P8mzvYXl9wXsqIH5bHVFcsrEPtalq1kqXJuuPBpJZmTEcJN0d6 zWDrSx7lr9KyMBSiPv98lfAjDah4JPOS2bZBzk7vEr0tGuVh6b/P+REDGQ3C94ecO51qXHf4 BA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSP9J94Aumsjeho2WirhRdMPS B+D0e+2zM8DVEZGkYcqC25MI593kvS4ToiNug78N4oWM8MZmPC7ENFGPBbMhQgBYWAjlqYwP ZrzTCpfJSdyNEiT9xLvH711+eZzmEgWnDqPLbimkUnP+efBPBa9FOZdWHPTP7tRxP7V8G39r YwDX+PUkE43eLOlMkHqHXs7dw9iwY4TXsCo9aS6t4erfmJbJY3WI6WNn+x5INw/w/Q9eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dZog/389IwI2OlOkhyoqbYq1vfUQcpI2ef8s8+k6lax4S PwMesOhBPVTS2Sfq25NM8Wl9IEyJg62gQ+uPja+ZGdtcpNlQTvP8IC2cwbq8h4IESfq59A1p Ket11+ATJdaH1ZiAc/aZeiB1VS0uXRByut+U1GZcNZWcUTotoNtLnWp3PMwJsgNLzTFxyebh 17GW0dG+bGVrtZsotfThK2Co4O4KMdEHxJXTzvB8LK7FSjG5W78k4JNVeC/ezqCBm75/aOVY /oMk6PxPfgBq1Z9s4RmFoFtw69jtcDkoKVXz1g9EXjGMwarB7dnLiXU1MVDrPcRlLpQuA/zS 0jWv9cDZuvPN8TiH1ocYgEia73bh/0TnzDT69UzIVn7tHArpuvZCR0KMknekjFZIZt0LJghn bUrtvkQ5lHtkREtKNuH0n1Z+jjeNHAGSKl75JgWDJWx1lguw1BGJI3WU2r4uc7RLdpLNUYuL 3mfg6+b3+ZQwU/LcnwSE3nR3LoC2c5f5kgSlFJSdU6Untflh+Ms2EED+zoASAkInA5M1Ph+O zQ2OkB4TUlUE+yEWCSes6GQ9wB96Nmx/0Xwzx4YnjScQRD3CCrCK2oyPevL90ccm46Zkv634 5nAoFsJkx6zFC0y4sf2cUFgov3nC9d282UuXei5St+dEcBSjSXN28eTiKlhl/cjKcw0jUzD4 +Jt+Y6crEE92TE4+8UGNmVR6VjcpN1o6oCPrTGNMZ7lxV3hRQw=
- Ironport-hdrordr: A9a23:56WFzaO7tACjMMBcTv6jsMiBIKoaSvp037Dk7TEJdfU1SL3hqy nKpp4mPHDP+VMssR0b6LK90ey7MBDhHP1OgLX5X43SODUO0VHAROpfBMnZowEIcBeOkdK1u5 0QFZSWy+edMbG5t6vHCcWDfOrICePozJyV
- Ironport-phdr: A9a23:oPsbDh1fdPDJu6RLsmDOXg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6wx1xSQA9+TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fObwhHijexbq5+I RSooQ7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RC+v5 Ll3RhD2lCgHNiY58GDJhcx2kKJbuw+qqxhmz4LJfI2ZKP9yc6Xact0HWGpBRd5RWDJdDYOgY YUPCO8BMvxZr4n7ulACqRSzCA2pCO7p1zRGhGL53bci3usuHwHJ3gwuEdwNvnrJstv4KrsdX Puvw6XU1zjOde9a1Sv/5YXObxsvoeuMXbV1ccfJ1UQvEhjKjk+NqYz+Ijib0/4Cs3Cc7+p7V OKklmkqqwJrrTi3wccskYjJipgPxVDB7ip52ps1JcajRU50ZN6rCppQtyWAO4RqRcMiRnhlt SAnwbIJpZC1ZjIFyIg7xxHBcfyHdZCF7B3/WeuNPTt0mWxpdbOwihi98EWuxe/xW8i23VtJs yZLktnCu20R2hHX5caKRedw81ug1DiByw3e6eFJLE4qmafdNpUvzLkwlp8JvkTCGC/7gEr2j K6KdkUk5+in8P7rYrThppKaKoR6iRn+P7wwlsCjBek0KAsDUmiB9eiiybHu+Vf1TKhIg/A3l KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmGMILFNBeB6ej4nmIEzCLOn2DfuigVmhkS1nx //BPr3mDZXNKmbMnK39crZ67k5Q0AszzdZB6JJIErwNPu7/V0vruNHbDhI1KRK4z/vjBdlny 48TW2OCDrecMKzIsF+I4uwvI/OLZI8QoDv9KOIq5+bpjX8imF8RZ7Om3Z4MZ3CiA/RmOF6UY XXpgtgbEGcKuhAyQ/DtiF2HSTJTYW29ULom5j4nEIKmEZvDRoe1jbCcxCu7BIFZZnhaClCQF nflb5mLW/AVaC6LPsBhliEEWqO6Ro861RCusRf6xKB9IurV/C0Yr5Pj28Jv6+3djxFhvQBzW sGa2GjIRmdymX4OTDIe2KFkvQp81hGezO5jjrgQGMFP9utESS8xLtjG0qp8D5S6Uw3Nd5/dQ VmqS/2iACotVZQ6w9YKZktnAJO5g0aHlyGtGvoek6GBLJ0y6KPVmXbrY45h2m7Lz+woiV8hX 81EOEWih7Vj7E7ICofS1ViBmqCsM6kQwWqF9G6YzmeKuGlYWRVzXKHBG3cFaQ+erdP84V/FV 66yGKwqLgtMztSTAqRNbdLtgFpcQ+r7I5LVZGfitX23AEOhw7mWcZGiWGwF2z7cQBwHmhgU5 nfAPA00HDq6i23bBT1qU1noZhW/oqFFtHqnQxpsnEmxZEp72u/wp0d9bZ20TvoS2uhBoyI9s 3BuG1372dvKCt2Grg4nfaNGYNp77k0UnXnBuVlbOZqtZ7tnmkZYax5+6kDnzxJsC8NJlMIws WgCww97KKbe21REJHuDxZ6lArTMMSHp+Qy3Lavf21XQytGTr6QG8PMjqhPquQuzC1EK/HBu0 t0T2HyZtd3RFARHd5X3Xw4s8gRi4bHXZi5o/4TPyXhlKrW5qBfH0tMtQfovk1OuJogBdqyDE wD2HosRAM3GxPUCvV+vY1pEOelT8PRxJMa6b76c36XtOu98nTWghGAB4YZn00vK+TAuAujPl 40Ixf2VxG7lH3/1kUuhv8brmItFeSBaH2yxzjLhDZJQYas6dJgCCGOnKcm6jttkgJulV3ld/ V+lT1QIva3hMRmbd1vm3EtZ0E4NvGePli6xzjgymDYs7+Ke0CHI3+X+ZU8fIGcYIQsqxVzoI IWyk5UbRB3yN1lvxEbjvx+rgfEE+vcaTSGbW0pDcinoIns3V6KxsuDHeMtT8NYyti4RVu2gY FecQ7q7oh0A0iqlEXENoVJzPzyspJj9mAR3zWyHK3Mm5nnQYcZrxFHW4dbGWOV50T8PRS0+g j7STAvZXZHh7ZCPmpHPv/rrHWGoTppIcG/iyImaqTCT6mhjABn5lPe20I6Cc0BywWrw0N9kU j/NpRD3b9zw1qi0Bulge1FhGF7278cS9phWqoIrn9lQ3HEbgs/Q5n8biSLpNt4d36vibX0LT DpNwtjP4QGj1lcxZn6Owov4UD2azK4DL5G5a3sRwSN75sVAErqPxLNBlCpx5FG/qErdbON8k TEU1fY1oCRC0qdZ5Ux3l3TbW+9MVUBDWE6k3wyF9dW/sLlaaC60fL682VA/1dGtAbeeox1ND XPwe5MsByh1vaAdeBrH1Hz+7J2hecGFN4pC8E3J1U2Z3q4Md8xi85hCzTBqMm/8o3A/nusyj Bg0mIq/oJDCMWJmuqSwHh9fMDTxIcIV4DDky6hEzaP0l8iiGItsHjITUd7mV/WtRXgRvOzgL AfIGTg2sGqAMbXaFA6brkxhqjicdvLjf2HSP3Qfwdh4EVOeLVRYmwFSVTAwhIMiPg+vzc3lN kx+43pCgzyw4gsJweVuOR7lV27Zrwr9cTY4Rq+UKx9O5x1D7UPYYoSOq/h+FCZC8ti9vRSAf yaFMh9QAzhDCSnmTxjze6Oj7t7a/62EC/qierHQNK6Wp7UWVu/Ul8nylNI3p3DWaprJZj44U 7U6whYRAyw/QZ+C3WxRE2pP0HucCqzT7Bakpn8p8IbmqK6tAES3otHXQ7pKbYcxpVbs3fbFZ 7bW3GEjcX5Zzs9emiWOkeRZhQ9IzXkpLmnIc/xItDaRHv2M3PYNUlhDLXs0bZUA7rpgjFAVa YiC1YyzhvggyaRsQ1ZdCQ64xZrvPJ1WZTn7bBSeWiPpfPyHPWGZmZmmJ/PhD+QK3KMM8ETv8 TeDTx25Z2rFymmvDkH1d7kL1XDTPQQC6tvkLFA3UjmlF4igMlriYboVxXUgyLkwzBsmLEY6N j5xOwNIp7yUt2ZDh+lnXnZG5TxjJPWFnCCQ66/ZLIwXuL1lGHY8keUS+3k8x7ZPiUMMDPVoh CvfqMJvqFC6g6GOzDRgSh9HtjdMgsqCo0xjPazT8pQIV2zD+VoB6mCZChJCoNUAaJWno6dL1 t3Gj77+Mh9H+tPQuNoWXo3acZ3ZdnUmNhXtFXjfCw5EBT+nOGfDhlBMxfGf8nrGy/py4pPom ZcIVvpaTAlvTqJcWhkjRoVTZs4oAGBB8/bTlsMD6HugoQOEQcxbusqCTfeOGbD1Lz3fi7BYZ hwOyLe+LIIJN4S91VYxDzsy1InMBUfUWshA5yN7aQph6kZE6H9lTys63kj/dxiF73oaFPryl RkzwFgbA6xl5HL37lE7K0Cf7jM3i1U0kM75jCq5dTfwKOKhV9gTBXOr6Q4+NZT0RwszZgq31 x8BVn+MV/daiL1ucnpugQnXtM5UGPJSeqZDZQcZ2fCdY/hAObF0pSCuxEsB7uzAW8MKfOQCf pulrnYG0AVmPoddzU34IaNIyh1BjPvLsHb3iKY+xwgRI0tL+2SXKnZghQ==
- Ironport-sdr: YU0PBo7tLCxV0JPnL7ZEtuCJc8JVLvhWITw44PLPcDqpe42iRl/QWmsFOIVLg7NMp/F1qxBElt 6gVqgWjFJ1e2jtGd1NqGyD73kzkWC0m84XoHH4jPUxQOUvdHKgcGf2UISpVatLN9OIpCbwhjmV lOBwnKZpP6Dwwv+CW59gvMFFj2Y57QqMpMlhmE6ddQkJTJHtK6Uob8t02xKc53kKiBVKeReLmb tcrtAh4x2cccvsEeyBpKn1J9jmDV00BM5BUBcVSdqFnNdzSgGEtZzyciTQFMBcbxn5H/mba6Ez 3S7zVvDZKllfpG99VjHdJikM
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
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+.