Newsletter April 2020

By   29 April 2020

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.