Logic-ml August 2018

9 participants
13 discussions

第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) 論文募集/発表募集
by Kohei SUENAGA 16 Aug '18

16 Aug '18

皆様，（複数お受け取りの場合はご容赦ください．）第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) のプログラム共同委員長を仰せつかっておりますクックパッドの笹田と京大の末永です．Call for papers をお送りします． PPL 2019 は 2019年3月6日 (水)～3月8日 (金) の日程で岩手県志戸平温泉で開催されます．どうぞ論文の投稿をご検討ください．また，ワークショップへの広いご参加をいただけますと幸いです．どうぞよろしくお願いいたします．笹田耕一末永幸平 ====================================================================== 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) https://jssst-ppl.org/workshop/2019/ 論文募集/発表募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日 (水)～3月8日 (金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．投稿手続きは2段階です．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致します． ====================================================================== 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (高知工科大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (イーサリアム) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東京大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

第二十九回 ALGI の暫定プログラムと懇親会受付
by 西澤弘毅 12 Aug '18

12 Aug '18

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。 ALGI（代数，論理，幾何と情報科学研究集会）について第二十九回 ALGIの暫定プログラムの告知をさせていただきます。 < 重複してお受け取りの節はご容赦願います。> **************************************************************** * 第二十九回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2018年8月27日（月）午後～8月28日（火） * * 崇城大学池田キャンパス F号館 203講義室 * * * * 開催のお知らせと講演の募集 * **************************************************************** ウェブサイトはこちらです。 https://sites.google.com/site/algimeeting/home/29 まだまだ講演枠が空いております。講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）などの情報を幹事の西澤（nishizawa(a)kanagawa-u.ac.xn--jp)-u63b3a4a5b7b6byd5nw168b. 講演募集〆切は、講演枠が埋まるまで、とします。懇親会の参加希望者も、上記メールアドレスにご連絡ください。（こちらは8月24日（金）まで）【暫定プログラム】８月２７日（月） 13:50 ～ 14:00 オープニング＋連絡など 14:00 ～ 14:30 講演者：西村進（京都大学理学研究科）題目：単体数え上げによる分散計算の組合せトポロジー 14:30 ～ 15:00 講演者：伴睦久（東京大学）題目：応用圏論を用いたゲーム理論への構成的アプローチ 15:00 ～ 15:15 休憩 15:15 ～ 15:45 講演募集中 15:45 ～ 16:15 講演募集中 16:15 ～ 16:30 休憩 16:30 ～ 17:00 講演募集中 17:00 ～ 17:30 講演募集中 19:00 ～懇親会@燈えん房(とうえんぼう) はなれ (熊本市中心部・下通) ８月２８日（火） 10:00 ～ 10:30 講演募集中 10:30 ～ 11:00 講演募集中 11:00 ～ 11:15 クロージング＋連絡など以上できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

SLACS2018プログラム確定のお知らせと懇親会追加募集
by Katsuhiko Sano 03 Aug '18

03 Aug '18

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2018幹事の北海道大学の佐野勝彦です。講演・懇親会参加へお申し込みいただき、どうもありがとうございました。今回は 1) プログラム、2) 懇親会参加の追加募集、の二点についてお知らせします。 SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時: 2018年8月8日（水）（午後2時開始）から2018年8月9日（木）場所: 〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室参加費: 無料。ただし、懇親会費は別途徴収します。 1) プログラムは以下のように決まりました。 [8/8 (水) 午後] 14:00 – 14:10 Opening 14:10 – 14:50 中村誠希 (東京工業大学情報理工学院）「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について 15:05 – 15:45 佐野勝彦 (北海道大学文学研究科） Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic 16:00 – 16:40 福田陽介（京都大学情報学研究科） On a linear-logical decomposition of intuitionistic modal logic S4 18:00 – 懇親会 @ 咲か蔵 [8/9 (木) 午前] 10:10 – 10:50 安部達也 (千葉工業大学人工知能・ソフトウェア技術研究センター) 並行プログラム論理の証明の導出に関する諸問題 11:05 – 11:45 蘇有安 Youan Su (北海道大学文学研究科）Glivenko-Kuroda Translation in Logics for the Knowability Paradox 11:45 – 13:30 昼休み [8/9 (木) 午後] 13:30 – 14:00 林大智 (北海道大学文学研究科）型付きと型無しの公理的真理理論の関係について 14:15 – 14:55 上村太一 (ILLC, University of Amsterdam) Cubical Assemblies and the Independence of the Propositional Resizing Axiom 15:05 – 15:45 松田直祐（神奈川大学理学部情報科学科）新しい combinatory reduction の提案 15:45 – 15:55 Closing ホームページ（https://sites.google.com/view/slacs-2018/home）には概要付きプログラムもあります。 2) 札幌駅北口近くに懇親会場を決定しました（飲み放題付きの4000円のコースです）。会場に多少余裕がありますので、追加募集いたします。懇親会への参加を希望される方は、次のフォームで幹事まで連絡をお願いいたします（すでに連絡してくださった方は連絡不要です）。その際、以下について回答をお願いいたします。Subject を「SLACS2018懇親会申込」にしておいていただけるとありがたいです。 8/6(月)の午前中までにご連絡いただけると助かります。人数に制限がありますので先着順になる可能性があることを申し添えておきます。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦所属：（例）北海道大学文学研究科 e-mail アドレス: 区分：一般/学生 ← 懇親会費設定に利用する場合があります要望等：（例）懇親会の費用の領収書はもらえますか？ ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< -----

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2018