Logic-ml September 2014

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

13 participants
16 discussions

ACSI 2015: Deadline extended
by Kohei SUENAGA 26 Sep '14

26 Sep '14

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永と申します．来年1月につくばで開催されるSACSISの後継のACSI 2015につきまして，登録締切，原稿締切がそれぞれ2週間延長されました．論文登録の時点で未発表の論文はもちろん，他の会議・雑誌に投稿中でも採否未決定であればこれらの論文に含まれる研究成果の投稿が可能とのことです．（ACSIではプロシーディングスを出さないとのことです．）投稿をどうぞご検討くださいませ．末永幸平 -- 2015年1月につくば市で開催するACSI2015につきまして，一般論文の登録〆切，アップロード〆切をそれぞれ二週間延長することにいたしましたので，ご連絡いたします．変更後の日時は下記の通りです． 2014年10月10日(金) 17:00 一般論文登録〆切（延長しました） 2014年10月17日(金) 17:00 一般論文アップロード〆切（延長しました）皆さまからのご投稿をお待ちしています．本メールの末尾に投稿サイトのURL，CFPを記載しています．適宜，ご参照ください．なお，本メールではACSIへの論文投稿に関してよくある質問に回答させて頂きます． Q.　ACSIで投稿可能な論文（研究成果）はどのようなものでしょうか？ A.　ACSI2015の論文登録の時点で未発表の論文や，他の会議・雑誌に投稿中でも採否が未決定の論文については，これらの論文に含まれる研究成果の投稿が可能です．ACSI登録後，開催日までに別会議・雑誌に採録された場合でも，ACSIにおいて発表することができます．詳細は末尾のCFPをご確認ください． Q.　ACSIで発表するメリットはなんでしょうか？研究会との違いはどこにありますか？ A.　ACSIに投稿することによって，査読者から論文や研究に関するコメントをもらうことができます．ACSIのHP（http://acsi.hpcc.jp/2015/committee.html.ja）に記載の通り，ACSI2015のPCは関連分野における当代のエキスパートにより構成されています．こうした専門家に自身の論文を読んでもらい，客観的なコメントをもらえることは研究会では得られないメリットです．また，査読のない研究会とは異なり，PCによって良質な研究であると認定を受けた上で発表できることは，将来の国際会議・学術雑誌への投稿に向けて著者らの自信を深めるものとなりますし，より幅広い聴衆に興味を持って聞いてもらえる可能性もでてきます． Q.　ACSIでの発表論文は引用可能でしょうか？ A.　ACSIでは会議録を発行しませんが，会議参加者に論文のコピーが配布されます．会議録が発行されていない会議における発表を引用している論文は公に見られるものであり，同様の引用形態は可能と考えます．具体的には， XXX, YYY, ZZZ, "Performance.......", ACSI2015, (2015). のような形で引用することができると考えています．どうぞよろしくお願いします． --------------------------------------------------------------------------------- ACSI2015は論文投稿システムにEasyChairを用います． ACSI2015 EasyChairサイトは以下のURLになります． https://www.easychair.org/conferences/?conf=acsi2015 投稿方法の詳細な説明は以下のURLに記載してあります． http://acsi.hpcc.jp/2015/submission_instruction.html.ja (日本語) http://acsi.hpcc.jp/2015/submission_instruction.html.en (English) 重要日程 2014年10月10日(金) 17:00 一般論文登録〆切（NEW） 2014年10月17日(金) 17:00 一般論文アップロード〆切（NEW） 2014年12月上旬一般論文採否通知 2014年12月中旬ポスター論文〆切 2014年12月下旬ポスター論文採否通知（予定） 2015年1月26日(月)～28日(水) ACSI2015開催 ---------------------------------------------------------------------------------------------------- Call for Papers Annual Meeting on Advanced Computing System and Infrastructure: ACSI2015 (http://acsi.hpcc.jp/) 日時: 2015年1月26日(月)－28日(水) 会場: つくば国際会議場主催（予定）（順不同）　（社）情報処理学会・計算機アーキテクチャ研究会 (ARC) 　同・システムソフトウェアとオペレーティングシステム研究会 (OS) 　同・ハイパフォーマンスコンピューティング研究会 (HPC) 　同・プログラミング研究会 (PRO) 【概要】　ACSI (Annual Meeting on Advanced Computing System and Infrastructure)はJSPP, SACSISの系譜を受け継ぐ，情報処理学会のARC, HPC, OS, PROの4研究会が主催する国内会議です．これらの4つの研究会が対象とする研究分野を中心に，広い意味での先進的な計算を支えるシステムや基盤技術を対象分野とします．　ACSIは，従来のSACSISが担っていた対象研究分野における国内最高峰の研究に関する発表や議論の機会を与えるという目的に加え，これらの良質な研究成果を国際的に発信することを支援し，主催4研究会を中心としたコミュニティの国際発信力を高めることを目的とします．その結果，従来のSACSISから以下のような大きな変更があります．　－SACSISからの変更点－　・論文は英語論文とする　・会議録は会議参加者のみに配布し，一般には公開しない．上記の通り，ACSIにおける発表論文は一般公開されません．そこで，ACSIで発表される研究成果は，別途，国際会議や学術論文誌において英語により発表されることを強く推奨いたします．【査読について】　ACSIにおいて募集する一般論文では査読を行います．査読の主たる目的は，ACSIにおける発表の質を一定水準以上に保つこと，限られた発表枠に対する発表の選定，表彰論文の選出となります．これらに加え，研究に対する客観的な評価やコメントを投稿者が自身の研究において活用し，将来の国際会議・学術論文投稿へ生かすことも目的とします．　なお，査読結果報告に使用する言語は日本語または英語としますが，投稿時に英語による報告を希望する選択を可能とする予定です．【会議録について】　ACSI2015では，一般に公開する会議録を発行しません．但し，各採録論文は，会議参加者のみに対して一定期間（本会議の前後あわせて一週間程度を予定），閲覧可能とします．【一般論文の募集内容】　下記のテーマに関連するオリジナリティ溢れる論文，実装・開発事例等も含め有用性の高い論文，実用性を重視した基盤に関する論文を広く募集します．計算科学アプリケーション数値計算アルゴリズム, ライブラリ大規模データ処理高性能計算環境(スパコン・クラスタ・クラウド) プログラミング言語オペレーティングシステム高速ネットワーキングコンピュータアーキテクチャより詳細な対象研究分野は下記のトラック毎のキーワードをご参照ください．【一般論文の投稿規定・規定スタイル】 (1) IEEEのフォーマット（IEEE conference style，用紙サイズはLetterまたはA4）を用いた10ページ以内の英文による研究論文を募集します．募集対象は，国内外の査読付き雑誌・査読付き会議に既発表/採録決定済みでない論文とします．レターやテクニカルノートなどの，通常の論文とは異なる基準で査読されるカテゴリの発表/投稿も同様の基準で取り扱います．なお，雑誌・会議で既発表/採録決定済みであっても予稿集等がISBN番号あるいはISSN番号を有しない配布物の場合には未発表とみなします． (2) 原稿のテンプレートはhttp://www.ieee.org/conferences_events/conferences/publishing/tem… (3) ページ数は最大で10ページとしますが，将来の投稿予定等の理由から4ページ程度の論文を投稿して頂くことも可能です．ページ数の多寡に関わらず，積極的なご応募をお待ちしています．但し，査読の基準は一律であるため，ページ数が少ないことに起因して提案する内容やその有効性が十分に説明されていない場合には，評価が下がる可能性があります．その点はご留意ください． (4) 使用言語が異なっている，ページ数が大幅に超過している等，規定のフォーマットに従っていない場合にはプログラム委員長の判断で不採択となることがありますのでご注意ください．【一般論文に関する発表】　採択された一般論文の各々について，本会議中に口頭発表を行って頂きます．口頭発表に使用する言語は日本語，英語のいずれでも構いません．また，スライドについても同様とします．聴衆への配慮，国際会議への投稿予定等を総合的に勘案し，発表者各自で適宜使用する言語を選択してください. 【一般論文における表彰】　一般論文では，トラック毎に最大一件のOutstanding Research Awardを選出し，表彰します．　また，学生が第一著者である論文の中からOutstanding Student Research Award一件を選出し，表彰します．なお，Student Research Awardについては，会議における発表者が第一著者でなかった場合，理由を問わず表彰の対象とならないことを付記します．　両賞はいずれも研究内容の質の高さに加え，研究の将来性，実用性を総合的に評価して選出します．論文の完成度よりも研究内容の評価をより重視しますが，論文における論旨の確かさ等，研究内容を他者に的確に伝えているかどうかは評価の対象となります．【ACS論文誌における連携号】　ACSI2015採録通知3週間後頃を目途に投稿を募集する，ACS論文誌（ACSI連携号）を企画します．本連携号では，ACSIへの投稿論文を元にした一般論文の審査をACSIのプログラム委員会がACS編集委員会に協力して行い，通常の投稿論文よりもさらに迅速な審査を目指します．ACSIで発表される研究成果に関する論文投稿先の一つとしてご検討ください．なお，同連携号ではACS論文誌としての基準で審査が行われ，ACSIの論文採録基準と同一ではないことにご留意ください．【ポスター論文】 (1) 一般論文採否決定後，ポスター論文を募集します．投稿受付開始は2014年12月初旬を予定しており，一般論文に準じた形式で分量は英文1～2ページとします．ポスター論文では，構想段階の研究，問題提起などを含めた研究を広く募集し，将来の国際会議への投稿等を視野に入れた参加者間の議論の場を提供します． (2) ポスター論文は英文としますが，会場で貼付するポスターに使用する言語は日本語・英語のいずれでも構いません． (3) 優秀なポスター発表を対象とした表彰を予定しています．プログラム正副委員長および審査を担当するプログラム委員により，ポスター論文の内容およびポスター発表時の審査に基づき選出します．【論文の投稿方法】　投稿方法の詳細な説明を以下のURLに記載しています．　　http://acsi.hpcc.jp/2015/submission_instruction.html.ja (日本語) 　　http://acsi.hpcc.jp/2015/submission_instruction.html.en (English) 　なお，投稿時には，論文の内容に応じて以下の3つの査読トラックのうちの1つを選択していただきます．ただし，列挙されているテーマに属さないなど，トラックの選択が難しい場合には指定しなくてもかまいません．この場合，プログラム委員会で適切なトラックを選択します．また，投稿時にトラックが指定された場合でも，査読に際してプログラム委員会の判断で異なるトラックに移動することもあります．トラックA: アプリケーション, アルゴリズム（トラックチェア: 高橋大介）　計算科学・シミュレーション　数値計算アルゴリズム　数値計算ライブラリ　自動チューニング　大規模データ処理アルゴリズム　省電力アルゴリズム　アルゴリズム耐故障トラックB: プログラミング・システムソフトウェア（トラックチェア: 合田憲人）　オペレーティングシステム　プログラミング言語設計・実装　仮想化技術　データ集約的計算基盤(MapReduce, KVS) 　ファイルシステム　データベース　クラウドコンピューティング　サイバーフィジカルシステム　グリッドコンピューティング　セキュリティ　通信ライブラリ　広域ネットワーキング　大規模システム運用・評価トラックC: システムアーキテクチャ（トラックチェア: 吉瀬謙二）　プロセッサアーキテクチャ　メモリアーキテクチャ　ネットワークアーキテクチャ　ヘテロジニアスアーキテクチャ(GPU, メニーコア) 　リコンフィギャラブルシステム　省電力設計　ディペンダブルシステム　アプリケーション専用アーキテクチャ　組み込みシステム【運営・組織委員】　組織委員長　　朴泰祐（筑波大学）　組織副委員長　　八杉昌宏（九州工業大学）　プログラム委員長　　岩下武史（北海道大学）　プログラム副委員長（一般論文）　　嶋田創（名古屋大学）　プログラム副委員長（ポスター）　　池上努（産業技術総合研究所）　プログラム副委員長（ＡＣＳ論文誌連携）　　鯉渕道紘（情報学研究所）　ローカルアレンジメント委員長　　高野了成（産業技術総合研究所）　会計委員長　　横山大作（東京大学）　広報委員長　　児玉祐悦（筑波大学）　企画展示委員長　　池上努（産業技術総合研究所）　総務委員長　　多田野寛人（筑波大学）【お問い合わせ】　ACSI2015組織委員会 acsi2015 .at. ccs.tsukuba.ac.jp -- 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

HSCC 2014: Call for Papers
by Kohei SUENAGA 26 Sep '14

26 Sep '14

皆様，京都大学の末永と申します．先日お知らせしましたハイブリッドシステムに関する国際会議 HSCC 2014 の締切 (10月20日) まで一ヶ月を切りましたので，再度 CFP をお送りします．アブストラクト締切が 10月13日です．どうぞ投稿をご検討くださいませ．末永幸平 -- 18th International Conference on Hybrid Systems: Computation and Control April 14-16, 2015, Seattle, USA. URL: http://2015.hscc-conference.org/ Important dates Abstract Submission deadline: October 13, 2014. Full Paper Submission deadline: October 20, 2014. (no extensions possible). Rebuttal phase: December 4 to December 7, 2014. Author notification: December 17, 2014. Camera-ready submission: February 3, 2015. Conference dates: April 14-16, 2015. Conference Scope Hybrid Systems: Computation and Control (HSCC) has long been a leading, single-track conference on foundations, techniques, and tools for analysis, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications include cyber-physical systems (CPS), mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models. In particular, we solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems. Topics of interest include, but are not limited to: - Design, synthesis and control - Analysis and verification - Computability and complexity - Programming languages, specification formalisms - Software tool engineering and experimentation - Real-time and resource-aware control for embedded systems - Network science and control over networks - Applications in automotive, avionics, energy, mobile robotics, medical devices, manufacturing, systems biology, transportation, and other areas HSCC 2015 will be part of the 8th CPSWeek (Cyber-Physical Systems Week) to be held in Seattle, USA, collocating 5 conferences: HSCC, the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Conference on High Confidence Networked Systems (HiCoNS), and the Real-Time and Embedded Technology and Applications Symposium (RTAS). Special Issue: Authors of distinguished papers will be invited to submit an extended version of their work for possible publication in a special issue of the journal Nonlinear Analysis: Hybrid Systems. Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution which has been primarily authored by a student. Each paper nominated for this award should be co-authored primarily by a student (as certified by the student’s faculty advisor). Repeatability Evaluation: HSCC has a history of publishing strong papers emphasizing computational contributions; however, recreating these computational elements is hard, because details of the implementation are unavoidably absent in the paper. Following a successful inaugural run in 2014, authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Review criteria and suggestions on how to get started on reproducible research are posted at the conference web page (http://2015.hscc-conference.org). Submission Guidelines Submitted papers should present original research that is unpublished and not submitted elsewhere. Regular papers: maximum 10 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Regular papers should present original research or industrial applications of techniques for design and/or analysis of hybrid systems, or their integration into industrial design flows. Tool and Case-Study papers: maximum 6 pages in the 10pt, two-column ACM format. Submission by October 20, 2014 through the EasyChair system. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques. Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2015 EasyChair submission website: https://www.easychair.org/conferences/?conf=hscc2015 Demo/poster abstracts: Approximately 2 pages. Submission by January 10, 2015 through email to hscc2015(a)easychair.org with “HSCC demo/poster submission” in the subject line. Questions should be directed to the same address. Demo/poster abstracts serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings. Program Chairs Antoine Girard, University of Grenoble, France. Sriram Sankaranarayanan, University of Colorado, Boulder, USA. Publicity Chair Sayan Mitra, University of Illinois, Urbana-Champaign, USA. Repeatability Evaluation Chair Ian Mitchell, University of British Columbia, Vancouver, Canada. Program Committee Erika Abraham, RWTH Aachen University, Germany Matthias Althoff , TU Ilmenau, Germany Shun-ichi Azuma, Kyoto University, Japan Hamsa Balakrishnan, MIT, USA Mireille Broucke, University of Toronto, Canada Krishnendu Chatterjee , IST Austria, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Motors, USA Alexandre Donzé , UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Eric Feron, Georgia Institute of Technology, USA Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Eric Goubault, CEA France and Ecole Polytechnique, France Radu Grosu, Vienna University of Technology, Austria Maurice Heemels, TU Eindhoven, Netherlands Jun-ichi Imura, Tokyo Institute of Technology, Japan (Samuel) Qing-Shan Jia, Tsinghua University, PR China Marta Kwiatkowska, Oxford University, England Kim Larsen, Aalborg University, Denmark Javad Lavaei, Columbia University, USA John Lygeros, ETH Zurich, Switzerland Sayan Mitra, University of Illinois at Urbana Champaign, USA Jens Oehlerking , Robert Bosch GmbH, Germany Meeko Oishi, University of New Mexico, USA Necmiye Ozay, University of Michigan, USA Carla Piazza, University of Udine, Italy Andre Platzer , Carnegie Mellon University, USA Pavithra Prabhakar, IMDEA Software Institute, Spain Maria Prandini, Politecnico di Milano, Italy Daniel Quevedo, University of Newcastle, Australia Jörg Raisch, TU Berlin, Germany S Ramesh, General Motors, USA Kohei Suenaga, Kyoto University, Japan Danielle Tarraf, Johns Hopkins University, USA P.S. Thiagarajan, National University of Singapore, Singapore Ufuk Topcu, University of Pennsylvania, USA Ashuthosh Trivedi, IIT Bombay, India Jana Tumova, KTH, Sweden Majid Zamani, Technical University of Munich, Germany Naijun Zhan, Chinese Academy of Sciences, PR China\ Steering Committee Rajeev Alur, University of Pennsylvania, USA Bruce Krogh, Carnegie-Mellon University, USA Oded Maler, Verimag, France Claire Tomlin, University of California Berkeley, USA Werner Damm, OFFIS, Germany -- 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

