Logic-ml November 2013

8 participants
10 discussions

春の数学会
by KASHIMA Ryo 24 Dec '13

24 Dec '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演オンライン申し込み締め切り（12月1日）が迫ってきました。現在のところ申し込み件数が少ない状態ですので、ぜひとも発表をご検討ください。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

講演会のお知らせ
by KASHIMA Ryo 26 Nov '13

26 Nov '13

非専門家向けの講演会を開催いたします。以前に一部メーリングリストに流しましたが再度の案内お許しください。重複受け取りの方には申し訳ありません。日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html 参加される方は下記宛ご一報いただければ幸いです。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 21 Nov '13

21 Nov '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) のご案内 (2回目) です．発表申込締切まで一ヵ月です．是非投稿をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://www.easychair.org/account/signin.cgi?conf=ppl2014 (EasyChairのアカウントが必要です) 発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300～400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200～300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

AiML-2014: call for papers
by 小野寛晰 21 Nov '13

21 Nov '13

*** Apologies for cross-postings **** AiML-2014: CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. INVITED SPEAKERS: Franz Baader (TU Dresden, Germany) Stephane Demri (New York University, US & CNRS, France) Joseph Halpern (Cornell University, US) Sara Negri (University of Helsinki, Finland) Frank Wolter (University of Liverpool, UK) PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that are provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Mai Gehrke (LIAFA, Université Paris Diderot, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014(a)easychair.org

1 0

第48回 MLG 数理論理学研究集会のご案内[再送：講演・宿泊締切11月20日]
by Katsuhiko Sano 14 Nov '13

14 Nov '13

第48回 MLG 数理論理学研究集会のご案内（再送） (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。講演の申し込み締切（11月20日）まで一週間を切りましたので、再度ご案内させていただきます。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Kowalski先生講演
by Satoshi Tojo 13 Nov '13

13 Nov '13

みなさま， Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ------------------------------ ----------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

Talks by Ugo Dal Lago and Paul-Andre Mellies, This Friday (Nov 8)
by Ichiro Hasuo 06 Nov '13

06 Nov '13

Dear all, This coming Friday we have Ugo Dal Lago (Bologna) and Paul-Andre Mellies (Paris VII) visiting us in U Tokyo and making talks. 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 ------------------------------ Fri 8 November 2013, 10:00-12:00 Paul-Andre Mellies <http://www.pps.jussieu.fr/~mellies/> (U. Paris VII), What a geometry of reasoning would look like? 理学部7号館地下 007教室 Room 007 (underground floor), 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/ If one proceeds by analogy with mathematical physics, it is natural to inquire the geometric (rather than simply symbolic) nature of logical reasoning. In this introductory talk, I will describe how this question may be investigated starting from a series of recent advances at the converging point of proof theory and of programming language semantics. In particular, I will explain how a careful study of linear continuations, the most elementary mechanism common to proofs and to programs, enables one to evacuate the historical divide between classical and constructive logic, and reveals the existence of a logical pulsation which regulates reasoning and whose geometry is related to well-known structures in mathematical physics. Ugo Dal Lago <http://www.cs.unibo.it/~dallago/> (U. Bologna), Applicative Bisimulation for Probabilistic Lambda-Calculus 理学部7号館地下 007教室 Room 007 (underground floor), 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/ <http://www-mmm.is.s.u-tokyo.ac.jp/> We study bisimulation and context equivalence in a probabilistic lambda-calculus. Firstly, we show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial "disentangling" properties for sets of real numbers. We then analyze the impact the employed notion of reduction has on full-abstraction, giving somewhat surprising results in the call-by-value case. We finally give another unexpected result about the discriminating power of probabilistic contexts on pure lambda-terms.

1 0

講演会のお知らせ
by KASHIMA Ryo 06 Nov '13

06 Nov '13

【一般向け講演会のお知らせ】日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html どなたでもご参加いただけます。参加される方は下記宛にお申し込みください。 ------ 鹿島亮（東京工業大学情報理工学研究科） kashima(a)is.titech.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 01 Nov '13

01 Nov '13

皆様 Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Nov '13

01 Nov '13

数学基礎論若手の会2013のご案内（プログラムが準備できました）数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html プログラム： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/program.html 講演および宿泊のお申し込みの受け付けは終了いたしました． 11月16日（土）19:30より，懇親会を予定致しております．参加をご希望なさる方は，11月10日（日）までに，幹事までご連絡ください．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2013