Logic-ml February 2024

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

15 participants
20 discussions

APLAS 2024: Call for Papers
by Mirai Ikebuchi 19 Apr '24

19 Apr '24

皆様，京都大学の池渕です．10/22-24に京都で開催されるAPLAS 2024のCfPをお送りします．皆様のご投稿をお待ちしております． ===================================================== APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 1

RIMS共同研究（公開型）のご案内
by kota takeuchi 08 Apr '24

08 Apr '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 1

Sapporo One-day Workshop on Hybrid Logic and Proof Theory (March 7)
by Katsuhiko Sano 29 Feb '24

29 Feb '24

Logic-ml の皆様、北海道大学の佐野です。3月7日に開催されるworkshop "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" についてご案内します。佐野勝彦 ----------------------------------------------------------------------- This is the announcement of the "Sapporo One-day Workshop on Hybrid Logic and Proof Theory" to be held on March 7. As a satellite event of the 7th Asian Workshop on Philosophical Logic (https://sites.google.com/view/awpl2024/home), we plan to hold the Sapporo One-day Workshop on Hybrid Logic and Proof Theory", whose registration fee is 1500 Yen. The program of the workshop is now available on the website. You can see it on the website and also get the detailed pdf version. https://sites.google.com/view/sapporoworkshop2024spring/ Also, the information of the banquet is now announced. Time: 18:30- Place: Hyakuya (https://h554804.gorp.jp/) Fee: 4000 Yen If you would like to attend, please register using the following form. https://forms.gle/XsP921BGznFc9EVTA Please note that the registration deadline for the banquet is *March 2 (JST)*. We look forward to your participation.

1 0

Open postdoc positions in "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems"
by Kohei SUENAGA 29 Feb '24

29 Feb '24

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永です．私が代表を務めている CREST のプロジェクト「AI集約的サイバーフィジカルシステムのための形式的解析設計手法」で博士研究員を募集しております．募集要項が https://hackmd.io/5QMqMBiTRNyT1iic_NRurQ?view にありますので，ご興味がお有りの方はご検討いただければと思います．また，適任の方をご存知でしたら，どうぞ本メールをご転送いただけますとありがたいです．よろしくお願いいたします．末永 -- # Open Positions Announcement: Postdoctoral Researchers in Formal Methods and Control Theory for AI-Intensive Cyber-Physical Systems ## Overview We are excited to announce the availability of three postdoctoral researcher positions within the "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" project. We seek to develop mathematically rigorous methodologies for the modeling, verification, testing, monitoring, and control of cyber-physical systems (CPS) where artificial intelligence (AI) plays a pivotal role. This pioneering project is a collaborative effort between Japan teams led by Prof. Kohei Suenaga (Kyoto University) and Prof. Masako Kishida (NII) and the France team led by Prof. Thao Dang (CNRS), emphasizing international collaboration and interdisciplinary research in AI-CPS. In this project, you will help advance the research in formal methods and control theories for AI-CPS and closely work with the leading researchers in Japan, Prof. Kohei Suenaga at Kyoto University in Kyoto or Prof. Masako Kishida at the National Institute of Informatics (NII) in Tokyo. You will also have opportunities to participate in several annual project workshops held in France or Japan to collaborate with the France team as well as other Japan teams. Candidates must have or be near the completion of a PhD with research in relevant fields and demonstrate a track record of research publications, conference presentations, and software programming skills. Research experience in interdisciplinary collaborations is highly valued. The positions are heavily research-oriented. Selected candidates will be expected to independently conduct research tasks including but not limited to the following: - Propose and execute research plans - Present progress and discuss with team members and collaborators regularly - Prepare submissions to top-tier journals or conferences - Promote our research outcome at international venues We welcome applications from foreign (non-Japanese) nationals. This project is funded by the Core Research for Evolutionary Science and Technology (CREST) program from Japan Science and Technology Agency (JST). Positions are to be filled on a rolling basis with flexible start dates. The initial contract will end at March 2025 with the possibility of extension up to March 2026, when the project will conclude. Compensation is determined on the basis of your qualifications according to the employment regulations in Kyoto University or NII, with social insurances covered by the hiring institutions. ## Position Descriptions ### 1. Two Postdoctoral Researchers in Formal Methods for AI-CPS - **Workplace:** Onsite at Kyoto University, Kyoto, Japan - **Qualifications:** + Must have or be near the completion of a PhD with research topics in verification and testing of software or hybrid systems, verification and testing of machine-learning systems, or reinforcement learning + Full Professional Proficiency in English + Strong programming skills in C++, MATLAB, OCaml, or Python - **Recommended Skill:** Elementary Japanese to help your daily life - **Principle Investigator**: Prof. Kohei Suenaga - **Research Focus:** Formal methods applicable to AI-CPS and its application to real-world problems, including but not limited to ones related to our previous publications listed below: + [Junya Shijubo, Masaki Waga, Kohei Suenaga: Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120](https://arxiv.org/abs/2109.04656) + [Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) 2022: 447-468](https://arxiv.org/abs/2206.03582) + [Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga: BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. ACCV (7) 2022: 274-290](https://arxiv.org/abs/2210.17130) + [Amit Gurung, Masaki Waga, Kohei Suenaga: Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52](https://arxiv.org/abs/2301.03915) + [Junya Shijubo, Masaki Waga, Kohei Suenaga: Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 148:1-148:26 (2023)](https://arxiv.org/abs/2308.07930) + [Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo: Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488](https://arxiv.org/abs/2203.13247) + [Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo: Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41](https://arxiv.org/abs/2207.13446) + [Masaki Waga: Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CAV (1) 2023: 3-26](https://arxiv.org/abs/2305.17742) ### 2. One Postdoctoral Researcher in Control for AI-CPS - **Workplace:** Onsite at National Institute of Informatics, Tokyo, Japan - **Qualifications:** + Must have or be near the completion of a PhD with research topics in control theory, learning-based control, or hybrid systems + Must have excellent verbal and written communication skills in English + Must be able to work independently - **Recommended Skill:** Elementary Japanese to help your daily life - **Principle Investigator**: Prof. Masako Kishida - **Research Focus:** Towards controller designs using machine learning techniques and/or safe controller designs for systems with machine-learning-based components ## Application Process Please send your application to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp` with the subject "CREST Job Application". Your application must include: - A brief CV, - A list of your publications (A link to your dblp or Google Scholar profile will be sufficient.), - Softcopies of your representative publications, - Contact information for two references, - For applicants to Kishida's group at NII: a short research proposal (at most one page including figures/illustrations). We will reach out for further materials and interview arrangements if your application aligns with our project needs. If you have questions regarding the positions, please send your inquiries to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp` with the subject "CREST Job Inquiry". -- 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

第149回プログラミング研究発表会（PRO-2024-1）発表募集
by KAMINA Tetsuo 29 Feb '24

29 Feb '24

皆様大分大学の紙名です。以下のとおり，第149回プログラミング研究発表会の発表募集をさせていただきます。ご検討のほど，よろしくお願い致します。 ==== 第149回プログラミング研究発表会発表募集日程：2024年6月13日（木）～14日（金）会場：オンライン開催参加費：無料発表申込締切：2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切：2024年5月07日（火）案内ページ：https://sigpro.ipsj.or.jp/pro2024-1/ 発表申込ページ：https://forms.gle/P4qpDTd9PojkHZwz7 --- プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究会からおおむね3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します．1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分，質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：https://sigpro.ipsj.or.jp/trans-author/ (2) 発表のみの申込：https://sigpro.ipsj.or.jp/presentation/ (3) 「短い発表」の申込：(2)に加え，フォームの「『短い発表』の希望」欄で「希望する」を選択してください．発表申込送信Webページ： https://forms.gle/P4qpDTd9PojkHZwz7 発表申込締切： 2024年4月14日（日）（通常の発表・短い発表の両方とも）投稿論文原稿締切： 2024年5月07日（火）注意事項 * 発表申込を送信後72時間以内に，担当者から受領確認メール（≠回答のコピー）をお送りします． * 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください． * 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．次のいずれかに該当する場合，下記の問合せ先にメールでご連絡下さい． * 送信後72時間以内に担当者から受領確認メール（≠回答のコピー）が来なかった * 発表申込フォームの内容を更新する（連絡事項の追記を含む） * 発表を取り下げる問合せ先：ipsj-pro-2024-1-organizer(a)googlegroups.com 担当者：佐藤重幸（電気通信大学），紙名哲生（大分大学）

1 0

集合論の特別なセミナー@静岡大学
by Diego A. Mejia 28 Feb '24

28 Feb '24

皆様、静岡大学理学部のメヒアです。静岡大学で3月6日（水）～8日（金）に集合論の特別なセミナーを開催します。メイントピックは Malliaris and Shelah の p=t の証明です。また、神戸大学から訪問していただく博士課程学生の講演も開催します。対象は大学院生ですが、集合論に興味のある方はだれでも歓迎します。場所：静岡大学静岡キャンパス理学部B棟213室プログラム: 3月6日（水） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (1/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (2/5) 15:30～17:00 後藤達哉（神戸大学） : 比較可能性と比較不可能性が定める基数不変量 18:00～懇親会（JR静岡駅の辺） 3月7日（木） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (3/5) 3月8日（金） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (4/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (5/5) 15:30～17:00 山添隆志（神戸大学） : On splitting* game: Avoiding head-on battles is sometimes useful -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

最終案内：PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
by Daisuke Kimura 27 Feb '24

27 Feb '24

皆様， 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について参加登録締切直前ですので，最終案内をお送りいたします． ** お近くに参加未登録だが興味をもってもらえそうな方がいらっしゃいましたらお声掛けいただければ幸いです． ** 現地参加が難しい方も Zoom によるオンライン参加が可能ですので，是非ご検討下さい！参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) (オプションのお弁当のご注文は本日中 2月27日(火) 23:59(JST) です) 詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ 多くの方々のご参加をお待ちしております． 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

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

22 Feb '24

皆様，東邦大学の木村と申します． 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について ** 登録締切日の1週間前 ** となりましたのでリマインダをお送りいたします．参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) なお，オプションのお弁当をご希望の方は少し早めの 2月27日(火) 23:59(JST) までですのでご注意ください．詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ 多くの方々のご参加をお待ちしております． 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

新井敏康先生の最終講義
by Hiroshi SAKAI 22 Feb '24

22 Feb '24

皆様：神戸大学の酒井です．今年度で東京大学を退職される新井敏康先生が，次の日時・会場で最終講義をされます．日時：3月14日(木) 14:30 — 15:30 会場：東京大学駒場キャンパス数理科学研究科棟大講義室詳細および参加登録フォームが下記 web page にありますのでご覧ください．（参加には参加登録が必要となっています．）東京大学数理科学研究科談話会・数理科学講演会 https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html よろしくお願いいたします．酒井拓史

1 0

TASE 2024: Deadline Extension (March 5, 2024)
by Daisuke Kimura 20 Feb '24

20 Feb '24

みなさま，東邦大学の木村です． 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です． **** 締切が延長されました **** Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission : March 5, 2024 (extended) *************************** TASE2024 は，理論的知見を生かしてソフトウェア工学を発展させることを目的にしており，理論から実装まで幅広く論文を募集しております．招待講演はオックスフォード大学の吉田展子先生と北京大学の Zhenjiang Hu 先生の予定です．投稿をご検討いただければ幸いです．木村大輔 --------------------------------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------------------------------- TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering July 29 - August 1, Guiyang City, China https://tase2024.github.io/ Overview: The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates: Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission : March 5, 2024 (extended) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers: Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees: * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Universite de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universite Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml February 2024