[Selection of talks based on abstracts (2 pp easychair.cls)
due 13 March 2015!
A post-proceedings volume in LIPIcs, with an open call.]
CALL FOR CONTRIBUTIONS
21st International Conference on Types for Proofs and Programs,
TYPES 2015
We have an opening for a PhD student in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:
The PhD student will join the Programming Logic group and contribute
to its research on dependent type theory and functional programming.
Topics of interest
