Logic-ml August 2014

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

14 participants
18 discussions

CFP: LENLS11 (Logic and Engineering of Natural Language Semantics 11)
by Koji Mineshima 14 Aug '14

14 Aug '14

（重複して受け取られた場合はご容赦ください）今年の１１月に東京で開催される LENLS 11 国際ワークショップのご案内をお送り致します。締め切りを8月25日まで延長しました。皆様のご参加をお待ちしております。峯島宏次（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS || Deadline Extended !! Logic and Engineering of Natural Language Semantics 11 (LENLS 11) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : November 22-24, 2014 Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University /National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speakers: - Chris Barker (New York University) - Kimiko Nakanishi (Ochanomizu University) - Matthew Stone (Rutgers University) - Christopher Tancredi (Keio University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax of natural language - Formal semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Continuations in natural language - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - (Formal) Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (up to 4 pages, including figures and references, A4 or letter size, with 12 point font) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls11 When the 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: ================ We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Student Session: ================ This year we will organize the Student Session of LENLS 11. We invite submissions from students (i.e., those students who have not received their PhD degree before November 2014). This session will provide an opportunity for students to get feedback from other researchers, so we encourage submission of work in progress. Papers co-authored by non-students may be submitted, but the primary author must be a student who will present the paper. The submission guidelines are the same as those for regular submission as described above. One may not submit the same paper both to the main session and to the student session. Also, students may not submit more than one (single-authored or joint-authored) paper to the student session. Submitted student papers will be peer-reviewed. All accepted papers will be included in the proceedings. The best student paper prize will be awarded.All accepted student papers will be considered for this award. A selection of revised versions of accepted papers will be published by Springer Verlag in Lecture Notes in Artificial Intelligence (LNAI) series. A limited number of travel grants will be available to those students who are presenting a paper at the Student Session. Authors of accepted student papers will be informed about further details. Important dates: ================ Abstract submission deadline: August 25, 2014 (EXTENDED) Notification of acceptance: September 30, 2014 Deadline for camera-ready copy: October 31, 2014 LENLS11: November 22-24, 2014 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://www.extreme-bigdata.jp/workshop/jebdp-1/speakers.html#SadaoKurohashi) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (West Japan Railway Company) - Kei Yoshimoto (Tohoku University)

1 0

ドメイン名の変更
by Atsushi Igarashi 13 Aug '14

13 Aug '14

logic-ml購読のみなさま，五十嵐＠京大％logic-ml管理人です． logic-ml のアドレスのドメイン名部分を変更いたします．旧) logic-ml(a)sato.kuis.kyoto-u.ac.jp 新) logic-ml(a)fos.kuis.kyoto-u.ac.jp 現在はどちらののアドレスでも投稿を受け付けておりますが， 2014年8月31日をもちまして旧アドレスを廃止いたします．不明な点があればお問い合わせください．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Leon Horsten 氏の公理的真理理論講演会のお知らせ（8/22）
by Shunsuke Yatabe 12 Aug '14

12 Aug '14

重複して受け取られたかたはご容赦ください。下記のとおりに Leon Horsten 氏（ブリストル大学）の公理的真理理論に関する講演会を開催いたします。どうぞふるってご参加ください。矢田部俊介記日時：2014年8月22日（金）17時から場所：お茶の水女子大学理学部３号館６０２時間：17:00-19:00 〒112-8610 東京都文京区大塚2-1-1 理学部3号館306（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。題目："Truth, semantic paradox, and meaning" 詳細url: http://researchmap.jp/jokd58wzx-21098/#_21098 事前登録は不要です。講演は英語で行われます。講演者について Leon Horsten 氏はブリストル大学哲学科教授で、専門は真理理論。詳しくは以下のウェブページを参照してください。 http://www.bristol.ac.uk/school-of-arts/people/leon-f-horsten/ 問い合わせ先：矢田部俊介 shunsuke.yatabe(a)gmail.com [Apologies for multiple copies] Professor Leon Horsten will give a lecture on September 3rd at Nagoya University. Time: 17:00- August 22, 2014 Place: The room 602, the 3rd building, faculty of Science, Ochanmizu University, Tokyo Title: `"Truth, semantic paradox, and meaning" No registration is required. About the Lecturer Professor Leon horsten is a p Professor of Philosophy, Department of Philosophy, University of Bristol His research interests are truth theories. For more information, visit http://www.bristol.ac.uk/school-of-arts/people/leon-f-horsten/ Contact Information Shunsuke Yatabe shunsuke.yatabe(a)gmail.com 以上

1 0

千葉 logic seminar
by arai toshiyasu 11 Aug '14

11 Aug '14

みなさま新井@千葉大学です。千葉 logic seminar の第3回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：8月28日(木)14:00-15:30 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：山形賴之（産総研）タイトル： On separation of bounded arithmetic through a consistency statement アブストラクト: In this talk, we show that Buss's bounded arithmetic S22 can prove consistency of PV-, the system obtained from Cook and Urquhart's PV by removing induction. Since Buss and Ignjatovic show that S12 cannot prove the consistency of PV- enriched by propositional logic and BASIC axioms, our result is interesting although it does not directly imply S22 != S12. ------------------------------------------

1 0

[2nd CfP] 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
by Takashi KITAMURA 11 Aug '14

11 Aug '14

# 重複してお受け取られた場合はご容赦願います。みなさま、産業技術総合研究所の北村です。今年11月にルクセンブルクにて開催される国際ワークショップ FTSCS2014 の2回目の論文募集の案内をお送りいたします。本ワークショップのプロシーディングスは Springer の CCIS より発行され、DBLP や Google Scholar、 EI-Compendex、Mathematical Reviews などにインデックスされる予定です。また、本ワークショップのプロシーディングスを基に、Elsevier の Science of Computer Programming 誌で特集号が企画される予定です。是非論文の投稿をご検討ください。 --------------------------------------------------------------------- Call for Papers FTSCS 2014 3rd International Workshop on Formal Techniques for Safety-Critical Systems Luxembourg, November 6-7, 2014 (satellite workshop of ICFEM 2014) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS 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. Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2014. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2014. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. 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 6, 2014 Notification of acceptance: October 3, 2014 Workshop: November 6/7, 2014 Venue: Luxembourg Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd Univ. of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Kyungmin Bae University of Illinois at Urbana-Champaign, USA Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA, Australia Fuyuki Ishikawa National Institute of Informatics, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Yang Liu Nanyang Technological University, Singapore Frederic Mallet INRIA Sophia Antipolis, France Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Charles Pecheur Universite catholique de Louvain, Belgium Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Jackie Wang McMaster University, Canada Michael Whalen University of Minnesota, USA Huibiao Zhu East China Normal University, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ 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 Internal Tel: *33-274-71902

1 0

RIMS研究集会「集合論における無限組み合わせ論とその応用」
by Toshimichi Usuba 08 Aug '14

08 Aug '14

皆様１１月１０日（月）〜１３日（木）に京都大学数理解析研究所で開催される公理的集合論に関する研究集会「集合論における無限組み合わせ論とその応用」についてご案内申し上げます。集会のウェブページは　http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html になります。講演を希望される方は　usuba(a)people.kobe-u.ac.jp までご連絡ください。講演を伴わない参加に関しましては事前登録は必要ありませんが、参加人数把握のためにもご連絡をお願いいたします。また、RIMSのほうから旅費のサポートがありますので、サポートを希望される方はその旨お知らせください。ただし、講演者のサポートを優先しますのでご希望に添えない可能性がありますことをご了承願います。参加フォーム --------------------------------------------- 氏名：（日本語と英語）所属：（日本語と英語）職名：（大学院生の方は「院生」と明記してください）（講演希望の場合）講演タイトル：（日本語と英語、TBAでもかまいません）旅費サポート希望の有無：その他： --------------------------------------------- 申し込み締め切り：9月29日皆様のご参加をお待ちしております。また、翌週の１１月１７日（月）〜１１月１９日（水）に神戸大学にて渕野昌先生の還暦のお祝いを催し、数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」が開催されます。　http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html そちらの参加もご検討いただければ幸いです。神戸大学　薄葉　季路

