Skip to Content.
Sympa Menu

coq-club - [Coq-Club] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)


Chronological Thread 
  • From: Catalin Hritcu <catalin.hritcu AT gmail.com>
  • To: Coq Club <coq-club AT inria.fr>, types-announce AT lists.seas.upenn.edu, csf-announcements AT lists.ieee-security.org
  • Cc: Catalin Hritcu <catalin.hritcu AT mpi-sp.org>
  • Subject: [Coq-Club] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)
  • Date: Wed, 15 Feb 2023 10:42:02 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f48.google.com
  • Ironport-data: A9a23:+x31i60zpKKak8EKDvbD5QF1kn2cJEfYwER7XKvMYLTBsI5bpzwAx jQfCmnTbvvbN2GjKtx1Pd/joE5S65/Ux4IySAZt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hFaYDkpOs/jY8Ek24ayr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1/LnPJNXBE6BIg3wMonKD1Iq 6YVMBlYO3hvh8ruqF66Yuxlh8BmMtKyeY1D6jdvyjbWCftgSpfGK0nIzYUAjXFg24YURKmYO 5pxhTlHNHwsZzVEM0seDJM42ueyh2X0bhVXrVuUoew85G27IAlZgeKyYICOJ4ziqcN9m1ic+ 1jiwzzDWBAhGN2GjheDzV+Mv7qa9c/8cNtKSOfQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA3/U2vC8fmBli2/C7CsRkbVN5dVeY97Wlh15Y4/S69ITcDbW4RZOUjm/UaFRV20 AHTksvAUGkHXKKudVqR8bKdrDWXMCcTLHMfaSJscefjy4mzyG3UpkKfJuuPAJJZnfWuRm6tm 2HiQDwWwuRM3ZRShs1X6Hie22r0zqUlWDLZ8ek+Y45IxgZwZYrgeZfxrFaHvbBPK4GWSlTHt 38B8yR/0AzsJcHd/MBuaL9VdF1M2xpjGGOG6bKIN8d7nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYpPNzqWpV3lvC8TY+NuhXogjxmMsgZmOivrHEGWKJs9z2FfLUEy/BjZ M3KIa5A815GVPQ/pNZJewvt+eZzmnpWKZL7Spf8wBCquYdyl1bEIYrpxGCmN7hjhIvd+Fu92 48Ga6OilksCOMWjPXG/2dBJcTgicyNgbbio8Jw/SwJ2ClA5cI3XI6SBn+1Jlk0Mt/g9q9okC VnnBh4ImAak3SaXQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK7+t/9NRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+vsU8L3/WiN5SAcvMlQQ3r3JsJifRSw0YpydA30oPwFA+ANDhThwDGl+ R6cKkoar7OVoqse0trAtYabpaiHTsp8GUt7GTHAzLCUbCP1wEuq8bViYs2pIw/PdTrT07qwQ Mlo1NfACe0jsHcWlptjApBp4Lkb5dCyl4RFzw9hImrHX26rBpxkPHOC+8tF7Y9J+ZN0piq0X VCp6PBBGLDUJv7gLkEdFDAlYsuHy/sQvDvYttYxAUfi4R5I7Ki1alpTMzaMmR5iAuNMaq19+ tgYuekS9wCboTgpOIzfjilrqkK9HkZZWKAj7pwnEIvnjzQw8W57YLveNH7SwIqOYNByIEUVM meqpK7dtY99mGvGUVQOTEbo48QMpK4zqChrzUADLWungtDqpOE69zwP/CUVTjZ69ARm0eVyM FdFL0defP+F7Rp0tsp6A0SpFx9LXhGCyHesyVFTzGz9ZGurX1zrM2cSF7us/kcY0mQEZRld3 uiS51jEWAbQXvPa/3UNS2t6jf38XPpN9gHms+K2LfSvRpUVT2Lsvf6zWDAutRDiP/IUuGTGg utbpMBLdqzxMH8rkZ0RUoW1++wZd0GZGTZkX/pkwaIuGFPcchGU3RylCRi4WuFJFszw3X6IM e5cDeMRaE3mzweLlC4ROoAUKbwtnPIJ2ssLSom2GUE46Ymgvhhbm7OO0Bimn2I6YcRcoeBkI KPrSj+yOGixh3xVpmzzkPd5KleIOecjWgmt8922ocMoFo0Cut5CaUsd8KW5lFTLPRpF/yC7h hLiZajX/bY7yY1TgJbdSPRfJgSrKOHcUPaD3xCzvu9vM/LOE5bqnCEEpmb3Oz95OeMqZO12s rCWofjL01jgrp9vd0zkw7y6CLhuyeCpeehmIubbDSJ9o3OZecnO5xAjxTiJGaZRmokA2vj9F hqKVsSgUPU0BfJPz2JxQApDGU8/D6/XUP/RlRmlpa7RNilHgB31F/L5x3rHdmoBSzQpPaf5A QrKu/qDwNBUgYBPJR0cDcFdHJ5KDw7/aJQiauHOm2GUPkuwjnOGn4nSpx4qxDXIK3uDScjEu MOPAlC0cRmpo6jHwe1Iq4E47FVdEH95hvJ2ZU4HvcJ/jzehFmMdMOABKtM8B4pJljDpnoTND N0XgLDO1Q2mNdiFTfn93DgndgKWB+hLJMygYzJ1rwWbbCC5AI7GC7xknsulD7GaZRO7pNxL6 /lHkpEzAvR16p5sTOcXoPe8hI+LA9vEk2kQ9xmVf9PaWn4j7HZj6JClNAVIXC3DVcrKkS0n4 ITzqX9sGCmGdKI6LSqsl7O51v3UUPMDAgjEtRuy/es=
  • Ironport-hdrordr: A9a23:5wGhsqzAxjZleO//zHmTKrPwFb1zdoMgy1knxilNoNJuA6ulfq eV7Y0mPH7P+VAssRQb8+xoV5PwIk80maQU3WBzB9aftWvdyQmVxehZhOOI/9SKIVyaygcy79 YFT0G8MrHN5JpB4PoSLDPWLz/o+re6zJw=
  • Ironport-phdr: A9a23:OOsgehS1IYPL8efFhN8EA3LbANpsosCWAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOCta8MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCCgbb5zL Bi9sBncuNQRjYZ+Jak9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmUwHjhjsZODEl8WHXks1wg7xdoBK9vBx03orYbJiIOPZiYq/ReNUXTndDUMlMTSxMGoyzY YsBAeQCIOhWsZfwqEcBoxalGQmsHfnixiNUinPq36A31fkqHwHc3AwnGtIDqGrZo8/pNKgIV eC1za/IxijBYfNM2Df99JTHcg08qvyLQb1/a9bRxlMrFwPEiFWcs4zlPymU1uQRr2eb8vFtV e2qi2E9qgFxpiKjydsrionMn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyXKYh7T8I8Tmxnt is31rMLt56/cSUWyJopyRDRZv+IfoWV4h/vSOecLDRmiX9hZb6yiRa8/Ei+x+DzSMS631RHo yxYmdfCsXAN0gbc6smBSvZl+0ehwTeP2xnI6uBKOkA4j63bK4QuwrM2i5EdslzDEzfolEnqi KKabEYp9+iy5+j5f7nrpIWQOoB3hwz4L68ggNawAf4iPQgLR2Wb+fqz1Lnk/UDhRbVFlPw2k q3AvJDEPsQXu7e1AwFa34sg8Rq/ADCm0NMXnXkDMl1JYg6Ij4/sO13WIfD4C+mwg0i0nTt12 /zLOqftD5bNI3TZjrvtYLRw51RTxQcw1dxf4ohbCrAFIPL9QE/xs9nYAwclPAOu3+boEtF91 oIYWW6VAq+ZKqLSsUOU6eIyOOSMa4oVtyz8K/gh/fLhkXg5mVoFcamvxpQYcGq4Eeh+I0WFf Xrshc8MHXoSsgokUOPqkEGCUSJUZ3uqQ6084Sg7BJu6AofHW4Cim6eM3Dy7H51TfmBJEEqAE Xbud4WeWvcDcjieIsF7km9Mab/0YIg4nTqqqQWyn7FgN6/f/jASnZPlztl8oePJw1V66S1sA t/Y2meLSHxylW4gQz4twLs5ukF00RGeyaV+hbpVGcEXr/hSXEIzM5jb0upxBtX/XB7aVtOIU 0q9BNSrDDx0Vd863sUPf1c7HM+t3T7Z2C//KLYJnriKAtQU6KPA1GW5c81013/C1a9nj0MnX sBSHWKjj697sQPUAtiawA2ii6+2ePFEj2b2/2CZwD/L5RkAOOYReaDMXHRFI1DTscy8/ETJC bmnFbUgNAJFj8+EMKpDLNPz3h1dXPm2HtPYbiqqnnuoQw6Sz+aHZZbjf2QbmiXHCVQPjigc+ H+HMU41ASLy63nGAmlWHEn0K1jp7fE4rXq6SkEuyATfZER93r60/FgVn/2AQO470bcNuSNno DJxTx6mx9yDLd2GqkJ6eblEJ9Mw5FASzWXCqwl0JYCtNYhnj18aNhps5gbgi0UxBYJHnswn6 ngtyWKeMIq+11VMP3Od1JH0YPjML3XquQqoYOjQ003f19Cf/uEO7u45ohPtplPhEE1q6Hhh3 9RPthnUrpzXEAofV47wWUcr5lB7ob/deCw0+4LT0zVlL6C1tjbI399hCvEiz16seNJWMaXME wGXcYVSDMGyIegrnR6pdBMYN/16+6s9PsfgfPyDmeaqMOtmgDO6nDFf+okutyDEvyF4S+POw 9ME26TChlrBB2q61g7+9JynyuUmLXkIE2GyyDbpHttUb6x2J8MQDHu2ZtewzZN4joLsXHhR8 BiiAUkH0YmnY0n3DRS10AtO2EAQuXHilzG/ymk+mDg1p66e2mrO2eX+fwcvNWtCRW0khlDpa 9vR7ZhSTA2zYg4lmQHwr03z26FfpaI5L3PSXUxVVyfzJmBmFKC3s/DRBqwHoINtuiJRXuOmZ FmcQbOouBoW3RToGG5GzSw6fTWn0nngtyRzk3nVbHN6rX6DPNp12Q+a/tvXA/hYwjsBQiB8z zjRHFm1edezr52YkJLKs+b2UGzENNUbeiD3xIeBsm27/2x2CgCXkPW6m9mhGg8/mSP2zNhlU yzUoQ20ONG6kfTnd7g+IQ80VBf18K8YUslmn5E1hY0M1HRSnZiT8Xcd0C/yPdhdxaPifS8IT D8PzcTS5Vut00liI3SVgoPhAy/Fk40xOp/gOzxQhnJuiqICQL2Z57FFgyZv91+xrAaLJON4g i9Y0/wlrngTn+AOvgMpiCSbGLEbW0dCbkmO31yF6c6zqKJPaSOha7+1gQB1lMyoCLCE5AFGW WryZ78tGCZx6oN0N1eGgxiRosn0PcLda94erEjemB7chuxULtQxjPsWjjdPNmf0vHljwOk+x 08Lv9nyrM2MLGNj+7i8CxhTO2juZs8dzTrqiL5Xgsec2438VoUkADgAW4HkCO65CD9H/+qyL B6ASXdvzxXTUaqaBwKU711q6m7CA4z+fW/CP2EXlJ1jXEXPfxEZ2VFMGm9mwdhhUVr2jM35L BUnunZLvQW+80UUjLovbkiaMC+XpR/0OGlqDsHHdlwOqFkFvR+dMNTCvLwtWXsEr9vx9ErVb TbDLwVQUTNWAArdWxa6b+PovZ6Zo436TqK/N6ecPunI8LYDEa/OndX2jMNn52reb53feCA9U LtrnBIEBykxGtyFyWxQEGpOxn6LN4jD407in08/5sGnrKaxAFOptdbJUuECd40ook/+gL/fZ bTJ2mAkeXABh8lKnTiRmfAexAJA0XgwMWP2QPJb72iVC/uB/80fRwgSbyc5XCdRx4Q72AQFe cvSi9evk6V9kuZwEVBOE1rohsCuY8UOZWC7LlLOQkiRZvyAInXQzsf7bLnZK/UYhfhItxC2p TeQElPydjWFmT7zUhmzMOZKxCiFNR1asYu5f15jE2/mBN7hbxS6Npdwg1hUifUsgWjWMGcHL TVmW0ZEr7nV8zgBx/sjSypO6X1qKeTCkCGcrqHZJpsQrfp3E3F0muZdsxFYg/Ne6CBJQuAwm TOH9IY/5QH71LPWlXw7AEkryH4Dno+AsER8NL+M85BBXSyB5xcR9SCKDB9ModJ5C9rpsqQWy 97Vlau1Ji0RlrCctcYaGcXQL9qKdXQ7Nh+8UjXdEAIBTDjtNXvem0dAuP6X/3yR6JM9r9K// fhGAq8eT1EzGv4AXw59G8ceJZ5sQj4+ubuSjcpN+2Hn6ReNFINVuZfIUv/UCvLqYmX87/EMd 14DxrX2Kp4WP4vw1hl5a1V0q4/NHlLZQdFHpiAJhuocr0BE8Xw4RWo2iRqNguyF73oaFPryl Rkz2FIWiQUF8T7t5xIpPQOPqndg1kY2ntrhjHaadzujdM+N
  • Ironport-sdr: 63eca910_ZoZfac69aDZo5Ef1/6fJVMuN/ryfP2pGbFxxXWgDUCbQQ75 aeZWpNkJUAXwhRhvjBNaAR1AW7TjmTM0jPi68xA==

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023
Emerging Research Trends in Computer Science
https://cmmrs.mpi-sws.org

August 6–13, 2023, Saarbrücken, Germany

Applications are requested from undergraduate students or Master's
students in computer science, computer engineering, or a related
discipline to The Cornell, Maryland, Max Planck Pre-doctoral Research
School. The 7th of this annual series of week-long schools will focus
on emerging research trends in computer science.

The small, select group of attendees will be exposed to
state-of-the-art research in computer science, have the opportunity
to interact one-on-one with internationally leading scientists from
three of the foremost academic institutions in research and higher
learning in the US and in Europe, and network with like-minded
students. They will get a sense of what it is like to pursue an
academic or an industrial research career in computer science and
have a head start when applying for graduate school.

For full consideration, applications should be received by February
28th, 2023. Travel and accommodation will be covered for accepted
students. Further information about the school and how to apply can
be found at https://cmmrs.mpi-sws.org


  • [Coq-Club] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation), Catalin Hritcu, 02/15/2023

Archive powered by MHonArc 2.6.19+.

Top of Page