Dear SIGLOG Members,
This year’s April issue of the SIGLOG Newsletter appeared, a newsletter during the unusual times of COVID-19!
In this issue
- As conferences are being rescheduled and moved online, the SIGLOG Chair wonders how best to organize this year’s LICS.
- Laure Daviaud writes about the sequentiality problem for max-plus automata in Ranko Lazić’s Verification column.
- In Jorge A. Pérez’s section with Conference Reports, Diego Calvanese, Paul Fodor and Marco Montali report on the Third International Joint Conference on Rules and Reasoning (RuleML+RR 2019).
- As usual, we wrap up with the latest issue of SIGLOG Monthly.