Logic-ml May 2018

logic-ml@fos.kuis.kyoto-u.ac.jp

10 participants
13 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic … [View More]

1 8

フォーマルアプローチ特集論文募集のご案内
by mano.ken＠lab.ntt.co.jp 12 Sep '18

12 Sep '18

logic-ml の皆様，電子情報通信学会論文誌英文ED分冊“フォーマルアプローチ特集”の，論文募集のご案内をさせていただきます．真野（NTT コミュニケーション科学基礎研究所） ---- フォーマルアプローチ特集論文募集電子情報通信学会論文誌英文ED分冊フォーマルアプローチ特集編集委員会フォーマルアプローチ（形式手法・形式技法・形式理論）は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで… [View More]，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します． - 基礎理論：システムの構造や振舞いの形式記述・検証に関する基礎理論 - 形式技法：ソフトウェア，ハードウェア，ネットワークなどのシステムに対する体系だった記述・検証技法 - 形式ツール：モデル検査器や定理証明器など，形式手法に基づくツール - 応用：情報システムや組込システム，回路系，情報セキュリティ，車載システム，人工知能・機械学習システムなどへの形式手法の適用事例 - 教育：教育事例 2. 論文の執筆と取扱い論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情報通信学会の英文誌の規程と同じです．以下の規程を御参照下さい． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール　論文投稿締切　　　　平成 30年 9月25日 (火) 23:59 JST (厳守) 　第一回判定通知予定　平成 30年11月23日 (金) 　初回修正締切　　　　平成 31年 1月18日 (金) 　最終判定通知予定　　平成 31年 3月 8日 (金) 　発行予定　　　　　　平成 31年 8月号 4. 投稿方法本特集では，電子投稿のみを受付けます．論文を下記のweb pageから投稿して下さい．初期投稿時に，編集可能な論文本体 (TeX/Word)，図，著者の写真, biographyも投稿する必要があります．　 https://review.ieice.org/regist/regist_baseinfo_e.aspx 投稿の際には以下の項目を選択してください． "Journal/Section" -> "[Special FO] Formal Approaches" 同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点がございましたら，問合先まで御連絡下さい． 5. 掲載料招待論文を含むすべての著者は，論文が採録となった場合，2019年4月頃に掲載料をお支払い頂くことになります．2019年5月15日までに支払いが完了しない場合には，採録取り消しとなります． 6. オープンアクセス化情報システムソサイエティ英文論文誌は，2017 年 1 月よりオープンアクセス化されています．J-STAGE（https://www.jstage.jst.go.jp/browse/transinf/）に掲載されている論文はすべて閲覧可能になっています． 7. 特集編集委員会委員長：青木利晃（北陸先端大）　幹事：真野健（ＮＴＴ），中川博之（阪大）　委員：石川冬樹'情報研)，來間啓伸(日立)，小林孝一(北大)，　　　　立石孝彰(日本IBM)，土屋達弘(阪大)，山口真悟(山口大)，　　　　横川智教(岡山県立大) 8. 問合せ先本特集のホームページ: (和文) http://www.jaist.ac.jp/~toshiaki/fa2018/jp/ (英文) http://www.jaist.ac.jp/~toshiaki/fa2018/ 　青木利晃　北陸先端科学技術大学院大学情報科学系　923-1292 石川県能美市旭台1-1 　toshiaki(a)jaist.ac.jp =============================================================== CALL FOR PAPERS Special Section on Formal Approaches The IEICE Transactions on Information and Systems announces a forthcoming special section on Formal Approaches to be published in August 2019. Formal methods and techniques play a key role in designing and developing highly reliable information systems and embedded systems. The last decades have seen various new techniques and profound theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, testing, verification, and maintenance. They are rapidly extending their application domains as a result of the recent growth of information and communication technologies. The Special Section on Formal Approaches aims at stimulating research on formal approaches to information systems and embedded systems, ranging from fundamental theory to practical applications. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers. Topics: The major topics are listed below, but we solicit submissions in all areas of formal approaches, i.e., first to formalize information systems, embedded systems, and their environment, next to analyze their behavior and to derive their properties rigorously, and then to solve various problems in designing and managing the systems. - Theoretical foundations: all aspects of theory related to formal description and verification for structure and behavior of systems. - Formal techniques: techniques for mainly describing and analyzing systems, such as software, hardware and networks. - Formal tools: tools based on formal methods such as model checkers, theorem provers, and static and dynamic analyzers. - Applications: practical experiences of applying formal methods to information systems, embedded systems, circuits, security, AI systems, machine learning systems, automotive systems, etc. - Education: education on formal methods. Submission Instructions: The deadline for submission is Sep 25, 2018, 23:59 JST(GMT+9). Manuscripts should be carefully prepared according to the guideline in the "Information for Authors" (available at http://www.ieice.org/eng/shiori/mokuji_iss.html). The preferred length of the manuscript is 8 pages. Only electronic submission through the web page is accepted. Submit a complete paper and transfer copyright of the paper using the IEICE Web site https://review.ieice.org/regist/regist_baseinfo_e.aspx Authors should choose the [Special FO] Formal Approaches" as a "Journal/Section" on the online screen. Editorial Committee: Guest Editor-in-Chief: Toshiaki Aoki (JAIST) Guest Editors: Ken Mano (NTT Communication Science Laboratories) Hiroyuki Nakagawa (Osaka University) Members: Fuyuki Ishikawa (National Institute of Infomatics) Hironobu Kuruma (Hitachi, Ltd.) Koichi Kobayashi (Hokkaido University) Takaaki Tateishi (IBM Japan) Tatsuhiro Tsuchiya (Osaka University) Shingo Yamaguchi (Yamaguchi University) Tomoyuki Yokogawa (Okayama Prefectural University) Further information may be obtained from the web page at: http://www.jaist.ac.jp/~toshiaki/fa2018/ All inquiries should be sent to the guest editor in chief: Toshiaki Aoki(JAIST) 1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292, Japan E-mail: toshiaki(a)jaist.ac.jp Important Dates: Submission Deadline: Sep 25, 2018 23:59 JST (GMT+9) [firm deadline] First Notification: Nov 23, 2018 Revised Version Deadline: Jan 18, 2019 Final Notification: Mar 8, 2019 Important Notice. (1) At least one of the authors must be an IEICE member when the manuscript is submitted for review. For the application of IEICE membership, visit http://www.ieice.org/eng/member/OM-appli.html (2) When a paper has been accepted for publication, the authors are required to pay the page charges covering part of the cost of publication. Please carefuly read the submission guideline at http://www.ieice.org/eng/shiori/mokuji_iss.html (3) Upon accepted for publication, all authors, including authors of invited papers, should pay the page charges covering partial cost of publication around April, 2019. If payment is not completed by May 15, 2019, your manuscript will be handled as rejection. (4) The IEICE Transactions on Information and Systems is an open access journal from January, 2017. Open access to "IEICE Transactions on Information and Systems” is available via the J-STAGE (https://www.jstage.jst.go.jp/browse/transinf/). [View Less]

