Logic-ml

10 participants
1782 discussions

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

第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) 論文募集/発表募集
by Kohei SUENAGA 16 Aug '18

16 Aug '18

皆様，（複数お受け取りの場合はご容赦ください．）第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) のプログラム共同委員長を仰せつかっておりますクックパッドの笹田と京大の末永です．Call for papers をお送りします． PPL 2019 は 2019年3月6日 (水)～3月8日 (金) の日程で岩手県志戸平温泉で開催されます．どうぞ論文の投稿をご検討ください．また，ワークショップへの広いご参加をいただけますと幸いです．どうぞよろしくお願いいたします．笹田耕一末永幸平 ====================================================================== 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019) https://jssst-ppl.org/workshop/2019/ 論文募集/発表募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2019年3月6日 (水)～3月8日 (金) 会場: 岩手県志戸平温泉「湯の杜ホテル志戸平」 PPL2019は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．投稿手続きは2段階です．発表申込締切: 2018年12月21日 (金) 17:00 (JST) 論文提出締切: 2019年1月7日 (月) 17:00 (JST) 採否通知：2019年2月4日 (月) カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年1月25日 (金) 17:00 (JST) 採否通知：2019年2月6日 (水) カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．発表申込締切: 2019年2月6日 (水) 17:00 (JST) 採否通知：2019年2月11日 (月) カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．発表申込締切: 2019年1月25日(金) 17:00 (JST) 採否通知：2019年2月6日 (水) 申込方法や詳細につきましては，上記ウェブページにて確定次第お知らせ致します． ====================================================================== 問い合わせ先 ppl2019-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2019-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ====================================================================== プログラム委員会青谷知幸 (東京工業大学) 赤間陽二 (東北大学) 浅井健一 (お茶の水女子大学) 稲葉一浩 (Google) 鵜川始陽 (高知工科大学) 遠藤侑介 (クックパッド) Jacques Garrigue (名古屋大学) Oleg Kiselyov (東北大学) 酒井政裕 (PFN) 笹田耕一 (クックパッド) [プログラム共同委員長] 佐藤重幸 (高知工科大学) 末永幸平 (京都大学) [プログラム共同委員長] 関山太朗 (国立情報学研究所) 高野保真 (青山学院大学) 田中哲 (産業技術総合研究所) 千代英一郎 (成蹊大学) 千葉滋 (東京大学) 塚田武志 (東京大学) 照井一成 (京都大学) 中澤巧爾 (名古屋大) 林崎弘成 (Google) 平井洋一 (イーサリアム) 堀江倫大 (日本IBM) 前田敦司 (筑波大学) 森畑明昌 (東京大学) 山田晃久 (国立情報学研究所) 組織委員会組織委員長浅田和之 (東京大学) 組織副委員長平石拓 (京都大学) 財務担当木村大輔 (東邦大学) 財務副担当森口草介 (関西学院大学) 会場担当新屋良磨 (秋田大学) 会場副担当安部達也 (千葉工業大学) 渉外担当佐藤亮介 (九州大学) プログラム共同委員長笹田耕一 (クックパッド) プログラム共同委員長末永幸平 (京都大学) ====================================================================== -- 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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml