Logic-ml

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

1792 discussions

Talk by Nobuko Yoshida (July 30th, Tuesday, 14.00-)
by Kazushige TERUI 25 Jul '19

25 Jul '19

みなさま来週火曜日に京都大学にて吉田展子さん（Imperial College London）によるご講演があります。詳細は下記の通りです（いつもとは曜日・時間が異なりますのでご注意ください）。よろしければぜひご参加ください。京都大学数理解析研究所照井一成 ========== Time: 14:00-15:00, July 30th, Tuesday, 2019 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Title: Behavioural Type-based Static Verification Framework for Go Speaker: Nobuko Yoshida (Imperial College London) http://mrg.doc.ic.ac.uk/ Abstract: I first give an overview of recent researches of my group. Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) programmers to develop concurrent systems where components interact through communication more so than by lock-based shared memory concurrency. Go can detect global deadlocks at runtime, but does not provide any compile-time protection against all too common communication mismatches and partial deadlocks. In this work we present a static verification framework for liveness and safety in Go programs, able to detect communication errors and deadlocks by model checking. Our toolchain infers from a Go program a faithful representation of its communication patterns as behavioural types, where the types are model checked for liveness and safety.

1 0

[1st CFP] SOCREAL 2019
by Katsuhiko Sano 18 Jul '19

18 Jul '19

The First Call for Papers SOCREAL 2019 5th International Workshop on Philosophy and Logic of Social Reality 15 - 17 November 2019 Hokkaido University, Sapporo, JAPAN Under the auspices of Philosophy and Ethics Laboratory at Faculty of Humanities and Human Sciences, Hokkaido University, CAEP Center for Applied Ethics and Philosophy at Faculty of Humanities and Human Sciences, Hokkaido University, and LOG-UCI An interdisciplinary study of the logical dynamics of the interaction between utterances and social contexts, A research Project funded by JSPS (JSPS KAKENHI Grant Number JP 17H02258) [About SOCREAL] Since the last years of the 20th century, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. The earlier editions of SOCREAL Workshop has been held in March 2007, March 2010, October 2013, and October 2016. Building upon the success of these editions, its fifth edition will be held from 15 November till 17 November 2019. SOCREAL 2019 will consist of keynote lectures by invited speakers and presentations of submitted papers. Keynote lectures will be given by Barteld Kooi (University of Groningen), Jeremy Seligman (University of Auckland), and Tomoyuki Yamada (Hokkaido University). The working language of SOCREAL Workshop is English. [Submission] Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 23 August 2019 to yamada(a)let.hokudai.ac.jp . Each abstract will be peer-reviewed by the program committee of the workshop. The abstract should be written in English and sent as an attachment in .pdf format. Each abstract should include a title, names and contact details of the author or all the co-authors. It is requisite for the author or at least one of the co-authors of each accepted paper to attend the workshop and present the paper. [Important Dates] Deadline for Submission of Abstracts: 23 August 2019 Notification of Acceptance: 13 September 2019 Deadline for Registration: 14 October 2019 Workshop: 15-17 November 2019 [Publication] A printed booklet containing the abstracts of all the accepted papers will be available at the workshop. On-line proceedings containing the papers and the presentation slides presented at the workshop will be made available after the workshop. Authors of the presented papers will also be encouraged to submit (the revised versions of) the full papers for publication in an issue of The Journal of Applied Ethics and Philosophy after the workshop. The papers should be written according to the submission guidelines of the journal, and will be peer-reviewed. Further particularities and instructions will be announced after the workshop. [Website] For more information, please visit the following website: http://www.asahi-net.or.jp/~yt6t-ymd/sr19/index.html . [Contact] Tomoyuki Yamada yamada(a)let.hokudai.ac.jp

1 0

Talk by Gabriele Vanoni (July 18th, 11.00-)
by Kazushige TERUI 14 Jul '19

14 Jul '19

みなさま今週木曜に京都大学にてGabriele Vanoniさんによるご講演があります。詳細は下記の通りです。よろしければご参加ください。京都大学数理解析研究所照井一成 ========== Time: 11:00-12:00, July 18th, 2019 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Gabriele Vanoni (Univ. Bologna) Title: The Geometry of Abstract Machines Joint work with Ugo Dal Lago and Beniamino Accattoli Geometry of Interaction (GOI) is a semantic framework describing the dynamics of cut-elimination in the Multiplicative Exponential fragment of Linear Logic (MELL). It has been formulated in many ways, from operator algebras to traced symmetrical monoidal categories. Remarkably, some of these formulations, in particular Context Semantics by Gonthier et al. led to the introduction of compilation techniques (Mackie '95) and abstract machines for higher-order functional languages (Danos and Regnier '99). However, these machines were always based on a proof-net representation of programs, via the so-called Girard translation. We introduce an abstract machine in the spirit of GOI based directly on the λ-calculus, without any explicit use of proof-nets. We prove soundness and adequacy, and we derive in our framework an optimization already presented by Danos and Regnier. We intend to analyze in the future the complexity of these machines, with particular emphasis on the trade-off between space and time efficiency.

1 0

論理学と形而上学についての講演会；7月18日14時30分より、名古屋大学情報学棟第4講義室
by 久木田水生 12 Jul '19

12 Jul '19

皆さま、 BCCにて失礼します。名古屋大学情報学研究科の久木田です。この度、岸田功平さんをお招きして下記の通り講演会を開催します。岸田功平さんはDalhousie大学のDepartment of Mathematics and Statisticsに所属されており、様相論理や圏論がご専門です。今回は様相述語論理と形而上学に関連するお話をしていただきます。岸田さんのウェブサイト https://www.mathstat.dal.ca/~kishida/ 皆様、どうぞ振るってご参加ください。また、興味のありそうな方に声をかけていただけると幸いです。久木田水生記日時：2019年7月18日（木）、14時30分から場所：名古屋大学情報学棟1F第4講義室。アクセス→ https://www.i.nagoya-u.ac.jp/access/ 講演者：岸田功平タイトル：Quantified Logic for Modal Reasoning and Theorizing 要旨： Logicians and metaphysicians have developed various models and semantics of quantified modal logic. These semantics come with ontological and metaphysical implications regarding the references of singular terms --- such as the necessity of Hesperus being Phosphorus. My primary question in this talk is how these metaphysical facts can be a posteriori facts, as opposed to a matter of logic, of the sort that a cognizer can come to know. The goal of this talk is to give a semantics that sheds new light on this aposteriority. I will take an approach in terms of intensional logic that treats all singular terms, predicates, and quantifiers as uniformly intensional. Combined with epistemic logic, my approach will provide a semantics and logic in which metaphysical principles regarding cross-world reference are substantial facts that a cognizer can both learn and use in their modal reasoning and theorizing. 以上

1 0

第41回量子情報技術研究会（QIT41）会告案内
by Yasuhito Kawano 08 Jul '19

08 Jul '19

logic-mlの皆様、 NTTの河野です。第41回量子情報技術研究会（QIT41）の会告案内をお送りします。皆様のご参加をお待ちしております。よろしくお願いします。河野泰人 ----------------------------------------------------------------- 第41回量子情報技術研究会（QIT41）研究会の内容：　　情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　　第41回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，　自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，　広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も　歓迎致しますので，奮ってお申し込みください．　　なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，　下記のQITウェブサイトをご確認下さい．日時: 2019年11月18日(月)〜19日(火) 会場: 学習院大学百周年記念会館 (〒171-8588 東京都豊島区目白1-5-1) 発表募集分野 (申し込み状況によっては査読の可能性あり)：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究，数学的研究，および，その他関連分野．定員: 180名程度参加費：　一般4,000円，学生3,000円懇親会費：一般4,000円，学生2,000円 ※当日現地支払いの場合，参加費・懇親会費は上記に+1,000円が増額されます．　（参加事前登録または銀行振込が期限に間に合わない場合も，これに該当します．） ※学生限定・当日受付・予稿集なし・懇親会なしの参加費1,000円という選択肢もあります．　こちらは事前手続き不要です．研究会参加申込要領：　参加申込は下記 Web にて受付けます：　https://www.ieice.org/es/qit/qit41/ 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の　Webシステムを使用する予定．各種締切：【口頭講演申込締切】　　2019年10月4日（金）【ポスター講演申込締切】2019年10月18日（金）【予稿原稿提出締切】　　2019年10月18日（金）【参加申込締切】　　　　2019年11月1日（金）【問合せ先】　田崎晴明 (学習院大学) 　衞藤雄二郎（産総研）　柴田康介（学習院大学）　並木亮（学習院大学）　Email: qit41(a)qo.phys.gakushuin.ac.jp 主催: 量子情報技術特別研究専門委員会 (委員長: 平野琢也(学習院大学)) 共催: 応用物理学会量子エレクトロニクス研究会

1 0

モデル理論夏の学校・研究集会のお知らせ
by kota takeuchi 29 Jun '19

29 Jun '19

皆様２０１９年度のモデル理論夏の学校研究集会のお知らせです。本研究集会は，例年夏に開催されるモデル理論に関する研究集会です。モデル理論に興味のある方はだれでも参加していただけます。申し込み締め切り：８月２日（金）セミナーハウスに宿泊する場合は部屋数に限りがありますのでお早めにお申し込みください。また限られた予算内ですが旅費の援助も検討しています。希望される方はご相談ください。研究集会HP：https://sites.google.com/view/model-theory-summer-school-201/home 期間：２０１９年９月２日（月）午後～９月４日（水）午前場所：東海大学山中湖セミナーハウス山梨県南都留郡山中湖村山中３２３－１〒４０１－０５０１ＴＥＬ０５５５－６２－４１００世話役：竹内耕太、坪井明人筑波大学 kota(a)math.tsukuba.ac.jp, tsuboi(a)math.tsukuba.ac.jp 竹内耕太

1 0

（詳報）第18回関西集合論セミナ：2019年7月5日大阪府立大学
by Masaru KADA 21 Jun '19

21 Jun '19

みなさま：大阪府立大学嘉田勝です。過日ご案内しました小集会「第18回関西集合論セミナ」の詳報です。お問い合わせは嘉田まで。（講演のお申し込みは締め切りました）なお、関西集合論セミナの後、16:30 より、同じ講義室にて、 Paul Larson 氏による談話会講演を計画しています。（講演題目未定） ======== 第18回関西集合論セミナ 2019年7月5日（金） 13:00–-15:50 大阪府立大学中百舌鳥キャンパス A14棟333講義室プログラム（進行により多少前後します） 13:00--13:50 Paul Larson (Miami University, Ohio USA) Balanced Forcing Extensions 14:00--14:30 静間荘司（大阪府立大学） title to be announced 14:40--15:10 依岡輝幸（静岡大学） title to be announced 15:20--15:50 渕野昌（神戸大学） title to be announced ---- Paul Larson 氏講演概要 Title: Balanced Forcing Extensions Abstract: We will introduce the notions of virtual conditions and balanced conditions in definable partial orders, and apply these ideas to forcing extensions of the Solovay model. We will present a variety of independence results, and some ZF implications, for weak forms of the Axiom of Choice, and discuss related issues concerning the preservation of cardinals and chromatic numbers. Some of these results can be stated more generally using a natural classification of definable partial orders in terms of amalgamation properties. ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

第18回関西集合論セミナ：2019年7月5日（金）大阪府立中百舌鳥キャンパス
by Masaru KADA 18 Jun '19

18 Jun '19

みなさま：大阪府立大学嘉田勝です。下記のとおり集合論研究者向けの小集会を開催します。ご参加、ご講演のお申し込みはお気軽に嘉田まで。 ======== 第18回関西集合論セミナ 2019年7月5日（金） 13:00–16:00（予定）大阪府立大学中百舌鳥キャンパス（講義室未定）講演者（6月18日現在）（順不同） Paul Larson (Miami University, Ohio USA) 静間荘司（大阪府立大学）依岡輝幸（静岡大学）お問い合わせ：嘉田勝 kada(a)mi.s.osakafu-u.ac.jp ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

日本数学会2019年度秋季総合分科会の講演申し込みが開始されました
by Teruyuki YORIOKA 18 Jun '19

18 Jun '19

みなさま静岡大学の依岡です．日本数学会2019年度秋季総合分科会の講演申し込みが開始されました．多くのみなさまに講演をしていただきたいと思います．講演をご希望の方はなるべく早くに申し込みをしてください．講演締め切りは6月21日（金）までです． http://mathsoc.jp/meeting/kanazawa19sept/ なお，金沢駅周辺の宿泊事情により，参加ご予定の方はなるべく早めに宿泊予約をしていただくことが会場校より推奨されています．講演申し込みに併せて，早めの宿泊施設の予約もお願いします．

1 1

連続講演「計算量への数理論理学的アプローチ」
by Yoriyuki Yamagata 08 Jun '19

08 Jun '19

みなさま、下記のような連続講演を行います。表題：計算量への数理論理学的アプローチ日時：2019年7月5日20:00-21:00(初回）それ以降の開催日は参加者と相談して決定場所：大阪分散技術コミュニティ（大阪府大阪市福島区海老江２丁目８−２９ 2F）参加登録：https://connpass.com/event/134707/ 概要：計算量に関わる問題、とくにP≠NP問題を数理論理学的にアプローチする試みについて紹介します。最初に計算量理論を簡単に紹介したのち、Bussによる「限定算術」の階層がそれとどのように関わるかを説明します。さらに、限定算術の階層を等式系の無矛盾性証明を用いて分離する試みについて、講演者の次の二つの論文を紹介することにより報告します。 - CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC, Journal of Symbolic Logic 2018 - Separation of bounded arithmetic using a consistency statement, Preprint 予備知識は特に要求しません。参加は事前登録制です。なお、民間の会議室を借りて行うため、入場料1000円が必要です。また、Skypeによる遠隔参加も可能ですので、興味をお持ちの方はSkype idをメールで送付いただければと思います。本メールは興味のありそうな方に自由に転送していただいて結構です。よろしくご参集ください。 -- Yoriyuki Yamagata (Senior Researcher) National Institute of Advanced Industrial Science and Technology

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml