SPLASH 2018
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2018 will take place in Boston from Sunday 4th to Friday 9th of November 2018. 
SPLASH includes the following co-located conferences: OOPSLA, Onward!, GPCE, SLE, and DLS; as well as sixteen workshops. 
The SPLASH-I talk series features thirty-five talks targeting practitioners. In the evenings, attendees can join one  ...
https://2018.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd
Bio:

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems. Byron is the founder and leader of Amazon’s Automated Reasoning Group (ARG).