Logic-ml May 2019

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

11 participants
12 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic 【１５日（金）】池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題）河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題）鹿島亮（東工大）２階の関数記号を持つ１階述語論理について山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー大森仁（京大）Jaskowskiのdiscussive logicの周辺金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について＝＝＝＝以上＝＝＝＝

1 8

代数・論理・幾何と情報科学（ALGI）8月31日～9月1日（福岡）講演募集
by Akitoshi Kawamura 17 Aug '19

17 Aug '19

皆様（重複してお受取りの際はご容赦ください。）九大の河村と申します。標記の研究集会についてお知らせ致します。 ************************************************** 第三十回 ALGI（代数・論理・幾何と情報科学研究集会）令和元年8月31日（土）～9月1日（日）九州大学伊都キャンパス（福岡県福岡市西区）開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、九州大学マス・フォア・インダストリ研究所（IMI）の共同利用研究集会として開催します。第30回記念の特別企画として、 ALGI各分野の応用的側面の話題について招待講演を予定しております。奮ってご参加ください。 ●招待講演勝股審也（国立情報学研究所）竹内泉（産業技術総合研究所）長谷川勇（スクウェア・エニックス）前原貴憲（理化学研究所） ●日程令和元年（2019年）8月31日（土）～9月1日（日） ●会場九州大学　伊都キャンパス IMIコンファレンスルーム（ウエスト一号館D棟4階W1-D-414） http://www.imi.kyushu-u.ac.jp/pages/joint_research_auditorium.html 講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）・講演資料を後日ご提供いただけるかどうか※［はい／いいえ］などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。 ※研究所共同利用の報告書に記載するため、もし差支えなければ、　講演内容について一件3～15ページ程度の資料（スライドのコピー等でも　結構です）を御提供いただけると幸いです。　「はい」を選択いただいた方には開催終了後に改めてお伺いさせて頂きます。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけますが、初日の夕方に予定している懇親会については、事前に詳細を告知し参加申込を受け付ける予定です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人河村彰星（九州大学）津曲紀宏（崇城大学）西澤弘毅（神奈川大学）溝口佳寛（九州大学）

1 2

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

18 Jun '19

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

1 1

Nagoya logic seminar
by 吉信康夫 28 May '19

28 May '19

皆様：名古屋大学の吉信です。以下の要領で名古屋ロジックセミナーを開催します。日時：5月31日(金) 15:30〜場所：名古屋大学大学院情報学研究科棟1階122室(講義室2) 講演者：渕野昌(神戸大学) タイトル：The trichotomy of the possible size of the continuum under the existence of a Laver-generic large cardinal 詳しくは名古屋ロジックセミナーのページをごらんください。 http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 多数の方のご参加をお待ちしております。

1 0

SLACS 2019 講演募集のお知らせ
by Kensuke Kojima 26 May '19

26 May '19

皆様（複数のメイリングリストに送信しています。重複して受信の際はどうぞご容赦ください。） SLACS 2019（記号論理と情報科学）幹事の京都大学の小島健介です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2019（記号論理と情報科学） https://sites.google.com/view/slacs-2019/home 日時 2019年9月9日（月）から2019年9月10日（火）場所京都市左京区吉田本町京都大学総合研究8号館3階講義室3 参加費無料。ただし、懇親会費は別途徴収します（懇親会は初日夕方に開催予定）。幹事京都大学小島健介連絡先 kozima(a)kuis.kyoto-u.ac.jp SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS 2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・懇親会申込方法：講演・懇親会参加を希望される方は、以下のフォームよりお申し込み下さい。（聴講のみの場合は申し込み不要です。）フォーム送信後に表示される URL を控えておくと後で回答内容を編集できます。講演申し込み: https://docs.google.com/forms/d/e/1FAIpQLSdYjYnWTM8peBMkh7NraVW3SdFPmmSz8QD… 懇親会参加申し込み: https://docs.google.com/forms/d/e/1FAIpQLSckwAzNX3nRuDfKOmju0YphATiYnjcsbT4… 講演申込期限は **2018年8月25日** としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。

1 0

[CFP] The Coq Workhsop 2019
by Jacques Garrigue 22 May '19

22 May '19

Logic-mlの皆様、名古屋大学のGarrigueです。投稿締切が近づきましたので、再度Coq Workshop 2019のCFPを送らせていただきます。フランス国立情報学自動制御研究所のNicolas Tabareau博士とCoqの開発チームによる招待講演を予定しております！ぜひ投稿をご検討ください。投稿〆切：2019-06-04 (2ページの概要) よろしくお願いいたします。 -- ********************************************************************* The Coq Workshop 2019: Call for Talk Proposals Colocated with the 10th International Conference on Interactive Theorem Proving (ITP 2019), Portland, OR, USA ********************************************************************** We are pleased to invite you to submit talk proposals for the Coq workshop 2019, which will be held on September 8 2019, in Portland, OR, USA. The Coq workshop is part of ITP 2019 (https://itp19.cecs.pdx.edu/). The Coq workshop 2019 is the 10th Coq Workshop. The Coq Workshop series (https://coq.inria.fr/coq-workshop/) brings together Coq (https://coq.inria.fr/) users, developers, and contributors. While conferences usually provide a venue for traditional research papers, the Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks. We invite all members of the Coq community to propose informal talks, discussion sessions, or any potential uses of the day allocated to the workshop. Important dates: - June 4 2019: Deadline for abstract submission - July 2 2019: Notification to authors - September 8 2019: Workshop Submission Instructions: Authors should submit short proposals through EasyChair (https://easychair.org/conferences/?conf=coq2019) in the form of a PDF extended abstract of less than 2 pages, in full-page single-column style. Relevant subject matter includes but is not limited to: - Theory and implementation of the Calculus of Inductive Constructions - Language or tactic features - Plugins and libraries for Coq - Techniques for formalization programming languages and mathematics - Applications and experience in education and industry - Tools and platforms built on Coq (including interfaces) - Formalization tricks and pearls Program Committee: - Reynald Affeldt (AIST) - Christian Doczkal (CNRS - LIP, ENS Lyon) - Jacques Garrigue (Nagoya University) - Chantal Keller (LRI, Univ. Paris-Sud) - Dominique Larchey-Wendling (CNRS, Loria) - Gregory Malecha (BedRock Systems Inc.) - Pierre-Marie Pédrot (INRIA) - Ilya Sergey (Yale-NUS College and NUS School of Computing) - John Wiegley (DFINITY) Organization contact (co-chairs): reynald.affeldt AT aist.go.jp, garrigue AT math.nagoya-u.ac.jp For more information: https://staff.aist.go.jp/reynald.affeldt/coq2019/ _______________________________________________ jssst-ppl mailing list jssst-ppl(a)fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl

1 0

ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19
by David Nowak 21 May '19

21 May '19

*************************************************************** Call for participation — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond 16 June 2019 Second International workshop on the use of theorem provers for modelling and verification at the hardware-software interface https://entropy2019.sciencesconf.org Co-located with EuroS&P'19, KTH, Stockholm, June 2019 *************************************************************** PROGRAM HIGHLIGHTS Formal Proof of a Secure OS Full Trusted Computing Base by Dominique Bolignano, Prove & Run Time protection: principled prevention of timing channels by Gernot Heiser, University of New South Wales Proving the security of interrupt handling against interrupt-based side-channel attacks: a case study by Frank Piessens, KU Leuven Nailing Down the Architectural Abstraction by Peter Sewell, University of Cambridge

1 0

Final Call for Papers: One week deadline extension of LORI-VII (18-21 October 2019@Chongqing)
by Katsuhiko Sano 15 May '19

15 May '19

Logic-ml の皆様、北海道大学の佐野勝彦です。今年10月に中国の重慶で開催される LORI-VII の final cfp をお送りいたします。皆様、奮ってご投稿ください。佐野勝彦 -------------------------------------------------------------------------------------------------------------- Final Call for Papers: One week deadline extension The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, China, 18-21 October 2019. Conference Website: http://golori.org/lori2019/. The International Conference on Logic, Rationality and Interaction (LORI) conference series aims to bring together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of logic as an interdisciplinary endeavor, and supports the creation of an East -Asian community of interdisciplinary researchers. Keynote Speakers: Thomas Ågotnes (Bergen/Southwest) ∙ Leila Amgoud (Toulouse) ∙ Kevin Kelly (Carnegie Mellon) ∙ Rineke Verbrugge (Groningen) ∙ Michael Wooldrige (Oxford) ∙ Yanjing Wang (Beijing) We invite submission of contributed papers on any of the broad themes of the LORI series; specific topics of interest include, but are not limited to, formal approaches to: Agency, argumentation and agreement, belief representation, cooperation, belief revision and belief merging, strategic reasoning, games, decision making and planning, knowledge and action, epistemology, dynamics of informational attitudes, knowledge representation, interaction, norms and normative systems, natural language, rationality, philosophy and philosophical logic, preference and utility, social choice, probability and uncertainty, social interaction, intentions, plans, and goals. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 20, 2019, and your full paper by May 27, 2019. Submission is via the EasyChair for LORI-VII: https://easychair.org/my/conference?conf=lori7. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and extended versions of some will later be considered for publication in a special issue of the Journal of Logic, Language and Information (JoLLI). Local Chair: Meiyun Guo, South-West University, Chongqing, China. Program Committee: Andreas Herzig, Davide Grossi, Dominik Klein, Dongmo Zhang, Emiliano Lorini (co-chair), Eric Pacuit, Fengkui Ju, Fernando R. Velázquez-Quesada, Gabriella Pigozzi, Gregory Wheeler, Guo Meiyun, Hiroakira Ono, Hans van Ditmarsch, Hu Liu, Jakub Szymanik, Jeff Horty, Jeremy Seligman, Jérôme Lang, Junhua Yu, Katsuhiko Sano, Kaile Su, Kohei Kishida, Luciana Benotti, Natasha Alechina, Nina Gierasimczuk, Olivier Roy, Patrick Blackburn (co-chair), Paolo Turrini, R. Ramanujam, Robert van Rooij, Sara Negri, Sonja Smets, Soroush Rafiee Rad, Thomas Bolander, Thomas Icard, Thomas Ågotnes, Valentin Goranko, Wesley Holliday, Yì N. Wáng. Inquiries concerning the submission of papers should be addressed to Patrick Blackburn (patrick.rowan.blackburn(a)gmail.com) and Emiliano Lorini (Emiliano.Lorini(a)irit.fr).

1 0

教員公募（早稲田大学基幹理工学部、女性限定）
by USUBA Toshimichi 14 May '19

14 May '19

皆様、早稲田大学基幹理工学部の薄葉です。早稲田大学基幹理工学部応用数理学科で女性限定の公募を開始いたしました。職位：専任講師、准教授または教授 1 名【女性限定】所属：早稲田大学理工学術院専門分野：応用数理担当講義：応用数理に関する専門科目、理工学術院における一般教育数学科目着任時期：2020年4月以降なるべく早い時期勤務形態：常勤（任期なし）応募締め切り:2019年7月19日（金）（必着）詳細につきましてはリンク先のpdfをご覧ください。 https://waseda.box.com/shared/static/4oft3dtumtlz958gcl27hg5x21qlr6ih.pdf 「専門分野：応用数理」は幅広い意味でとらえていただいて構いません。関係各位にご周知いただくと共に、適任者をご存知の場合は応募をお勧めくださいますようお願い申し上げます -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 0

国際会議AQIS2019のご案内
by NISHIMURA Harumichi 13 May '19

13 May '19

logic-mlの皆様量子情報科学に関する国際会議AQIS2019のCFPを代理投稿させていただきます．締め切りまで２週間弱ですが関連する成果をお持ちの方の積極的なご投稿を宜しくお願い致します．名古屋大学大学院情報学研究科西村治道 ------------------------------------------------------------------------------------ CALL FOR PAPERS 19th Asian Conference on Quantum Information Science (AQIS'19)http://aqis-conf.org/2019/ 19-23 August 2019, Seoul, Korea Apologies if you receive this multiple times. Please forward to interested colleagues. We would like to draw your attention, and that of the quantum information community, to the 19th edition of the Asian Conference on Quantum Information Science (AQIS'19). AQIS is the leading conference in the subject in Asia and one of the longest-running worldwide, its highly successful predecessors having been EQIS'01-05 and AQIS'06-18. The topics covered include (but are not limited to) quantum computing, quantum information processing, quantum communication and cryptography, and foundations of quantum mechanics. Details about the conference are to be found on the website http://aqis-conf.org/2019/ Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'19 will consist of tutorials, invited talk, as well as oral and poster presentations, selected by a high-profile international program committee. Invited speakers are: * Giulio Chiribella (Hong Kong University) * Peng Xue (Beijing Computational Science Research Center) * XiaoLiang Qi (Stanford University) * Michelle Simmons (University of New South Wales / CQC2T) * Kihwan Kim (Tsinghua University) * Joe Fitzsimons (Singapore University of Technology and Design) * ChaoYang Lu (University of Science and Technology of China) * Liang Jiang (Yale University) Tutorials are: * Nathan Wiebe (Microsoft Research) ― Quantum Machine Learning * Debbie Leung (University of Waterloo) ― Embezzlement and Applications The submission deadline is 25 May 2019 (Sat), 23:59 Anywhere on Earth (AoE). All submissions should follow the guidelines specified on the web site:http://aqis-conf.org/2019/submission/ We are looking forward to seeing you in Seoul! Committee Chairs Steering Committee: Jaewan KIM (KIAS, Chair) Program Committee: Howard Wiseman (Griffith U, Chair) Runyao Duan (U Tech Sydney / Baidu, Co-Chair) Eleanor Rieffel (NASA, Co-Chair) Organizing Committee: Jaewan KIM (KIAS, Chair)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2019