coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CS@max planck: The new Max Planck Graduate Center for Computer and Information Science

From: Derek Dreyer <dreyer AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: [Coq-Club] CS@max planck: The new Max Planck Graduate Center for Computer and Information Science
Date: Fri, 21 Dec 2018 14:17:56 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dreyer AT mpi-sws.org; spf=Pass smtp.mailfrom=dreyer AT mpi-sws.org; spf=None smtp.helo=postmaster AT juno.mpi-klsb.mpg.de
Ironport-phdr: 9a23:ZY/IZx9C36qV6/9uRHKM819IXTAuvvDOBiVQ1KB40eMcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRxDohikJNDA37X/ZhdBrgaJHvB6svQBzz5LIbIyXMvd1Y6PTfckdRWpERstfWTJOApmiYIsMEuEPM/xYoJf9plQQtxu1GA6hC/71yjBWhn75w7c63v8kEQHe3QwsBskOsXrPrNnvM6cSS++1wbDOwD7eYf1W3jL955LJchAnufyMWKpwccXLxUYyCQzIiEibp4/9Pz6Ny+gAvWyW4/B9We+rkWIqqAB8riKgy8swkoXFmJ4Zx1Te+Sh6wIs5P8C0RU96bNK+DZddtT+WOo1rSc04WW5oojw1yrgetJ67YicKzJMnygbda/yadYiI5QjvVOOJITd5nX5le7a/hw2p/kS6z+38Tsa03ExXoSVbitXMt3YN2ALP6sWfV/dw8EOs1SyS2w3X8O1JIkE5mbDUJpI92rIwk4AcsUXHHi/4gkX2i6qWe1059eiy9evmYqvppoWHOo9xkgH+M70imtexAOQjKAQOWHKb+euk2L354UL5WKlKjuExkqTBrJ/aIt0bqrelDA9Rz4Ys8A2yDyym0dQdhXkINkhJeBOBj4jzOlHBOur0DfmlgwfkrDA+zPffe7blH5/lL37Zkb6nc6wuxVRbzV8fwMpS5Np4ELwQLei7DkPruc3VFDc8Kw3x2Pn8TtJn2dVNCiq0HqaFPfaK4hez7eU1LrzUPd5HiHPGM/EgosXWozo8kF4Zc7Ou2MJMOnWgH7F9PF7fZmDj0I5YTTU6+zEmRemvs2WsFCZJbi/pDack53QgF5ngCp3MFNj03e6xmRyjF5gTXVhoT1CBFXCyLdeGRvELLieKI4pilicOE725RMkt2EP2uQ==

Dear Coq-clubbers,

The Max Planck Society, in conjunction with affiliated German
universities, has recently initiated a new graduate program for
computer and information science, called CS@max planck. This program
is the first to give admitted students access to the full range of CS
faculty and research opportunities at any participating Max Planck
Institute -- including the MPI for Informatics, MPI for Software
Systems, MPI for Intelligent Systems, and the newly founded MPI for
Security and Privacy.

https://www.cis.mpg.de/graduate-programs/cs-max-planck

The next application deadline is December 31, 2018, and we look
forward to seeing strong applications from Coq-clubbers and your
students! For more details, see below.

Best regards,
Derek Dreyer

-----

CS@max planck is a highly selective doctoral program that grants
admitted students full financial support to pursue doctoral research
in the field of computer and information science, with faculty at Max
Planck Institutes and some of the best German universities.

To qualify for the program, students must hold a Bachelor's or
Master's degree in computer science (or a related field) and have an
outstanding academic record. We especially encourage applications
from students who wish to explore research across the CS spectrum
before committing to a topic and advisor.

For more information about CS@max planck, see here:

https://www.cis.mpg.de/graduate-programs/cs-max-planck

For information about other doctoral programs offered by Max Planck
Institutes, see here:

https://www.cis.mpg.de/graduate-programs/

The next upcoming application deadline is December 31, 2018.

[Coq-Club] CS@max planck: The new Max Planck Graduate Center for Computer and Information Science, Derek Dreyer, 12/21/2018