1 0

1st CFP: TPP2014 Theorem Proving and Provers meeting
by Jacques Garrigue 03 Aug '14

03 Aug '14

皆様、 TPPの講演募集案内を送らせて頂きます。定理証明に興味のある方はご検討下さい。 Jacques Garrigue ------------------------[CFP: TPP2014]------------------------------- TPPミーティングについてのご案内です． (English version is below.) さて, 今年のTPPミーティングですが, 第10回を記念(!?)して, 少しだけ日程を拡大し, 12月3日(水)-5日(金)に九州大学にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです. 研究集会「高信頼な理論と実装のための定理証明および定理証明器」として, 九州大学マス・フォア・インダストリ研究所数学理論先進ソフトウェア開発室, 及び, 統計数理研究所数学協働プログラムの支援を得ることが出来ましたので, この3日間の予定の中でTPP2014を開催したいと考えています. そして, 特に, Adam Chipala 氏 (MIT, USA) Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして御講演頂く予定です. 日時：2014年 12月3日(水) 13:00頃(予定) 〜 12月5日(金) 15:00頃(予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 参加者と講演の数を大体把握しておきたいと思いますので，参加される方は 10月半ばまでに下の参加申し込みを下記メールアドレスまでお送りください．参加者には，できるだけ講演していただければと思います．申込み・問い合わせ先: tpp2014(a)imi.kyushu-u.ac.jp (溝口佳寛) URL: http://coop-math.ism.ac.jp/event/2014E04 (注. ホームページは作成途中です. 「TPP2014 数学」で検索してみて下さい.) ------------------------------------------------------------------------- TPP 2014 参加申し込みお名前：ご所属：講演　：する／しない懇親会：参加する／参加しない講演する場合タイトル：（講演のタイトルが決まっていなければ，TBAでもかまいません．決まったらご連絡ください．）講演希望日: (○/×) 12/3 (○/×) 12/4 (○/×) 12/5 その他(ご意見/ご要望ありましたらお願いします): ------------------------------------------------------------------------- ========================================================================= This is the call for participation for the 10th TPP meeting (Theorem Proving and Provers meeting), to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University. Time: 2014/12/03 around 1pm to 12/05 around 3pm Place: Kyushu University, Nishijin Plaza (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Adam Chipala (MIT, USA) Cyril Cohen (Univ. Gothenburg, Sweden) If you are planning to attend the meeting, please send the information slip below to the indicated address by mid-October. Submission/questions to: tpp2014(a)imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi) URL: http://coop-math.ism.ac.jp/event/2014E04 (Tentative Japanese HP. Revised English HP will be notified later.) ------------------------------------------------------------------------- TPP 2014 Registration Name: Affiliation: Will give a talk: Yes/No Will attend the party: Yes/No Title of the talk: (If it is not decided yet, TBA is OK.) Which date do you prefer to talk ? 12/3 (OK/NG) 12/4 (OK/NG) 12/5 (OK/NG) Requests for the organizer (if any): -------------------------------------------------------------------------

1 0

Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
by Joerg Brendle 01 Aug '14

01 Aug '14

皆様、ブレンドレ＠神戸大学システム情報学研究科です。今秋は、渕野昌先生の還暦のお祝いを催し、数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」を１１月１７日（月）から１１月１９日（水）まで神戸大学にて開く予定です。この集会のウェブページは http://kurt.scitec.kobe-u.ac.jp/~brendle/sakae60/home.html にあります。参加申込の必要はありませんが、参加者人数を把握しておきたいので、参加をご予定の方は、 brendle(a)kurt.scitec.kobe-u.ac.jp まで予めご連絡くださると助かります。この集会の直前（１１月１０日〜１３日まで）、京都大学数理解析研究所にて研究集会「集合論における無限組み合わせ論とその応用」が行われる予定です。世話人は神戸大学の薄葉季路さんです。 http://www2.kobe-u.ac.jp/~usuba/RIMS2014/index.html をご覧下さい。多くの研究者（特に、海外からの研究者）が両方の集会に参加する見込みです。どうぞご参加ください。 jörg brendle

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2014