Logic-ml

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

1792 discussions

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

01 Apr '24

皆様大分大学の紙名です。第149回プログラミング研究発表会の申込締切（4/14）が近づいてまいりましたので、再度ご案内させていただきます。論文誌への同時投稿・発表のみのどちらでも大歓迎です。たくさんのお申し込みをお待ちしています。 ==== 第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

2024年度人工知能学会全国大会（第38回）参加登録の受付を開始しました
by MOTOURA SHOTA(本浦　庄太) 18 Mar '24

18 Mar '24

logic-mlの皆様、（重複して受け取られた場合はご容赦ください。） NECの本浦庄太と申します。 2024年度人工知能学会全国大会（第38回）（会期：2024年5月28日(火)〜5月31日 (金)）の参加登録の受付を開始しました。事前参加登録期間：　早期：〜2024年4月15日(月)18:00 　後期：〜2024年5月10日(金)18:00 会場：アクトシティ浜松＋オンライン現地参加・オンライン参加が可能なハイブリッド形態の開催を予定しております。参加をご検討いただければ幸いです。参加登録方法の詳細は以下URLをご覧ください。 https://www.ai-gakkai.or.jp/jsai2024/attendance JSAI2024大会サイト： https://www.ai-gakkai.or.jp/jsai2024/ どうぞよろしくお願いいたします。本浦庄太 -- Shota MOTOURA Data Science Laboratories, NEC Corporation 1753 Shimonumabe, Nakahara-ku, Kawasaki, Kanagawa 211-8666, Japan

1 0

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

11 Mar '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

CCR 2024 (3/11-15): 17th International Conference on Computability, Complexity and Randomness
by Takayuki Kihara 08 Mar '24

08 Mar '24

皆様お世話になっております．名古屋大学の木原です．来週3月11日〜15日に名古屋大学で開催される国際会議 CCR 2024: The 17th International Conference on Computability, Complexity and Randomness の最終案内をさせていただきます． ---- CCR 2024: CALL FOR PARTICIPATION ======== Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024) https://sites.google.com/view/ccr2024/home March 11-15, 2024 Nagoya University, Nagoya, Japan ======== TOPICS: * Algorithmic randomness * Computability theory * Kolmogorov complexity * Computational complexity * Reverse mathematics and logic ======== INVITED SPEAKERS: * Juan Aguilera, TU Wien, Vienna, Austria * Wesley Calvert, Southern Illinois University, Carbondale, USA * Leonardo Coregliano, University of Chicago, Chicago, USA * Makoto Fujiwara, Tokyo University of Science, Tokyo, Japan * Liling Ko, The Ohio State University, Columbus, USA * Russell Miller, Queens College (CUNY), New York, USA * Sewon Park, Kyoto University, Kyoto, Japan * Francesca Zaffora Blando, Carnegie Mellon University, Pittsburgh, USA ======== SCIENTIFIC PROGRAM COMMITTEE: * Jörg Brendle (Kobe University, Japan) * Johanna Franklin, co-chair (Hofstra University, USA) * Jun Le Goh (National University of Singapore) * Takayuki Kihara, co-chair (Nagoya University, Japan) * Margarita Marchuk (Novosibirsk State University, Russia) * Arno Pauly (Swansea University, UK) * Svetlana Selivanova (KAIST, Korea) * Keita Yokoyama (Tohoku University, Japan) ======== ABOUT THE CONFERENCE: CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), and Lake Kochel (Germany). ======== -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

ワークショップのご案内（仙台・3/9）
by Hitoshi Omori 08 Mar '24

08 Mar '24

皆様東北大学の大森です。直前のご案内で恐縮ですが、以下の通りワークショップを開催いたします。 ===== ・日時：3月9日(金)13:00〜・場所：東北大学情報科学研究科609号室・講演者： *Rohan French (UC Davis) *Andrzej Indrzejczak (University of Łódź) *Nils Kürbis (Ruhr University Bochum and University of Łódź) *Shawn Standefer (National Taiwan University) ・題目などの詳細は以下のウェブサイトをご覧ください。 https://sites.google.com/view/llal-at-gsis/meetings/llalgsis-2 ===== どうぞよろしくお願いいたします。大森仁

1 0

Fwd: 3rd CfP & Deadline Extension: RAMiCS 2024
by Jérémy Dubut 07 Mar '24

07 Mar '24

Dear all, Here is an announcement on behalf of the program committee of RAMiCS. The deadline has been extended once more as below. Feel free to distribute the information :-) Best regards, — Jérémy Dubut. ---------- Forwarded message --------- From: <fahrenberg(a)gmail.com> Date: Mon, Mar 4, 2024 at 23:49 Subject: 3rd CfP & Deadline Extension: RAMiCS 2024 To: <dubutjeremy(a)gmail.com> Dear Jérémy Dubut, we have decided to extend the deadlines for RAMiCS 2024 once more, please see below for an updated CfP. (Do not hesitate to distribute this to your colleages and/or to hang up the poster which you may find on the RAMiCS web site.) Best regards, for the PC Chairs, Uli Fahrenberg 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 (extended): 16 March 2024 Paper submission (extended): 23 March 2024 Author notification: 21 May 2024 Final version due: 22 June 2024 Conference dates: 19-23 August 2024 INVITED SPEAKERS Sergey Goncharov, University of Erlangen and Nürnberg, Germany 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 0

CSCAT 2024 参加募集 / 懇親会
by Takeshi Tsukada 04 Mar '24

04 Mar '24

皆様、千葉大学の塚田です CSCAT 2024 の発表募集・参加募集・懇親会案内です CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。また初日（3/14）の終了後に懇親会を予定しております参加希望者は上記の案内ページからお申し込みください懇親会の参加については、 3/10 締切となっております皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

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

01 Mar '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

← Newer
1
...
7
8
9
10
11
12
13
...
180
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml