Logic-ml

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

8 participants
1773 discussions

WIAS Seminar: “The epsilon calculus with equality predicate and Herbrand complexity” (September 10, Waseda University)
by Makoto Fujiwara 07 Sep '18

07 Sep '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です． 9月10日(月)に早稲田大学早稲田キャンパスにてインスブルック大学の宮本賢治さんをお迎えしてセミナーを開催いたします．ヨーロッパで研究をされている宮本さんの日本での貴重なご講演です．参加自由ですのでどうぞふるってご参加下さい．なお，今回の講演は英語で行われます．予めご了承下さい．詳細については以下のページをご参照下さい． https://www.waseda.jp/inst/wias/news/2018/08/23/5646/ 日時：2018年９月10日(月)16:00-17:30 Date & Time: Monday, 10 September 2018, 16:00 – 17:30 場所：早稲田大学早稲田キャンパス9号館5階第1会議室 Venue: Meeting room #1 on the 5th floor, Building #9, Waseda University Speaker: Kenji Miyamoto (University of Innsbruck, Kenji.Miyamoto(a)uibk.ac.at) Title: The epsilon calculus with equality predicate and Herbrand complexity Abstract: Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. Moser and Zach study the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure [2]. We extend their results to epsilon-calculus with equality predicate. This is joint work with Georg Moser. [1] D. Hilbert and P. Bernays, Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939. [2] G. Moser and R. Zach, The epsilon calculus and Herbrand complexity, Studia Logica, vol. 82 (2006), no. 1, pp. 133--155. ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 1

RIMS研究集会「公理的集合論とその応用」のお知らせ（再送）
by minami0minami 07 Sep '18

07 Sep '18

皆様愛知学院大学の南です． RIMS研究集会「公理的集合論とその応用」を11月5日（月）午前ー８日（木）に京都大学数理解析研究所110号室にて開催します。まだ参加の申し込みが済んでいない方で，特に講演や旅費の補助を希望する方は早めに連絡をお願いします．また講演題目が決まったら早めに連絡をください．締切は9月中旬です． hminami0(a)dpc.agu.ac.jp まで連絡してください．プログラム等の情報は以下のウェブサイトで公開する予定です． http://minami.agu.ac.jp/ 参加の申し込みがまだ済んでいない方は次の情報を早めにお知らせください． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 氏名：所属機関：職名／学年：講演予定：あり／なし講演題目：出張期間：旅費補助の希望：あり／なしメールアドレス： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 南裕明愛知学院大学教養部数学・統計教室 hminami0(a)dpc.agu.ac.jp

1 0

Igor Potapov's talk (September 19, Fukuoka)
by Akitoshi Kawamura 03 Sep '18

03 Sep '18

皆様九州大学の河村と申します。イゴル・ポタポフ氏（リヴァプール大）の講演を9月19日（水）に開催いたします。どうぞお気軽にご参加ください。 http://www.fc.inf.kyushu-u.ac.jp/seminars/H300919.html Time: September 19, 2018, Wednesday 14:50–15:50 Place: Room 310, Ito Campus West Building 2, Kyushu University 　九州大学伊都キャンパス　ウエスト二号館310講義室 Pattern formations with broadcasting automata model Igor Potapov (University of Liverpool) The Broadcasting Automata model draws inspiration from a variety of sources such as Ad-Hoc radio networks, cellular automata, neighbourhood sequences and natural phenomena like superposition of waves and resonance. Algorithms for the broadcasting automata model are in the same vein as those encountered in distributed algorithms using a simple notion of waves, messages passed from automata to automata throughout the topology, to construct computations. The waves generated by activating processes in a digital environment can be used for designing a variety of wave algorithms. In this work we analyse the geometrical shapes of informational waves on integer grid generated in broadcasting automata model as well as their potential use for metric approximation in a discrete space, pattern formations and new distributed algorithms. -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

JAIST Logic Seminar Series (9月 20日) のお知らせ
by Nao Hirokawa 01 Sep '18

01 Sep '18

皆様９月２０日（木）に JAIST にて行われます、インスブルック大学 Aart Middeldorp 教授の講演のお知らせです。皆様、どうぞ奮ってご参加ください！廣川　直 (JAIST) ----------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 20 September, 2018, 14:00-15:00 Place: I-56 (Collaboration Room 7) at JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Aart Middeldorp (University of Innsbruck) Title: Automating Proof Terms in Term Rewriting Abstract: Proof terms are a useful concept for reasoning about computations in term rewriting. This talk gives an introduction to proof terms and mentions some of the challenges when reasoning about proof terms. Since human calculation with proof terms is tedious and error-prone, the tool ProTeM was developed that offers support for manipulating proof terms in left-linear rewrite systems. We use ProTeM throughout the talk to illustrate the various operations on proof terms. The talk is based on joint work with Christina Kohl. -----------------------------------------------------------------------

1 0

証明論研究集会2018のご案内
by Yoshihito Tanaka 31 Aug '18

31 Aug '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様，九州産業大学の田中義人です． 2018年度の証明論研究集会のご案内をお送りいたします．証明論研究集会は，例年行われている証明論を中心とした研究集会です．今年度は下記の要領で開催する予定です．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無過去の証明論研究集会： 2015年度証明論研究集会，2017年度証明論研究集会 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

Talk by Jeremey Seligman on "Adventures in Social Epistemic Logic"
by Ken Satoh 30 Aug '18

30 Aug '18

Dear all, I am very happy to announce the following talk by Jeremy Seligman at NII. Everyone is welcome. Best Regards, Ken Satoh email ksatoh(a)nii.ac.jp http://research.nii.ac.jp/~ksatoh ----------------------------------------------------- Date and Time: 15:00-16:00, 5 September (Wednesday) Place: Room 2009 (20F), National Institute of Informatics, https://www.nii.ac.jp/en/about/access/ Speaker: Jeremy Seligman (University of Auckland / Tsinghua Univeristy) http://www.arts.auckland.ac.nz/people/jsel014 Title: Adventures in Social Epistemic Logic Abstract: What can sociology and social psychology give to logic, especially epistemic logic? We look first at models of diffusion, which has been used to explain a wide variety of social phenomena from contagion to the spread of culture and innovation. As an alternative to the classic models based on linear algebra, we use cellular automata specified using modal logic with dynamic operators. We extend this approach to models of influence. >From these examples of non-relational deterministic "low-level" rational behaviour, we consider several extensions. First, a modest addition to model some higher-order reasoning in social situations. Second, a treatment of non-determinism using free parameters and constraints specified also in modal logic. Third, we consider changes to the social relations using a PDL-like extension to our modal specification language. Finally, we look at "colouring games" as a paradigm of sociological explanation, and briefly introduce the approach of Boolean network games, that uses logically specified automaton-based models, together with concepts from game theory.

1 0

PPL 2019 企業スポンサー募集のお知らせ
by Kohei SUENAGA 27 Aug '18

27 Aug '18

皆様，（複数お受け取りの場合はご容赦ください．）第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) のプログラム共同委員長を仰せつかっておりますクックパッドの笹田と京大の末永です． PPL ワークショップでは，今年から新しい試みとして企業スポンサーを募集することになりました．興味を持っていただけそうな方に circulate いただけますと幸いです．よろしくお願いいたします． -- PPL 2019 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．毎年多数の大学生・大学院生が参加し，お互いの研究成果について発表・議論し，大学や分野の垣根を超えて交流を深めています．今回から、本ワークショップの趣旨にご賛同いただけるスポンサーの募集をすることとなりました．頂きました協賛金は，主に学生の参加費・宿泊費の軽減に利用させて頂きます．ご検討頂ければ幸いです．スポンサー募集に関する詳細は，下記 PDF をごらんください: https://jssst-ppl.org/workshop/2019/sponsorship-files/PPL2019_call_for_spon… スポンサーのご検討ならびにご発表をご検討いただけますと幸いです．どうぞよろしくお願いいたします．笹田耕一末永幸平 -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

[再送] Re: Call for Presentation at CTFM2018
by Kenshi Miyabe 25 Aug '18

25 Aug '18

皆様， presentationおよびregistrationの締切が迫っております． banquetの会場予約のために，少なくとも概数を知りたいと思いますので，参加される方は登録をよろしくおねがいします．宮部 2018年7月13日(金) 10:19 Kenshi Miyabe <research(a)kenshi.miyabe.name>: > > Dear all, > > We fix the important dates for submission and registration. > The details are below. > We are looking for your submission and registration, > and seeing you at CTFM 2018. > > Workshop on Computability Theory and Foundations of Mathematics 2018 > > Date: 13--15 September, 2018 > The venue: Surugadai Campus, Meiji University, Tokyo, > > > # Invited Speakers > > George Barmpalias (Chinese Academy of Sciences) > Matthew de Brecht (Kyoto University) > Bjorn Kjos-Hanssen (University of Hawaii at Manoa) > Tomoyuki Miyaji (Meiji University) > Igor Potapov (University of Liverpool) > Liang Yu (Nanjing University) > > > # Organising Committee > > Akitoshi Kawamura (Kyushu University) > Kenshi Miyabe (Meiji University) > > > Computability Theory and Foundations of Mathematics (CTFM) aims to > develop computability theory and logical foundations of Mathematics. > The scope involves the topics Computability Theory, Reverse > Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, > Philosophy of Mathematics, Constructive Mathematics, > Theory of Randomness, and Computational Complexity Theory. > > # important dates > submission: 27 August, 2018 > registration: 27 August, 2018 > > # submission > Abstracts of contributed talks should be submitted via easychair. > https://easychair.org/conferences/?conf=ctfm2018 > The length of every abstract is limited to 1 page of A4 including references. > > We welcome your original research work in the scope > as well as proposal and introduction of open problems. > > # registration > The registration can be done by google form. > https://goo.gl/forms/iHlXNPpytnmstQ263 > The registration fee is as follows. > The payment is cash-only, and at the registration. > 2,000 yen for general > free for students > > # Banquet > The banquet will be held in the evening on 14th September, 2018. > The banquet fee is as follows. > The payment is cash-only, and at the registration. > > 5,000 yen for general > 3,000 yen for students > 3,000 yen for accompanying person > > > For details, see the following website: > http://www.isc.meiji.ac.jp/~random/ctfm2018/ > > -- > Kenshi Miyabe > email (research) : research(a)kenshi.miyabe.name > email (other) : miyabe(a)meiji.ac.jp > Associate Professor > Department of Mathematics > School of Science and Technology > Meiji University > Tel: +81-44-934-7460 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 23 Aug '18

23 Aug '18

皆様，静岡大学の依岡です。竹内外史先生を追悼するシンポジウムのウェブサイトが更新されました．プログラムとアブストラクトを公開しています．招待講演のアブストラクトはまだ揃っていませんが，今後随時更新されます． SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ 日時：2018年9月18日（火）から20日（木）まで場所：神戸大学六甲台第2キャンパス内瀧川記念学術交流会館懇親会の参加は随時申し込みを受け付けております．まだお申し込みをされていない参加ご希望の方は件名を「SAML2018」として email で依岡輝幸 yorioka(a)shizuoka.ac.jp までお送りください．なるべく早くお申し込みいただけますよう，お願い申し上げます． ---ここから--- 氏名：所属：連絡先 (email)：懇親会：レセプション（参加・不参加），バンケット（参加・不参加） ---ここまで--- 懇親会：レセプション：2018年9月18日夜，会場：瀧川記念交流会館内，会費：4,000円程度バンケット（新井敏康教授還暦祝）：2018年9月19日夜，会場：未定，会費：12,000円程度連絡先：会場および懇親会について：菊池誠 mkikuchi(a)kobe-u.ac.jp 講演参加申込およびプログラムについて：依岡輝幸 yorioka(a)shizuoka.ac.jp

1 0

FINAL CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 15 (LENLS15)
by Katsuhiko Sano 22 Aug '18

22 Aug '18

皆様、北海道大学の佐野勝彦です。LENLS 15 の Final cfp をお送りします。重複してお受け取りの場合はどうぞご容赦下さい。佐野勝彦 -------------------------------------------------------- CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 15 (LENLS15) Workshop Site : Raiosha in Hiyoshi Campus of Keio University, Yokohama, Kanagawa 4-1-1 Hiyoshi, Kohoku-ku, Yokohama, Kanagawa 223-8521 http://www.hc.keio.ac.jp/en/about/ Dates : November 12-14, 2018 Contact Person: Osamu Sawada (Mie University) Contact Email : lenls15[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Osamu Sawada (Mie University) Co-chair: Elin McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Pauline Jacobson (Brown University) - Daniel Gutzmann (University of Cologne) - Lynne Tirrell (University of Connecticut) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (JSAI-isAI2018) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). 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, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - 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 (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls15 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ============ Abstract submission deadline: August 26, 2018 Notification of acceptance: September 30, 2018 Deadline for camera-ready copy: mid-October, 2018 Deadline for early registration: October 31, 2018 LENLS15: November 12-14, 2018 Sponsor: LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: - Osamu Sawada (Mie University) - Elin McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (Hirosaki University) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yurie Hara (Waseda University) - Magdalena Kaufmann (University of Connecticut) - Yoshiki Mori (University of Tokyo) - David Y. Oshima (Nagoya University) - Katsuhiko Sano (Hokkaido University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml