Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, US

Constructivemathematics and type theory.- Homotopy type theory.- Logic, automata, andautomatic structures.- Computability and randomness.- Logical foundations ofprogramming.- Logical aspects of computational complexity.- Parameterizedcomplexity.- Logic programming and constraints.- Automated deduction andinteractive theorem proving.- Logical methods in protocol and programverification.- Logical methods in program specification and extraction.- Domaintheory logics.- Logical foundations of database theory.- Equational logic andterm rewriting.- Lambda and combinatory calculi.- Categorical logic andtopological semantics.- Linear logic.- Epistemic and temporal logics.- Intelligentand multiple-agent system logics.- Logics of proof and justification.- Non-monotonicreasoning.- Logic in game theory and social software.- Logic of hybrid systems.-Distributed system logics.- Mathematical fuzzy logic.- System design logics.