<div dir="ltr">Hi, everyone.  Workshop co-chair Natalia Cechina and I are very happy to announce the accepted papers for the 2017 ICFP's Erlang Workshop.  The titles and abstracts are available at <a href="http://icfp17.sigplan.org/track/erlang-2017-papers#event-overview">http://icfp17.sigplan.org/track/erlang-2017-papers#event-overview</a>.  <div><br></div><div>We are also looking forward to our keynote speaker, Martin Sumner.  His talk is still in the planning stages, but he expects to speak about the gradual adoption of Erlang into the U.K.’s National Health Service.</div><div><br></div><div>This year's Erlang Workshop is a hosted by the ACM's ICFP conference.  It's being held this year at the Maths Institute in Oxford, United Kingdom on 08 September.  More information about the venue, registration, and transportation can be found at <a href="http://icfp17.sigplan.org/home">http://icfp17.sigplan.org/home</a>.</div><div><br></div><div>BEAM language fans of all stripes and kinds, please join us if you can!</div><div><br></div><div>-Scott</div><div><br></div><div>Titles and authors:</div><div><br><div><div>* Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm</div><div>- Evgeniy Shishikin</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">      </span></div><div>* Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang</div><div>- Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">  </span></div><div>* Keynote speaker: Martin Sumner</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">        </span></div><div>* Structuring Erlang BEAM control flow</div><div>- Dániel Lukács, Melinda Toth</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">    </span></div><div>* The Shared-Memory Interferences of Erlang/OTP Built-ins</div><div>- Stavros Aronis, Kostis Sagonas</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">        </span></div><div>* Towards Change-driven Testing</div><div>- Viktória Fördős, István Bozó, Melinda Toth</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span></div><div>* Towards an Isabelle/HOL Formalisation of Core Erlang</div><div>- Joseph Richard Harrison</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">  </span></div><div>* eAOP - An Aspect Oriented Programming Framework for Erlang</div><div>- Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir</div></div><div><br></div><div><br></div></div></div>