[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Note to TYPES readers: This summer school includes lectures from
several fantastic PL and formal methods researchers, including Maria
Christakis, Nate Foster, and Deepak Garg. Please forward to students
who might be interested. Thanks! --Derek]
The Cornell, Maryland, Max Planck Pre-doctoral Research School 2018:
"Emerging Trends in Computer Science"
http://cmmrs.mpi-sws.org
August 7-12, 2018
Saarbruecken, 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 second of this new annual series of week-long schools will
focus on emerging trends in computer science, including
software-defined networking, practical formal methods, computational
economics and machine learning, systems and network algorithmics,
security and privacy, and natural language processing. Leading
researchers will engage with attendees in their areas of expertise.
The curriculum will include lectures, projects, and interaction with
faculty from participating institutions.
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
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 7,
2018. Travel and accommodation will be covered for accepted students.
Further information about the school and how to apply can be found at
http://cmmrs.mpi-sws.org.
