# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1436782655 -32400
# Node ID 5819dea3ceb5e8384a5c7004fac375730258e7ee
# Parent  bdc09021b2a32b9014341142b561c860d7664581
Add slide of LOLA/LICS/ICALP

diff -r bdc09021b2a3 -r 5819dea3ceb5 slides/20150714/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20150714/slide.md	Mon Jul 13 19:17:35 2015 +0900
@@ -0,0 +1,52 @@
+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/)
+    * [nternational 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
+* 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: -->