Logic-ml

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

1792 discussions

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

01 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 11 Nov '14

11 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml