Logic-ml

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

7 participants
1772 discussions

CFP: TPP 2017 (Dec. 6-7 in Kyoto Univ.)
by Atsushi Igarashi 31 Oct '17

31 Oct '17

京都大学の五十嵐です．第１３回 TPP (Theorem Proving and Provers) ミーティングを１２月６日（水）の午後から１２月７日（木）までの予定で、京都大学吉田キャンパスにて開催します．このミーティングは， 2005 年から年に１回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論を大切にしたいと考えていますので，出来上がった仕事の講演だけでなく，進行中の仕事、未完成の仕事についての講演も歓迎します．参加者には可能な限りご講演いただきたいと希望しています．参加者と講演の概数を把握したいので，参加される(かもしれない)方は、 https://docs.google.com/forms/d/e/1FAIpQLSeNY78Nptel4SY_U5MAGMX6qEzyipeFBSn… 経由で 11月22日(水)までに参加申し込みをしてください．また12月6日(水) の夜に懇親会を予定しております．こちらの参加(するかもしれない)表明をお願いいたします．恒例のTPP問題を含む，詳しい情報は https://aigarashi.github.io/TPP2017/ にあります．多数のご参加をお待ちしております．どうぞよろしくお願いします．五十嵐淳

1 0

[1st CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations
by Kazutaka Matsuda 25 Oct '17

25 Oct '17

皆様，東北大学の松田です． <Programming> 2018に併設して開催されるワークショップ Bx 2018 の論文募集の案内をお送りいたします．もしよろしければ，ご投稿を検討いただけますと幸いです． --------------------------------------------------------- FIRST CALL FOR PAPERS ===================== Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 18, 2018 - Author notification: Feb. 17, 2018 - Workshop: To be announced (Apr. 9 or Apr. 10, 2018) AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site is to be announced. Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM CO-CHAIRS ----------------- - Jens Weber (University of Victoria) - Kazutaka Matsuda (Tohoku University) PROGRAM COMMITTEE MEMBERS ------------------------- To be announced.

1 0

MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 25 Oct '17

25 Oct '17

皆様静岡大学の鈴木信行です。第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆さま、ご寛恕を賜りますようお願い申し上げます。ご参加・ご講演のお申込み、〆切が近づきました。 11月1日(水)までに、以下の申し込みフォームをお送りください。送り先: mlg52.shizuoka(a)gmail.com 件名: MLG52申込申し込みフォーム： -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

CALL FOR PARTICIPATION: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Oct '17

20 Oct '17

（重複して受け取られた場合はご容赦ください）皆様、北海道大学の佐野勝彦と申します。今年の11月に東京で開催される LENLS 14 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Daisuke Bekki (Ochanomizu University/JST CREST) Eric McCready (Aoyama Gakuin University) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (Munich Center for Mathematical Philosophy, LMU Munchen) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Important dates: ================ Deadline for camera-ready copy: October 16, 2017 Deadline for onsite registration: November 1, 2017 LENLS14: November 13-15, 2017 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until End of October, 2017. https://www.ai-gakkai.or.jp/isai/registration2017 Program: ======== 1st Day: November 13 (Mon) ------------------------- 9:00-10:00:Registration 10:00-11:30:Session * Lukas Rieser "Quality as a speech-act CI and presuppositions" * Hitomi Hirayama "Towards a Unified Analysis of Contrastive wa as Contrastive Topic" * Michael Yoshitaka Erlewine and Hadas Kotek "Intervention tracks scope-rigidity in Japanese" 11:30-12:50:Lunch 12:50-14:20:Session * Yulia Zinova "Explaining prefix contributions in Russian using Frame Semantics and RSA" * Liping Tang "A Signaling Model for Pictorial and Alphabet Writings" * Ilaria Frana and Keir Moulton "Derived Nominals and Concealed Propositions" 14:20-14:35:Coffee Break 14:35-16:05:Session * Dan Zeman "Perspectival Plurality, Relativism, and Multiple Indexing" * Fabrizio Cariani and Simon Goldstein "Conditional heresies" * Andres Soria Ruiz "It's Getting Better All The Time: An Expressivist Semantics For Comparative Value Judgments" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Ivano Ciardelli "Two Switches in the Theory of Counterfactuals" 2nd Day: November 14 (Tue) ------------------------- 10:00-11:30:Session * Yu Izumi and Shintaro Hayashi "Expressive Small Clauses in Japanese" * Osamu Sawada and Jun Sawada "The dependent property of the Japanese inferential use of no koto-da: An evidence indicator for an inferential modal statement" * Gregoire Winterstein, Regine Lai and Zoe Luk "Denials and negative emotions: a unified analysis of the Cantonese expressive 'gwai2'" 11:30-12:50:Lunch 12:50-14:20:Session * Kristina Liefke "Relating Intensional Models of Formal Semantics: established methods and surprising results" * Oleg Kiselyov "Transformational Semantics on a Tree Bank" * Simon Charlow "A modular theory of pronouns and binding" 14:20-14:35:Coffee Break 14:35-16:05:Session * Robert Henderson and Eric McCready "How Dogwhistles Work" * Emily Lake "Ideological legibility as a primary pragmatic process in the interpretation of implicit content" * Eric McCready and Christopher Davis "An Invocational Theory of Slurs" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Craige Roberts "Character assassination: Indexicals in a new perspective" 19:30-:Banquet 3rd Day: November 15 (Wed) ------------------------- 10:00-11:30:Session * Katsuhiko Yabushita "On the suspendability of the prejacent of an only sentence" * Hiroaki Nakamura "Discontinuity in Potential Sentences in Japanese" * Roussanka Loukanova "Semantic Argument Slots in the Type-Theory of Acyclic Recursion and Syntax-Semantics Interfaces in CBLG" 11:30-12:50:Lunch 12:50-14:20:Session * Tatiana Bladier, Kilian Evang and Yulia Zinova "Aspecto-Temporal Representation of Slavic Aktionsarten in DRT with Boxer" * Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot and Christian Retore. "Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis" * Alastair Butler and Stephen Wright Horn "Annotating syntax and lexical semantics with(out) indexing" 14:20-14:35:Coffee Break 14:35-16:05:Session * Patrick Elliott "An algebraic theory of attitude reports" * Chungmin Lee "Languages with non-factive knowledge verbs" * Yurie Hara, Naho Orita and Hiromu Sakai "Evidentials in Causal Premise Semantics: A Rating Study" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Shoichi Takahashi "Lethal Restrictors: Remedies and Ramifications" Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ論文募集
by Shin-ya Nishizaki 11 Oct '17

11 Oct '17

logic-mlの皆様下記の通り、PPL2018のCFPを連絡させて頂きます。是非、投稿・参加をご検討ください。東京工業大学学術国際情報センター西崎真也 ================================================================ 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) http://jssst-ppl.org/workshop/2018/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．発表申込締切: 2017年12月21日(木) 17:00 (JST) 論文提出締切: 2018年1月9日(火) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2018年2月5日(月) 17:00 (JST) 採否通知：2018年2月13日(火) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2018年1月22日(月) 17:00 (JST) 採否通知：2018年2月2日(金) 申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致します． ================================================================ 問い合わせ先 ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org()-m53d8hra6b05cqqod3b1719ofh4b ================================================================ プログラム委員会上野雄大(東北大) 鵜川始陽(高知工科大) 海野広志(筑波大学) 江本健斗(九州工業大) 勝股審也(NII) 河内谷清久仁(日本IBM) 倉光君郎(横浜国立大) 光来健一(九州工業大) 櫻井孝平(金沢大) 笹田耕一(クックパッド) 新屋良磨(東京大) 澄川靖信(東京理科大) 田辺良則(鶴見大) 対馬かなえ(NII) 土屋達弘(大阪大) 鍋島英知 (山梨大) 浜名誠(群馬大) 星野直彦(京都大) 堀江倫大(日本IBM) 前田敦司(筑波大) 増原英彦(東京工業大) 松田一孝(東北大) 南出靖彦(東京工業大) 森畑明昌(東京大学) 結縁祥治(名古屋大) 組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長]

1 0

数学基礎論若手の会２０１７のご案内（再送）
by Toshimichi Usuba 11 Oct '17

11 Oct '17

MLの皆様、早稲田大学の薄葉です。締め切りが近づいてまいりましたので再度数学基礎論若手の会についてご案内させていただきます。講演、宿泊ともにまだ余裕がありますのでふるってご参加ください。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 1

第37回量子情報技術研究会(QIT37)申込締切延長
by NISHIMURA Harumichi 11 Oct '17

11 Oct '17

logic-mlの皆様第３７回量子情報技術研究会（QIT37）の発表申込締切が延長されたとのことですので，延長後の日程に変更した会告をご案内させていただきます（招待講演者の情報も増えています）．ご興味をお持ちの方は講演申込もご検討のほどよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道＜申込締め切りを延長しました＞ ---------------------------------------------------------- QIT37 第37回量子情報技術研究会研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．　第３７回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表，聴講を募集致します．奮ってご参加ください．日時：平成２９年１１月１６日（木），１７日（金）会場：埼玉大学総合研究棟１階シアター教室　　　（〒338-8570 さいたま市桜区下大久保255）発表募集分野：（申し込み状況によっては査読可能性あり）：量子情報，　　　　　　　　　量子計算，量子暗号など広く量子情報技術に関わる理論的　　　　　　　　　研究，実験的研究，計算機科学的研究，数学的研究，及び　　　　　　　　　その他関連分野定員：１４０名程度参加費：事前振込み　一般4,000円，学生3,000円　　　　（当日会場支払いは一般5,000円，学生4,000円）　　　　（懇親会は別途）研究会参加申込要領：講演(口頭，ポスター)希望者，聴講希望者は下記Webにて受付を行います．http://staff.aist.go.jp/s-kawabata/qit/ 招待講演：　小坂英男（横浜国立大学）「ダイヤモンドへの量子テレポーテーション転写と万能ホロノミック　量子操作～量子系の機械学習による最適量子操作の試みと量子情報　通信への応用～」　添田彬仁（東京大学）「高階量子情報処理の最近の展開」　古澤明（東京大学）「Hybrid quantum information processing: A way for large-scale 　optical quantum information processing」　森前智行（群馬大学）「セキュアクラウド量子計算」申込締め切り（延長しました）【講演申込締め切り】　　　平成２９年１０月１６日（月）口頭　　　　　　　　　　　　　平成２９年１０月２０日（金）ポスター【PDF原稿提出締め切り】　平成２９年１０月２０日（金）【参加申込締め切り】　　　平成２９年１０月２７日（金） [問合先] 小柴健史 (早稲田大学) 小川朋宏 (電気通信大学) 大久保潤 (埼玉大学) E-mail　qit37(a)list.waseda.jp 主催：電子情報通信学会　量子情報技術特別研究専門委員会（委員長　竹内繁樹（京都大学））共催：応用物理学会量子エレクトロニクス研究会 ----------------------------------------------------------

