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

SLACS 2012 Program　(9/6 ver.）
by Hiroyuki Miyoshi 07 Sep '12

07 Sep '12

SLACS 2012講演者・参加者の皆様， SLACS 2012について予想以上にたくさんの講演申し込みがありました。どうもありがとうございます。とりあえず暫定版のプログラムをお送り致します。梗概については後ほど別便でお送り致します。講演数が多くプログラムがかなりタイトになっていますがご容赦下さい。(*)印の方は講演時間の多少の短縮をお願い致したく思います。講演者で日程等ご都合の悪い方はお知らせ下さい。また，申し込んだはずなのにプログラムに名前がないという方も至急お知らせ下さい。現在最終日の撤収について事務と交渉中なので多少プログラムが変わることがあります。講演者でまだ題目・梗概が未定の方は連絡をよろしくお願いします。また参加には申し込みは必要ありませんが，懇親会に参加される予定の方については事前に連絡して頂けるとおおまかな人数の把握に助かりますのでご協力頂けると助かります。（9/15の15:00頃に人数を確定して店に連絡致します。予算3-4千円程度）。三好博之 ---- 9/15（土曜日） 13:00-13:30 三角形に関する平面ユークリッド幾何への数式処理の応用鴨浩靖，萩尾由貴子，溝口涼子（講演者）（奈良女子大学理学部） 13:35-14:05 未定吉村和人（JAIST） 14:10-14:40 Rewriting Apploaches to Computational Complexity and Complexity 江口直日（東北大学理学研究科） 14:40-15:00 休憩20分 15:00-15:30 論理CDの補完定理について河野友亮（東京工業大学情報理工学研究科） 15:35-16:05 未定岩波克（東京工業大学情報理工学研究科） 14:40-15:00 休憩20分 16:10-16:40 Non-Commutative First-Order Sequent Calculus 龍田真（国立情報学研究所） 16:45-17:15 TLCA未解決問題20番: 遺伝的置換子の型龍田真（国立情報学研究所） 18:00-20:00 懇親会 9/16（日曜日） 10:00-10:45 An interactive semantics for classical arithmetic (in English) Michele Basaldella (JAIST) 10:50-11:50 Duality, Quantum Symmetry and Categorical Logic 丸山善宏（Oxford University） 11:50-13:20 昼食 13:20-14:10 Nonstandard Static Analysis: Discrete Verification Methodologies 蓮尾一郎（東京大学情報理工学研究科）(*) 14:15-15:00 On some variants of the Jayne-Rogers THeorem via the 木原貴行(JAIST) 15:05-15:35 ゲーム論的確率論入門宮部賢志（京都大学数理解析研究所） 15:35-15:55 休憩20分 15:55-16:40 自然な戦略の理論松尾亮太（名古屋大学多元数理科学研究科） 16:45-17:15 未定小林聡（京都産業大学コンピュータ理工学部）(*) 17:20-18:10 未定（Coqによる数学について）佐藤雅大（名古屋大学多元数理科学研究科）(*) 18:10-18:30 ビジネスアナウンスメント（次回開催について）撤収

1 0

[CFP] (締切延長)情報処理学会第91回プログラミング研究発表会
by Reynald Affeldt 04 Sep '12

04 Sep '12

【発表申込締切が 9月10日(月) に延長されました】＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りて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月10日(月) 【延長されました】投稿論文原稿提出締切: 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

FTSCS2012 論文募集締切延長のご連絡
by Takashi KITAMURA 03 Sep '12

03 Sep '12

SWoPPメーリングリストの皆様、（独）産業技術総合研究所の北村崇師です。 2012年11月12日〜16日に京都で開催される国際会議 ICFEM 2012 (14th International Conference on Formal Engineering Methods) に併設して開催される国際ワークショップ FTSCS 2012 (1st International Workshop on Formal Techniques for Safety-Critical Systems)　http://www.ftscs12.org/index.php?n=Main.Home の論文投稿締切が 9 月 8 日に延長されました。是非投稿を御検討頂けますようお願い申し上げます。 --------------------------------------------------------------------- Call for Papers FTSCS 2012 1st International Workshop on Formal Techniques for Safety-Critical Systems Kyoto, Japan, November 12, 2012 (satellite workshop of ICFEM 2012) http://www.ftscs12.org --------------------------------------------------------------------- *** Extended submission deadline: September 8, 2012 *** *** Science of Computer Programming special issue *** *** EPTCS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (16 pages max, EPTCS format); B- applications and experiences (16 pages max, EPTCS format); C- surveys, comparisons, and state-of-the-art reports (16 pages max, EPTCS format); D- tool papers (4 pages max, EPTCS format); E- position papers and work in progress (4 pages max, EPTCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2012. The final version of the paper must be prepared in LaTeX, adhering to the EPTCS format available at http://style.eptcs.org/. Note, in particular, that EPTCS requires that you include the doi of each reference in the bibliography. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2012. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Electronic Proceedings in Theoretical Computer Science. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 8, 2012 Notification of acceptance: October 1, 2012 Workshop: November 12, 2012 Venue: Kyoto, Japan Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Armin Biere Johannes Kepler University, Austria Saddek Bensalem Verimag, France Peter Bokor Technical University Darmstadt, Germany Santiago Escobar Universidad Politecnica de Valencia, Spain Bernd Fischer University of Southampton, UK Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu NUS, Singapore Steven P. Miller Rockwell Collins, USA Tang Nguyen AIST, Japan Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Grigore Rosu University of Illinois at Urbana-Champaign, USA Neha Rungta NASA Ames, USA Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Contact: (web) http://www.ftscs12.org (email) peterol(a)ifi.uio.no c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073

1 0

an opening of an Assistant professor position at Kobe University
by fuchino＠diamond.kobe-u.ac.jp 31 Aug '12

31 Aug '12

神戸大学大学院システム情報学研究科の渕野昌と申します．神戸大学自然科学系先端融合研究環重点研究部では現在次のような教員 (助教) の公募を行なっております．応募資格に該当の方は応募をご検討ください．またお近くに該当者がいる方はこの公募についてお伝えいただければ幸です．　　神戸大学自然科学系先端融合研究環重点研究部教員(助教) 公募 1 . 公募責任者神戸大学自然科学系先端融合研究環長　野海　正俊　　　　　　　　神戸大学自然科学系先端融合研究環重点研究チーム　　　　　　　「計算による数理科学の展開」研究代表者　高山　信毅 2 . 機関名神戸大学 3 . 部署名自然科学系先端融合研究環重点研究部 4 . 機関種別国立大学法人 5 . 仕事内容計算による数理科学の展開に関わる数学の研究 6 . 研究分野数学(数理論理学，集合論，統計学等，研究環重点研究チーム「計算による　　数理科学の展開」(http://www.oast.kobe-u.ac.jp/teams/index-01.html) 　　の構成員の研究と連携する数学の研究分野) 7 . 職種助教 8 . 勤務形態常勤(任期5 年 -- 審査の上再任可，但し1回限りとし，その場合は2年　　とする) 採用された研究者の居室は，システム情報学研究科情報科学専　　攻渕野グループで提供される 9 . 勤務地近畿 -- 兵庫県 10. 人員1 名 11. 応募資格博士の学位(海外での授与を含む) を10 年以内に取得していること，ま　　たは，平成25 年3 月末までに取得見込みであること．「男女共同参画社会　　基本法」の趣旨に則り，女性の積極的な応募を歓迎します． 12. 応募期間2012 年8 月24 日〜2012 年10 月1 日(必着) 13. 着任時期2013 年4 月1 日応募に関するより詳しい情報は， http://kurt.scitec.kobe-u.ac.jp/~fuchino/tmp/kan-2012-recruitment.pdf をごらんください． -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

2nd CFP: JURISIN2012
by Makoto Nakamura 31 Aug '12

31 Aug '12

（重複して受け取られた場合はご容赦ください）名古屋大学の中村と申します。法情報学に関する国際ワークショップ JURISIN2012 の 2nd CFP をお送りします。今年の１１月３０日から１２月１日にかけて宮崎で開催されます。多数のご投稿をお待ちしております。 [Apologies for multiple copies] --------------------------------------------------- Call for Papers: Sixth International Workshop on Juris-informatics (JURISIN 2012) Nov.30 - Dec. 1, 2012 http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** Submission Deadline: September 17, 2012 **** **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2012 (The 25th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2012 is as follows: 1. Papers being submitted both to JURISIN2012 and JURIX2012 must note this on the title page. 2. A paper to be presented at JURISIN2012 must be withdrawn from JURIX2012 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2012. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Invited Speakers **** 1. Kazuhisa Todayama (Professor, Graduate School of Information Science, Nagoya University, Japan) 2. Philip T H Chung (Executive Director, Australasian Legal Information Institute, Australia) and Graham Greenleaf (Professor, Faculty of Law, University of New South Wales, Australia) **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2012 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011), respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2012. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (mnakamur ((at)) law.nagoya-u.ac.jp) for details. **** Important Dates **** Submission Deadline: September 17, 2012 Notification: October 15, 2012 Camera Ready Copy due: October 29, 2012 JURISIN 2012: November 30 - December 1, 2012 **** Workshop Chair **** Makoto Nakamura, Nagoya University, Japan Katsuhiko Toyama, Nagoya University, Japan **** Organizing Committee Members **** Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Marina De Vos, University of Bath, UK Phan Minh Dung, AIT, Thailand Tom Gordon, Franfoher FOKUS, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Takehiko Kasahara, Toin University of Yokohama, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands Shin-ichi, Yoro, Osaka University, Japan John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2012 **** http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp".

1 0

TARK 2013: Extended Submission Deadline
by Suzuki, Nobu-Yuki 31 Aug '12

31 Aug '12

The deadline for submissions has been extended to September 20, 2012, 23:59 Samoa Time Zone. *Call for Papers* TARK 2013 14th Conference on Theoretical Aspects of Rationality and Knowledge January 7-9, 2013 The Institute of Mathematical Sciences, Chennai, India Conference website: http://www.imsc.res.in/tark/ About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers Pierpaolo Battigalli, Bocconi University Lin Fangzhen, Hong Kong University of Science and Technology Rineke Verbrugge, University of Groningen Submissions are now invited to TARK 2013. Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2013 Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Abstracts should be no longer than ten double-spaced pages (4,000 words). Optional technical details such as proofs may be included in an appendix. An email address of the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection. One author of each accepted paper will be expected to present the paper at the conference. Economists should be aware that special arrangements have been made with certain economics journals (in particular, with International Journal of Game Theory, Games and Economic Behavior, Journal of Economic Theory, and Mathematical Social Sciences, so that publication of an extended abstract in TARK will not prejudice publication of a full journal version. TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute for Mathematical Sciences in Chennai, India. TARK 2013 is the 14th conference of the TARK conference series. Previous conferences have been held bi-annually around the world. The most recent conference was held 2011 at the University of Groningen, Netherlands, see http://www.philos.rug.nl/TARK2011/. The proceedings of all previous TARK conferences can be accessed here http://www.tark.org/. TARK 2013 is the first TARK conference to be held in India. It is also the first TARK conference to be held in January. Key Dates for TARK 2013 Submission of abstracts - New Deadline: September 20, 2012, 23:59 Samoa Time Zone Notification of authors: October 29, 2012 Camera ready copy of accepted papers: November 30, 2012 Conference: January 7 - 9, 2013, Institute of Mathematical Sciences, Chennai, India Program Committee Samson Abramsky, Oxford University Thomas Agotnes, Universitetet i Bergen Hans van Ditmarsch, Universidad de Sevilla Amanda Friedenberg, Arizona State University Aviad Heifetz, The Open University of Israel Jerome Lang, CNRS and Université Paris-Dauphine Fenrong Liu, Tsinghua University Larry Moss, Indiana University, Bloomington Antonio Penta, University of Wisconsin-Madison Andres Perea, Maastricht University Ramaswamy Ramanujam, Institute for Mathematical Sciences, Chennai Olivier Roy, Ludwig-Maximilians-Universität München Burkhard C. Schipper, University of California, Davis Marciano Siniscalchi, Northwestern University Giacomo Sillari, Scuola Normale Superiore, Pisa Nobuyuki Suzuki,Shizuoka University Jonathan Zvesper, London Local Organizing Committee Sujata Ghosh, Indian Statistical Institute, Chennai Kamal Lodaya, Institute of Mathematical Sciences, Chennai R. Ramanujam, Institute of Mathematical Sciences, Chennai S. P. Suresh, Chennai Mathematical Institute Program Chair Burkhard C. Schipper University of California, Davis Department of Economics One Shields Avenue Davis, CA 95616, USA Email: bcschipper-at-ucdavis-dot-edu Local Organizing Chair R. Ramanujam Institute for Mathematical Sciences CIT Campus, Taramani Chennai 600 113, India. Email: tark2013org at gmail dot com Chair of the TARK Conference Series Joe Halpern Cornell University Computer Science Department -- ----------------------------------------------------------

1 0

CFP: LENLS 9 (Logic and Engineering of Natural Language Semantics 9)
by BEKKI Daisuke 31 Aug '12

31 Aug '12

（重複して受け取られた場合はご容赦ください）今年の１２月に宮崎で開催される LENLS 9 国際ワークショップのFinal CFPをお送り致します。多数のご投稿をお待ちしております。 ※投稿締切が ***9/9(日)*** に延長されました。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= DEADLINE EXTENDED!! ================================================================= FINAL 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. Selected Papers =============== A selection of the accepted/invited papers will be published as a portion of a volume "New Frontiers in Artificial Intelligence, JSAI-isAI2012 selected papers", Lecture Notes in Artificial Intelligence (LNAI) series, Springer Verlag. Important dates: ================ Abstract submission deadline: September 9, 2012 (EXTENDED!!) 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 29 Aug '12

29 Aug '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。「数学基礎論サマースクール 2012」の開催まで、一週間を切りましたので、改めてご案内申し上げます.。加えて、懇親会情報をお知らせ致します。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- 【懇親会情報】数学基礎論サマースクールでは６日（木）の夜に、以下の内容で懇親会を開催することになりました。講師・参加者の気軽な交流の場にしたいと思いますので、皆さん奮ってご参加ください。日時：2012年9月6日（木）18時から場所：東工大生協第１食堂（立食形式）会費：3千円程度（予定）幹事：鹿島亮先生（東工大）参加される方は9月3日（月）までにメールで kashima(a)is.titech.ac.jp （鹿島亮先生）宛に連絡をください。それでは、宜しくお願い致します。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

証明論に関する２つのトーク (JAIST Seminar)
by Hiroakira Ono 28 Aug '12

28 Aug '12

　　　　JAIST 第41, 42回多次元セミナーの開催について以前にもご連絡しましたが来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　今回は10日（月）より金沢市で開催される LATD 2012 http://www.jaist.ac.jp/rcis/latd12/index.php?index へ出席のため来日される N. Galatos さん、G. Restall さんのお二人による証明論に関する２つのトークがあります。お気軽にご参加ください。　　　　　　　　　　　　記　　1. 日　　時　平成24年9月7日(金) 　　2. 場　　所　JAIST 情報科学研究科講義棟2階　I3・I4 http://www.jaist.ac.jp/general_info/access/index.html 　　3. 講演　　　(1) 14:00～15:30 Nikolaos Galatos, Department of Mathematics, University of Denver 「Rediscovering Structural Proof Theory: an algebraic account」 (2) 15:45～17:15 Greg Restall, School of Historical and Philosophical Studies, University of Melbourne 「Sequent Systems and Defining Rules」二つの講演のアブストラクトは以下をご覧下さい　 http://www.jaist.ac.jp/rcis/seminar/ 北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰　　 http://www.jaist.ac.jp/rcis/en

1 0

JAIST 第41回多次元セミナーの開催
by Hiroakira Ono 24 Aug '12

24 Aug '12

　　　　　JAIST 第41回多次元セミナーの開催について　来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。　なお、本セミナーの参加申込等は不要ですので、直接、会場までお越しください。　　　　　　　　　　　　記　　1.日　　時　平成24年9月7日(金) 14:00～15:30 　　2.場　　所　JAIST 情報科学研究科講義棟2階　I3・I4 http://www.jaist.ac.jp/general_info/access/index.html 　　3.講演者　 Nikolaos Galatos, Associate Prof. Department of Mathematics, University of Denver 　　4.講演題目　「Rediscovering Structural Proof Theory: an algebraic account」　　 http://www.jaist.ac.jp/rcis/seminar/multi-dimension/41 　　5.担当教員　先端融合領域研究院　　　　　　　　小野　寛晰 http://www.jaist.ac.jp/rcis/en

1 0

CFP - INTERNATIONAL JOURNAL OF LOGIC and COMPUTATION (IJLP)
by J. Stewart 24 Aug '12

24 Aug '12

CALL FOR PAPERS - INTERNATIONAL JOURNAL OF LOGIC and COMPUTATION (IJLP) ISSN: 2180-1290 Volume 3, Issue 1 Info. at http://www.cscjournals.org/csc/journals/IJLP/journal_cfp.php?JCode=IJLP Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their scientific research papers in an International Journal of Logic and Computation (IJLP) Volume 3, Issue 1. The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI. CSC Journals anticipate and invite papers on any of the following topics: Applications of Logic in Hardware and VLSI Modal Logic Categorical Logic Natural Language Challenges in Natural Language and Reasoning Non-Monotonic Reasoning Classical and Non-Classical Logic Programming Expressiveness Computer Logical Reasoning Programming Reasoning Test Collection Constructive Logic Reasoning Systems Knowledge-Based Systems and Automated Reasoning Pr Semantic Representation in Logic Programming Logic Representation Techniques Soft Computing Techniques Logical Issues in Logic Programming State-Based Semantics Logical Programming Issues in Knowledge Representa Type Theory Logics and Semantics of Programming Important Dates - IJLP CFP - Volume 3, Issue 1. Paper Submission: September 30, 2012 Author Notification: November 15, 2012 Issue Publication: December 2012 For complete details about IJLP archives publications, abstracting/indexing, editorial board and other important information, please refer to IJLP homepage. We look forward to receive your valuable papers. If you have further questions please do not hesitate to contact us at cscpress(a)cscjournals.org. Our team is committed to provide a quick and supportive service throughout the publication process. A complete list of journals can be found at http://www.cscjournals.org/csc/bysubject.php Sincerely, J. Stewart Computer Science Journals (CSC Journals) B-5-8 Plaza Mont Kiara, Mont Kiara 50480, Kuala Lumpur, Malaysia Tel: + 603 6207 1607, + 603 2782 6991 Fax:+ 603 6207 1697 Url: http://www.cscjournals.org

1 0

第二十三回ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのお知らせ
by 西澤弘毅 22 Aug '12

22 Aug '12

logic-ml メーリングリストの皆様，鳥取環境大学の西澤弘毅と申します。直前のご連絡になりましたが、第二十三回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定版プログラムのお知らせと参加の募集をさせていただきます。 ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.math.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十三回ALGIを開催することになりました。 **************************************************************** * 第二十三回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2012年9月6日（木）午後〜7日（金） * * 九州工業大学　情報工学部（福岡県飯塚市） * * * * 暫定版プログラムのお知らせと参加の募集 * **************************************************************** プログラムの簡略版は下記の通りです。アブストラクトや、会場の詳細な情報は後日お知らせいたします。なお、7日（金）の 11:00 からの講演枠がまだ空いております。講演を希望される方は西澤（koki(a)kankyo-u.ac.xn--jp)-ub4boe ご連絡ください。 9月6日（木） 13:15〜13:30 　オープニング＋連絡など 13:30〜14:15 　河原康雄　題目：Heyting 代数値関係における所属関係 14:30〜15:30 　只野誉（大阪大学大学院理学研究科数学専攻）　題目：　Numerical solutions of K\"{a}hler-Einstein equations on toric del Pezzo surfaces 15:45〜16:30 　津曲紀宏（京都大学数理解析研究所）　題目：Galois connections for abstraction of probabilistic systems 16:45〜17:45 　丸山善宏（オックスフォード大学大学院）　演題：Categorical Universal Logic:Lawvere-Tierney Topology and Logical Translation. 夕方　懇親会 9月7日（金） 10:00〜10:45 　西澤弘毅（鳥取環境大学）　演題：weak split fork について 11:00〜11:45 　空き 12:00〜12:20 　田中慎一（（株）日立ソリューションズ）　演題：量子論理における含意結合子の強弱関係 12:20〜13:00 　クロージング＋連絡などできるだけ多くの皆さんのご参加をお待ちしております。西澤弘毅（鳥取環境大学）古澤仁（鹿児島大学理学部）会場の手配などは九州工業大学の藤尾光彦先生にお願いしています． -- 西澤弘毅鳥取環境大学経営学部経営学科兼環境情報学部情報システム学科〒689-1111鳥取市若葉台北1-1-1 koki(a)kankyo-u.ac.jp (koki.nishizawa(a)gmail.com に転送) TEL: 0857-38-6786

1 0

[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 07 Aug '12

07 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

【参加募集】数学基礎論サマースクール 2012「計算可能性とランダムネス」
by Kohtaro Tadaki 29 Jul '12

29 Jul '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

ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」・暫定プログラム公開
by Suzuki Toshio 27 Jul '12

27 Jul '12

　研究集会案内・暫定プログラム公開　（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。以下の研究集会に多数の講演申込みをありがとうございます。参加申込みをされていない方の当日参加も歓迎します。 ------------------------------------------------------------------ ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　数理解析研究所４２０号室（収容人数１５０名） http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ さて、暫定プログラム（７月２６日版）を公開しましたので取り急ぎお知らせいたします。 http://www.ac.auone-net.jp/~bellp/meeting/program0726.pdf 講演される方へ：ご意見や情報の追加がございましたら７月３０日（月）午前中までに鈴木 toshio-suzuki [atmark] tmu.ac.jp へご連絡いただけると助かります。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻

1 0

PLPV 2013 First Call for Papers
by Makoto Takeyama 26 Jul '12

26 Jul '12

皆様、（重複してお受け取りになられた場合はご容赦ください）産業技術総合研究所の武山と申します。この場をお借りしまして来年1月22日にPOPL 2013に併設して開催される国際ワークショップ PLPV 2013のCFPをご案内させていただきます。プログラミング言語とプログラム検証に跨る話題について、幅広く多くの研究コミュニティーからの論文投稿をお待ちしておりますので、ご検討いただけますようよろしくお願い申し上げます。 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge François Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Makoto Takeyama <makoto.takeyama(a)aist.go.jp> AIST/RISEC (National Institute of Advanced Industrial Science and Technology / Research Institute for Secure Systems) tel: +81-6-6494-8045

1 0

Kobe Colloquium on Logic, Statistics and Informatics (Ausgust 1, 2012)
by SAKAI Hiroshi 20 Jul '12

20 Jul '12

皆様：神戸大学の酒井拓史と申します． 8月1日(水)に開催される Kobe Colloquium on Logic, Statistics and Informatics のアナウンスをさせていただきます．ご興味をお持ちの方は是非ご参加ください： ------------------------------------------------------ Kobe Colloquium on Logic, Statistics and Informatics: ------------------------------------------------------ August 1, 2012 (Wed.) 16:30 - 18:00 (teabreak: 15:30 -) ``Topological Set Theory'' Dr. Andreas Fackler (LMU Munich) Abstract The idea behind positive set theory is to weaken the naive comprehension principle by omitting all instances in which negation occurs. For example, the universal class V is a set while the Russell class is not. Surprisingly, this approach leads to a theory in which V is a topological space in a natural way. Inspired by that fact, topological set theory TS instead of a comprehension principle has as its axioms several topological statements about V. Topological and positive set theory are closely related and in both of them there is an interesting interplay between the set theoretic and topological properties of V. Many basic theorems of TS remain true even without the axiom that the universal class V is a set, although one decisive statement about the ordinal numbers goes missing. Instead, a surprising connection to another familiar set theory arises ... In my talk, I will present this family of axiom systems and give an overview of results about their implications, their consistency strengths, and their interrelations. We will also look briefly at their (known) models -- topological structures called hyperuniverses -- and at methods to construct such objects. ------------------------------------------------------------------------------ The talk will be given in the presentation room of the group of Logic, Statistics and Informatics (inside the glass door with "Fuchino group" (written in Japanese) on the 4th floor in the Sience and Technology Building 3 http://kurt.scitec.kobe-u.ac.jp/~brendle/Forcing2012/university.jpg in Rokkodai Campus of Kobe University) There will be a dinner after the talk. 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6245

1 0

公募情報（大阪府立大学・数学）
by Masaru Kada 17 Jul '12

17 Jul '12

みなさま：大阪府立大学嘉田です．大阪府立大学では，このたび数学の准教授１名の公募を行うこととなりました．専門分野は特に問いません．採用予定日は，平成２５年４月１日です．この公募に関する詳しい情報（募集要項）と，必要な書式は http://www.osakafu-u.ac.jp/staff/index.html http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=0&id=D112070662&ln_jor=0 においてあります．ご応募，ご推薦をお考えいただければ幸いです．よろしくお願い申し上げます． -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml