[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Types-announce list subscribers,
I am a former moderator of this list, and it came to my attention yesterday
that there was a large backlog of messages sent to this list that had not
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
ng forward to receiving your applications!
Best regards,
Derek Dreyer
ipt), research statement (or statement of
purpose), and list of references to https://apply.mpi-sws.org. If you
are unable to apply by the deadline but are interested in a position,
please contact me anyway.
For further information, see the project web page at:
http://plv.mpi-sws.org/rustbelt/
Be
For further information, see the project web page at:
http://plv.mpi-sws.org/rustbelt/
Best regards,
Derek Dreyer
Summary of the RustBelt project proposal:
A longstanding question in the design of programming languages is how
to balance safety and control. C-like languages gi
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Although the post below focuses on systems, strong candidates from
the programming languages and verification area will also be
considered. Note that the deadline for full consideration of
to learn more about the project, please contact
me directly at dre...@mpi-sws.org. To apply for a postdoc position,
please submit a CV, research statement, and list of references to
https://apply.mpi-sws.org.
For further information, see the project web page at:
http://plv.mpi-sws.org/rustbelt/
nd 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.
The confirmed speakers include: Lorenzo Alvisi, Hal Daumé III, Derek
Dreyer, Krishna Gummadi,
.
Sincerely,
Derek Dreyer
Tenured Faculty, MPI-SWS
contact me if you are interested in joining the
RustBelt team!
Project web page: http://plv.mpi-sws.org/rustbelt/
Best regards,
Derek Dreyer
Summary of the RustBelt project proposal:
A longstanding question in the design of programming languages is how
to balance safety and c
-seal.net/
After the resounding success of the first three Programming Languages
Mentoring Workshops at POPL 2012, 2013, and 2014, we proudly announce
the final programme for the 4th ACM SIGPLAN Programming Languages
Mentoring Workshop (PLMW), co-located with POPL 2015 and organised by
Derek Dreyer
.
The review of applications will begin on December 1, 2014, and
applicants are strongly encouraged to apply by that date; however,
applications will continue to be accepted through December 2014. More
details appear below.
Best regards,
Derek Dreyer
---
https://www.mpi-sws.org/index.php?n
is to solicit feedback from the
community on whether the Types list is serving its members as well as
it could, and if not, how best to evolve it going forward. He will be
sending mail about that shortly.
Best regards,
Derek Dreyer
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Posted on behalf of Prof. Iulian Neamtiu. -- Moderator]
Two post-doc positions in program analysis and transformation
are available in Prof. Iulian Neamtiu's research group at the
website
(http://www.sigplan.org/Awards/Achievement/Main) and submit your
nominations through the SIGPLAN awards portal
(https://awards.sigplan.org/).
If you are intending to submit a nomination, please do let me know in advance.
Best regards,
Derek Dreyer (on behalf of the SIGPLAN Executive Committee
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We're pleased to announce that the ACM SIGPLAN Outstanding Doctoral
Dissertation Award
(http://www.sigplan.org/awards/dissertation/description) has now been
renamed the John C. Reynolds
for any confusion. If you have
any further questions regarding eligibility, please direct them to
milner_aw...@sigplan.org.
Best regards,
Derek Dreyer (on behalf of the SIGPLAN EC)
)
The submission website is now open:
http://www.easychair.org/conferences/?conf=hope2012
-
Workshop Organization
-
Program Co-Chairs:
Amal Ahmed (Northeastern University)
Derek Dreyer (MPI-SWS, Germany)
Program Committee
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Sorry, this message was a mistake and should not have been accepted to
the list. My sincere apologies for the oversight.
Derek Dreyer
Types moderator
On Tue, Feb 21, 2012 at 11:32 AM
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi, Phil.
FWIW, the POPL'11 PC also discussed this issue in detail when deciding
what kind of meeting we are going to hold this year. As you say, the
issue split people down the middle.
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Anyone who's sat in a pc meeting knows there will be papers
where expert reviews are lacking, and someone volunteers to
read the paper overnight and provide an opinion.
-- I think this
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Precisely: the key word is IDEAS, not papers.
The hiring and tenure committees should look for, and perhaps count,
IDEAS, not papers, especially if at conferences. And the conferences
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi, Matthias.
Thanks for the clarification about the motivation behind the rather
significant proposed change to the POPL review process.
There seem to be three major concerns: (1)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite applications for a full-time postdoctoral research position
in the Type Systems and Functional Programming Group, headed by Derek
Dreyer, at the Max Planck Institute for Software
for Next-Generation ML, but talks on other topics
are welcome as well.
If you are interested in giving a 5-Minute Madness talk, please send
mail (with a brief mention of what you would like to talk about) to
the program chair at [EMAIL PROTECTED] I hope to see you at the
workshop!
Derek Dreyer
26 matches
Mail list logo