1 0

FSCD 2018 Call for Papers
by Takahito Aoto 11 Oct '17

11 Oct '17

皆様，国際会議 FSCD 2018 の論文募集をご案内致します．来年7月に，FLoC 2018 の一環として Oxford での開催です．投稿〆切は，1月22日です．ぜひ投稿をご検討いただければ幸いです． --- 青戸等人(新潟大学) --------------------------------------------------------------------------------------------------- Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018) Oxford, UK, July 9 - 12th, 2018 Part of The Federated Logic Conference, FLoC 2018, July 6 - 19th, 2018. TOPICS: FSCD http://fscd-conference.org/ <http://fscd-conference.org/> covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory, new emerging models of computation (e.g. homotopy type theory or quantum computing), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). PUBLICATION : The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl http://www.dagstuhl.de/publikationen/lipics/ <http://www.dagstuhl.de/publikationen/lipics/> All LIPIcs proceedings are open access. SUBMISSION GUIDELINES : Submissions can be made in two categories. - Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. - System descriptions are limited to 6 pages (excluding references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site http://www.cs.le.ac.uk/events/fscd2018/ <http://www.cs.le.ac.uk/events/fscd2018/> IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: January 15th, 2018 Full Papers: January 22nd, 2018 Rebuttal period: March 22 - 25th, 2018 Authors Notification: April 2nd, 2018 Final version for proceedings: May 2nd, 2018 BEST PAPER AWARD BY JUNIOR RESEARCHERS: The program committee will consider declaring this award to a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). SPECIAL ISSUE: Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE CHAIR Hélène Kirchner, Inria PROGRAM COMMITTEE S. Akshay, IIT Bombay T. Aoto, Niigata U. P. Arrighi, Marseille U. L. Birkedal, Aarhus U. E. Bonelli, Quilmes U. A. Bouhoula, Carthage U. C. Castro, F. Santa Maria Tech. U. U. Dal Lago, Bologna U. S. Escobar, U.P. Valencia M. Fernández, King's College London V. Ganesh, Waterloo U. H. Geuvers, Nijmegen U. M. Hasegawa, Kyoto U. H. Kirchner, Inria P.B. Levy, U. of Birmingham C. Loeding, Aachen U. A. Miquel, UdelaR, Montevideo G. Moser, Innsbruck U. C. Nalon, Brasilia U. V. Nigam, Paraiba U. & fortiss P. C. Ölveczky, Oslo U. G. Rosu, Illinois U. P. Severi, Leicester U. V. Sofronie-Stokkermans, Koblenz-Landau U. N. Tabareau, Inria R. Thiemann, Innsbruck U. A. Tiu, NTU Singapore F. van Raamsdonk, VU Amsterdam L. Zhi, CAS Beijing CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U. PUBLICITY CHAIR: Sandra Alves, Porto U. FSCD STEERING COMMITTEE T. Altenkirch (Nottingham U.), S. Alves (Porto U.), M. Fern\'andez (King's College London), C. Fuhs (Birkbeck, London U.), D. Kesner (Paris U.), N. Kobayashi (Tokyo U.), D. Miller (Inria), L. Ong (Chair, Oxford U.), B. Pientka (McGill U.), S. Staton (Oxford U.), R. Thiemann (Innsbruck U.). ---------------------------------------------------------------------------------------------------

1 0

25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers
by 小野寛晰 10 Oct '17

10 Oct '17

[Apologies for multiple copies.] WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date). PROCEEDINGS The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Mar 11, 2018: Paper title and abstract deadline Mar 18, 2018: Full paper deadline Apr 15, 2018: Author notification Apr 22, 2018: Final version deadline (firm) PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 05 Oct '17

05 Oct '17

みなさま、北陸先端科学技術大学院大学の横山です。以下の通り12月に早稲田大学にて「超準解析と数学基礎論のシンポジウム」の開催を予定しております。講演を募集致しますのでご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス講演募集締め切り：11月24日世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月24日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月24日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml