[Hol-info] PhD studentship on the CakeML project (University of Kent)

I am looking for a PhD student to work with me on the CakeML project at the University of Kent in Canterbury, England. The position is part of the "Building Verified Applications in CakeML" project funded by the UK Research Institute in Verified Trustworthy Software Systems:

[Hol-info] WADT 2018 - Extension to abstract submission deadline!

== FOURTH CALL FOR PAPERS - Extension to abstract submission deadline! WADT 2018 24th International Workshop on Algebraic Development Techniques http://wadt18.cs.rhul.ac.uk July 2–5, 2018, Royal Holloway University of London,

[Hol-info] WST 2018 - Last Call for Papers (deadline: April 30, 2018)

==   WST 2018 - Call for Papers    16th International Workshop on Termination     July 18-19, 2018, Oxford, United Kingdom  

[Hol-info] PPDP 2018: Deadline Extension!

News: The submission deadline is extended until Monday, May 8, 23:59 AoE! ==     PPDP 2018: Deadline Extension == 20th

[Hol-info] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam

(Please distribute to interested PL parties - apologies for any cross postings) Workshop website: https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as