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.