CFP: PPL2015 第17回プログラミングおよびプログラミング言語ワークショップ論文募集
by Makoto Hamana 25 Sep '14

25 Sep '14

皆様、群馬大学の浜名と申します．来年3月に愛媛県松山市道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップのご案内です．より詳細な投稿方法などは決定次第，下記ワークショップ Webページにてお知らせしますので，ぜひご投稿，ご参加をご検討ください． -------------------------------------------------------------------------- 第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2015年3月4日(水)〜3月6日(金) 会場: 愛媛県松山市道後温泉「道後プリンスホテル」 http://www.dogoprince.co.jp/ PPL2015は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません）カテゴリ4【新規】: サーベイ・チュートリアルの発表（既発表・未発表の別を問いません）カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞（一般の部，学生の部．既受賞者は除く），最も優秀なポスター・デモにはポスター賞【新規】を授与する予定です．カテゴリ1（国内外未発表論文） ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2015参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWeb上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2015プログラム委員会により優れていると認めるものは，PPL2015終了後（2015年4月下旬予定），「コンピュータソフトウェア」誌のPPL2015推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定します． ※ショートプレゼンテーションは行いませんカテゴリ4（サーベイ・チュートリアル発表）【新規】 ------------------------------------------------ サーベイはプログラミング言語に関連するトピックについての(発表者の研究も含め)研究動向の紹介，チュートリアルはプログラミング言語に関連する基礎事項についての解説を募集します．既発表・未発表の別を問いません．プログラミング言語分野の学生，研究者の研究に役立つような発表を想定しています．分野間の相互理解と全体の底上げとなる事を期待し，新たに設置するものです．PPLへの関連および関連研究への言及をもとに採択を判定いたします．通常発表と同様の30分での発表を予定していますが，採択件数によっては発表者との相談で延長も考慮します． ====================================================================== 投稿・発表申込要領 4つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ---------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： EasyChair による申込み受付を予定しています．発表申込締切：2014年12月22日(月) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2015年1月8日(木) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2015年2月3日(火) 最終原稿提出締切：2015年2月16日(月) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） -------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2015 の Web ページをご確認ください．発表申込締切：2015年1月23日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2015年2月5日(木) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2015 の Web ページをご確認ください．発表申込締切：2015年2月9日(月) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200〜300字程度）をご提出ください．採否通知：2015年2月16日(月) カテゴリ4（サーベイ・チュートリアルの発表） ------------------------------------------ サーベイまたはチュートリアルの提案を募集いたします．発表申込み時に概要の提出を行ってください．概要の内容，PPLへの関連および関連研究への言及をもとに採録を判定いたします．発表申込締切：2015年1月23日(金) 17:00 (JST) 著者名，所属，発表タイトル，発表の概要 (1〜3ページ，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)をご提出ください．またもしその内容の既発表のサーベイ，チュートリアル，解説等があれば，その文書（ページ数不問，PDF形式），著者名，所属，タイトル，文書の出典（発表雑誌，掲載済／予定の別等）も併せてご提出ください．採否通知：2015年2月5日(木) 問い合わせ先：ppl2015-oc [at] kb.is.s.u-tokyo.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会青戸等人東北大学浅田和之東京大学岩崎英哉電気通信大学鵜川始陽高知工科大学馬谷誠二京都大学 [プログラム共同委員長] 大岩寛産業技術総合研究所亀山幸義筑波大学河内谷清久仁日本IBM 久野靖筑波大学木村大輔国立情報学研究所宋剛秀神戸大学塚田武志 University of Oxford 中田景子 Tallinn University of Technology 浜名誠群馬大学 [プログラム共同委員長] 平井洋一 FireEye 平石拓京都大学藤田憲悦群馬大学星野直彦京都大学増原英彦東京工業大学渡部卓雄東京工業大学組織委員会松田一孝東京大学 [組織委員長] 浜名誠群馬大学 [プログラム共同委員長] 馬谷誠二京都大学 [プログラム共同委員長] 末永幸平京都大学上野雄大東北大学海野広志筑波大学木村大輔国立情報学研究所 [ポスターセッション幹事] --------------------------------------------------------------------------

1 0

数学会からのお知らせ
by shioya＠math.tsukuba.ac.jp 22 Sep '14

22 Sep '14

日本数学会数学基礎論および歴史分科会会員の皆様今週の数学会に関するお知らせが２件あります。（重複投稿をご容赦ください）１．台風16号への対応について２．プロジェクターの利用とバス便に関してよろしくお願いいたします。塩谷真弘（2014年度分科会連絡責任評議員） %%%%%%%%%%%%%%%%% １．台風16号への対応について以下の文書はWeb上　　　　　http://mathsoc.jp/meeting/hiroshima14sept/typhoon16.html でも公開しています。 2014年度秋季総合分科会における台風第16号への対応について　　　　　　　　　　　　　　　　　　　　　　　　　　　　　2014年9月21日会員各位台風第16号（フォンウォン）が西日本に接近しつつあります．日本数学会理事会では9月25日（木）から広島大学東広島キャンパスで開催されます秋季総合分科会への影響について懸念をしておりますが、まず以下のようにこの件に関わる広報、周知のチャンネルを確立しておきたいと思います．以下の対応が杞憂で終わってくれたらと祈っておりますが、念のために会員内で周知をお願いいたします．秋季総合分科会の開催に関して重要なお知らせは以下の手段によって会員にお知らせします．（１）スマートフォンでない携帯電話でも読めるページ　　　http://mathsoc.jp/i/ （２）大会の公式ページ　　　http://mathsoc.jp/meeting/hiroshima14sept/ また極めて重要なお知らせはニュースレターの号外でもご案内いたします．このとき同時に、講演者にも講演申し込みに際して登録されたアドレスにメールをお送りします．秋季総合分科会に参加される方は可能な限りActivation Systemからニュースレターの購読を選択してくださいますようお願いいたします．また台風の交通機関への影響により講演をキャンセルされる場合は、大会本部に電子メールアドレス　　program14sept(a)mathsoc.jp または電話番号 090-1791-3483　までご連絡ください．　　　　　　　　　　　　　　　　　　　　　　日本数学会理事長　舟木　直久 %%%%%%%%%%%%%%%%% ２．プロジェクターの利用とバス便に関してウェブページ http://mathsoc.jp/meeting/hiroshima14sept/news20140920.html に同様の告知が準備してあり、続報はこのページに記載することになっています。 (1) 講演に関するお願い：USBメモリに講演ファイルを入れてご持参ください． 9月19日まで広島大学総合科学部で日本分析化学会が開催されていましたが，会場の総合科学部の設備が最新の機器に対応していないせいもあり，コンピュータとプロジェクタの接続トラブルが頻繁に起こったとの報告がありました．（ノートパソコンのうちおおよそ9割以上は正常に接続されていますが，特に新しいコンピュータ，Mac，との接続トラブルが絶えなかったそうです．なお， HDMIケーブルは使用できません．）そのため，多くの会場では，USBメモリを使って予備のコンピュータに講演ファイルを移し，対応したとのことです．つきましては，可能な限り，次のことをお願いできないでしょうか？＊トラブルに備えて，講演ファイルをpdfファイル化し，USBメモリに入れてご持参　頂き，講演時にはUSBを携行してください．プロジェクタ接続に困難が生じたときに　予備機にUSBをつなぐことにより講演ができるようにするためです．　（ただしpdf ファイルに埋め込んだ動画の動作については保証しかねます．）　なお，ファイル名はプログラムの講演番号（2桁）から始めてご自分のお名前も入れて 01数学太郎.pdf 　のようにしてください．＊接続に不安がある方や，（追伸2）に記した接続上の注意に対応できない方は，　講演開始時間前や休憩時間に，実行委員会で用意するコンピュータに講演ファイル　を移し，そちらのコンピュータをご使用ください． (2) JR西条駅と広島大学を結ぶバス：小銭２９０円をご用意ください．日本数学会開催中，JR西条駅と広島大学を結ぶバスは，同時期に開催する他学会があるため，混雑することが予想されており，臨時バスが増発されます．バスの時刻表は下記URLに掲載されていますので，印刷してお持ちください．　　http://mathsoc.jp/meeting/hiroshima14sept/bus_timetable.pdf 講演会場である総合科学部の最寄りのバス停は「広大西口」であり，広島大学内の最初のバス停である「広大中央口」ではありません．また，西条駅から広島大学までのバス運賃は290円です．両替による混雑を避けるために，小銭をご用意いただければ幸いです．なおバスで利用できるICカードは PASPYとICOCAのみです（Suicaなど他のICカードはご利用になれません）．以上，どうぞ宜しくお願い申し上げます．　　　　　　　　　　　　　　　　　　秋季総合分科会実行委員長　作間　誠追伸1 学会開催直前の時期ですので，この件に関して個別にお問い合わせ頂きましても，ご対応はいたしかねますのでご了承ください．ただし、今後新たな注意事項がでてきましたら，ウェブページ http://mathsoc.jp/meeting/hiroshima14sept/news20140920.html を通して会員の皆様にお知らせする予定です．追伸2 （接続上の注意）＊HDMIケーブルには対応していません．こちらで準備したRGBケーブルをご使用ください．＊パソコンの解像度を1024 × 768に設定してください．＊液晶プロジェクターとパソコンは，ミニD-sub15ピンコネクタ（ピンが5本×3段の　通常のもの）で接続します．　パソコン側にメスコネクタがない場合，接続に必要なアダプタは各自ご持参ください．　薄型WindowsノートやMacを使用される方は，接続変換コネクタを必ずご持参ください．追伸3（パソコンとプロジェクターの不適合について　　　　　　　　　　　　　　　　　--接続トラブルに関する日本分析化学会からの連絡）多くのPCはプロジェクターに正しく信号が入り問題なく投影できましたが，いくつかのパソコンではトラブルが発生しています．その例を下記にしるしておきます． a.　最近のノートＰＣでは昔のVGA出力（D-sub15コネクタ）ではなくHDMIという規格のモニター出力のノートPCがあります．この場合はHDMIとD-sub15の変換コネクタを使うことになりますがこのようなケースでかなりの確率でプロジェクターへの出力がうまくいかないようです．またVGA出力（D-sub15コネクタ）とHDMIの両方をもつノートPC（例えばPanasonicのレッツノートのシリーズ）でもHDMI優先でVGAをまともに認識しないものがあるそうです. 有効な対策はないようで、別のPCへデータを移して映写する他ないようです． b.　MacBookAirの一部では時としてプロジェクターへ映写が大変暗くほとんど見えない程度にしか写らないことがあります（これはまれな現象です）．私の座長中にも1件発生し、いろいろやったのですが結果的にうまく映写することはできませんでした．しかし、これについては、Macがバッテリ駆動の時ではモニター出力信号が弱くなるためであり「ACアダプタを接続すると回避できる可能性がある」そうです． c.接触不良などの物理的な問題うまく写らない場合の一つの原因としてコネクタの接触不良もあるようです．差し直すとうまくいったとの話も何件かあったようです．Macのアダプタを差し直すとうまくいったとの話もありました．

1 0

再送：数学基礎論若手の会
by YOSHIDA Satoru 22 Sep '14

22 Sep '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014のご案内です。数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日程：11月19日（水）午後－21日（金）午前場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） http://www.city.tottori.lg.jp/www/contents/1198114185831/ 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ 今年度若手の会申込み要領については上記ホームページをご参照ください。 -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

QIT31口頭発表締切延長
by NISHIMURA Harumichi 22 Sep '14

22 Sep '14

logic-mlの皆様，第31回量子情報技術研究会口頭発表申込の締切が 10月3日（金）に延長されました．詳しくは以下のご案内をご覧ください．ご応募のほどよろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ---------------------------------------------------------- 第31回量子情報技術研究会(QIT31) ※口頭講演の申込締切を10/3(金)まで延長しましたので，奮ってご応募ください．研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第31回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2014年11月17日(月)～18日(火) 会場: 東北大学さくらホール (〒980-8577 仙台市青葉区片平２－１－１東北大学片平キャンパス内) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員: 200名参加費: 事前振込み一般4,000円，学生1,000円 (当日会場払いは一般5,000円，学生2,000円) (懇親会は別途) 研究会参加申込要領参加申込は下記 Web にて受付けます： http://staff.aist.go.jp/s-kawabata/qit/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用する予定．【口頭講演申込締切】 2014年10月3日(金) ※延長しました．なお，申込数が予定数に達した時点で締め切る場合があります．【ポスター講演申込締切】 2014年10月3日(金) 【予稿原稿提出締切】 2014年10月3日(金) 【参加申込締切】 2014年10月24日(金) 【問合せ先】枝松圭一 (東北大学電気通信研究所) 三森康義 (東北大学電気通信研究所) 吉田真人 (東北大学電気通信研究所) Email: qit31(a)quantum.riec.tohoku.ac.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会東北大学電気通信研究所 ―――――――――――――――――――――――――――――

