Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for STSMs, deadline 1 January 2023

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for STSMs, deadline 1 January 2023


Chronological Thread 
  • 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 January 2023
  • Date: Wed, 7 Dec 2022 10:11:08 +0100
  • 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-pj1-f44.google.com
  • Ironport-data: A9a23:9ome3a7rcTfo5wSCMwqA6wxRtOvDchMFZxGqfqrLsTDasY5as4F+v mUbXGyAa6rbYTDwc912bYS/90xSsZfTmNYyTwM+/ixnZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UYYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhnglbAr414rZ8Ek15a6q52tB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6+U1FnE2Z9AYwbxqEUVq0 /pIDDEPSA/W0opawJrjIgVtrsEqLc2uJIFG/388kXfWCvEpRZ2FSKLPjTNa9G1o14YeQLCEP pRfNWYHgBfoO3WjPn8UAYo5h+buj3z1aSBDgF2QrKszpWPUyWSd1ZCxaYuIKobaHK25mG6jh GHU+EH6BCtKJdqwlx2dyFiLrMzAyHaTtIU6TeXkrJaGmma7zWsKTRYSSFGTuui8kkf4WtRFK kVS9DBGkEQp3EmiT924Rx/h5XDY4lgTXN1fF+B84waIokbJ3+qHLnhfVA5BMoEmj5UrVRgO8 FnZu9LrIyM65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L8NFbYvXnHoYLLUKlsjHmMWqvn G3S/UDSk51W3JFbjfzqlbzSq2v0/sChc+Ij2unAsouYAu5RYYekY8mw6wGe46ocaomeSVaFs T4PnM32AAEy4XOlxXTlrAYlRunBCxO53Nv03wIH834JqW/FxpJbVdoMiAyS3W8wWir+RRfnY VXIpSRa74JJMX2hYMdfOtzuU593lPS6RYm9CJg4i+aihLAhJGdrGwk+NSatM5zFzSDAbIlla MnFKZ3wZZrkIfU/lGreqxghPU8Dn3hinws/tLj0yBOo1bf2WZJmYeZtDbd6VchgtPnsiFyNr b53bpLWoz0CDrCWSnSIqeY7cwpWRVBlXsueg5IMJoa+zv9OQj5J5wn5muN/JeSIXs19yo/1w 51KchMCkAGg1CKedVvih7IKQOqHYKuTZEkTZUQEVWtEEVB5CWp2xPZEL8kEbvM8+fZ9zPV5a fAAdo/SSr5MUznLsXBVJ5X0sIUoJlzhiBOsLhiVRmE1X6dhYAjVpf7iXA/krxcVAgSN6MARn ryH1yHge6QleThMNsjsVa+Q/wuDhkRFwONWdGnUE+ZXY3TpodRLKTSur/oZIPMsCBTkxxmc3 Tm4GR0z+OvH+dc01PLrhqm0iZijPMUjP0hdHkjdta2XMwuD9EWd4IZwasS6VhGDa3HVoYKJe vdw48znFsE+jHJmktZZAql666AT/P7trOJq9RtlF3D1cFibMLNsDX2Y181ptKcW5LtmlSape 0CI6P9IEK6oPZ77LVsvOwYVVOSP+vUKkD307/5uAkHb5jdyzYWXQ3dpIBiApyxMHoRbaLp/7 78ah/cXzAijhj4BENWM1HlU/lvRCE0wafwss5VCDbL7jgYu9Ep5XqXdLS3IsbWvcNRHN3c4L gCE3JTig6tu/WucUn4RO0WU489jq8Uvgi1a9H4DOFWDpfTdjNAVwhB60Go6XyZV/Dp9wsNxP WlhCGNtL47X4D5qqdRxXVn0PwRNGhfD9lfD8AYLnjeBTm2DdG/EHEsiM8mjoWEb9GN9eGBA3 be6kWzKbxfjTPvT7AATB3F3juPFTMNg0DHClOSMPdW3L7NjbRXL2qaRNHc18T35CsYPtWj7j OhN/tcoT5bkNCQV8pYJO6PD2Zs+EBm7dXF/G9d/96Y0HEbZSjG4+R6KD2uTIsptBfj7wXWUO vxUBPBkdkqBjX6VjzUhG6QzDad+n6cp6Po8a7rbHzM6nIXFnAV5kqD713bYtDcwTsRMgPQND NrbVwi/H1y6gVpWnG7wr/d4BFeoXOlcZCDB2LGazeZYMbMCr+BmTm8q2JSWoXi+EVVq7jCUj iz5do7UyO1Qk91slrTzD5QZVhmVKMzyZsuM4guco9RDVvKREMbs5ic+iEjrABRSBpQVA+9Ir LWqtMXm+n/Kp5Mkejn9t6TZMpJW9OKeefFyMPPnCFV7xgy8ANTN5TkH8ECGca15qstXvJSbd lHpefmOes4wcPYD4W9edAx1MQsXUobzZYfe/RKNleyGUEUh4FaWPeGc1CHbaE9AfXU1ILz4M Aj/vsiu6v1+rIhhABwlBelsM6RnIW3MCLcXSNnsiQa2VmWYoEuOmr/HpyoS7TvmDnqlEsGj7 6ycF1K6PF63tbrTxd5Uj51qs1dFRDxhiO03ZQQG98Qwlzm+C3UcIP8ANYkdTKtZiTH2yIqyc QSlgLHO0skhdW8sndTADNXfssO3A+UPPpLhJGVs8R/ILSixA4yEDf1q8SIID7KavNf85LnPF D3c0iSY0tuNLlVBSuMa5/j9iuBirh8f7mxd4ljzyqQeHD5HaYjnFxVd8M5lWinOEsWLn0LOT YTwqaaoX2njIXPM/Q1cl7K51f3XUP4DD9nlUMtX/Ovihg==
  • Ironport-hdrordr: A9a23:sk/VE6tdld4JMzNm6A1kP63T7skDSdV00zEX/kB9WHVpmwKj5r mTdZUgpGfJYVMqMk3I9urwXZVoLUmsl6KdpLNhXotKPzOGhILLFvAH0WKK+VSJcBEWtNQ86U 4KSdkYNDSfNykdsS842mWF+hQbreVvPJrGuQ4W9RlQcT0=
  • Ironport-phdr: A9a23:EjDV2hEOUD5LGaLkNE2O/p1Gf/BFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmQAs6Csa0My7KP9fy6BSpYudfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi6swXcutMLjYZgJao91wXFr3lVcOhS2W9kOEifkhni6sq/5pJv7zhct/c8/MNcTKv2eLg1Q rNfADk6KW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59 KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndaU81PSyJOHJ+zb 4oXD+oAI+lYqZX9p0ATphe6HAWgGf/jxiNNinLw2qI0zvkhERre3AM+A90OrHrarNLwNKgIU OC1yrTDwTHMYv5S3Dvw7pXDfBI8rvGWRb9/fsTRxksvGQ3LjVuetJLrMi2J2ekWqWeX8/BtW Pizh2I7qQx8pCWkyMc2ionOg4IY0kzJ9SBiz4YvON24U1Nwb9u+H5tIsCGaLIp2Sd4lTmFro ik60roGuYW6fCQQ0psnwgXQa+aac4iT+R/jW+ORLi15hHJhYr6wmxGy8U25x+D6S8K730pEo DBfndnQqnACyQbT6s6fR/Vy4kqsxSqD2x3N5uxFLk06mqvWJZEjz7MxlJceslnPEC/2lkjrk KKbckoq9+e05un7Y7joqIOROox0hwzwLKgjnNG0D+o/MggLRWeb+OK82aXs/U34XLVKjuA2n bLDvJDbIsQWoLOyDQxN0os79RqzEzOr3M4bkHQHNl5JZg+LgonzN1zBL/31C+q0jU62nzdx3 f/GO6XsApXTIXjHl7fsZbN95FRdyAo31Nxf/5BUBqwYLPL9VUL8u8bUDhA+MwyzzObnDMty2 pkCVmKIB6+VKKLSsVmW6eIzO+SAepMZtTLnJ/Um5/Pil2E1lUIccKWz0pYaZ2i0HvF8LEWYZ XrsjM0BEWAPvgcmT+zlkkWCUTlIZ3azRa4z/DQ7B5m8DYfeXYCgm7OB3CKhEZ1XYmBKEEyDE XDtd4mcXfcDczqdItV9nTwcSbihV4gh2AmzuAPi0bpoMvLU+jEEtZLkzNV6++rTlQgr+TNoC 8SdznqCQnpvnmIIQj82xLpwrVZ8yleFy6h4guZXGcZd5/NTAU8GMsvZyOdzTtn0XAXceNyEY FKnWcngAC13U8932NJKK0tgB8S6gwvr1DHsGaJTkbjPTJU7/quUi3H+K89Vz3fdyLJnhFkvR s5CL3bgnaMps0DYAJeMmEGEnY6rc74d1WjD7iPL0XuWsVodWQh2VrjDVn03YkrNsc+//U7LV PmzEbkhNE1MxdPGYqtDcd7kiVFuRP74O9naZyS2gWj0TRaPw7SQa5L7Z3QF0TndBU8egigc+ nGJMQUxHCC8u3mYBztrRnz1ZEa52Ox0sm6gBmw91waRbgU11LOt/QUUw/WZQekOxZoLvS4gr 3N/G1PrjIGeMMaJuwc0JPYUWtg6+loSkD+A3+QcFpmpLqQ5w0UbbxwypET2kRN+FoRHl8Eu6 nIs1gt7b6yCgxtabz3N+5f2N/XML3Xqugi1YvvV00nZy9fQ86IF8ukjg1rmtQCtUEEl9iYvy MFbhkOV/Y6CFw8OSdT0W0cz+QJ9ouTZazE6/IKS3HhmK7SvmjDH0tMtQuAiz0XoZM9RZYWDE gK6CMgGH46uJegtzkCudQ4BNftO+bQcOsqnc76e2vfuMro82j2himtD7cZ21UfkGzNUbOnO0 t5FxviZ2lDCTDLglBK6tdixn4lYZDYUF275yC7+BYcXaLcgNYAMQXyjJcG63LAcz9bkRmJY+ Vi/BlgHxN7heBycaEb41BFR0kJfqGKumC+xxTh52z8zqa/X0CvLyuXkPB0JXwwDDGprlVD3I M69itoAQVOAYA0glR/j7kH/huBaqKl5M2jPUBJQZSGlSgMqGqC0t7eEf4tO8MZy6XQRALn6O wnEDOKh8H54m2v5EmBTxS42bWSvs5T9xFlhjX6FaW10tDzfcN1xwhHW4JrdQ+RQ13wIXnod6 3GfC16iMt2u5djRmY3Et7X0VGu5UYZSNyDux5mdrwO04GRrBVu0mPX5ybiFWUAqlDT20dVnT 3CCrx/kZZLqka2/O/h6ZWFnAVb974xxHYQ0we5SzNkAnHMdgJuS538Ol2z+ZM5a1azJZ30IX TcXwtTR7WAJwWVbJ2mSj8L8X3SZmY56YsWiJ3gRwmQ75txLD6Gd6PpFmzF0qxy2t1CZbf94l zYbgfwgjRxSy+IAoA02z2OUB7oIAFJwMinllhDO5Ne75Klaf2egd7Gs2VE2x4jwSuHf5FsFB jClJt8rBmdo4996MU7Q3XGWiMmsY9TWYd8J91WVnxrGk+lJOcc0n/sOizBgPDG1tnkkxugny B12iMvi7c7XdiM3pfz/XkILU1+9L9ke8Tzsk6tEy8Of3oT0W45kBi1OR5zwC/ShDDMVs/3jc QeICjw17HmBSt+9VUeS7llrq3XXHtWlLXaScTMaxM1lXxjbLUlVmh0PdDo/l589UAutwYayF SUxriBU/VP+phZWn6hrPgH4SWaZrQKicCovYJeaJRtSqApF4g2GVK7WpvI2FCZe8Jq7qQWLI WHOfAVEA1YCXUmcDkziNL2jtpHQtvKVDe2kI77ScK2D/KZAAuyQy8vlge4Et36cc9+CNX54A 7gn11pfCDpnTt/BlWxHSjRLxXmQKZfK/FHmpnIx9oflrLzqQF69u9fJUeAJd4wxo1buxv7SU ozYzCdhdWQGiNVVnSWOkP5HmwRKwyB2K2vzT/Ja6X+LHPqWwugNV1Yac38ha5EOtv56h1gXf 5ac04OQtPYwj+ZpWQgZEwW7x4fxI5RNej/1NUubVh/TZPLfemKNk4evJvnlAbxI0LcN6Eb24 GfHVRelZnPayVyLH1iuKb0e1nnKekwD/tjnIlA1TjG8BNP+Nk/haYEx0G1wmOxuwCuNbD9UM CAgIRkU8PvKtnIe2a85QysYvx8HZaGSkiKdpYE0M74wtv1mSmRxnuNeuzEhzqdNqTpDXLpzk TfTqdhnpxenlPOOw3xpSkgGrDEDn4+NsUh4XMeRvpBdRXbJ+g4M5mSMGlwLodViENjmp6FXz JDGiqvyLD5I99+c89EbAoDYL8eOMXxpNhSMenacFAweUTuiLn3SnWRYmfCWs2WX99009sSql 50JRbtWElcyE7JSC0hoGsADPIYiXj4glu3+7oZA7n6/oR/NAcRC68qfB7TCXLO1cWjf0eUXA nlAian1JokSKIDhjklra10h2Z/PB1KVRtdV5Ctocg4zpkxJtnl4VGw6nUz/OWbPqDceE+C5m hkuh05we+MooX3v6k8wPVuMrS46ilQqsdrgiDGVNjX2Ke3jOOMeQzqxrEU3Pp7hFkxtahaum EV/KDreb7dYjr8lbWIyzQGA5d1AHvlTSaACaxgVj6LyBb1gwRFXrSOpwlVC7O3OBM55lQckR pWrqmpJxwNpaNNdzU34IaNIyh1IhPvLsHP0kO82xwAaKgAG92bAIEbgV2QHM7AnI2yj+ek+s GRqfhNMfWENU7whpfc4risA
  • Ironport-sdr: 639058b9_9nQXY7nO2aMRJLR+q0oQKaHZ+J+IEjHEy3F6uks27ulmQyi jhwRIsVqjzxY8EV6bGSMkN1Lnakiulnek5AiIsw==

COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)

Dear Action members,

The next STSM deadline is:

    1st January 2023

*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 research collaborations.

Find all the details concerning application on https://europroofnet.github.io/grants/

Do not hesitate to contact us if you have any questions.

Best wishes,

Danijela Simic and Ambrus Kaposi

EuroProofNet STSM Coordinators



  • [Coq-Club] Call for STSMs, deadline 1 January 2023, Ambrus Kaposi, 12/07/2022

Archive powered by MHonArc 2.6.19+.

Top of Page