Logic-ml August 2012

15 participants
18 discussions

[CFP] ICFEM 2012 - 14th International Conference on Formal Engineering Methods
by Yuki Chiba 22 Aug '12

22 Aug '12

(重複の場合はご容赦ください．) 皆様，北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の参加募集を投稿させて頂きます．是非参加をご検討下さい．よろしくお願いします． ************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************ CALL FOR PARTICIPATION REGISTRATION ------------ Registration for ICFEM 2012 is now open. Please visit http://www.jaist.ac.jp/icfem2012/registration/index.html. To take advantage of early registration, kindly register before August 31, 2012. We encourage you to reserve your hotel rooms ASAP, since it is a peak season in Kyoto for brilliant autumn leaves! This year's ICFEM has four affiliated workshops and a tutorial, and three prominent invited speakers. The program will be announced at the conference web site shortly. CO-LOCATED EVENTS ----------------- - FTSCS 2012 : First International Workshop on Formal Techniques for Safety-Critical Systems, http://www.ftscs12.org/ - WSOFL 2012 : 2nd Workshop on SOFL, http://icfem-fema.org/sofl/ - Event-B 2012 : DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B, http://research.nii.ac.jp/eventb2012/ - Japanese Workshop on Industrial Applications of Formal Methods - CbC-Depend: Correct-by-Construction Development of Dependable Systems, Tutorial, http://www.rodintools.org/tutorial.html INVITED SPEAKERS ---------------- - Darren Cofer (Rockwell Collins, USA), "Formal Methods in the Aerospace Industry: Follow the Money" - Robert Shostak (Vocera Communications, Inc., USA), "Applying Term Rewriting to Speech Recognition of Numbers" - Mario Tokoro (Sony Computer Science Laboratories, Inc., Japan), "Toward Practical Application of Formal Methods in Software Lifecycle Processes" ACCEPTED PAPERS --------------- The list of accepted papers may be found at: http://www.jaist.ac.jp/icfem2012/acceptedPapers/index.html ORGANIZATION COMMITTEE ----------------------- General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan Conference Chair: Hitoshi Ohsaki, AIST, Japan Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan -- Yuki Chiba Japan Advanced Institute of Science and Technology (JAIST) http://www.jaist.ac.jp/~chiba/index.html chiba(a)jaist.ac.jp

1 0

Fw: 9/6 David Over & Jean Baratgin講演会
by Ken Shiotani 20 Aug '12

20 Aug '12

皆様、『日本学術振興会・フランスANR　CHORUSプログラム（平成23年度選定事業）「真と偽を超えて：確信の度合い」』の高橋達二さんから、以下のような講演会があることをお知らせしてほしいとの依頼で転送します。ご興味のおありの方は、問い合わせ先に直接ご連絡ください。塩谷賢 > ------------------------------------------------------------------------ > David Over 教授・Jean Baratgin 教授講演会 > 「思考研究の新パラダイム」 > > 日時： 2012年9月6日 15:00-17:30 > 場所：立命館大学朱雀キャンパス1F 多目的室 > 〒604-8520 京都市中京区西ノ京朱雀町1 > （JR・地下鉄「二条」徒歩2分，阪急「大宮」徒歩10分） > http://www.ritsumei.jp/accessmap/accessmap_suzaku_j.html > プログラム： > 0. イントロダクション > 1. Jean Baratgin教授（パリ第8大学）講演 > 「新パラダイム推論心理学と三値論理」 > 2. David Over教授（英国ダーラム大学）講演 > 「作用域曖昧性・様相錯誤と新パラダイム推論心理学」 > 3. ディスカッション > 参加：申込み不要・入場無料> > > 講演要旨： > > New paradigm psychology of reasoning and three-valued logic > > Jean Baratgin (Paragraphe [Universite Paris 8, Saint-Denis] > & Institut Jean Nicod [ENS, Paris]) > > Two bodies of research in the psychology of reasoning support the new > paradigm. The first result is that most people judge the probability of > a conditional sentence to be equal to the conditional probability of > the consequent on the antecedent (as implied by the Ramsey test). The > second result is very old. It is the existence of a so-called defective > truth table in which people judge irrelevant (`I') the two cases where > the antecedent is false. Our presentation focuses on this second point. > Uncertainty is a hallmark of the new paradigm. Thus if `I' is considered > as a third value there is no defective table but rather a coherent table > in which a third truth value that represents uncertainty is introduced. > However a variety of three-valued systems of logic are available. We > examine their descriptive adequacy for the usual connectives, including > the conditional. Within this framework the so-called defective > truth-table in which participants choose a third truth value when the > antecedent of the conditional is false becomes an explainable and > coherent response. Our main result is that the logic of de Finetti (and > only this one) has a very good descriptive adequacy when uncertainty > takes place as a third truth-value. > > > Scope ambiguities, modal fallacies, and new paradigm psychology of > reasoning > > David Over (Psychology Department, Durham University) > > There is a new Bayesian / probabilistic paradigm in the psychology of > reasoning. It depends on experiments in which participants respond that > the probability of the natural language indicative conditional P(if p > then q) is the conditional probability of q given p. Once this result, > P(if p then q) = P(q|p), is fully established, a Bayesian account of > conditional reasoning, and so of reasoning in general, is sure to > follow. However, the result depends on the participants applying the > probability operator to the whole conditional, in a wide scope > interpretation, and not to its consequent, in a narrow scope > interpretation. The problem is that modal operators like probability can > cause scope ambiguities in natural language and modal fallacies. Scope > ambiguities and the associated modal fallacies are a well researched > topic in logic and philosophy. Yet the psychology of reasoning has paid > little attention to this topic, in spite of its intrinsic interest and > relevance to the new paradigm. We will illustrate how modal fallacies > have been committed by supporters of old paradigm psychology of > reasoning in their response to the evidence for P(if p then q) = P(q|p). > An experimental programme will be described supporting the conclusion > that the probability operator is generally given wide, and not narrow, > scope in conditionals. > > > 主催：立命館大学人間科学研究所 > 文部科学省私立大学戦略的研究基盤形成支援事業（平成22年度選定事業） > 「大学を模擬社会空間とした自立支援のための持続的対人援助モデルの構築」 > 共催：日本学術振興会・フランスANR CHORUSプログラム（平成23年度選定事業） > 「真と偽を超えて：確信の度合い」 > 共催：関西思考研究会 > > 問い合わせ先： > 山祐嗣（大阪市大） yama(a)lit.osaka-cu.ac.jp > 服部雅史（立命館大） hat(a)lt.ritsumei.ac.jp > ------------------------------------------------------------------------

1 0

2nd CFP: LENLS 9 (Logic and Engineering of Natural Language Semantics 9)
by 矢田部俊介 17 Aug '12

17 Aug '12

（重複して受け取られた場合はご容赦ください）今年の１２月に宮崎で開催される LENLS 9 国際ワークショップの2nd CFP をお送り致します。多数のご投稿をお待ちしております。矢田部俊介 [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 9 (LENLS 9) Workshop Site : "Amusement Zone Miyazaki (The JA-AZM Hall)" Kirishima 1-1-1, Miyazaki, Japan. http://www.jaazm.jp/access/english.html Dates : December 1-3, 2012 Contact Person: Alastair Butler (PRESTO JST/Tohoku University) Contact Email : lenls9[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Alastair Butler (PRESTO JST/Tohoku University) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Hans Kamp (University of Stuttgart) Call For Papers: ================ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of the third JSAI International Symposia on AI (isAI2012) (http://www.ai-gakkai.or.jp/jsai-isai/2012/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Submissions: ============ Abstracts (up to 4 pages, including figures, bibliography, apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls9 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Important dates: ================ Abstract submission deadline: September 1, 2012 Notification of acceptance: October 10, 2012 Deadline for camera-ready copy: October 31, 2012 Deadline for onsite registration: November 24, 2012 LENLS9: December 01-02, 2012 Tutorial Lecture (by Hans Kamp): December 03, 2012 Workshop Organizers/Program Committee: ====================================== - Alastair Butler (PRESTO JST/Tohoku University) - Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio 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 (National Institute of Advanced Industrial Science and Technology) - Kei Yoshimoto (Tohoku University)

1 0

【参加募集】数学基礎論サマースクール 2012「計算可能性とランダムネス」（プログラム公開）
by Kohtaro Tadaki 15 Aug '12

15 Aug '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。「数学基礎論サマースクール 2012」の開催まで、あと半月余りとなりましたので、改めてご案内申し上げます.。現在、プログラムを公開中です。たくさんの皆様のご参加をお待ちしております。詳しくは、下記ホームページをご覧下さい。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- ＜特記事項＞今年の数学基礎論サマースクールでは、チューリング生誕 100年を記念し、計算可能性の理論についての入門講座を開催します。講師は東工大の鹿島亮先生です。計算可能性の理論に興味を持つ一般の市民、学生、研究者の皆さんの参加を歓迎します。詳しくは、上記ホームページをご覧下さい。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

PD研究員公募
by =?ISO-2022-JP?B?GyRCOzM3QXtyRzcbKEI=?= 08 Aug '12

08 Aug '12

(重複して受け取られた場合はご容赦下さい）皆様、いつもお世話になっております。さて、独立行政法人産業技術総合研究所セキュアシステム研究部門では、PD研究員の新規採用を行なっています。興味をお持ちの方は応募をご検討下さい。また、近くに興味を持ちそうな方がおられましたら、この件についてお伝えいただければ幸いです。募集要項は以下のとおりです。URL http://www.risec.aist.go.jp/offering/index-ja.html からも参照いただけます。 -----------------ここから----------------- 産総研特別研究員研究内容または業務内容：ソフトウェアテスト、形式検証に関する研究応募資格：採用時において、情報学または関連する分野で博士号を取得していること博士号取得後７年以内であることソフトウェア工学または計算機科学の研究に情熱を持って取り組めることチームで協働して研究を行えることソフトウェアテスト、または形式検証について研究経験があることが望ましい職種：産総研特別研究員（第一号）給与：時給制　2,200円、2,350円、2,500円のいずれか（当所規程により決定）雇用期間：できるだけ早い時期（応相談）〜平成25年3月31日勤務地：独立行政法人産業技術総合研究所　関西センター尼崎支所（兵庫県）勤務時間：週５日、１日７時間４５分（9:00 〜17:45）（休憩１時間）フレックスタイム制可休日：完全週休２日制（土・日）、祝日、年末年始待遇：当所規程により有給休暇制度、通勤手当制度有り、社会保険完備提出書類：履歴書（写真貼付）、博士号取得を証明できる書類、これまでの研究概要、業績リスト（誌上発表、口頭発表、知的財産権）、その他応募者の適性をアピールできるもの応募締切：採用者決定次第締め切り選考方法：書類選考および面接試験応募先：兵庫県尼崎市若王寺３丁目１１−４６独立行政法人産業技術総合研究所　セキュアシステム研究部門問い合わせ先：セキュアシステム研究部門　北村、山形 TEL: 06-6494-8054、Mail: t.kitamura(a)aist.go.jp TEL：06-6494-8084、Mail: yoriyuki.yamagata(a)aist.go.jp 備考：提出していただいた書類は、採用審査の用途に限り使用されます。漏洩することのないよう厳重に管理され、当部門内で選考業務を担当する職員のみに参照を許可します。 -----------------ここまで----------------- ご質問等は私までお気軽にお寄せ下さい。よろしくお願いします。 -- 山形頼之独立行政法人　産業技術総合研究所研究員 E-mail: yoriyuki.yamagata(a)aist.go.jp http://staff.aist.go.jp/yoriyuki.yamagata/

1 0

[CFP] 情報処理学会第91回プログラミング研究発表会
by Reynald Affeldt 06 Aug '12

06 Aug '12

logicの皆さま, 産総研のアフェルトです. ＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りて2012年度第3回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2012年10月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は9月03日(投稿締切は9月28日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．発表申込時で必要なのはタイトルと概要などとなっております．第91回プログラミング研究会(PRO-2012-3)発表募集日程: 2012年10月30日(火)・31日(水) 会場: 日本丸メモリアルパーク http://www.nippon-maru.or.jp/memorial-park/index.html 訓練センター http://www.nippon-maru.or.jp/facilities/training.html JR根岸線・市営地下鉄桜木町駅またはみなとみらい線みなとみらい駅・馬車道駅より徒歩5分 http://www.nippon-maru.or.jp/info/access.html 発表申込締切:　　　　 2012年9月03日(月) 投稿論文原稿提出締切: 2012年9月28日(金) 申込先: AFFELDT Reynald (アフェルト　レナルド) E-mail: reynald.affeldt [at] aist.go.jp 案内ページ: http://staff.aist.go.jp/reynald.affeldt/pro91/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/を参照してください．・著者のための手引き．・できるだけE-mailでお願いします． http://www.ipsj.or.jp/sig/pro/trans-author.html ・申込み後返信がない場合はご連絡下さい．

1 0

テストメイル from admin
by Atsushi Igarashi 05 Aug '12

05 Aug '12

logic-ml のみなさま，管理人の五十嵐です．ここ数日 logic-ml などメイリングリストの調子がおかしかったようなのでメンテをしております．これはテストですので，無視してください． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

名大量子情報ワークショップ「代数的場の量子論における量子情報と量子基礎論」のご案内
by Masanao Ozawa 02 Aug '12

02 Aug '12

名大量子情報・量子基礎論ワークショップのご案内 London School of Economics and Political Science の Miklos Redei 教授をお招きして、「代数的場の量子論における量子情報と量子基礎論」に関する連続講演会およびワークショップを開催致します．ふるってご参加ください．日時：2012年8月22日（水）13:30―8月26日（日）17:00 会場：名古屋大学大学院情報科学研究科棟1階第1講義室 http://www.is.nagoya-u.ac.jp/intro/contact.html 『連続講演会（2012年8月22日（水）―　8月24日（金））』講師: Miklos Redei (London School of Economics and Political Science) http://phil.elte.hu/redei/ 題目: An introduction to quantum information and foundations in algebraic quantum field theory 内容：第１回（8月22日（水）13:30-15:00） Some general remarks about the axiomatic approach to physical theories, to QM+AQFT in particular, commenting on Hilbert's 6th problem and von Neumann's interpretation of it. 第２回（8月22日（水）15:30-17:00） Recalling some facts from the theory of von Neumann algebras, portraying it as non-commutative measure theory that serves the same role as classical measure theory serves for classical probability theory. 第３回（8月23日（木）13:30-15:00） The basics of AQFT (axioms + some of the consequences, including violation of Bell's inequality in AQFT). 第４回（8月23日（木）15:30-17:00） The Common Cause Principle and its status in AQFT. 第５回（8月24日（金）10:30-12:00） The notions of independence in AQFT, their hierarchy, and their status in AQFT, including operational independence. 『ワークショップ（2012年8月25日（土）―　8月26日（日））』講演募集中参加申し込み：参加費無料でどなたでも参加できますが，会場準備の都合上予め下記まで，氏名，所属，職，参加希望日程をご連絡ください．ワークショップでの講演申し込みも受け付けますので，タイトル，講演希望日を添えて申し込んでください．学部生，大学院生の参加を歓迎します．旅費援助希望の方はその旨ご連絡ください．連絡先：小澤正直（名古屋大学大学院情報科学研究科） ozawa(a)is.nagoya-u.ac.jp 本ワークショップは，科研費（萌芽）「量子論の実在論的解釈を目指した量子集合論の研究（課題番号：24654021）」の援助を受けています．お知り合いでご関心をお持ちのかたがいらっしゃいましたら，本案内を転送してくださいますようお願い致します． -- Masanao Ozawa Graduate School of Information Science Nagoya University Chikusa-ku, Nagoya 464-8601, JAPAN Email: ozawa(a)is.nagoya-u.ac.jp Phone & Fax: +81-52-789-3075

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2012