Logic-ml February 2021

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

8 participants
9 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 28 Feb '21

28 Feb '21

皆様：神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

【最終参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 26 Feb '21

26 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 参加登録の最終案内をいたします．参加登録の締切は明後日2月28日（日）23:00 (JST) です．締切までの参加費等のお支払いを忘れずにお願いいたします．多くの方々のご参加をお待ちしております．また，全カテゴリの採択論文・発表リストを https://jssst-ppl.org/workshop/2021/accepted.html にて公開しております．こちらもあわせてご参照ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/2021/ 最終参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．今年度は学生の参加は無料となっております．参加費および参加登録方法についての詳しい情報は次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================

1 0

2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21

（重複して受け取られた方はご容赦ください）みなさま芝浦工業大学の池上と申します。 2020年度数学基礎論若手の会を以下の要領で開催いたします。日時：2021年3月26日(金) - 3月28日(日) 場所：オンライン開催参加方法など、詳細は https://sites.google.com/view/younglogicians2020/ をご覧ください。多くのみなさまのご参加をお待ちしております。池上大祐

1 0

CLAR 2021: Logic and Argumentation, Hangzhou (China), 20-22 Oct 2021
by Katsuhiko Sano 13 Feb '21

13 Feb '21

Logic-ml の皆様、北海道大学の佐野勝彦と申します。CLAR 2021のcfpをお送りします。佐野勝彦 CALL FOR PAPERS -------------------------------------------- Fourth International Conference on Logic and Argumentation (CLAR 2021) 20-22 October 2021, Hangzhou, China Hybrid (physical or virtual attendance) https://www.xixilogic.org/events/clar2021/ -------------------------------------------- The 4th International Conference on Logic and Argumentation (CLAR 2021) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2021 will be held in Hangzhou, 20-22 October 2021 at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible. Papers accepted to CLAR 2021 will be published as Springer LNAI proceedings, and will be available online during the conference. Authors of selected papers will be invited to submit an extended version to a journal special issue after the conference. More information about CLAR 2021 can be found at the conference website: http://www.xixilogic.org/events/clar2021 The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China. Previous conferences can be accessed via: http://www.xixilogic.org/events/clar List of Topics -------------------- Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation Submission Guidelines -------------------- We invite two types of submissions: full papers (12 - 20 pages) describing original and unpublished work and extended abstracts (5 - 8 pages) of preliminary original work or extended abstracts of already published work (needs to be highlighted along with the title), from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the Springer LNCS style: ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2021 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. Important Dates -------------------- Submission: 30 June 2021 Notification: 1 August 2021 Camera-Ready: 15 August 2021 Conference: 20-22 October 2021 PC Chairs -------------------- Pietro Baroni, University of Brescia Christoph Benzmüller, Freie Universität Berlin Yì N. Wáng, Sun Yat-sen University

1 0

FSCD 2021: Call for Papers
by Naoki Kobayashi 11 Feb '21

11 Feb '21

皆様、東京大学の小林と申します。すでに他のメーリングリストでご欄いただいているかもしれませんが、締め切りが近くなりましたので、FSCD 2021 の論文募集案内をお送りさせていただきます。当初Buenos Airesで開催予定でしたが、COVID-19のため、オンライン開催となっております小林直樹東京大学 ======================== CALL FOR PAPERS Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 - July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with ACM SIGLOG and SIGPLAN NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 12, 2021 Submission: February 15, 2021 Rebuttal: April 2-5, 2021 Notification: April 19, 2021 Final version: May 3, 2021 FSCD (http://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type Inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences. 6. Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data Bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2021 Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. Complete instructions on submitting a paper can be found on the conference web site: https://fscd2021.dc.uba.ar/ One author of an accepted paper is expected to present it at the conference BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- M. Ayala-Rincón, Universidade de Brasília S. Berardi, University of Torino F. Blanqui, INRIA E. Bonelli, Stevens Institute of Technology É. Contejean, CNRS, Université Paris-Saclay T. Coquand, University of Gothenburg T. Ehrhard, Université de Paris, CNRS S. Escobar, Univ. Politècnica de València J. Espírito Santo, University of Minho C. Faggian, Université de Paris, CNRS A. Felty, University of Ottawa S. Figueira, Universidad de Buenos Aires M. Fiore, University of Cambridge M. Gaboardi, Boston University S. Ghilezan, University of Novi Sad I. Hasuo, National Institute of Informatics D. Kesner, Université de Paris R. Krebbers, Radboud University Nijmegen T. Kutsia, Johannes Kepler University Linz B. König, University of Duisburg-Essen M. Lenisa, University of Udine N. Nishida, Nagoya University L. Ong, University of Oxford P. Parys, University of Warsaw J. Rehof, TU Dortmund University C. Rocha, Pontificia Univ. Javeriana Cali A. Silva, University College London N. Szasz, Universidad ORT Uruguay A. Tiu, Australian National University S. Winkler, University of Verona H. Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET WORKSHOP CHAIRS -------------- Mauricio Ayala-Rincón, Universidade de Brasília Carlos López Pombo, Universidad de Buenos Aires STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Jamie Vicary, Oxford University PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Z. Ariola, University of Oregon M. Ayala-Rincón, University of Brasilia C. Fuhs, Birkbeck, University of London H. Geuvers, Radboud University S. Ghilezan, University of Novi Sad S. Guerrini, University of Paris 13 D. Kesner (Chair), University of Paris Diderot H. Kirchner, Inria C. Kop, Radboud University D. Mazza, University of Paris 13 L. Ong, Oxford University J. Rehof, TU Dortmund J. Vicary, Oxford University -- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba(a)is.s.u-tokyo.ac.jp

1 1

CADE-28: Final Call for Papers
by Nao Hirokawa 09 Feb '21

09 Feb '21

皆様自動演繹に関する国際会議 CADE-28 の論文投稿締切が近づきましたのでその募集案内を改めてお送り致します。ぜひ論文の投稿をご検討下さい。投稿締切の延長は予定されておりません。どうぞご注意下さい。廣川 (JAIST) ------------------------------------------------------------------------------------------------- /!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The submission deadline is firm, there will be no extensions. /!\ The other dates (rebuttal, notification, final version) have changed. ------------------------------------------------------------------------------------------------- CADE-28: Final Call for Papers The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021. http://www.cade-28.info In cooperation with ACM SIGLOG <https://siglog.acm.org> CADE-28 will be virtual due to the COVID-19 pandemic. CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. Important Dates Abstract deadline: 15 February 2021 Submission deadline: 22 February 2021 (AoE, no extensions) Rebuttal phase: 29-31 March 2021 Notification: 9 April 2021 Final version: 30 April 2021 Conference: 12-15 July 2021 Submissions can be made in two categories: Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html Papers must be submitted to the CADE-28 track via https://easychair.org/conferences/?conf=cade28 All questions about submissions should be emailed to André Platzer (aplatzer(a)cs.cmu.edu) and Geoff Sutcliffe (geoff(a)cs.miami.edu).

1 0

【参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 08 Feb '21

08 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月28日(日) 23:00 (JST) です．どうぞお早めのご登録をお願い致します．また，カテゴリ3 (ポスター・デモ発表) の発表申込締切が2月15日(月) 17:00 (JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/2021/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================ -- National Institute of Informatics (国立情報学研究所) Taro Sekiyama (関山太朗)

1 0

Louis de Broglie
by logic 04 Feb '21

04 Feb '21

この前、ご案内しましたドブロイの学位論文（フランス語）の英訳、先月出版されました。こちらから入手可能です。 https://www.amazon.co.jp/Research-Theory-Quanta-Louis-Broglie/dp/1927763983… にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura https://www.youtube.com/watch?v=0LFVxavjHfw

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2021