Proceedings now available

The eLex 2017 proceedings are now available online.