Collection
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
This issue collects papers written in memory of the late Larry Wos, exceptional scientist and charismatic leader during six decades of research in automated reasoning. Larry Wos was one of the founders of the field of automated reasoning, and he was the founder and the first editor-in-chief of the Journal of Automated Reasoning.
Editors
-
Maria Paola Bonacina
Maria Paola Bonacina is a Professor of Computer Science at the Università degli Studi di Verona, Italy. Her research area is automated reasoning. She was Visiting Professor or Visiting Research Scholar at the Isaac Newton Institute in Cambridge, the University of Manchester, Microsoft Research Redmond, and TU Dresden. Maria was invited speaker at PPDP, FroCoS, and TABLEAUX. She serves regularly on the PC of CADE, IJCAR, and other conferences. She was CADE PC Chair in 2013. Maria was elected thrice to the CADE Board of Trustees, and twice President.
