Logic-ml

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

1792 discussions

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 05 Jan '15

05 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 15 Dec '14

15 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 14 Dec '14

14 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 小野寛晰 10 Dec '14

10 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml