[TYPES/announce] FOSSACS final Call for Papers

languages, * Software specification and refinement, * Type systems and type theory. * Fundamentals of security * Semi-structured data * Program correctness and verification PROGRAMME COMMITTEE Luca Aceto, Reijkjavik Roberto Amadio (chair), Paris Lars Birkedal

[TYPES/announce] Certified Complexity at PPS (Paris): Post-Doc + PhD

involved in the CerCo project are Andrea Asperti and Claudio Sacerdoti-Coen in Bologna, Randy Pollack in Edinburgh, and Roberto Amadio and Yann Régis-Gianas in Paris. The Paris site will focus in particular on the construction of a prototype of the cost annotating compiler and on the construction