One thing I do when attending a conference is I try to get a feel for what are the popular topics. So I compile a list of topics with their frequency. Here I provide my list. Note that my list is informally created by skimming the proceedings.

complexity: 9

epistemic logic: 5

sequent calculus: 5

modal logic: 4

knowledge: 3

probabilist logic/lang: 3

automata: 2

justification logic: 2

linear logic: 2

categorical logic/category theory: 2

interpolation: 2

HOTT: 1

adjoint logic: 1

nested sequents: 1

Halting Problem: 1

dependent type theory: 1

simplical sets: 1

relational databases: 1

linguistic: 1

Lambek Calculus: 1

evidence: 1

Curry-Howard: 1

dual calculus: 1

Mendler induction: 1

logic programming: 1

recursive trees: 1

\(\lambda\)-calculus: 1

recursive types: 1

context-free languages: 1

graphs: 1

verification: 1

topology: 1