1 0

Prof. Aleksy Schubert at NII Logic Seminar
by Makoto Tatsuta 22 Sep '14

22 Sep '14

Prof. Aleksy Schubert at NII Logic Seminar Date: September 26, 2014, 14:00--16:00 Place: National Institute of Informatics, Room 1716 (17th floor) 場所: 国立情報学研究所 17階 1716室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Aleksy Schubert (University of Warsaw) (1) Title: Undecidability and complexity in fragments of first-order intuitionistic logic Abstract: In case of classical first-order logic there is a full characterisation of decidable and undecidable classes of formulae depending on the quantifier prefix and the vocabulary that is used. First-order logic in intuitionistic case lacks this kind of classification since there is no prefix normal form and actually the prenex fragment of the logic is in many cases much weaker than the general calculus. However, there is one meaningful stratification of the intuitionistic logic similar to the prenex form. We can consider classes of formulae that would result in a particular prefix of quantifiers when transformed using classical equivalences. The status of decidable and undecidable cases within this stratification will be presented as well as the complexity of known subcases. (2) Title: Verification of programs using Frama-C and Why3 Abstract: Frama-C is a tool that makes it possible to do a variety of analyses for C programs annotated with C specification language called ACSL (The ANSI/ISO C Specification Langage). One of the possible ways to use Frama-C is to generate verification conditions for appropriately defined Hoare logic that is in line with C programming language semantics. These verification conditions can subsequently be discharged by Why3 tool that makes it possible to manage the proving of necessary properties. During the talk I will present an overview of the tools and show a number of interesting examples to demonstrate how these tools work together to make possible verification of practical programs. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内
by Yoshihito Tanaka 22 Sep '14

22 Sep '14

九州大学マス・フォア・インダストリ研究所の溝口先生の代理で投稿いたします． ========================================================================= 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内　　　　　　　　　　　　　　　　　　　(English version is below.) 12月3日(水)-5日(金)に九州大学西新プラザにて, 研究集会「高信頼な理論と実装のための定理証明および定理証明器」を開催します. 皆様のご参加をお待ちしています. 日時：2014年 12月3日(水) 〜 12月5日(金) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分. プログラム：詳細は未定(準備中)です. みなさまのご講演をお待ちしています. Adam Chlipala氏 (MIT, USA), Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして, Coqおよび Ssreflect, MathCompに関する御講演を頂く予定です. 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月半ばまでに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います．申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛(九州大学)) URL: http://coop-math.ism.ac.jp/event/2014E04 (注. 作成途中です.「TPP2014 数学」で検索してみて下さい.) ------------------------------------------------------------------------- TPP 2014 参加申し込みお名前：ご所属：講演　：する／しない懇親会：参加する／参加しない講演する場合タイトル：（講演のタイトルが決まっていなければ，TBAでもかまいません．決まったらご連絡ください．）講演希望日: (○/×) 12/3 (○/×) 12/4 (○/×) 12/5 その他(ご意見/ご要望ありましたらお願いします): ------------------------------------------------------------------------- ========================================================================= Workshop: Theorem proving and provers for reliable theory and implementations (TPP2014) This is the call for participation for TPP2014, to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University. Date: 2014/12/03 around 1pm to 12/05 around 3pm Venue: Nishijin Plaza, Kyushu University (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Adam Chlipala (MIT, USA) Cyril Cohen (Univ. Gothenburg, Sweden) If you are planning to attend the meeting, please send the information slip below to the indicated address by mid-October. Submission/questions to: 　　　tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://coop-math.ism.ac.jp/event/2014E04 (Tentative Japanese HP. Revised English HP will be notified later.) ------------------------------------------------------------------------- TPP 2014 Registration Name: Affiliation: Will give a talk: Yes/No Will attend the party: Yes/No Title of the talk: (If it is not decided yet, TBA is OK.) Which date do you prefer to talk ? 12/3 (OK/NG) 12/4 (OK/NG) 12/5 (OK/NG) Requests for the organizer (if any): ------------------------------------------------------------------------- =========================================================================

1 0

Prof. Aart Middeldorp at NII Logic Seminar
by Makoto Tatsuta 17 Sep '14

17 Sep '14

Prof. Aart Middeldorp at NII Logic Seminar Date: September 22, 2014, 14:00--16:00 Place: National Institute of Informatics, Room 2005 (20th floor) 場所: 国立情報学研究所 20階 2005室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Aart Middeldorp (University of Innsbruck) Title: Proving AC Termination by Knuth-Bendix Orders Abstract: Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this talk we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful AC-compatible order and we modify the latter to amend its lack of monotonicity on non-ground terms. We present new complexity results and compare the various orders on problems in termination and completion. The talk is based on joint work with Nao Hirokawa, Sarah Winkler, and Akihisa Yamada. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

JAIST Logic Seminar Series (18th Sep. 2014: Tadeusz Litak on Relational lattices)
by Katsuhiko Sano 14 Sep '14

14 Sep '14

皆様、 FAU Erlangen-Nürnberg の Tadeusz Litak さんの講演のお知らせです。ふるってご参加ください。問い合わせ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp ---------------------------------------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday, 18th September, 2014, 15:10-17:00 Place: JAIST Collaboration Room 6 (I57-g) (Access:http://www.jaist.ac.jp/english/location/access.html) Speaker: Tadeusz Litak (Department Informatik, Technische Fakultät, FAU Erlangen-Nürnberg, Germany) Title: Relational lattices Abstract: We study an interpretation of lattice connectives as natural join and inner union between database relations with non-uniform headers. We show that this interpretation proposed by database experts (Vadim Tropashko from Oracle) yields a class of lattices which has not been considered in the existing lattice-theoretical literature. We discuss axiomatizability and decidability of their (quasi-)equational theory and propose an equational axiomatization for a corresponding abstract algebraic class. It turns out that addition of just the “header constant” to the lattice signature already allows mimicking the Maddux technique for cylindric algebras and encode the word problem for semigroups in the quasiequational theory. Relational lattices, however, are not as intangible as one may fear: for example, they do form a pseudoelementary class. We also apply the tools of Formal Concept Analysis and investigate standard contexts of relational lattices, obtaining, e.g., results on their subdirect irreducibility. This is a joint work with Szabolcs Mikulas and Jan Hidders ----------------------------------------------------------------------------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2014