Mercurial > hg > Members > atton > seminar_slides
comparison slides/20150714/slide.md @ 106:5819dea3ceb5
Add slide of LOLA/LICS/ICALP
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 13 Jul 2015 19:17:35 +0900 |
| parents | |
| children | 972cd08436f2 |
comparison
equal
deleted
inserted
replaced
| 105:bdc09021b2a3 | 106:5819dea3ceb5 |
|---|---|
| 1 title: Report of LOLA + LICS/ICALP | |
| 2 author: Yasutaka Higa | |
| 3 profile: | |
| 4 lang: Japanese | |
| 5 | |
| 6 | |
| 7 # LOLA + LICS/ICALP に行ってきました | |
| 8 * LICS/ICALP が本体(月から金の5日間) | |
| 9 * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/) | |
| 10 * [nternational Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/) | |
| 11 * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf)) | |
| 12 * LOLA は LICS の workshop | |
| 13 * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/) | |
| 14 * 他にもいくつかあったみたいです | |
| 15 | |
| 16 # 概要 | |
| 17 * かなり大きい規模のカンファレンス | |
| 18 * 4トラック並列+ 09:00 - 18:00 くらいまで | |
| 19 * 4(thread) * 10(papers) * 5(days) = 200 papers? | |
| 20 * Proceeding を先生が買ってくださったので気になったのがあれば | |
| 21 | |
| 22 # 気になった発表とか | |
| 23 * The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA) | |
| 24 * SML#, dependent type, C-compatible | |
| 25 * A Cubical Approach to Synthetic Homotopy Theory(LICS) | |
| 26 * HoTT, topology, Type Theory | |
| 27 * Game Semantics for Type Soundness(LICS) | |
| 28 * Game Semantics, Type Theory | |
| 29 | |
| 30 # 気になった発表とか | |
| 31 * Compositional Higher-Order Model checking(LICS Invited Talks) | |
| 32 * Higher-Order Model Cheker, HORS, pushdown automaton, MSO | |
| 33 * Ultra-Fast Load Balancing on Scale-Free Networks(ICALP) | |
| 34 * Load Balancing, Network, Chung-Lu Model, Power law, layering | |
| 35 * One Context Unification Problems Solvable in Polynomial Time(LICS) | |
| 36 * Term Unification, context unification | |
| 37 | |
| 38 # 気になった発表とか | |
| 39 * Game for Dependent Types(ICALP) | |
| 40 * Game Semantics, STT, DTT | |
| 41 * Automata-Based Abstraction Refinement for muHORS Model Checking(LICS) | |
| 42 * HORS, Higher-Order Model Checker, MuHorSar(implementation) | |
| 43 | |
| 44 # 所感 | |
| 45 * Logic Logic してました | |
| 46 * 具体的なアルゴリズムというよりは decidability とかを取り扱っている印象 | |
| 47 * だいたい EXPTIME ...... | |
| 48 * [SML#](http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/) が割と参考になりそう? | |
| 49 * あと LICS とは別で [MoCHi](http://www-kb.is.s.u-tokyo.ac.jp/~ryosuke/papers/ml2012.pdf) ってものもあるみたいです | |
| 50 | |
| 51 | |
| 52 <!-- vim: set filetype=markdown.slide: --> |