Logic-ml January 2023

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

6 participants
7 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

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

田中一之名誉教授および板東重稔名誉教授の最終講義のご案内(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

FSCD 2023: First Call for Papers
by Nao Hirokawa 01 Feb '23

01 Feb '23

皆様 7月にローマで行われます FSCD 2023 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 OVERVIEW -------- FSCD (https://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 logic, 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; - Applications of formal systems in education. 6. Formal Systems for 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 ------------- We aim to have a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. 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, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. 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. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. 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. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ----------------------- Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 2

リサーチアシスタント(RA)募集のお知らせ
by 山形賴之 20 Jan '23

20 Jan '23

logic-mlの皆様、産総研の山形です。お世話になっております。産総研では下記の通り「機械学習のソフトウェア検証・モニタリング・ソースコード解析への応用、特に強化学習の制御ソフトウエアの動作検証への応用についての研究」に従事していただけるリサーチアシスタントを募集しております。この研究は形式検証の技法を用いているため、時相論理・モデル検査に興味をお持ちの方を歓迎いたします。 https://unit.aist.go.jp/hrd/keiyaku_koubo/2022-cpsec_0005.html#ttl 研究の詳細については、例えばこちらをご覧ください Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering, 47(12), 2823-2840. https://staff.aist.go.jp/yoriyuki.yamagata/paper/Falsification_of_Cyber_Phy… 産総研のリサーチアシスタントは、大学院生の方を契約職員として採用し研究に従事していただきその研究成果を学位取得に役立てていただく制度です。詳しくは下記のページをご覧ください。 https://www.aist.go.jp/aist_j/business/alliance/ra/ra_index.html 詳細については私までお気軽にお問い合わせください。またお近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。よろしくお願いいたします。 --- 山形頼之（主任研究員）産業技術総合研究所サイバーフィジカルセキュリティ研究センター https://staff.aist.go.jp/yoriyuki.yamagata/

2 1

CSCAT 2023 開催案内
by Koko Akazaki Muroya 13 Jan '23

13 Jan '23

みなさま、 CSCAT 2023 の幹事を務めます京都大学の室屋です。以下の通り、今年度の CSCAT は京都大学で対面で行う予定です。日程：3月9日(木)午後〜10日(金) 場所：京都大学（吉田キャンパスの予定）幹事：室屋晃子（京都大学数理解析研究所） kmuroya(a)kurims.kyoto-u.ac.jp Webページ：https://sites.google.com/view/cscat2023/home 上記のWebページに参加登録・発表申込フォームへのリンクがあります。ご参加・ご発表を希望される方は、3月1日までに登録・申込をお願いいたします。みなさまのご参加をお待ち申し上げます。室屋晃子 ~~~~~~~~~~~~~~~~ 室屋晃子 Koko Muroya (kmuroya(a)kurims.kyoto-u.ac.jp / koko.muro.m(a)gmail.com) 京都大学数理解析研究所助教 ~~~~~~~~~~~~~~~~

1 0

第57回MLG数理論理学研究集会
by kawano.t.af 12 Jan '23

12 Jan '23

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

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2023