Logic-ml February 2024

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

15 participants
20 discussions

東大数理の３月の談話会のご案内
by Daisuke Ikegami 20 Feb '24

20 Feb '24

（重複して受け取られた方はご容赦ください） Logic-ml, kisoron-ml のみなさま：中山大学の池上と申します。東大数理の新井先生が今年度をもって定年退職されます。３月に東大数理の談話会で講演をされるので、東大の知り合いから以下のご案内の代理投稿を頼まれました。興味のある方、ぜひご参加ください。池上大祐 ------------------------------------------------ Logic-ml, kisoron-ml の皆様：東京大学大学院数理科学研究科における3月の談話会についてご案内申し上げます．講演者は本研究科の新井敏康先生と山本昌宏先生です．曜日と時間が通常と異なりますのでご注意ください．講演は対面形式で行い，オンラインでのライブ配信はいたしません．東大数理メンバー以外の方が参加される場合は後述のリンクからの参加登録をお願いいたします． ============================================== 日時：３月１４日（木）１４：３０～１７：００場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ ------ １４：３０～１５：３０講演者：新井敏康氏 (東京大学大学院数理科学研究科) 題目：40年くらい摘要：1980年代から証明論を研究してきました．この講演ではこの40年くらいの間に私に起きたことと順序数解析に関する最新の結果をお話しします． ------ １６：００～１７：００講演者：山本昌宏氏 (東京大学大学院数理科学研究科) 題目：結局，好きだった数学：外縁部を歩んで摘要：40年余りたってから，今から振り返ってみると，異分野連携や運営業務にも携わってきたなかで結局，自分の数学が大好きだったと思いいたりました．自分の数学は，制御理論，逆問題，非整数階偏微分方程式の３つで尽くされます．これらは，現在では研究が盛んな分野に発展していたり，依然としてマイナーな部分もありますが，私が，たとえば逆問題をやり始めた頃は我が国では研究者人口が少なかったです．その頃は（今でもそうかもしれません），これらの分野は，華々しい注目を浴びてはおらず数学研究の外縁部に位置していましたが，基礎として使いうる発想や方法論が辛抱強く蓄積されていた時期でした．そのような状況にひかれて研究者としての歩みを始めました．研究活動の状況もあって，海外との研究者との共同研究が最初から大半を占めました．このような経過は，第3者の評価はともかくとして，自分に大きな楽しみを恵んでくれました．この講演では，自分の数学の内容にふれつつ，研究の進め方などにも関連させて，回顧的になりすぎないようにお話しをしたいと思います． ------ 東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/m38f1KRi67ECuA7MA 多くの皆様のご参加をお待ちしております． 2023年度談話会委員阿部紀行，岩木耕平，河澄響矢（委員長），小池祐太補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：次回の談話会は新学期4月以降となります． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

Call for Papers CIAA 2024
by Ryoma Sin'ya 19 Feb '24

19 Feb '24

みなさま，秋田大学の新屋です．（重複してお受け取りの節は何卒ご容赦ください）今年の9月3日から6日に秋田で開催されるオートマトンの応用・実装に関する国際会議 Conference on Implementation and Application of Automata (CIAA 2024) の論文募集の案内をお送りいたします． CIAAは今年で28回目の開催となりますが，日本での開催は初となります．応用・実装の名を冠していますが純粋に理論的な結果もスコープの範囲内です．投稿・参加をご検討いただければ幸いです．よろしくお願いいたします．新屋 Call for Papers --------------- The 28th International Conference on Implementation and Application of Automata (CIAA 2024) will be held in Akita, Japan, between September 3 – 6, 2024. CIAA 2024 website: http://www.math.akita-u.ac.jp/ciaa2024/ The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series: http://www.informatik.uni-giessen.de/ciaa/ciaa_welcome.html The purpose of CIAA is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. The first edition was held under the name Workshop on Implementing Automata (WIA’96) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in: • CIAA 2023 Famagusta, Northern Cyprus • CIAA 2022 Rouen, France • CIAA 2021 Bremen, Germany • CIAA 2020 (cancelled), Loughborough, United Kingdom • CIAA 2019, Kosice, Slovakia • CIAA 2018, Charlottetown, PEI, Canada • CIAA 2017, Marne-la-Vallée (Paris), France • CIAA 2016, Seoul, South Korea • CIAA 2015, Umeå, Sweden • CIAA 2014, Giessen, Germany A “Best Paper Awards” will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these “Best Paper Awards” are named “Sheng Yu Awards” in honor of our late colleague, Sheng YU. Submission Guidelines --------------------- Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed. Only electronic submission of PDF documents is possible. The proceedings will be published in the Springer LNCS series and will be available at the conference. Authors should submit their contributions through Easychair: https://easychair.org/conferences/?conf=ciaa2024 List of Topics -------------- We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to: • Algorithms on automata • Automata and logic • Bioinformatics • Complexity of automata operations • Compilers • Computer-aided verification • Concurrency • Data structure design for automata • Data and image compression • Design and architecture of automata software • Digital libraries • DNA/molecular/membrane computing • Document engineering • Editors, environments • Experimental studies and practical experiences • Industrial applications • Natural language processing • Networking • New algorithms for manipulating automata • Object-oriented modeling • Pattern-matching • Quantum computing • Speech and speaker recognition • Structured and semi-structured documents • Symbolic manipulation environments for automata • Teaching • Text processing • Techniques for graphical display of automata • VLSI • Viruses, related phenomena • World-wide web Important Dates --------------- • Submission deadline: April 19, 2024 • Notification to authors: May 24, 2024 • Camera-ready version: June 9, 2024 Invited Speakers ---------------- • Sang-Ki Ko, University of Seoul, Republic of Korea, • Orna Kupferman, Hebrew University, Israel • Hiroyuki Seki, Nagoya University, Japan Program Committee ----------------- • Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France • Cezar Câmpeanu, University of Prince Edward Island, Canada • Pascal Caron, University of Rouen Normandy, France • Giuseppa Castiglione, University of Palermo, Italy • Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary • Frank Drewes, Umeå University, Sweden • Ömer Egecioglu, University of California Santa Barbara, US • Attila Egri-Nagy, Akita International University, Japan • Szilárd Zsolt Fazekas, Akita University, Japan (chair) • Yo-Sub Han, Yonsei University, South Korea • Markus Holzer, University of Giessen, Germany • Jarkko Kari, University of Turku, Finland • Manfred Kufleitner, University of Stuttgart, Germany • Martin Kutrib, University of Giessen, Germany • Galina Jirásková, Slovak Academy of Sciences, Slovakia • Markus Lohrey, University of Siegen, Germany • Sylvain Lombardy, LaBRI — CNRS — Institut Polytechnique de Bordeaux, France • Andreas Maletti, University of Leipzig, Germany • Andreas Malcher, University of Giessen, Germany • Florin Manea, University of Göttingen, Germany • Sebastian Maneth, University of Bremen, Germany • Ian McQuillan, University of Saskatchewan, Canada • Brink van der Merwe, Stellenbosch University, South Africa • Roland Meyer, Technical University of Braunschweig, Germany • Victor Mitrana, Polytechnic University of Madrid, Spain • Nelma Moreira, University of Porto, Portugal • František Mráz, Charles University, Czech Republic • Benedek Nagy, Eastern Mediterranean University, Northern Cyprus • Friedrich Otto, University of Kassel, Germany • Giovanni Pighizzini, University of Milan, Italy • Luca Prigioniero, Loughborough University, UK • Rogério Reis, University of Porto, Portugal • Michel Rigo, University of Liège, Belgium • Kai Salomaa, Queen’s University, Canada • Shinnosuke Seki, University of Electro-Communications, Japan • Ryoma Shinya, Akita University, Japan • Nicholas Tran, Santa Clara University, US • György Vaszil, University of Debrecen, Hungary • Mikhail Volkov, Ural Federal University, Russia • Hsu-Chun Yen, National Taiwan University, Taiwan Organizing Committee -------------------- • Szilárd Zsolt Fazekas (Akita University) • Shinnosuke Seki (University of Electro-Communications) • Ryoma Shinya (Akita University) • Akihiro Yamamura (Akita University) Publication ----------- CIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of a journal to be announced. Venue ----- The conference will be held in the Atorion building in Akita, Japan. Contact ------- All questions should be addressed to Szilard Fazekas by email to ciaa2024(a)math.akita-u.ac.jp

1 0

（代理投稿）Friday Tea Time Zoom Seminar のお知らせ
by 西村祐輝 19 Feb '24

19 Feb '24

皆様東京工業大学の西村です。お茶の水女子大学の植木様より、代理投稿の依頼をいただきましたので、こちらに転送いたします。 --- 皆さま、第61回「Friday Tea Time Zoom Seminar」のお知らせです。皆様のご参加をお待ちしております。日時：2024年2月23日（金）（祝日開催にご注意ください） - 10:40〜11:00（コーヒータイム） - 11:00〜12:00（セミナー）開催形式：お茶の水女子大学からのハイブリッド形式講演者：高木翼さん（東京工業大学）タイトル：代数的仕様記述における始代数の特徴付けアブストラクト：代数的仕様記述とは, 普遍代数を応用して計算機科学における様々な仕様（自然数, 整数, 集合, リスト, スタック, 二分木など）を多ソート代数として記述する分野である. 代数的仕様記述では, 多ソートシグネチャから多ソート代数を構成する方法は一通りではないため, シグネチャの意図とは異なる代数が構成されてしまう可能性がある. 「シグネチャの意図通りである」ような代数は始代数であるとされ, その存在は同型の違いを除いて一意である. 本発表では, 多ソート代数が等式の公理からなる集合のモデルがなすクラス（このクラスはバラエティと呼ばれる）の始代数であることと, その代数が「ゴミ(junk)」と「混同(confusion)」を含まないことの同値性を示す. これはバラエティの始代数の特徴付けを与えていることになる. * Zoomでの参加方法については、本セミナーのウェブページ https://sites.google.com/view/fridayteatime/ をご確認ください。 * 現地でのご参加をご希望される方は、2/21までに担当の世話人（植木: uekijun46(a)gmail.xn--com)-853cnc8aj2hzc5nk648es22b. 世話人：植木潤（お茶の水女子大学）篠田万穂（お茶の水女子大学）関真一朗（青山学院大学）松坂俊輝（九州大学） --- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

2nd call for paper of QEST-FORMATS 2024
by Masaki Waga 13 Feb '24

13 Feb '24

みなさま、京都大学の和賀です。重複してお受け取りの節は何卒ご容赦ください。今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関する国際会議 QEST+FORMATS 2024 の第2回の論文募集の案内をお送りいたします。前回お送りしたものから、以下のように投稿期日などに変更があります。 IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 何卒投稿をご検討いただければ幸いです。和賀 The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: -- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); -- Languages and methods for the specification of quantitative properties of systems; -- Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; -- Quantitative and probabilistic aspects of programming; -- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; -- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; -- Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: -- Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): -- Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. -- Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. -- Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: -- Regular papers must not exceed 14 pages, excluding references. -- Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan Artifact Evaluation Chairs Tobias Meggendorfer, Lancaster University Leipzig, Germany Andrea Vandin, Sant'Anna School for Advanced Studies, Italy For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org). -- Masaki Waga Assistant Professor, Graduate School of Informatics, Kyoto University mwaga(a)fos.kuis.kyoto-u.ac.jp https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/

1 0

Fwd: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague
by Jérémy Dubut 12 Feb '24

12 Feb '24

FYI ---------- Forwarded message --------- From: <fahrenberg(a)gmail.com> Date: Sun, Jan 21, 2024 at 15:10 Subject: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague To: <dubutjeremy(a)gmail.com> Apologies for multiple copies of this email; please distribute as you see fit. CALL FOR PAPERS RAMiCS 2024 21st International Conference on Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19--23 August 2024 collocated with AiML https://ramics-conf.github.io/2024/ IMPORTANT DATES Abstract submission: 16 February 2024 Paper submission: 23 February 2024 Author notification: 4 May 2024 Final version due: 1 June 2024 Conference dates: 19-23 August 2024 INVITED SPEAKERS Tomasz Kowalski, Jagiellonian University in Kraków, Poland Sarah Winter, IRIF, Université Paris Cité, France SCOPE Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semi- rings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof- theoretic methods for these theories; their formalisation with theorem provers. Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control. We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2024 For more information, see https://ramics-conf.github.io/2024/

1 1

第58回MLG数理論理学研究集会(2/16--18)
by Hitoshi Omori 09 Feb '24

09 Feb '24

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第58回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。 https://sites.google.com/view/mlg58/home/program 参加は無料ですので、お気軽にお越しください。なお、懇親会への参加を希望される方は予約などの都合上14日までに私までご連絡いただけますと幸いです。どうぞよろしくお願いいたします。大森仁

1 0

Talk by Mance about ``Descriptive complexity in number theory and dynamics'' on 1 March
by 赤間陽二 08 Feb '24

08 Feb '24

お誘い合わせの上ご来訪ください。正規数の背景の説明も丁寧にするようにお願いしています。 TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland DATE: 16:00-18:00, 1 March 2024 VENUE: Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A ABSTRACT: Informally, a real number is normal in base b if in its b-ary expansion, all digits and blocks of digits occur as often as one would expect them to, uniformly at random. We will denote the set of numbers normal in base b by \mathcal{N}(b). Kechris asked several questions involving descriptive complexity of sets of normal numbers. The first of these was resolved in 1994 when Ki and Linton proved that \mathcal{N}(b) is \boldsymbol{Pi}_3^0-complete. Further questions were resolved by Becher, Heiber, and Slaman who showed that \bigcap_{b=2}^\infty \mathcal{N}(b) is \boldsymbol{\Pi}_3^0-complete and that \bigcup_{b=2}^infty \mathcal{N}(b) is \boldsymbol{\Sigma}_4^0-complete. Many of the techniques used in these proofs can be used elsewhere. We will discuss recent results where similar techniques were applied to solve a problem of Sharkovsky and Sivak and a question of Kolyada, Misiurewicz, and Snoha. Furthermore, we will discuss a recent result where the set of numbers that are continued fraction normal, but not normal in any base b, was shown to be complete at the expected level of D_2(\boldsymbol{\Pi}_3^0). An immediate corollary is that this set is uncountable, a result (due to Vandehey) only known previously assuming the generalized Riemann hypothesis. Contact: Yohji Akama The Mathematical Institute, Graduate School of Science, Tohoku University yoji.akama.e8(a)tohoku.ac.jp

1 0

[CALL FOR PARTICIPATION] AWPL 2024: 6th Asian Workshop on Philosophical Logic 4-6 March 2024
by Katsuhiko Sano 07 Feb '24

07 Feb '24

===================================================== AWPL 2024: 6th Asian Workshop on Philosophical Logic 4-6 March 2024 Hokkaido University, Sapporo, Japan https://sites.google.com/view/awpl2024/ ===================================================== [CALL FOR PARTICIPATION] We are happy to announce that registration for Asian Workshop on Philosophical Logic 2024 (AWPL 2024) is now open: https://sites.google.com/view/awpl2024/registration The Asian Workshop on Philosophical Logic (AWPL, http://awpl.org/Workshops.html) is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences. So far, five successful workshops have been organized in Ishikawa (2012), Guangzhou (2014), Taipei (2016), Beijing (2018), and Hangzhou (2020). The post-conference proceedings are published in the Springer book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles). AWPL2024 is hosted by the Laboratory of Philosophy and Ethics, Hokkaido University, and co-sponsored by Grant-in-Aid for Scientific Research (C) Grant No. JP19K12113, and under the auspices of CAEP (Center for Applied Ethics and Philosophy), Faculty of Humanities and Human Sciences, Hokkaido University. [IMPORTANT DATES] Registration deadline: *20 February, 2024* Workshop dates: *4*-6 March 2024 Satellite event: 7 March 2024 (Sapporo Workshop on Hybrid Logic and Proof Theory: https://sites.google.com/view/sapporoworkshop2024spring) [REGISTRATION] To register for the workshop please refer to the registration section of https://sites.google.com/view/awpl2024/registration. [INVITED SPEAKERS] Patrick Blackburn (University of Roskilde) Ryo Kashima (Tokyo Institute of Technology) Shawn Standefer (National Taiwan University) Fan Yang (Utrecht University) [ACCEPTED PAPERS] https://sites.google.com/view/awpl2024/accepted-papers [STEERING COMMITTEE] Phan Minh Dung, Asian Institute of Technology, Bangkok Hu Liu, Sun Yat-sen University, Guangzhou Beishui Liao, Zhejiang University, Hangzhou Fenrong Liu, Tsinghua University, Beijing Hiroakira Ono, Japan Advanced Institute of Science and Technology, Ishikawa Ram Ramanujam, Institute of Mathematical Sciences, Chennai Hsing-chien Tsai, National Chung Cheng University, Chiayi [PROGRAM COMMITTEE] Thomas Ågotnes (University of Bergen) Sankha S Basu (Indraprastha Institute of Information Technology Delhi) Hans van Ditmarsch (University of Toulouse, CNRS, IRIT) Sujata Ghosh (Indian Statistical Institute) Ryo Hatano (Tokyo University of Science) - Co-chair Yuichiro Hosokawa (Gunma Prefectural Women’s University) Ryo Ito (Waseda University) Raheleh Jalali (Utrecht University) Fengkui Ju (Beijing Normal University) Makoto Kanazawa (Hosei University) Md. Aquil Khan (Indian Institute of Technology Indore) Daisuke Kimura (Toho University) Kohei Kishida (University of Illinois Urbana-Champaign) Hidenori Kurokawa (Kanazawa University) Kok Yong Lee (National Chung Cheng University) Dazhu Li (Chinese Academy of Sciences) Hanti Lin (University of California, Davis) Tadeusz Litak (FAU Erlangen-Nürnberg) Fenrong Liu (Tsinghua University) Hu Liu (Sun Yat-Sen University) Minghui Ma (Sun Yat-Sen University) Koji Mineshima (Keio University) Hitoshi Omori (Tohoku University) Takuro Onishi (Kyoto University) Elise Perrotin (CRIL, Lens) Teeradaj Racharak (Japan Advanced Institute of Science and Technology) Ram Ramanujam (Institute of Mathematical Sciences, Chennai) Katsuhiko Sano (Hokkaido University) - Chair Takahiro Sawasaki (National Institute of Informatics) Satoshi Tojo (Asia University) Jonni Virtema (University of Sheffield) Ren-June Wang (National Chung-Cheng University) Yì Nicholas Wáng (Sun Yat-sen University) Tomoyuki Yamada (Hokkaido University) Byeong-Uk Yi (University of Toronto) [LOCAL ORGANIZING COMMITTEE] Ryo Hatano (Tokyo University of Science) Katsuhiko Sano (Hokkaido University) - Chair Masanobu Toyooka (Hokkaido University) For more information about the workshop, please visit the website: https://sites.google.com/view/awpl2024

1 0

参加募集：PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
by Daisuke Kimura 05 Feb '24

05 Feb '24

皆様（重複ご容赦ください），東邦大学の木村と申します． 3月5日(火) -- 7日(木) に朱鷺メッセ新潟コンベンションセンター (およびオンライン) で開催される，第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) の参加登録についてのご案内です．詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ プログラムも公開されました！参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) なお，オプションのお弁当をご希望の方は少し早めの 2月27日(火) 23:59(JST) までですのでご注意ください．多くの方々のご参加をお待ちしております． PPL2024 組織委員長木村大輔 -------------------------------------------------------------------------- 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2024/registration.html ***** 参加登録締切 *************************************** 2月29日(木) 23:59 (JST) (お弁当を希望の場合は 2月27日(火) 23:59(JST) までです) ********************************************************** 問い合わせ先： ppl2024-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2024-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー株式会社ディー・エヌ・エー　KLab株式会社・ゴールドスポンサー株式会社フィックスターズ　合同会社コトイコンサルタンシー STORES株式会社・シルバースポンサー　株式会社HERP ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

Talk by Bakh Khoussainov (Feb 8, 11.00- at Kyoto University)
by Kazushige TERUI 02 Feb '24

02 Feb '24

みなさま来週木曜日に京都大学にて下記の講演があります。よろしければ、皆様お誘いあわせの上ご参加ください。数理解析研究所照井一成 Dear all, There will be a seminar talk next Thursday at Kyoto University. See below for the detail. Best regards, Kazushige Terui ----------------------------- Date: February 8th, starting at 11.00am Venue: Room 478 in the Research Building No.2, Main Campus of Kyoto University (#34 on the map below) https://www.kyoto-u.ac.jp/en/access/main-campus-map 場所：京都大学本部構内総合研究２号館４７８号室（下記リンク３４番の建物です） https://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r-y Speaker: Bakh Khoussainov (UESTC, China and The University of Auckland, New Zealand) Title: Probability structures Abstract: We develop a framework for reasoning about statistical properties in relational structures. To achieve this, we introduce smooth probability structures defined as relational structures equipped with a sequence of probability distributions. We design a language, termed LSPS, which is dedicated to reasoning about statistical properties in relational structures. Given a smooth probability structure, with each formula $\phi(\bar{x})$ in the LSPS language we associate a family of probability spaces that encapsulate the statistical information about all tuples that satisfy $\phi$. This fusion of connecting relational structures and statistics is a novel concept. We study the questions of axiomatizability, decidability, and undecidability of valid LSPS formulas. Finally, if time permits, we initiate the investigation of algorithmic questions suited for smooth probability structures.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2024