1 1

The 21st Japan–Korea Joint Workshop on Algorithms and Computation (WAAC 2018) 福岡8月26～27日
by Akitoshi Kawamura 14 Jun '18

14 Jun '18

皆様九大の河村と申します。メーリングリストをお借りして、本年8月26～27日に福岡で開催される標記研究集会についてお知らせ致します。詳しくはウェブページをご覧ください。 http://www.i.kyushu-u.ac.jp/waac2018/ ウェブページにありますように、投稿は英文8ページ以内（より短くても可）で、投稿締切　7月6日採否通知　7月27日完成稿締切　8月10日となっております。ぜひ発表・参加を御検討ください。 -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 1

AWPL 2018 (deadline extended)
by 小野寛晰 29 May '18

29 May '18

********AWPL CALL FOR PAPERS: Deadline Extended to June 10, 2018********** The 4th Asian Workshop on Philosophical Logic (AWPL), 20-21 October, 2018, Beijing Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the … [View More]interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series “Logic in Asia” (http://www.springer.com/series/13080?detailsPage=titles <http://www.springer.com/series/13080?detailsPage=titles>) with Springer. The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University. INVITED SPEAKERS – Bo An (Nanyang Technological University, Singapore) – Sergei Artemov (City University of New York, United States) – Kamal Lodaya (The Institute of Mathematical Sciences, India) – Tomoyuki Yamada (Hokkaido University, Japan) INVITED TUTORIAL – Melvin Fitting (City University of New York, United States) SUBMISSION All submissions should present original works not previously published. Submissions should be typeset in English with single-space and 12pt-size, be prepared as a .pdf file with at most 12 (A4-size) pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair (https://easychair.org/conferences/?conf=awpl2018 <https://easychair.org/conferences/?conf=awpl2018>) by the corresponding author on time. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the “Logic in Asia” series. IMPORTANT DATES – Submission deadline: 10 June 2018, 24:00 (UTC -12:00) – Notification: 10 July 2018 – Workshop: 20-21 October 2018 PROGRAM COMMITTEE – Nick Bezhanishvili, University of Amsterdam – Sujata Ghosh, Indian Statistical Institute – Jiahong Guo, Beijing Normal University – Meiyun Guo, South-West University, China – Fengkui Ju, Beijing Normal University – Kok-Yong Lee, National Chung Cheng University – Beishui Liao, Zhejiang University – Hanti Lin, University of California Davis – Fenrong Liu, Tsinghua University, chair – Hu Liu, Sun Yat-Sen University, China – Xinwen Liu, Chinese Academy of Social Sciences – Minghui Ma, Sun Yat-Sen University, China – Hiroakira Ono, JAIST, chair – Eric Pacuit, University of Maryland – Olivier Roy, University of Bayreuth – Katsuhiko Sano, Hokkaido University – Yi N. Wang, Zhejiang University – Chin-Mu Yang, Taiwan National University – Jiji Zhang, Lingnan University, Hong Kong ORGANIZATION COMMITTEE – Yu Chen, Tsinghua University – Haibin Gui, Tsinghua University – Dazhu Li, Tsinghua University – Junhua Yu, Tsinghua University, chair The AWPL is co-located with the workshop “Tsinghua meets CUNY” that will take place on 19 October 2018, all AWPL participants are invited to join that event too. [View Less]

1 0

Re: [logic-ml] Project colloquium by Tomoo Yokoyama on 30 May
by Kohei SUENAGA 29 May '18

29 May '18

I'd like to attend the talk, but our polycom room is occupied due to another student seminar. Could someone designate a Google hangout connection for me? Thanks! Best, Kohei 2018年5月28日(月) 8:22 David SPRUNGER <sprunger(a)nii.ac.jp>: > Dear all, > This week, Tomoo Yokoyama will be visiting the Tokyo ERATO MMSD site > from the Kyoto University of Education. He will give our project > colloquium at the usual time, Wednesday (30 May) from 16:30-18:00. The > title and … [View More]

1 1

特任研究員の募集
by koba＠kb.is.s.u-tokyo.ac.jp 28 May '18

28 May '18

＃複数受け取られましたらご容赦ください．東京大学の小林と申します．当研究室では現在，高階モデル検査（高階再帰スキームのモデル検査）とそのプログラム検証などへの応用をテーマとした研究を精力的に進めており，プロジェクトに携わる特任研究員を探しております．身近にご興味のある方がいらっしゃいましたら，10月20日までに小林 (koba(a)is.s.u-tokyo.ac.jp) までメールでお知らせいただければ幸いです。その際、できれば略歴および論文リスト（フォーマット自由）もメールに添えるかまたは郵送でお送りください。（後日、さらに詳細な資料をお願いする可能性があります）．募集の条件は概ね以下のとおりです。 ================ 着任時期：2018年4月（数ヵ月の前後は応相談）任期：年度単位の更新で、業績により最長2020年3月まで延長可能給与：月額38～45万円　　（大学の規定および本人の実績による．細かい条件は応相談.）研究テーマ：高階モデル検査（高階再帰スキームのモデル検査）… [View More]および、そのプログラム検証やデータ圧縮、知識発見などへの応用。高階モデル検査については，プロジェクトのページ　　　http://www-kb.is.s.u-tokyo.ac.jp/~koba/hmc/ および下の参考文献をご覧ください。　　本プロジェクトは科学研究費補助金基盤研究(S)：　　　課題名：高階モデル検査の深化と発展　　　研究代表者：小林直樹（東京大学）　　　研究分担者：五十嵐淳（京都大学）、篠原歩（東北大学）　　の支援をいただいており、その補助金で研究員を雇用する予定です。条件： - 着任時に博士号を取得していること - 理論計算機科学全般に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明　　　　　計算量理論 (可逆)データ圧縮技術自然言語処理ゲノムデータ解析問い合わせ先：　　小林直樹　　東京大学大学院情報理工学系研究科コンピュータ科学専攻　　〒113-0033 東京都文京区本郷7-3-1 　　Phone: 03-5841-4124 　　Fax: 03-5841-4114 　　email: koba(a)is.s.u-tokyo.ac.jp 参考文献の抜粋 ------------- 高階モデル検査の概要： Naoki Kobayashi, "Model Checking Higher-Order Programs", Journal of the ACM, 60(3), 2013. Naoki Kobayashi, "Higher-Order Model Checking: From Theory to Practice", Invited paper in Proceedings of LICS 2011. (A very brief survery of the field) 高階モデル検査/高階言語の理論： Naoki Kobayashi, Etienne Lozes, Florian Bruse, "On the relationship between higher-order recursion schemes and higher-order fixpoint logic", POPL 2017, pp.246-259, 2017 Kazuyuki Asada, Naoki Kobayashi, "Pumping Lemma for Higher-order Languages", ICALP 2017, 97:1-97:14, 2017. Ryoma Sinya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada, "Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence", FoSSaCS 2017, pp.53-68 プログラム検証への応用: Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno, "Predicate Abstraction and CEGAR for Higher-Order Model Checking", Proceedings of PLDI 2011, pp.222-233, 2011. Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno, "Temporal verification of higher-order functional programs", POPL 2016, pp.57-68 データ圧縮への応用: Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi, "Functional Programs as Compressed Data", Higher-Order and Symbolic Computation, 2(1), pp.39-84, 2012. [View Less]

1 1

SAML 2018 / Takeuti Memorial Symposium 講演募集
by Teruyuki YORIOKA 21 May '18

21 May '18

皆様，静岡大学の依岡です。先日 logic-ml と kisoron-ml でお送りしました案内と同様のものです。竹内外史先生を追悼するシンポジウムを以下の要領で開催しますのでお知らせします。多くの方々の講演をお待ちしております。レセプションとバンケットを企画しておりますので、参加ご希望の方は申し込みをしてください。よろしくお願いします。 SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ 日時：2018年9月18日（火）から20日（木）まで場所：神戸大学六甲台第2キャンパス内瀧川記念学術交流会館プログラム委員：新井敏康，岡田光弘，菊池誠，黒田覚，依岡輝幸言語：英語招待講演者：S. Buss, J.-Y. … [View More]

1 0

Announcement on SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 17 May '18

17 May '18

Dear all, We are pleased to announce the international conference SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ This will take place from September 18th to 20th, 2018, at the Takigawa Memorial Hall, Rokkodai Campus, Kobe University, in Japan. Program comittee: Toshiyasu Arai (Chiba) Makoto Kikuchi (Kobe) Satoru Kuroda (Gunma Prefectural Women’… [View More]

1 0

Announcement on SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 17 May '18

17 May '18

1 0

SLACS 2018 (8月8-9日) 講演募集のお知らせ
by Katsuhiko Sano 16 May '18

16 May '18

皆様（複数のメイリングリストに送信しています。重複して受信の際はどうぞご容赦ください。） SLACS 2018（記号論理と情報科学）幹事の北海道大学の佐野勝彦です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時 2018年8月8日（水）（午後1時頃開始）から2018年8月9日（木）場所〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室参加費無料。ただし、懇親会費は別途徴収します（懇親会は初日夕方に開催予定）。幹事北海道大学文学研究科佐野勝彦連絡先 katsuhiko.sano(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学… [View More]と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。　SLACS 2017 (千葉工業大学) 　http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・懇親会申込方法：講演を希望される方は、幹事に連絡をお願いいたします。その際、以下について回答をお願いいたします。Subject を「SLACS2018講演申込」にしておいていただけるとありがたいです。講演申込期限は **2018年7月24日** としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。講演時間は原則40分を予定しています。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦所属：（例）北海道大学文学研究科 e-mail アドレス: 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります題目：（例）TBA 概要：簡単で結構です。懇親会：参加する/追って連絡する/参加できない要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。 [View Less]

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2018