- Logic-ml - fos.kuis.kyoto-u.ac.jp

JAIST Logic Seminar Series
by Hajime Ishihara 10 Jan '15

10 Jan '15

皆様スワンジー大学のAnton Setzer先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/). Date: Thursday 22 January, 2015, 15:10-16:40 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Anton Setzer (Swansea University) Title: Extraction of programs from proofs using postulated axioms (joint work with Chi Ming Chuang) Abstract: In this talk we discuss how to extract programs from proofs with postulated axioms in dependent type theory. Since type theory has constructive logic, it is easy to determine for every $\Pi_2$-statement a function $f$ which determines the witness from the input. However, in the presence of postulated axioms, this function applied to an argument doesn't reduce necessarily to constructor head normal form, which means it doesn't produce a value. In this talk we discuss conditions which guarantee that the extracted function provide values in the presence of postulated axioms, and give a proof. This methodology will be applied to the extraction of alogrithms for exact real number computations. For this purpose the signed digit reals are introduced as a coalgebraic data type, and it is shown that the signed digit reals are closed under average, multiplication and rational numbers. Proofs have been carried out in the theorem prover Agda and the resulting programs can be executed effectively in this language.

1 0

Logic, religion and science
by Kensaku GOMI 08 Jan '15

08 Jan '15

Dear Sirs and Madams, Regarding conflicts among religions and between religion and science, and regarding the 1st World Congress on Logic and Religion http://www.uni-log.org/logic-and-religion.html, I would inform you of the paper entitled ``MATHEMATICAL THEOLOGY: A Proscience Concept of God with a Mathematical Model'' http://homepage3.nifty.com/gomiken/english/mathpsy.htm. I believe that it contributes to promoting harmony among religions and reconciling religion and science toward omniscience. Would you support it by forwarding this mail to your acquaintances who would be interested? With kind regards, The original sender: Kensaku Gomi, a retired professor of the Graduate School of Mathematical Sciences, University of Tokyo.

1 0

NLCS '15 Call for Papers
by Makoto Kanazawa 06 Jan '15

06 Jan '15

Third Workshop on Natural Language and Computer Science NLCS '15 July 5, 2015 Kyoto, Japan http://www.indiana.edu/~iulg/nlcs.html A workshop affiliated with 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) Endorsed by the Association for Computational Linguistics Special Interest Group on Computational Semantics Paper submission deadline: April 2, 2015 AIMS AND SCOPE Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics. Specific topics includes, but are not limited to: • logic for semantics of lexical items, sentences, discourse and dialog • continuations in natural language semantics • formal tools in textual inference, such as logics for natural language inference • applications of category theory in semantics • linear logic in semantics • formal approaches to unifying data-driven and declarative approaches to semantics INVITED SPEAKERS Makoto Kanazawa, National Institute of Informatics Gerard de Melo, Tsinghua University PROGRAM COMMITTEE • Heather Burnett, Université de Toulouse 2 • Robin Cooper, University of Gothenburg • Valeria de Paiva, Nuance Communications • Tim Fernando, Trinity College • Nissim Francez, The Technion • Makoto Kanazawa, National Institute of Informatics • Larry Moss, Indiana University • Aarne Ranta, University of Gothenburg • Christian Retoré, Université de Montpellier PAPER SUBMISSIONS Extended abstracts of up to 10 pages may be submitted through Easychair: https://easychair.org/conferences/?conf=nlcs15 ORGANIZERS Valeria de Paiva Nuance.com Email: Valeria.dePaiva at nuance .com Makoto Kanazawa National Institute of Informatics Email: kanazawa at nii.ac.jp Larry Moss Indiana University Email: lsm at cs.indiana . edu IMPORTANT DATES Paper submission deadline: April 2, 2015 Author notification: May 1, 2015 Electronic versions of papers due: May 14, 2015 Workshop: July 5, 2015

1 0

『第２回山陰基礎論・解析学研究集会』の御案内
by Horihata Yoshihiro 05 Jan '15

05 Jan '15

皆様米子高専の堀畑です．米子（鳥取県）にて下記要領で『第２回山陰基礎論・解析学研究集会』を開催いたします．分野を超えて，基礎論，関数解析，微分幾何，偏微分方程式の研究者が集まり，ざっくばらんに意見交換できる場にしたいと思っています．現在，発表１２件，参加者２０人前後となっています．講演をご希望される方は，少し詳しいアブストラクト（Texソース）と共に，１月１３日（火）までに堀畑までご連絡頂ければ幸いです．聴講のみご希望の方は１６日（金）頃までにご一報いただければ助かります．【日時】　１日目：１月２４日（土）１０時～１７時　２日目：１月２５日（日）１０時～１３時（時間については予定です．終了時間は発表件数によって変わる可能性があります）【場所】国際ファミリープラザ３Ｆ稲盛ホール（米子駅から徒歩１０分程）ＨＰ→ http://familyplaza.net/conference2 ※２３日（金）夜と２４日（土）夜に懇親会を行います．詳細は堀畑まで．会の詳細は下記ホームページで更新していきます： https://sites.google.com/site/yonagonctmath/slas2015 以上です．よろしくお願い申し上げます．堀畑佳宏 -- 米子工業高等専門学校教養教育科・数学〒683-8502 鳥取県米子市彦名町4448 E-mail: horihata(a)yonago-k.ac.jp

1 0

FW: UNILOG'2015 in Istanbul and 10th PLS in Samos Island
by Kensaku GOMI 05 Jan '15

05 Jan '15

From: jean-yves beziau [mailto:jyb.logician@gmail.com] Sent: Monday, January 5, 2015 3:44 AM To: Kensaku GOMI Forwarded to: Logic-ml Subject: UNILOG'2015 in Istanbul and 10th PLS in Samos Island Hope to see you at the 5th UNILOG - World Congress and School on Universal Logic to happen in Istanbul, June 20-30, 2015 http://www.uni-log.org/enter-istanbul As indicated in our website: The event is organized in combination with the 10th Panhellenic Logic Symposium that will happen June 11-15, 2015 in Samos Island, where Pythagoras was born. https://samosweb.aegean.gr/pls10/ A travel by bus from the nearby port of Kusadasi in Turkey up to Istanbul will be organized with stops on famous historical sites: Ephesus, Troy, etc. Special arrangements will exist for participants who wish to attend both conferences. I am sending you attached the posters for UNILOG'2015 and the related contest "The Future of Logic". I would be glad if you can print them (colour A3) and post them at your university /institute or if you prefer I can send them to you by post (then send me your exact mailing address) I wish you a happy new year 2015 Jean-Yves >----------------------------------------------------------------------> Jean-Yves Beziau Editor-in-Chief - Logica Universalis Latest Issue Scope of Logic Theorems - In Memoriam Adolf Lindenbaum http://link.springer.com/journal/11787/8/3/page/1

1 0

Logical Inference & Proof 学際会議（Jan 12-13th　Mita Campus Keio Univ）のお知らせ
by Mitsuhiro Okada 26 Dec '14

26 Dec '14

哲学、論理、計算、ソフトウエア科学基礎論、論理の認知・神経科学に関わるつぎのようなインフォーマルな会合を予定していますので、ご案内させていただきます。　慶應義塾大学哲学専攻　岡田光弘 “Logical Inference and Proofs”　Franco-Japanese Interdisciplinary Workshop　Jan 12-13^th 　“論理推論と証明”学際ワークショップ（１月１２日―１３日） (http://abelard.flet.keio.ac.jp/ilip2015/ ) 論理推論と証明に関する, 論理哲学、計算機科学、認知・神経科学などの学際的研究集会を案内させていただきます。(With Logic, Philosophy, Computer Science, Neuroscience, cognitive Science) 参加自由です。 (慶応大三田キャンパス、　Mita Campus, KeioUniversity) ―――――――――――――――――――――――――――――――― 日時：2015年1月1２日（月）13:00*〜18:00 / 1３日(火) 10:00*〜16:00 Date: January 12th (13:00-18:00) /13th (10:00-17:00), 201 東館6階G-Sec Lab () Place: G-Sec Lab, 6th Floor of East Research Building Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html (* 開始時間変更の可能性あり．プログラムは http://abelard.flet.keio.ac.jp/ilip2015/ でアップデートいたします。) ――――――――――――――――――――――――――― （ゲスト講演者リストやプログラム, abstracts情報はイベントページ http://ctj.keio.ac.jp/news/14 にアップデートされます．）参加方法：参加費無料。会場準備のため氏名、所属を明記して「Logical Inference集会参加希望」と件名を記したメールを事務局 logic(a)abelard.flet.keio.ac.jp 宛に1/10 までにお送りください。 (※12日セッション終了後のレセプションも参加自由です。) 主な講演者：フランス側主な講演者 Pierre Wagner ( University of Paris I and Institute of History and Philosophy of Science))　論理哲学 Jean-Baptiste Joinet（ University of Lyon III and Jean-Cavaiiles Institute, ENS-Paris ）論理哲学 Gilles Dowek (INRIA－Coq-Team Leader）タイプ理論・Coqシステム Jérôme Prado（University of Lyon I―CNRS　Language-Brain-Cognition Lab））推論の脳科学 Alberto Naibo (University of Paris I and Institute of History and Philosophy of Science)　証明と計算の論理 Discussantｓinclude Philippe Codognet （CNRS-Tokyo Joint Lab Director, and University of Paris VI）計算機科学日本側講演者 Shigeru Watanabe (Psychology, Keio University)　比較認知神経科学 Kazushige Terui (Mathematical Science Institute, Kyoto University)　情報論理学 Koji Mineshima (Center for Simulation Science, Ochanomizu University)　タイプ理論的言語学その他の日本側講演者は会合Web-siteでupdateします。 Tentative Program and tentative topics (See the conference website for further updated information.) １月１２日（月）１２th Jan. (Mon) １3；００PM　 Session on Proofs and Computation　 Baptiste-Joinet (Computatonal basis of semantics) Kazushige Terui (TBA) Pierre Wagner (Logical Pluralism) Gilles Dowek (Proof, type and Computation) Discussion (Discussion coordinator Phillipe Codognet Discussant Mitsuhiro Okada and others. To be announced. 18:30PM Reception １月１３日（火）13^th Jan. (Tue) 10:00AM Session on Logic and Types Alberto Naibo (Typed vs untyped proof theory) Koji Mineshima (Type theory and natural language) Discussion (Discussion coordinator, Mitsuhiro Okada) Discussants to be announced. 12:30AM-14:00PM Lunch Break 14:00pm Session on Logical Inference and Cognition Shigeru Watanabe (Comparative Cognitive-Neuroscientific Study of logical inference) Jerome Prado (Brain Imaging Study of Logical Inference) Yuri Sato (Cognitive Scientific Study of Logical Inference) Concluding Discussion (Discussion Coordinator Pierre Wagner) Discussants to be announced. 17:30PM Closing お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：高橋・小室） think-judge(a)abelard.flet.keio.ac.jp ―――――――――――――――――――――――――― 主催：慶應義塾大学「思考と行動判断」の研究拠点後援：慶應義塾大学論理と感性のグローバル研究センター後援：慶応義塾　「論理思考の次世代型研究と論理的思考力、発達支援への応用研究」プロジェクト後援：　新学術領域「予測と意思決定の論理と計算 ----------------------------------------------

1 0

42nd TRS Meeting - Final CFPart
by Naohi Eguchi 22 Dec '14

22 Dec '14

(Apologies for cross-posting) Final Call for Participation 42nd TRS Meeting February 7 - 9, 2015, Tokyo, Japan http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/ The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Date: February 7th (Sat) – 9th (Mon), 2015 Venue: Harumi Grand Hotel 8-1, Harumi 3-chome, Chuo-ku, Tokyo 104-0053 Japan Lodging fees: 31812 yen (2 nights, non-smoking 2 persons' shared room) (breakfasts, banquet (Sat), lunch (Sun), dinner (Sun) included) Tentative Schedule: Meeting: Feb 7 (Sat) 14:00 - Feb 9 (Mon) 12:00 Banquet: Feb 7 (Sat) Registration: Deadline: January 5 (Mon), 2015 Please fill in the following registration form and send it to Naohi Eguchi (neguchi [at] g.math.s.chiba-u.ac.jp) by e-mail. (Items marked with * can be sent later) -------------------------------------------------------------------- Registration Form of the 42nd TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): hotel reservation: (A)/(B) (A) Please accommodate me at Harumi Grand Hotel. February 7 (Sat): yes/no February 8 (Sun): yes/no additional request: (In case of partial accommodation) lunch (Sun): yes/no (B) I will attend without accommodation. February 7 (Sat): yes/no February 8 (Sun): yes/no February 9 (Mon): yes/no banquet (Sat): yes/no lunch (Sun): yes/no -------------------------------------------------------------------- In case of participation without accommodation: Registration fees: 2376 yen /day (for the use of meeting room) Banquet (Sat): 6000 yen Lunch (Sun): 1296 yen Further information can be found at the website of the meeting. 42nd TRS Meeting - Registration http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/#registration

1 0

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

16 Dec '14

皆様、群馬大学の浜名です．来年3月に愛媛県松山市道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップのカテゴリ1 論文申込〆切まであと一週間ですので、最終のご案内です． * 新しく設けたカテゴリ4（サーベイ・チュートリアル発表）は発表は30分、申込みは簡単なアウトラインの提出のみで、新規の解説論文などは、なくてもよいものです。こちらの〆切は 1/23 でまだ先ですのでこちらもご検討ください。魅力的な招待講演もありますので、みなさまのご投稿、ご参加をお待ちしております。 -------------------------------------------------------------------------- 第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分での発表を予定していますが、採択件数によっては発表者との相談で延長も考慮します．招待講演 -------- 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング Chung-Kil Hur (Seoul National University) Formal C semantics and LLVM compiler validation ====================================================================== 投稿・発表申込要領 4つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ---------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://easychair.org/conferences/?conf=ppl2015 (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-submit [at] kb.is.s.u-tokyo.ac.jp ([at]を@に置き換えてください) 発表申込締切：2015年1月23日(金) 17:00 (JST) 原論文（ページ数不問、PDF形式）とabstract（テキスト形式）を、著者名、所属、論文タイトル、原論文の出典（発表会議名、掲載済／予定の別等）と併せてご提出ください．採否通知：2015年2月5日(木) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は、発表概要においてその旨をご説明ください．発表申込先：https://easychair.org/conferences/?conf=ppl2015poster (EasyChairのアカウントが必要です) 発表申込締切：2015年2月6日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して、著者名、所属、発表タイトル、発表概要（200〜300字程度）を abstract の部分に記入してご提出ください．論文提出のPDFファイルアップロード部分は無視してください．採否通知：2015年2月13日(金) カテゴリ4（サーベイ・チュートリアルの発表） ------------------------------------------ サーベイまたはチュートリアルの提案を募集いたします．発表申込み時に概要の提出を行ってください．概要の内容、PPLへの関連および関連研究への言及をもとに採録を判定いたします．発表申込先： ppl2015-submit [at] kb.is.s.u-tokyo.ac.jp ([at]を@に置き換えてください) 発表申込締切：2015年1月23日(金) 17:00 (JST) 著者名、所属、発表タイトル、発表の概要 (1〜3ページ、PDF形式．目的、カバーする話題、想定する聴衆、必要な知識の記述を含むもの)をご提出ください．新規にサーベイ論文・解説論文をご執筆される場合には、その原稿（ページ数不問・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 Kazushige TERUI 15 Dec '14

15 Dec '14

みなさま下記の通り研究集会を開催します。クリスマス期間中ではありますが、よろしければぜひご参加ください。・RIMS研究集会「証明論・計算論とその周辺」　http://www.kurims.kyoto-u.ac.jp/~terui/proof2014.html ・日時：2014年12月24日（水）13:20 − 26日（金）15:40 ・場所：京都大学数理解析研究所１１１号室　（交通アクセス：http://www.kurims.kyoto-u.ac.jp/ja/access-01.html）・プログラム：http://www.kurims.kyoto-u.ac.jp/~terui/program2014.pdf ・懇親会：12月25日18時より「くれしま」にて。会費4,000円。　http://r.gnavi.co.jp/bvfb2hsb0000/ ・懇親会参加希望の方は12月18日（木）までにご連絡ください。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/ ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

WoLLIC 2015 - Second Call for Papers
by 小野寛晰 11 Dec '14

11 Dec '14

[Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA 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) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, Indiana University, USA 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-second WoLLIC will be held at the Department of Computer Science Indiana University, from July 20th to 23rd, 2015. 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), 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; philosophical logic. 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. They must not exceed 10 pages (in font 10 or higher), 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. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html <http://wollic.org/wollic2015/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, 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 as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (to be confirmed). INVITED SPEAKERS Adriana Compagnoni (Stevens Institute, USA) John Harrison (Intel, USA) Peter Jipsen (Chapman U, USA) Andre Joyal (U du Québec à Montreal, Canada) Chung-chieh Shan (Indiana U, USA) Alexandra Silva (Radboud U Nijmegen, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles <https://risweb.st-andrews.ac.uk/portal/da/persons/juliana-kuster-filipe-bow…> (U St Andrews, Scotland) Guillaume Brunerie <http://www.eleves.ens.fr/home/brunerie/> (ENS Ulm, France) (TBC) Ann Copestake <http://www.cl.cam.ac.uk/~aac10/> (U Cambridge, UK) (TBC) Robin Cooper <http://www.ling.gu.se/~cooper/> (U Gothenburg, Sweden) Nikos Galatos <http://web.cs.du.edu/~ngalatos/>(U Denver, USA) Achim Jung <http://www.cs.bham.ac.uk/~axj/> (U Birmingham, UK) Sara <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> Kalvala <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> (U Warwick, UK) Elham Kashefi <http://www.inf.ed.ac.uk/people/staff/Elham_Kashefi.html> (Edinburgh U, Scotland) Peter Lefanu Lumsdaine <http://www.math.ias.edu/~plumsdaine/> (Institute for Advanced Study, USA) Ian Mackie <http://www.ianmackie.com/> (U Sussex, UK) Gerard de Melo <http://gerard.demelo.org/> (Tsinghua University, China) Vivek Nigam <http://www.nigam.info/> (Federal U of Paraíba, Brazil) Valeria de Paiva <http://www.cs.bham.ac.uk/~vdp/> (Nuance Comm, USA) (CHAIR) Luiz Carlos <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> Pereira <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> (PUC-Rio, Brazil) Elaine Pimentel <https://sites.google.com/site/elainepimentel/> (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva <http://alexandrasilva.org/> (Radboud Nijmegen U, The Netherlands) Carolyn Talcott <http://www.sri.com/about/people/carolyn-talcott> (SRI International, USA) Josef Urban <http://cs.ru.nl/~urban/> (Radboud Nijmegen U, The Netherlands) Laure Vieu <http://www.irit.fr/~Laure.Vieu/> (IRIT-Toulouse, France) (TBC) Renata Wasserman <http://www.ime.usp.br/~renata/> (U São Paulo, Brazil) Anna Zamansky <http://mailng.hevra.haifa.ac.il/~annazam/> (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2015/ <http://wollic.org/wollic2015/>

1 0

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

09 Dec '14

皆様、群馬大学の浜名です．来年3月に愛媛県松山市道後温泉で開催される第17回プログラミングおよびプログラミング言語ワークショップご案内(2回目)です．論文申込〆切が近くなってきました。 * カテゴリ1への発表申込(タイトルと概要のみ)の締切は今年 12/22、論文の締切は1/8です。 * 新しく設けたカテゴリ4（サーベイ・チュートリアル発表）は発表は30分、申込みは簡単なアウトラインの提出のみで、新規の解説論文などは、なくてもよいものです。こちらの締切は 1/23 でまだ先ですのでこちらもご検討ください。また、魅力的な招待講演者も決定しました(詳細以下)。ぜひみなさまのご投稿、ご参加をお待ちしております。 -------------------------------------------------------------------------- 第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分での発表を予定していますが、採択件数によっては発表者との相談で延長も考慮します．招待講演 -------- 橋本和幸 (NVIDIA. 元日本シンボリックス株式会社) 1980年代のLispマシンSymbolicsとその開発環境Genera 付属：NVIDIA GPUによる超並列コンピューティング Chung-Kil Hur (Seoul National University) Formal C semantics and LLVM compiler validation ====================================================================== 投稿・発表申込要領 4つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ---------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://easychair.org/conferences/?conf=ppl2015 (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月6日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して、著者名、所属、発表タイトル、発表概要（200〜300字程度）をご提出ください．採否通知：2015年2月13日(金) カテゴリ4（サーベイ・チュートリアルの発表） ------------------------------------------ サーベイまたはチュートリアルの提案を募集いたします．発表申込み時に概要の提出を行ってください．概要の内容、PPLへの関連および関連研究への言及をもとに採録を判定いたします．発表申込方法につきましては PPL2015 の Web ページをご確認ください．発表申込締切：2015年1月23日(金) 17:00 (JST) 著者名、所属、発表タイトル、発表の概要 (1〜3ページ、PDF形式．目的、カバーする話題、想定する聴衆、必要な知識の記述を含むもの)をご提出ください．新規にサーベイ論文・解説論文をご執筆される場合には、その原稿（ページ数不問・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

Talk by John Power (U. Bath), Mon 15 Dec at UTokyo (Hongo)
by Ichiro Hasuo 09 Dec '14

09 Dec '14

Dear colleagues, John Power from U. Bath is visiting us and he is making a talk Monday next week. Feel free to join us. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Mon 15 Dec 2014, 14:00-15:30 化学東館 236教室（理学部7号館の隣．ご存知ない方は先に理学部7号館415へお越しください） Room 236, Chemistry Building East (“Kagaku-Higashikan”). Next to our building (School of Science Bldg. No. 7) アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) John Power <http://www.bath.ac.uk/comp-sci/contacts/academics/john_power/> (U. Bath), Coalgebraic Logic Programming: from Semantics to Implementation; embracing the laxness (joint with Ekaterina Komendantskaya) Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops. Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive and corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly. However, the programming developments have often occurred separately and have usually been implementation-led. Here, we start to give a coherent semantics-led account of the issues, proceeding from abstract category theoretic semantics and developing coalgebra to try to characterise naturally arising trees. As part of the project but not presented in this talk, the work is proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism.

1 0

QPL 2015: Call for papers
by Ichiro Hasuo 04 Dec '14

04 Dec '14

みなさま，来年7月の QPL 2015 @ Oxford の CFP をお送りします．ぜひ投稿・参加をご検討ください！（Tutorial もあります）蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ================ CALL FOR PAPERS The 12th International Workshop on Quantum Physics and Logic (QPL) July 13-17, Oxford, United Kingdom http://www.cs.ox.ac.uk/qpl2015 The 12th International Workshop on Quantum Physics and Logic (QPL) will take place at the Department of Computer Science of the University of Oxford between Wednesday 15 and Friday 17 July, 2015. The workshop will be preceded by tutorials on Monday 13 and Tuesday 14 July 2015. This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. Previous QPL events were held in Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003). INVITED SPEAKERS Paul Busch (University of York) Dan Browne (University College London) Chris Douglas (University of Oxford) TUTORIALS Paul Busch (University of York): Quantum uncertainty Dan Browne (University College London): Teleportation and measurement- based computation Oscar Dahlsten (University of Oxford): Entropy and majorisation in generalised probabilistic theories Pawel Sobocinski (University of Southampton): Graphical linear algebra IMPORTANT DATES Submission Deadline: May 1, 2015 Notification of Acceptance: June 1 Papers Ready: June 15 Tutorials: July 13-14 Workshop: July 15-17 SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - *Short contributions* consist of a 3 page description of the work, and a link to a paper published elsewhere. - Longer *original contributions* consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2015 There will be an award for the best paper whose authors are all students, at the discretion of the programme committee. REGISTRATION Please visit the website to register. We encourage participation by graduate students, and will be able to provide limited reimbursement to partially support students for travel and accommodation. Further information is found on the workshop website. PROGRAMME COMMITTEE John Baez (University of California Riverside) Dan Browne (University College London) Giulio Chiribella (Tsinghua University) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde) Tobias Fritz (Perimeter Institute) Simon Gay (University of Glasgow) Ichiro Hasuo (University of Tokyo) Chris Heunen (University of Oxford, co-chair) Matty Hoban (University of Oxford) Bart Jacobs (Radboud University Nijmegen) Viv Kendon (Durham University) Matt Leifer (Perimeter Institute) Prakash Panangaden (McGill University) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS Nancy) Mehrnoosh Sadrzadeh (Queen Mary University of London) Peter Selinger (Dalhousie University, co-chair) Rob Spekkens (Perimeter Institute) Bas Spitters (Aarhus University) Isar Stubbe (Universite du Littoral-Cote-d'Opale) Jamie Vicary (University of Oxford, co-chair) Mingsheng Ying (University of Technology Sydney, Tsinghua University) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANISATION Destiny Chen Chris Heunen Jamie Vicary

1 0

The 49th MLG Meeting: Program
by Katsuhiko Sano 02 Dec '14

02 Dec '14

$BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q$N$40FFb(B $B!J=EJ#$7$F$*<u$1<h$j$N:]$O$4MF<O$/$@$5$$!#!K(B $BKLN&@hC<2J3X5;=QBg3X1!Bg3X$N:4Ln>!I'$G$9!#(B 2014$BG/EY(BMLG$B?tM}O@M}3X8&5f=82q!JBh(B49$B2s!K$r2<5-$NMWNN$G3+:E$7$^$9!#(B $B9V1i!&=IGq$N?=$79~$_$ODy$a@Z$j$^$7$?$,!$;22C$9$k$3$H$O2DG=$G$9!#(B $B$=$N>l9g!";22C?M?t$N4X78$G!$G0$N$?$a;d$^$G%a!<%k$G$40lJs$/$@$5$$(B $B!J;22CHq!J2q>lBe!K(B3000$B1_$r$$$?$@$/M=Dj$G$*$j$^$9!K!#(B $B$I$&$>$h$m$7$/$*4j$$$$$?$7$^$9!#(B ========================================= $BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q3+:EMWNN(B ========================================= $B4|4V(B: 2014 $BG/(B 12 $B7n(B 5 $BF|(B($B6b(B) $B!A(B 12 $B7n(B 7 $BF|(B($BF|(B) $B>l=j(B: $B;3Cf29@t2O</Aq%m%$%d%k%[%F%k!J(BJR$B2C2l29@t1X$+$i<V$GLs(B20$BJ,!$2C2l29@t1X$+$iAw7^$"$j!K(B $B")(B922-0126 $B@P@n8)2C2l;T;3Cf29@t2O</D.%[(B100, URL : http://www.daiwaresort.jp/kajikasou/ $B%[!<%`%Z!<%8!'(Bhttps://sites.google.com/site/mlg2014kaga/ $B9V1i%W%m%0%i%`!'(B 12/5 (Fri) 1315--1325 $B3+2q(B (opening) 1325--1400 $B;3yu(B $B<S5*;R(B ($B<sETBg3XEl5~(B), Constructive Embedding from Logics of Strict Implication to Modal Logics via Cut-free and complete Labelled Sequent Calculus 1400--1435 $B6b;R(B $B<i(B ($BAa0pEDBg3X(B), Game Theoretic Decidability and Undecidability 1435--1510 $B4X(B $BN49((B ($B?73cBg3X(B), A Note on American Plan Semantics of Relevant Modal Logics 1530--1605 $B0KF#(B $B@.9'(B (JAIST), A relationship between classical and intuitionistic linear logic 1605--1640 $B>>ED(B $BD>M4(B ($BEl5~9)6HBg3X(B), Intuitionistic tree sequent calculus and intuitionistic lambda rho calculus 1640--1715 $BNkLZ(B $B?.9T(B ($B@E2,Bg3X(B), Two weak variants of existence property in intermediate predicate logics 12/6 (Sat) 0930--1005 $B2#9B(B $B63J?(B ($BF|K\Bg3X(B), $BCf4VO@M}$NItJ,BN7O$H$=$NJ]B83HBg$K$D$$$F(B 1005--1040 PREINING Norbert (JAIST), Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences 1100--1135 $B6bBt(B $B@?(B ($B9qN)>pJs3X8&5f=j(B), Toward a Logic of Cumulative Quantification 1135--1210 $B2#;3(B $B7<B@(B (JAIST), What is needed to characterize the natural number system? 1340--1415 $BEDCf(B $B5A?M(B ($B6e=#;:6HBg3X(B), Algebraic models for description logics 1415--1450 Jonni Virtema (JAIST), Tableau calculi for propositional dependence logics 1450--1510 $B:4!9LZ(B $B9nL&(B ($BFn;3Bg3X(B), The exact K4-models constructed from the exact S4-models 1530--1605 $BLnB<(B $B>0?7(B (JAIST), Revising a Labelled Sequent Calculus for Public Announcement Logic 1605--1640 $B5HB<(B $BOB?M(B (JAIST), A general analysis on proof structures 1900-- $B:)?F2q(B (Conference dinner) 12/7 (Sun) 0930--1005 $B2-:d(B $B>MJ?(B ($BElKLBg3X(B), Lindstrom extension on finite models 1005--1040 $B2CF#(B $BH%(B ($BEl5~9)6HBg3X(B), $BM-8B%U%l!<%`$K$*$1$kMMAjO@M}<0$N(Bvalidity$B$H7W;;NL$K$D$$$F(B 1100--1135 $BsnF#(B $B?.?C(B ($BEl5~9)6HBg3X(B), lambda-mu-calculus $B$N?d0\N'$N=|5n(B 1135--1210 $B:4F#(B $B2mI'(B ($B5~ETBg3XL>M@65<x(B), A name-free lambda-calculus 1210--1220 Closing --- MLG49 $B@$OC?M(B $B:4Ln>!I'!JKLN&@hC<2J3X5;=QBg3X1!Bg3X!K(B E-mail : mlg.logic.japan(a)gmail.com / katsuhiko.sano(a)gmail.com

1 0

千葉logic seminar
by arai toshiyasu 21 Nov '14

21 Nov '14

みなさま新井@千葉大学です。千葉 logic seminar の第4回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：12月10日(水)13:30-15:300 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：秋吉亮太（京都大学）タイトル：ブラウワーのバー帰納法の証明論的分析アブストラクト: ブラウワーのバー帰納法は，直観主義数学において（ファン定理と並ぶ）根本原理の一つである．本発表では，バー帰納法をブフホルツのΩ規則によって分析し，いくつかの結果を紹介する．また，時間が許せば，この分析が，バー帰納法のブラワウー自身による正当化の再構成になっていることにもふれる． ------------------------------------------ -- 新井敏康

1 0

Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
by Joerg Brendle 12 Nov '14

12 Nov '14

皆様、ブレンドレ＠神戸大学システム情報学研究科です。１１月１７日（月）から１１月１９日（水）まで神戸大学にて数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」が開催されます。集会のウェブページは http://kurt.scitec.kobe-u.ac.jp/~brendle/sakae60/home.html にあります。また、１１月１８日（火）に１８：３０時からザ・ヒルサイド神戸（the Hillside Rokko Yamanote） http://www.hillsiderokko.com/party/ にて渕野昌先生の還暦お祝いのバンケットを開きます。バンケットの参加を希望される方は brendle(a)kurt.scitec.kobe-u.ac.jp までご連絡ください。皆様のご参加をお待ちしております。 jörg brendle

1 0

LENLS11: Call for Participation and Registration
by Koji Mineshima 06 Nov '14

06 Nov '14

（重複して受け取られた場合はご容赦ください）お茶の水女子大学の峯島と申します。 11月22日から24日にかけて東京で開催される国際ワークショップ LENLS 11のご案内をお送り致します。 Online Registrationの締め切りが 11月10日(月曜) に迫っております。 Registrationの方法につきましては、以下のページをご覧ください。 https://www.ai-gakkai.or.jp/isai/registration ワークショップの詳細につきましては、以下のページもご参照ください。 http://www.is.ocha.ac.jp/~bekki/lenls/ 皆さまのご参加をお待ちしております。峯島宏次（お茶の水女子大学・JST CREST） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 11 (LENLS11) Dates : November 22-24, 2014 Workshop Site : (22nd) Ochanomizu University Room 207-209, Science Building 3, Tokyo, Japan http://www.ocha.ac.jp/en/index.html (23rd,24th) Raiousha Building, Keio University, Hiyoshi campus, Kanagawa, Japan http://www.keio.ac.jp/en/maps/hiyoshi.html Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University /National Institute of Informatics/JST CREST) Eric McCready (Aoyama Gakuin University) Invited Speakers: - Chris Barkar (New York University) - Kimiko Nakanishi (Ochanomizu University) - Matthew Stone (Rutgers University) - Christopher Tancredi (Keio University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). Important dates: ================ Deadline for onsite registration: November 10, 2014 LENLS11: November 22-24, 2014 We will also hold a one-day workshop at Kyoto University on November 28, 2014, with two invited speakers, Chris Barkar and Matthew Stone. The detailed information will be announced on the website. http://www.is.ocha.ac.jp/~bekki/lenls/ 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 **10th November 2014**. https://www.ai-gakkai.or.jp/isai/registration Program: ======== 1st Day: November 22th (Sat), 2014 @Ochanomizu University ------------------------- 12:30-12:50: Reception 12:50-13:00: Opening Remarks 13:00-14:30: Session 1 * Kristina Liefke "Codability and Robustness in Formal Natural Language Semantics" * Alain Lecomte "An interaction framework for dialogue: combining Ludics and Type Theory with Records" * Yurie Hara "Radical Inquisitive Investigation into Cantonese Biased and Neutral Questions" 14:30-14:45: Coffee Break 14:45-16:15: Session 2 * Stergios Chatzikyriakidis and Zhaohui Luo "Using Signatures in Type Theory to Represent Situations" * Ribeka Tanaka, Koji Mineshima and Daisuke Bekki "Resolving Modal Anaphora in Dependent Type Semantics" * Krystian Jobczyk "Temporal verbs and adverbs: 'often' and 'many times' and their fuzzy-integral-logic based modelling" 16:15-16:30: Coffee Break 16:30-17:30: Invited Talk 1 * Kimiko Nakanishi "Scalarity of EVEN" 2nd Day: November 23th (Sun), 2014 @Keio University, Hiyoshi campus ------------------------- 9:00-9:30: Registration and Coffee Break 9:30-10:30: Invited Talk 2 * Mizoguchi Riichiro "Ontology engineering - Theory and practice -" (from the JURISIN workshop) 10:30-10:45: Coffee Break 10:45-12:00: Student Session * Daniel Tiskin "Specific Opaque Readings and Proportional Determiners" * Makiko Kato "Japanese plural marker 'tachi' and associativity" * Yu-Mi Jo "Temporal Pluractional Adverbs in Korean: Focusing on Tatali, Nanali, and Halwuhalwu" 12:00-13:00: Lunch 13:00-14:30: Session 3 * Daisuke Bekki and Eric McCready "CI via DTS" * Bruno Mery, Richard Moot and Christian Retore "Computing the Semantics of Massive Entities using Many-Sorted Types" * Oleg Kiselyov "Canonical Constituents and Non-canonical Coordination: Simple Categorial Grammar account" 14:30-14:45: Coffee Break 14:45-15:45: Session 4 * Eric McCready "Honorific Denotations" * Philippe de Groote and Yoad Winter "A type-logical account of quantification in event semantics" 15:45-16:00: Coffee Break 16:00-17:00: Invited Talk 3 * Matthew Stone "Logic and Probability in Grounded Semantics" (shared with the JURISIN workshop) 17:00-17:15: Coffee Break 17:15-18:15: Invited Talk 4 * Chris Tancredi "Focus and Givenness" 19:00-:Banquet 3rd Day: November 24th (Mon), 2014 @Keio University, Hiyoshi campus ------------------------- 9:30-10:00: Coffee Break 10:00-11:30: Session 5 * Lisa Bylinina, Natalia Ivlieva, Alexander Podobryaev and Yasutada Sudo "A Non-Superlative Semantics for Ordinals and the Syntax of Comparison Classes" * Laurent Prevot and Jan Gorisch "Crossing Empirical and Formal approaches for studying French feedback items" * Alastair Butler and Kei Yoshimoto "Semantic Visualisation with Flame Graphs" 11:30-13:00: Lunch 13:00-14:30: Session 6 * Lasha Abzianidze "Towards a Wide-coverage Tableau Method for Natural Logic" * Elena Castroviejo and Berit Gehrke "A good intensifier" * Shinya Okano and Yoshiki Mori "On CG management of Japanese weak necessity modal 'hazu'" 14:30-14:45: Coffee Break 14:45-16:15: Session 7 * Satoru Suzuki "Measurement-Theoretic Foundations of Observational-Predicate Logic" * Yasuo Nakayama "Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures" * Zhiguo Xie "An epistemic modal for strict comparison in Mandarin Chinese" 16:15-16:30: Coffee Break 16:30-17:30: Invited Talk 5 * Chris Barkar "The Logic of Scope" Alternates ---------- * Osamu Sawada "Polarity sensitivity and update refusal: the case of the Japanese negative 'totemo'" * Richard Zuber "On the logical reducibility of reflexives" Post Proceedings =========== Selected papers will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI). 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: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

奈良女子大学Kowalski先生講演お知らせ
by 藤田恵 04 Nov '14

04 Nov '14

皆様、奈良女子大学の藤田です。今月11/10(月)に奈良女子大学にて、Robert Kowalski先生が講演を行ってくださいます。下記のような内容で行いますので、ぜひお越しください。 -------------------------------------------------------------------- Robert Kowalski先生講演のお知らせ 11月10日(月)に、本学科にて下記の要領でRobert Kowalski先生の講演を行います。記号論理学の分野では非常に有名な先生で、有益なお話を聞けると思いますので、ぜひお越し下さい。記演題: Towards a Science of Computing 時間: 13:00〜14:30 場所: 奈良女子大学G棟G302教室問い合わせ先: 新出 nide(a)ics.nara-wu.ac.jp [追記] 講演概要を http://www.ics.nara-wu.ac.jp/jp/event.html#seminars_and_lectures で案内しています。

1 0

再送：数学基礎論若手の会2014
by YOSHIDA Satoru 04 Nov '14

04 Nov '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014について、参加申込み締切を下記の通り延長致しました：講演、参加、宿泊の申込み： 2014年11月18日15時（開催日前日）. 宿泊施設での食事の申込み：2014年11月13日15時. まだ多少時間がありますので、講演をご検討頂けたらと思います。また、講演プログラム（暫定版）および参加者リストを後述の若手の会webサイト内に掲載しました。以上、よろしくお願い致します。 2014年9月22日 19:04 YOSHIDA Satoru <satoru-y(a)kankyo-u.ac.jp>: > 皆様 > > 重複して受け取られた場合はご容赦ください。 > > 数学基礎論若手の会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> > 鳥取環境大学 > -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

WoLLIC 2015 - Call for Papers
by 小野寛晰 03 Nov '14

03 Nov '14

[Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA 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) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION School of Informatics and Computing, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY School of Informatics and Computing, Indiana University, USA 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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015. 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), 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. 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. They must not exceed 10 pages (in font 10 or higher), 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. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html <http://wollic.org/wollic2015/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, 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 as a special post-conference WoLLIC 2015 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles <https://risweb.st-andrews.ac.uk/portal/da/persons/juliana-kuster-filipe-bow…> (U St Andrews, Scotland) Guillaume Brunerie <http://www.eleves.ens.fr/home/brunerie/> (ENS Ulm, France) (TBC) Ann Copestake <http://www.cl.cam.ac.uk/~aac10/> (U Cambridge, UK) (TBC) Robin Cooper <http://www.ling.gu.se/~cooper/> (U Gothenburg, Sweden) Nikos Galatos <http://web.cs.du.edu/~ngalatos/>(U Denver, USA) Achim Jung <http://www.cs.bham.ac.uk/~axj/> (U Birmingham, UK) Sara <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> Kalvala <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> (U Warwick, UK) Elham Kashefi <http://www.inf.ed.ac.uk/people/staff/Elham_Kashefi.html> (Edinburgh U, Scotland) Peter Lefanu Lumsdaine <http://www.math.ias.edu/~plumsdaine/> (Institute for Advanced Study, USA) Ian Mackie <http://www.ianmackie.com/> (U Sussex, UK) Gerard de Melo <http://gerard.demelo.org/> (Tsinghua University, China) Vivek Nigam <http://www.nigam.info/> (Federal U of Paraíba, Brazil) Valeria de Paiva <http://www.cs.bham.ac.uk/~vdp/> (Nuance Comm, USA) (CHAIR) Luiz Carlos <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> Pereira <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> (PUC-Rio, Brazil) Elaine Pimentel <https://sites.google.com/site/elainepimentel/> (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva <http://alexandrasilva.org/> (Radboud Nijmegen U, The Netherlands) Carolyn Talcott <http://www.sri.com/about/people/carolyn-talcott> (SRI International, USA) Josef Urban <http://cs.ru.nl/~urban/> (Radboud Nijmegen U, The Netherlands) Laure Vieu <http://www.irit.fr/~Laure.Vieu/> (IRIT-Toulouse, France) (TBC) Renata Wasserman <http://www.ime.usp.br/~renata/> (U São Paulo, Brazil) Anna Zamansky <http://mailng.hevra.haifa.ac.il/~annazam/> (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2015/ <http://wollic.org/wollic2015/>

1 0

第49回 MLG 数理論理学研究集会のご案内（再送：講演・宿泊の申し込み締め切り11/21）
by Katsuhiko Sano 30 Oct '14

30 Oct '14

第49回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦と申します。締め切りまで三週間程となりましたので、再度アナウンスさせていただきます。 2014年度MLG数理論理学研究集会（第49回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第49回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2014 年 12 月 5 日(金) 〜 12 月 7 日(日) - 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり） -- 〒922-0126 石川県加賀市山中温泉河鹿町ホ100 -- URL : http://www.daiwaresort.jp/kajikasou/ - 講演・宿泊申込締め切り: 2014 年 11 月 21 日（木） - 申し込みはこちらから --> http://goo.gl/RfZ5SE - ホームページ: https://sites.google.com/site/mlg2014kaga/ - 連絡先E-mail: mlg.logic.japan [at] gmail.com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 12月6日（土）の夜に懇親会を行います。 - 全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。 - ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）3000円をいただきます。 - 参加・講演申し込みは、http://goo.gl/RfZ5SE の registration form からお願い致します。世話人: 佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2014 に関するメールは，mlg.logic.japan [at] gmail.com まで。

1 0

TPP2014: 3rd Announcement and call for participation
by Jacques Garrigue 28 Oct '14

28 Oct '14

皆様、 TPP2014の参加募集案内をお送りします。参加される方、今週中に返事をいただければと思います。 Jacques Garrigue ========================================================================= TPP2014: 3rd Announcement and call for participation ========================================================================= 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内　　　　　　　　　　　　　　　　　　　(English version is below.) 12月3日(水)-5日(金)に九州大学西新プラザにて, 研究集会「高信頼な理論と実装のための定理証明および定理証明器」を開催します. 皆様のご参加をお待ちしています. 日時：2014年 12月3日(水)13:00 〜 12月5日(金)15:00 (予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分. プログラム：詳細は未定ですが, 適宜HPを更新予定です. みなさまのご講演をお待ちしています. Adam Chlipala氏とCyril Cohen 氏をお招きして, ご講演頂く予定です. Correct-by-Construction Program Synthesis in Coq, Adam Chlipala (MIT, USA). Mathematical components and algebraic numbers, Cyril Cohen (INRIA Sophia-Antipolis, France). 御講演を頂く予定です. 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月末までに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います． TPPMARK: 形式証明のための問題を掲示し証明を募集しています. 皆で問題(PDF)を解いて, ワークショップ中に証明を比べようと思います. 証明支援系, 解き方を問わず, みなさまの多くの証明例を募集しています. 証明や質問は下記のメールアドレスに送って下さい. 都合で参加出来ない方の証明の応募も歓迎致します. 申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛(九州大学)) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html (注. 作成途中です.「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: Correct-by-Construction Program Synthesis in Coq, Adam Chlipala (MIT, USA). Mathematical components and algebraic numbers, Cyril Cohen (INRIA Sophia-Antipolis, France). If you are planning to attend the meeting, please send the information slip below to the indicated address by the end of October. TPPMARK: A problem for a formal proof is attached in our HP. We would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Please send your proof to the email address below. Submission/questions to: 　　　tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/ ------------------------------------------------------------------------- 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

LICS 2015 - First Call for Papers
by Ichiro Hasuo 22 Oct '14

22 Oct '14

みなさま，来年行われる LICS 2015 の CFP をお送りします（なんと京都開催です！）． ICALP 2015 とも共催で，両方の情報をあわせたウェブページが http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/index.html にあります．ぜひ，投稿また参加をご検討ください．京都でお会いできるのを楽しみにしております．蓮尾一郎東京大学情報理工コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ =========================== CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) July 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ VENUE LICS 2015 will be hosted in Kyoto, Japan during the week 6-10 July 2015 and will be colocated with ICALP 2015. SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. IMPORTANT DATES Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is given by AoE (anywhere on earth). Titles & Short Abstracts Due: January 12, 2015 Extended Abstracts Due: January 19, 2015 Author feedback/rebuttal period: March 12-16, 2015 Author Notification: March 30, 2015 Final Versions Due for Proceedings: April 27, 2015 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via https://www.easychair.org/conferences/?conf=lics2015. SUBMISSION INSTRUCTIONS Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 12 pages, including references. LaTeX style files are available on the conference website. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work must be included. (If necessary, detailed proofs of technical results may be included in a clearly-labeled appendix, to be consulted at the discretion of program committee members.) Extended abstracts not conforming to the above requirements will be rejected without further consideration. Paper selection will be merit-based, with no a priori limit on the number of accepted papers. Papers authored or co-authored by members of the program committee are not allowed. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chair must be informed, in advance of submission, of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present it at the conference. SHORT PRESENTATIONS A session of short presentations, intended for descriptions of student research, works in progress, and other brief communications, is planned. These abstracts will not be published. Dates and guidelines will be posted on the conference website. KLEENE AWARD FOR BEST STUDENT PAPER An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. SPECIAL ISSUES Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. SPONSORSHIP The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. PROGRAM COMMITTEE CHAIR Catuscia Palamidessi, INRIA & E. Polytechnique PROGRAM COMMITTEE Pablo Barceló, U. Chile Gilles Barthe, IMDEA Andrej Bauer, IMFM Lev Beklemishev, Russian Ac. of Sci. Patricia Bouyer-Decitre, CNRS & ENS Cachan Adam Chlipala, MIT Agata Ciabattoni, TU Wien Véronique Cortier, CNRS Loria Pedro D'Argenio, UN Cordoba Anuj Dawar, U. Cambridge Mariangiola Dezani, U. Torino Yuxi Fu, SJTU Rob van Glabbeek, NICTA Ichiro Hasuo, U. Tokyo Martin Hofmann, LMU Delia Kesner, U. Paris Diderot Barbara König, U. Duisburg-Essen Laura Kovács, Chalmers UT Dexter Kozen, Cornell U. Manfred Kufleitner, U. Stuttgart Anthony W. Lin, Yale-NUS College Simone Martini, U. Bologna Madhavan Mukund, Chennai Math. Inst. Filip Murlak, U. Warsaw Gopalan Nadathur, U. Minnesota Frank Pfenning, CMU Ian Pratt-Hartmann, U. Manchester Albert Rubio, U. Barcelona Peter Selinger, Dalhousie U. Alessandra Silva, Radboud U. Tachio Terauchi, JAIST Ashish Tiwari, SRI Bow-Yaw Wang, Academia Sinica CONFERENCE CHAIR Masahito Hasegawa, RIMS, Kyoto U. WORKSHOP CHAIR Patricia Bouyer-Decitre, CNRS & ENS Cachan PUBLICITY CHAIR Andrzej Murawski, University of Warwick LICS ORGANIZING COMMITTEE M. Abadi, L. Aceto, R. Alur, M. P. Bonacina, P. Bouyer-Decitre, K. Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernandez, M. Grohe, O. Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, D. Miller, M. Mislove, A. Murawski, C. Palamidessi, L. Ong (chair), P. Panangaden, K. Rose, A. Scedrov, D. Shmoys, M. Valeriote

1 0

ICALP 2015 (Kyoto, 6-10 Jul, 2015)
by Shinya Katsumata 22 Oct '14

22 Oct '14

皆様、来年京都で開催されるICALP 2015 (LICS2015と共催)のご案内をお送りいたします。勝股 ----- ICALP 2015 http://www.kurims.kyoto-u.ac.jp/icalp2015/ First Call for Papers ====================== The 42nd International Colloquium on Automata, Languages, and Programming (ICALP) will take place in the period 6-10 July 2015 in Kyoto, Japan. The conference will co-locate with LICS 2015, the 30th ACM/IEEE Symposium on Logic in Computer Science. The ICALP 2015 conference chair is Kazuo Iwama (Kyoto University). ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, the main conference will be preceded and/or followed by a series of workshops. Important dates --------------- Submission deadline: Tuesday, 17 February 2015, 23:59 PST (Pacific Standard Time, UTC-8) Author notification: 15 April 2015 Final manuscript due: 30 April 2015 Deadlines are firm; late submissions will not be considered. Proceedings ----------- ICALP proceedings are published in the Springer-Verlag ARCoSS (Advanced Research in Computing and Software Science) subseries of LNCS (Lecture Notes in Computer Science). Invited Speakers ================= Ken Kawarabayashi, NII, Japan Valerie King, University of Victoria, Canada Thomas Moscibroda, MSR Asia, China Anca Muscholl, Universitè Bordeaux, France (Joint with LICS) Peter O'Hearn, Facebook, UK (Joint with LICS) Invited Tutorial Speakers (Joint with LICS) ------------------------------------------- Piotr Indyk, MIT, USA Andrew Pitts, University of Cambridge, UK Geoffrey Smith, Florida International University, USA Masterclass speaker ------------------- Ryuhei Uehara, JAIST, Japan Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Algorithmic Game Theory * Approximation Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Cryptography * Data Structures * Design and Analysis of Algorithms * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing Track B: Logic, Semantics, Automata and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models * Automata, Games, and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles and Semantics of Programming Languages * Logic in Computer Science, Theorem Proving and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement, Verification and Synthesis * Type Systems and Theory, Typed Calculi Track C: Foundations of Networked Computation: Models, Algorithms and Information Management ------------------------------------------------------ * Algorithmic Aspects of Networks and Networking * Formal Methods for Network Information Management * Foundations of Privacy, Trust and Reputation in Networks * Mobile and Wireless Networks and Communication * Network Economics and Incentive-Based Computing Related to Networks * Networks of Low Capability Devices * Network Mining and Analysis * Overlay Networks and P2P Systems * Specification, Semantics, Synchronization of Networked Systems * Theory of Security in Networks Submission Guidelines -------------------- Authors are invited to submit an extended abstract of no more than 12 pages, including references, in LNCS style presenting original research on the theory of Computer Science. All submissions will be electronic via the EasyChair page for the conference, with three tracks (A, B and C): https://easychair.org/conferences/?conf=icalp2015 Submissions should be made to the appropriate track of the conference. No prior publication or simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Submissions must adhere to the specified format and length. Submissions that are too long or formatted incorrectly may be rejected immediately. All the technical details that are necessary for a proper scientific evaluation of a submission must be included in a clearly-labelled appendix, to be consulted at the discretion of program committee members. This includes, in particular, the proofs of all the key theorems in a paper. Should I submit my paper to Track A or Track C? ------------------------------------------------ While the scope of Tracks A and B are generally well understood given their long history, the situation for Track C may be less obvious. In particular, some clarifications may be helpful regarding areas of potential overlap, especially between Tracks A and C. The aim for Track C is to be the leading venue for theory papers truly motivated by networking applications, and/or proposing theoretical results relevant to real networking, certified analytically, but not necessarily tested practically. The motivation for the track was the lack of good venues for theory papers motivated by applications in networking. On the one hand, the good networking conferences typically ask for extended experiments and/or simulations, while the TCS community is hardly able to do such experiments or simulations. On the other hand, the good conferences on algorithms tend to judge a paper based only on its technical difficulty and on its significance from an algorithmic perspective, which may not be the same as when judging the paper from the perspective of impact on networks. Several areas of algorithmic study of interest to track C have a broad overlap with track A. Graph algorithmics can belong in either, though if the work is not linked to networking, it is more appropriate in track A. Algorithmic game theory is another area of major overlap. Aspects involving complexity, the computation of equilibria and approximations, belong more in Track A, while results with applications in auctions, networks and some aspects of mechanism design belong in Track C. Finally, it should be noted that algorithms and complexity of message-passing based distributed computing belong squarely in track C, while certain other aspects of distributed computing do not fall under its scope. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Committees ========== Track A: Algorithms, complexity, and games ------------------------------------------ Peyman Afshani, Aarhus University, Denmark Hee-Kap Ahn, POSTECH, South Korea Hans Bodlaender Utrecht University, The Netherlands Karl Bringmann, Max-Planck Institut für Informatik, Germany Sergio Cabello, University of Ljubljana, Slovenia Ken Clarkson, IBM Almaden Research Center, USA Éric Colin de Verdière, École Normale Supérieure Paris, France Stefan Dziembowski, University of Warsaw, Poland David Eppstein, University of California at Irvine, USA Dimitris Fotakis, National Technical University of Athens, Greece Paul Goldberg, University of Oxford, UK MohammadTaghi Hajiaghayi, University of Maryland at College Park, USA Jesper Jansson, Kyoto University, Japan Andrei Krokhin, Durham University, UK Asaf Levin, Technion, Israel Inge Li Gørtz, Technical University of Denmark, Denmark Pinyan Lu, Microsoft Research Asia, China Frédéric Magniez, Université Paris Diderot, France Kazuhisa Makino, Kyoto University, Japan Elvira Mayordomo, Universidad de Zaragoza, Spain Ulrich Meyer, Goethe University Frankfurt am Main, Germany Wolfgang Mulzer, Free University Berlin, Germany Viswanath Nagarajan, University of Michigan, USA Vicky Papadopoulou, European University Cyprus, Cyprus Michał Pilipczuk, University of Bergen, Norway Liam Roditty, Bar-Ilan University, Israel Ignaz Rutter, Karlsruhe Institute of Technology, Germany Rocco Servedio, Columbia University, USA Jens Schmidt, TU Ilmenau, Germany Bettina Speckmann (chair), TU Eindhoven, The Netherlands Csaba D. Tóth, California State University Northridge, USA Takeaki Uno, National Institute of Informatics, Japan Erik Jan van Leeuwen, Max-Planck Institut für Informatik, Germany Rob van Stee, University of Leicester, UK Ivan Visconti, University of Salerno, Italy Track B: Logic, semantics, automata and theory of Programming ------------------------------------------------------------- Andreas Abel, Chalmers and Gothenburg University, Sweden Albert Atserias, Universitat Politècnica de Catalunya, Spain Christel Baier, TU Dresden, Germany Lars Birkedal, Aarhus University, Denmark, Luís Caires, Universidade Nova de Lisboa, Portugal James Cheney, University of Edinburgh, UK Wei Ngan Chin, National University of Singapore, Singapore Ugo Dal Lago, University of Bologna, Italy Thomas Ehrhard, CNRS, Université Paris Diderot, France Zoltán Ésik, University of Szeged, Hungary Xinyu Feng, University of Science and Technology of China, China Wan Fokkink, VU University Amsterdam, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Naoki Kobayashi (chair), The University of Tokyo, Japan Eric Koskinen, New York University, USA Antonín Kučera, Masaryk University, Czech Republic Orna Kupferman, Hebrew University, Israel Annabelle Mclver, Macquarie University, Australia Dale Miller, INRIA Saclay, France Markus Müller-Olm, University of Münster, Germany Andrzej Murawski, Univeristy of Warwick, UK Joel Ouaknine, Univeristy of Oxford, UK Prakash Panangaden, McGill University, Canada Pawel Parys, University. of Warsaw, Poland Reinhard Pichler, TU Vienna, Austria Simona Ronchi Della Rocca, University of Torino, Italy Jeremy Siek, Indiana University, USA Track C: Foundations of networked computation: Models, algorithms and information management ------------------------------------------------------ Ioannis Caragiannis, Univ. Patras, Greece Katarina Cechlarova, Pavol Jozef Safarik Univ., Slovakia Shiri Chechik, Tel Aviv Univ., Israel Yuval Emek, Technion, Israel Sándor Fekete, TU Braunschweig, Germany Pierre Fraigniaud, CNRS and Paris Diderot, France Leszek Gąsieniec, Univ. Liverpool, UK Aristides Gionis, Aalto Univ., Finland Magnús M. Halldórsson (chair), Reykjavik Univ, Iceland Monika Henzinger, Univ. Wien, Austria Bhaskar Krishnamachari, USC, USAL Fabian Kuhn, Freiburg, Germany Michael Mitzenmacher, Harvard Univ, USA Massimo Merro, Univ. Verona, Italy Gopal Pandurangan, NTU, Singapore Pino Persiano, Salerno, Italy R. Ravi, CMU, USA Ymir Vigfusson, Emory Univ., USA Roger Wattenhofer, ETH Zurich, Switzerland Masafumi Yamashita, Kyushu Univ., Japan

1 0

再送：数学基礎論若の手会（10/29締切）
by YOSHIDA Satoru 17 Oct '14

17 Oct '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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml