Section: Overall Objectives

Highlights of the Year

Uwe Waldmann received a LICS Test of Time Award for the paper “Set constraints are the monadic class” published at LICS 1993 together with Leo Bachmair and Harald Ganzinger. He also won the TFA category (typed first-order logic with arithmetic) of the CADE ATP System Competition 2013 using the prover SPASS+T.

Pascal Fontaine was the main organizer and program committee chair (with Christophe Ringeissen and Renate Schmidt) of FroCos 2013 in September in Nancy.