LFCS16: Topics

Published: 06 January 2016

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