title: Report of LOLA + LICS/ICALP
author: Yasutaka Higa
profile:
lang: Japanese


# LOLA + LICS/ICALP に行ってきました
* LICS/ICALP が本体(月から金の5日間)
    * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/)
    * [International Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
    * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf))
* LOLA は LICS の workshop
    * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/)
    * 他にもいくつかあったみたいです

# 概要
* かなり大きい規模のカンファレンス
* 4トラック並列+ 09:00 - 18:00 くらいまで
    * 4(thread) * 10(papers) * 5(days) = 200 papers?
* Proceeding を先生が買ってくださったので気になったのがあれば

# 気になった発表とか
* The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA)
    * SML#, dependent type, C-compatible, LLVM
* A Cubical Approach to Synthetic Homotopy Theory(LICS)
    * HoTT, topology, Type Theory
* Game Semantics for Type Soundness(LICS)
    * Game Semantics, Type Theory

# 気になった発表とか
* Compositional Higher-Order Model checking(LICS Invited Talks)
    * Higher-Order Model Cheker, HORS, pushdown automaton, MSO
* Ultra-Fast Load Balancing on Scale-Free Networks(ICALP)
    * Load Balancing, Network, Chung-Lu Model, Power law, layering
* One Context Unification Problems Solvable in Polynomial Time(LICS)
    * Term Unification, context unification

# 気になった発表とか
* Game for Dependent Types(ICALP)
    * Game Semantics, STT, DTT
* Automata-Based Abstraction Refinement for muHORS Model Checking(LICS)
    * HORS, Higher-Order Model Checker, MuHorSar(implementation)

# 所感
* Logic Logic してました
* 具体的なアルゴリズムというよりは decidability とかを取り扱っている印象
    * だいたい EXPTIME ......
* [SML#](http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/) が割と参考になりそう?
* あと LICS とは別で [MoCHi](http://www-kb.is.s.u-tokyo.ac.jp/~ryosuke/papers/ml2012.pdf) ってものもあるみたいです


<!-- vim: set filetype=markdown.slide: -->