30th LICS 2015: Kyoto, Japan

Invited Talks

Invited Tutorials

Session 1: Petri Nets

Session 2: Foundations of Programming Languages

Session 3: Bisimilarity

Session 4: Formal Languages

Session 5: Game Graphs and Game Semantics

Session 6: Databases

Session 7: Modal and Second-Order Logic

Session 8: Category Theory and Domains

Session 9: Constraints, Unification, and Knowledge Representation

Session 10: Computability and Proofs

Session 11: Randomization and Probabilities

Session 12: Complexity

Session 13: Automata

a service of Schloss Dagstuhl - Leibniz Center for Informatics