Newsletter January 2018

By   23 January 2018

Dear SIGLOG Members,

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

In this issue

  • We start off with Calls for Nominations for two major awards: the Alonzo Church Award for Outstanding Contributions to Logic and Computation, and the Presburger Award for Young Scientists.
  • The Tributes section pays homage to three pre-eminent scientists who passed away recently: Corrado Böhm, Vladimir Voevodsky and Lotfi Zadeh.
  • In the Automata column edited by Mikołaj Bojańczyk, Wolfgang Thomas traces the history of the decidability argument for the weak monadic theory of successor and explains a missing link.
  • Neha Rungta says farewell in the Verification column. SIGLOG is very grateful for her service and all the columns that appeared under her editorship! We also thank Ranko Lazić (University of Warwick) for agreeing to be her successor.
  • Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, and João Marcos report on the Brası́lia Spring on Automated Reasoning in the Conference Reports section, edited by Jorge A. Pérez.
  • As usual, we wrap up with the latest issue of SIGLOG Monthly, prepared by Daniela Petrişan.