Newsletter October 2019

Dear SIGLOG Members,

This year’s October issue of the SIGLOG Newsletter appeared.

In this issue

  • Frank Pfenning, the new SIGLOG Chair, encourages participation in SIGLOG-related activities.
  • In Ranko Lazić’s Verification column, Matthew Hague surveys recent directions in research into string constraints.
  • Alberto Lluch Lafuente reports on 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in Jorge A. Pérez’s section with Conference Reports.
  • The latest issue of SIGLOG Monthly contains a series of conference announcements with approaching deadlines.