FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LCC CONTRIBUTED TALKS: EDITOR'S PREFACE

This volume contains the papers presented at LCC 18: Logic and Computational Complexity 2018, held on July 13, 2018, in Oxford as part of FLoC 2018. The program committee decided to accept six submissions that range from topics such as circuit lower bounds, to characterizations of complexity classes, to static profiling.

In addition to the contributed papers, LCC featured a memorial session to remember and honor the work of Martin Hofmann (1965-2018), who was an active member of the LCC Steering Committee. The session included invited talks by Steffen Jost, Ugo Dal Lago, Vivek Nigam, and Don Sannella.

We thank the members of the LCC'18 Program Committee, the LCC Steering Committee, the FLoC organizers, the invited speakers, and the authors of the contributed papers.

We dedicate the 2018 edition of LCC to our friend and colleague Martin Hofmann.


Erich Grädel
Jan Hoffmann
June 6, 2018
Aachen and Pittsburgh