Logic-ml February 2023

8 participants
11 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

【講演追加募集】第57回MLG数理論理学研究集会
by kawano.t.af 27 Feb '23

27 Feb '23

みなさま第57回MLG数理論理学研究集会の講演追加募集のお知らせです。講演にかなりの空きがございますので、3月1日(水)まで、講演申し込み期限を延長いたします。皆様のご参加をお待ちしています。なお、聴講のみ希望の方の申し込みは、集会当日まで受け付けます。以上、よろしくお願いいたします。 ------------------------------------------------------------------- 第57回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2023年3月4日(土) - 3月5日(日) 場所：zoomオンライン開催発表申し込みや参加方法など，詳細は https://sites.google.com/view/57thmlg/ をご覧ください．講演を希望される方は，日程調整のため 2月26日までにお申し込みいただきますようよろしくお願いいたします． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． ------------------------------------------------------------------- 河野友亮

1 0

CADE-29 Call for Papers
by Nao Hirokawa 24 Feb '23

24 Feb '23

皆様 7月に FSCD とともにローマで開催されます、自動演繹に関する国際会議 CADE-29 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) ****************************************************************** CALL FOR PAPERS CADE-29: 29th international Conference on Automated Deduction Sapienza University of Rome Rome, Italy, 1-5 July 2023 https://easyconferences.eu/cade2023 ****************************************************************** -- Overview -- 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 computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-29 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-29 is in cooperation with ACM SIGLOG. -- Venue -- CADE-29 and affiliated satellite events will take place in Rome, Italy and will be co-located with FSCD 2023. -- Publication -- CADE-29 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of €200.00 per paper. Funding will be available for authors of accepted papers who cannot cover the €200 fee. -- Special Issue -- The authors of a selection of the best CADE-29 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of the Journal of Automated Reasoning. -- Submission Guidelines -- Submissions can be made in two categories: - **Regular papers**. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. - **Short papers**. This includes system descriptions, user experiences, case studies and domain models. Up to 10 pages in LNCS style, excluding references. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. 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. Selected accepted papers will be considered by Program Committee for the CADE Best Paper Award. Papers must be submitted to https://easychair.org/conferences/?conf=cade29 All submission must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors. -- Important Dates -- Abstract deadline: February 27, 2023 Submission deadline: March 6, 2023 Rebuttal phase: April 18-20, 2023 Notification: May 3, 2023 Final version: May 24, 2023 Main Conference: July 1-4, 2023 Satellite events: July 4-5, 2023 -- Program Committee Chairs -- Brigitte Pientka, MacGill University Cesare Tinelli, The University of Iowa -- Policies-- CADE implements the ACM policy against harassment. -- Contacts -- All questions about CADE-29 paper submissions should be emailed to the PC Chairs (cade29 at easychair.org).

1 1

CSCAT 2023 発表・参加募集
by Koko Akazaki Muroya 22 Feb '23

22 Feb '23

みなさま、 CSCAT 2023 の幹事を務めます京都大学の室屋です。重ねてのご案内になりますが、プログラムにはまだまだ余裕がありますので、みなさまのご参加・ご発表を大募集しております。現在進行中の研究でも構いません。 3月1日までの参加登録・発表申込をお願いいたします。 CSCAT 2023 日程：3月9日(木)午後〜10日(金) 場所：京都大学（吉田キャンパス総合研究2号館 478号室）幹事：室屋晃子（京都大学数理解析研究所） kmuroya(a)kurims.kyoto-u.ac.jp Webページ：https://sites.google.com/view/cscat2023/home （参加登録・発表申込フォームへのリンクがあります）多くのみなさまのご発表・ご参加をお待ち申し上げます。室屋晃子 ~~~~~~~~~~~~~~~~ 室屋晃子 Koko Muroya (kmuroya(a)kurims.kyoto-u.ac.jp / koko.muro.m(a)gmail.com) 京都大学数理解析研究所助教 ~~~~~~~~~~~~~~~~

1 0

リマインダ_第57回MLG数理論理学研究集会
by kawano.t.af 16 Feb '23

16 Feb '23

みなさま締め切りが近づいてまいりましたので、再度ご案内をさせていただきます。重複して受け取られた場合はご容赦下さい第57回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2023年3月4日(土) - 3月5日(日) 場所：zoomオンライン開催発表申し込みや参加方法など，詳細は https://sites.google.com/view/57thmlg/ をご覧ください．講演を希望される方は，日程調整のため 2月26日までにお申し込みいただきますようよろしくお願いいたします． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております．河野友亮

1 0

特定研究員募集（京都大学）
by Kohei SUENAGA 10 Feb '23

10 Feb '23

皆様， # 複数お受け取りになられましたらご容赦ください．京都大学の末永です．末永が代表を務めている JST CREST の「AI集約的サイバーフィジカルシステムの形式的解析設計手法」プロジェクトにおいて特定研究員を募集しております．ご応募お待ちしております．また，お近くに興味のありそうな方がいらっしゃいましたらご紹介いただけますとありがたいです．詳細は JREC-IN (https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=4&id=D123020450&ln_jor=0）をごら… どうぞよろしくお願いいたします．末永 -- 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

[jssst-ppl] 【参加募集】第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
by Keigo Imai 07 Feb '23

07 Feb '23

皆様（重複ご容赦ください），岐阜大学の今井と申します． 3 月 6 日（月）～ 8 日（水）に名古屋大学とオンラインでハイブリッド開催される，第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は，　　　　対面： 2 月 28 日（火）23:59（JST）（早期に締め切る場合があります）　オンライン： 3 月 8 日（水）10:00（JST）（開催最終日まで受付します）です．どうぞお早めのご登録をお願い致します． -------------------------------------------------------------------------- 　第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） https://jssst-ppl.org/workshop/2023/ 参加登録のご案内主催：日本ソフトウェア科学会プログラミング論研究会共催：名古屋大学大学院情報学研究科会場：名古屋大学 IB電子情報館 (中棟) 　　　およびオンライン（Zoom, Gather, Slack）のハイブリッド開催日程：2023 年 3 月 6 日（月）～ 8 日（水）　　　（初日は 12-13時開始予定；最終日は 16時までに終了予定） PPL 2023 はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です． PPL 2023 は，通常の研究会形式での対面を中心とした，ハイブリッド形式で開催いたします．オンライン会場については昨年同様のツールを用い，現地より Zoom および Gather (ポスター) を用いて配信するとともに Slack を質疑・議論の場として活用いたします．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2023/registration.html 参加登録締切（参加形態の違いにご注意下さい）：　　　対面参加： 2 月 28 日（火）23:59（JST）（早期に締め切る場合があります）オンライン参加： 3 月 8 日（水）10:00（JST）（開催最終日まで受付します）＊感染対策の都合で、対面参加は早期に締め切らせていただくことがございます。問い合わせ先： ppl2023-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2023-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー　KLab株式会社　合同会社コトイコンサルタンシー・ゴールドスポンサー　株式会社HERP 　株式会社オプト　東京大学協創プラットフォーム開発株式会社 ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org ================================================================ -- Keigo Imai (今井敬吾; 岐阜大学工学部) keigo.imai(a)gmail.com

1 0

First Call for Papers LORI 2023 (26-29 October 2023, Shandong, China)
by Katsuhiko Sano 07 Feb '23

07 Feb '23

logic-ml のみなさま、北海道大学の佐野です。LORI 2023の First Call for Papers をお送りいたします。どうぞ投稿をご検討ください。佐野勝彦 ------ First Call for Papers LORI 2023 (26-29 October 2023, Shandong, China) The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers. We invite submission of contributed papers on any of the broad themes of LORI series; specific topics of interest include, but are not limited to, formal approaches to · agency · argumentation and agreement · belief representation · probability and uncertainty · belief revision and belief merging · knowledge and action · dynamics of informational attitudes · intentions, plans, and goals · decision making and planning · preference and utility · cooperation · strategic reasoning and game theory · epistemology · social choice · social interaction · speech acts · knowledge representation · norms and normative systems · natural language · rationality · philosophical logic 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 paper by Monday May 15, 2023, via EasyChair ( easychair.org/conferences/?conf=lori9). Accepted papers will be collected as a volume in the FoLLI Series on Logic, Language and Information, and authors may be later invited to submit extended versions of their papers in a special issue of a prestigious journal. For detailed conference information and registration, please visit golori.org/lori2023/ PC Chairs: Natasha Alechina (Utrecht University, The Netherlands), Andreas Herzig (CNRS, Univ. Toulouse III, France) Local chair: (Fei Liang, Shandong University, China) Contacts: Programme: Natasha Alechina <n.a.alechina(a)uu.nl> <n.a.alechina(a)uu.nl> Conference: Fei Liang <f.liang(a)sdu.edu.cn> <f.liang(a)sdu.edu.cn>

1 0

29th WoLLIC 2023 - 2nd Call for Papers
by Kazushige TERUI 03 Feb '23

03 Feb '23

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Canada, 11-14 July, 2023. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS) (tbc), European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL). LOCATION AND FORMAT Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published as a volume in Springer's LNCS series. Due to the earlier timeline this year, the proceedings will appear after the workshop. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Makoto Kanazawa (Hosei University, Japan) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) (more to be confirmed) IMPORTANT DATES February 20, 2023: Abstract deadline February 27, 2023: Full paper deadline May 15, 2023: Author notification June 5, 2023: Final version deadline PROGRAMME COMMITTEE Bahareh Afshari (University of Gothenburg, Sweden and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Danish Technical University, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Michael Moortgat (Utrecht University, Netherlands) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh, University College London, UK Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/

1 0

田中一之名誉教授および板東重稔名誉教授の最終講義のご案内(2月10日(金))
by YOKOYAMA Keita 03 Feb '23

03 Feb '23

みなさま，東北大学数学専攻の横山啓太です．これまで新型コロナウイルスの影響により延期されておりました，東北大学数学教室の田中一之名誉教授および板東重稔名誉教授の最終講義のイベントが以下の日程で行われますのでその案内をお送りしております．【日にち】2023年2月10日(金）【時間】田中一之名誉教授の最終講義は13時15分から45分間．板東重稔名誉教授の最終講義は14時30分から45分間(ただし当日の進行によって，開始時刻が後ろに若干ずれる可能性はあります）．【講演タイトル】田中一之名誉教授は「数学基礎論の伝統と変革　ー自分史的考察ー」．板東重稔名誉教授は「分からない数学」【場所】東北大学　青葉サイエンスホール【参加方法】原則Microsoft Teamsによる．【参加登録締め切り】2月6日(月) 会場の規模と感染症対策のため，対面の参加者は原則東北大学数学教室構成員とさせていただきます．ご参加を希望されます方は，以下のリンクから参加登録を2月6日(月)までにお願いいたします： https://forms.gle/PaPzBbfSpDzro9o79 参加登録後，後ほどMicrosoft Teamsのリンクをお送りいたします．皆さまのご参加をお待ちしております．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2023