Logic-ml

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

1 participants
1783 discussions

第19回関西集合論セミナのご案内（12月23--24日大阪公立大学中百舌鳥キャンパス）
by Masaru KADA 05 Dec '24

05 Dec '24

logic-ml のみなさま：大阪公立大学嘉田勝です。 12月23日（月）～24日（火）に、大阪公立大学中百舌鳥キャンパスにて、下記要領で「第19回関西集合論セミナ」を開催いたします。大学院生の研究成果発表を中心とする研究交流の会です。学外からのご参加、追加のご講演を歓迎します。よろしくお願いします。嘉田勝 ==== 第19回関西集合論セミナ --- 中百舌鳥ファイナル 2024年12月23日（月）14:00 から 2024年12月24日（火） 18:00 まで大阪公立大学中百舌鳥キャンパス A14棟333講義室（堺市中区学園町1-1）講演者（12月5日現在）（追加のご講演を募集中です）静間荘司（大阪府立大学）清颯真（大阪公立大学）依岡輝幸（静岡大学）薄葉季路（早稲田大学）お問い合わせ：嘉田勝（大阪公立大学） kada(a)omu.ac.jp ↓詳細情報ウェブページ https://sites.google.com/view/kansaiset19nakamozufinal/ ==== -- ==== 嘉田勝 Masaru KADA kada(a)omu.ac.jp ====

1 0

PPL 2025 CFP (論文投稿受付開始) 第27回プログラミングおよびプログラミング言語ワークショップ
by Soichiro Hidaka 30 Nov '24

30 Nov '24

皆様， # 重複してお受取になった場合はご容赦ください．法政大学の日高と申します．以前にもご案内差し上げた PPL 2025 について，論文投稿受付を開始いたしましたので投稿・発表申込要領を含めた CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．招待講演では Jeehoon Kang 氏と伊藤健洋氏をお招きする予定です．皆様のご投稿をお待ちしております．なお CFP1 から以下の点が変更されております． ■ 実施形態 CFP1 ではオンラインへの配信は未定としておりましたが，オンラインへの配信を実施する予定となりました．ただし，必ずしも配信を約束するものではなく，機材等の事情により配信が中止されたり断続的であったりする可能性があることにご留意ください． ■ 「発表募集カテゴリ」におけるカテゴリ１の同時投稿に関する記述を変更昨年度までの「投稿・発表申込要領」に準じるように，表現を改めると同時に，「同時投稿の場合にはあらかじめ申し出るように」という部分を「投稿時に申告」に変更しました． ■ 各賞についての説明を変更発表賞・ポスター賞について，一般も含めた最多得票が学生だった場合について， - 「一般の部」は「最多得票の学生」 - 「学生の部」は「２番目に得票した学生」という運用になっておりましたが，説明が必ずしも運用と合っていなかったため修正しました． PPL 2025 プログラム共同委員長（ppl2025-pc-chairs[at]easychair.org）塚田武志（千葉大学）日高宗一郎（法政大学） ======================================================= 第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2025年3月5日（水）-- 3月7日（金）会場：ホテル明山荘 URL ：https://jssst-ppl.org/workshop/2025/ ** 重要な日程 ** カテゴリ1：発表申込締切 2024年12月23日（月）17:00 (JST) 論文提出締切 2025年 1月 6日（月）17:00 (JST) 採否通知　　 2025年 1月29日（水）カテゴリ2：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木）カテゴリ3：発表申込締切 2025年 1月31日（金）17:00 (JST) 採否通知　　 2025年 2月 3日（月）カテゴリ4：発表申込締切 2025年 1月20日（月）17:00 (JST) 採否通知　　 2025年 1月30日（木） ** PPL 2025 の開催形式について ** PPL 2025 は合宿形式での対面での開催を予定しています．PPL 2023 では大学におけるハイブリッド開催，PPL 2024 ではコンベンションセンターによるハイブリッド開催と，COVID-19 状況下において PPL は様々な開催方法が試みられてきました．PPL 2025 では，会場確保を含めた様々な要因を考慮した結果，過去の合宿形式に近い形態での開催を試みることにしました．対面での開催とするのは，PPL 2025 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者にも対面でご参加いただくことを考えております．ポスター・デモを除くセッションについてはオンラインへの配信も実施予定ですが，必ずしも配信を約束するものではなく，機材等の事情により配信が中止されたり断続的であったりする可能性があることにご留意ください． ** PPL 2025 とは ** PPL 2025 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2025 では，以下のお二方の招待講演を予定しております．　Jeehoon Kang 氏（https://cp.kaist.ac.kr/jeehoon.kang/）　伊藤健洋氏（http://www.dais.is.tohoku.ac.jp/take/index-j.html） ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿することが認められる場合があります．投稿・発表申込要領の注記にしたがって申告してください．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表の中から最も聴衆の支持を集めた者に発表賞を，それに準ずる支持を集めた学生に学生発表賞を授与する予定です．また，カテゴリ3 の全発表の中から最も聴衆の支持を集めた者にポスター賞を，それに準ずる支持を集めた学生に学生ポスター賞を授与する予定です．（ただし発表賞・ポスター賞は既受賞者を除く） ** 投稿・発表申込要領 ** 以下のURLから申し込んでください．（カテゴリ１・２・４）　https://easychair.org/conferences/?conf=ppl2025 （カテゴリ３） https://forms.gle/NgpKfE3std1cmsrk9 カテゴリ１・２・４の申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300～400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10～15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2025 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200～300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません．なお予稿集への掲載は，カテゴリ１は論文，カテゴリ３はタイトル・著者・概要，カテゴリ２および４はタイトル・著者を掲載予定です． ** プログラム委員会 ** プログラム共同委員長　塚田武志　（千葉大学）プログラム共同委員長　日高宗一郎（法政大学）荒堀喜貴　　　　（東京科学大学）池渕未来　　　　（京都大学）伊澤侑祐　　　　（東京都立大学）上田和紀　　　　（早稲田大学）鵜川始陽　　　　（東京大学）馬谷誠二　　　　（神奈川大学）紙名哲生　　　　（大分大学）亀山幸義　　　　（筑波大学） Jacques Garrigue （名古屋大学）木村大輔　　　　（東邦大学）内藏理史　　　　（早稲田大学）佐々木晃　　　　（法政大学）宋剛秀　　　　　（神戸大学）田邉裕大　　　　（東京科学大学）千代英一郎　　　（成蹊大学）寺内多智弘　　　（早稲田大学）中野圭介　　　　（東北大学）中丸智貴　　　　（東京大学）西田直樹　　　　（名古屋大学）西田雄気　　　　（東北大学）長谷川真人　　　（京都大学）平石拓　　　　　（京都橘大学）福原淳司　　　　（（株）デンソー）松下祐介　　　　（京都大学）八杉昌宏　　　　（九州工業大学）組織委員長　　　　　　　堀江倫大　（日本IBM）組織副委員長　　　　　　木村大輔　（東邦大学）財務担当　　　　　　　　田邉裕大　（東京科学大学）財務副担当　　　　　　　池渕未来　（京都大学）会場担当　　　　　　　　中丸智貴　（東京大学）会場副担当　　　　　　　松田直祐　（湘南工科大学）渉外担当　　　　　　　　叢悠悠　　（東京科学大学）プログラム共同委員長　　塚田武志　（千葉大学）プログラム共同委員長　　日高宗一郎（法政大学）前プログラム共同委員長　安部達也　（千葉工業大学）前プログラム共同委員長　川端英之　（広島市立大学） ** 問い合わせ先 ** ・ワークショップ全般について（メールの件名に [PPL2025] と付けていただけるでしょうか）　組織委員長：horie[at]jp.ibm.com ・発表/プログラムについて　プログラム共同委員長：ppl2025-pc-chairs[at]easychair.org ======================================================= -- 法政大学情報科学部コンピュータ科学科日高宗一郎 hidaka[at]hosei.ac.jp

1 0

APPSA 2025 and LMPST Taiwan 2025
by Katsuhiko Sano 28 Nov '24

28 Nov '24

Logic-ml の皆様、北海道大学の佐野です。APPSA 2025 and LMPST Taiwan 2025の cfp についてお送りいたします。佐野勝彦 ---- Call for Papers Joint Conference of the 11th Biennial Conference of the Asia-Pacific Philosophy of Science Association (APPSA 2025) and the 2025 Annual Conference of the Taiwan Association for Logic, Methodology, Philosophy of Science and Technology (LMPST Taiwan 2025) June 17-19, 2025 National Yang Ming Chiao Tung University (NYCU), Taipei, Taiwan Conference Website: https://appsa2025taiwan.mystrikingly.com/ Theme: Philosophy of Science and Technology, Logic Conference Overview: APPSA 2025, in joint collaboration with LMPST Taiwan 2025, is an international forum that brings together scholars from Asia and beyond. These conferences are designed to foster communication and collaboration among scholars working in diverse areas of the philosophy of science, the philosophy of technology, and logic. Featuring keynote talks, contributed talks, and poster sessions, this conference aims to advance the Asian tradition in the philosophy of science, the philosophy of technology, and logic, and support high-quality research in these fields. We invite submissions of original research papers for presentation at the conference, encouraging contributions that explore innovative perspectives and methodologies within these fields. By promoting rigorous academic exchange and interdisciplinary dialogue, this conference seeks to contribute significantly to the global development of philosophical inquiry and practice. Topics of Interest: Category 1: Ethics of Science and Technology Category 2: Metaphysical or Epistemological Aspects of Science and Technology Category 3: Historical or Social Aspects of Science and Technology Category 4: Formal Aspects of Science and Technology (e.g., Logic, Mathematics, and Statistics) Category 5: Other related or interdisciplinary topics Keynote Speakers: Michela Massimi, Sabina Leonelli, Timothy Bayne For more information about invited speakers, please see: https://appsa2025taiwan.mystrikingly.com/ Submission Guidelines: Authors are invited to submit abstracts of no more than 500 words in English. Please indicate which categories your submission belongs to. Submissions must be submitted via https://forms.gle/AntB4hpBVBtvJuMU6 Important Dates: Abstract Submission Deadline: December 31, 2024, 23:59 (UTC+8) Notification of Acceptance: February 2025 Conference Dates: June 17-19, 2025 Review Process: All submitted abstracts will undergo a peer-review process by the conference’s program committee. Contact Information: appsa2025taiwan(a)gmail.com.

1 0

Lecture by Pierre-Marie Pédrot
by Jacques Garrigue 21 Nov '24

21 Nov '24

(配送されなかった可能性があります）皆様、 INRIA Nantes の Pierre-Marie Pédrot が以下の講義を行う予定です。定理証明支援系Coqの開発者の一人で、型理論の専門家です。 Jacques Garrigue 日時　11月28日(木) 10:30-12:00 / 13:00-14:30 場所　名古屋大学多元数理科学研究科　452号室(午前)・109号室(午後) 題名：Type Theories with a Side of Effects 話者：Pierre-Marie Pédrot (INRIA Nantes) Abstract: Side-effects are a staple of real-world programming. Even Haskell, which boasts about its purity, allows non-terminating programs, which is a form of side-effects. On the other hand, dependent type theories constitute a family of type systems that can be considered among the most powerful and expressive ones. How come effectful dependent type theories are not more pervasive? In this talk, we will give a broad answer to this question, explaining the trade-offs at stake.

1 0

【再送】2024年度ジェネラルトポロジーシンポジウムについて
by FUJITA Hiroshi 18 Nov '24

18 Nov '24

Logic-MLのみなさま、愛媛大学の藤田です。開催日が近づいてきましたので再送いたします。 2024年度ジェネラルトポロジーシンポジウムを、下記の要領で愛媛大学にて開催します。今回はNankai UniversityのSu Gao先生が来日され、同シンポジウムで "The descriptive set theory of Polish group actions" というタイトルで2回の講演をされます。ご興味のある方は、ぜひご参加ください。日時：2024年 11月27日(水) 9:20 ～ 28日(木) 16:00 会場：愛媛大学理学部（城北キャンパス）講義棟3階 S31講義室 URL: https://sites.google.com/view/gts2024 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp>>

1 0

第59回 MLG 数理論理学研究集会のご案内
by Hitoshi Omori 15 Nov '24

15 Nov '24

第59回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。少し先にはなりますが、2024年度MLG数理論理学研究集会（第59回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第59回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2025年2月21日 (金) 午後--2月23日 (日) - 場所: 東北大学大学院情報科学研究科中講義室 - 講演申込締め切り: 1月21日 (火) - ホームページ: https://sites.google.com/view/mlg59/ - 連絡先E-mail: hitoshiomori[at]gmail[dot]com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 2月22日 (土)の夜に懇親会を行います。 - 参加・講演申し込みは、上記ホームページにある参加申込フォームからお願いいたします。 ==================================== 学部及び修士の学生向けの会合 ==================================== 前回に続き、今回も学部及び修士の学生向けの会合を2月21日 (金)の午前中に計画しております。数に限りはありますが、旅費の援助も可能ですので、是非周りにお知り合いの若い方がいらっしゃいましたら、おすすめいただければと思います。詳細は上記ホームページをご覧ください。 ==================================== 関連するワークショップについて ==================================== MLG 数理論理学研究集会の直後の2月24日 (月)に海外からのゲストを交えたワークショップを計画しております。詳細は追ってお知らせいたします。

1 0

東北大ロジックセミナーのご案内
by 竹田侑人 15 Nov '24

15 Nov '24

皆様，東北大学の竹田です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：11月22日(金)16:00〜場所：zoom配信講演者：Giovanni Solda (Ghent University) 題目 A proof of Nash-Williams theorem in ATR0 概要 In [1], Crispin Nash-Williams proved that if (Q, ≤_Q) is a well quasi-order (henceforth wqo), then so is the set of transfinite sequences over Q with finite range, ordered by embeddability. In this talk, we will show that this result is provable in the subsystem of second-order arithmetic ATR_0: together with previous results by Shore [2], this determines the reverse mathematical strength of Nash-Williams’ result. In order to do this, we will go via the notion of better quasi-order, which makes it possible to develop an equivalence between the iterated powerset of a qo Q and the iterated powerset over Q. This is joint work with Fedor Pakhomov. [1] C. Nash-Williams, On well-quasi-ordering transfinite sequences, Mathematical Proceedings of the Cambridge Philosophical Society 61 (1965), no. 1, 33–39. [2] R. A. Shore, On the strength of Fraïssé’s conjecture, Logical methods: In honor of Anil Nerode’s sixtieth birthday, 1993, pp. 782–813. 参加を希望される方は竹田(yuto.takeda.t8(a)dc.tohoku.ac.xn--jp)-u63baam6azav5czbevh0gij9rvoja5sb4j6736j2rvgn34dhb1b. どうぞよろしくお願いいたします．竹田侑人 yuto.takeda.t8(a)dc.tohoku.ac.jp

1 0

【リマインド】第151回プログラミング研究発表会参加募集
by Sosuke MORIGUCHI 06 Nov '24

06 Nov '24

※重複してお受け取りの場合はご容赦ください．皆様第151回プログラミング研究発表会担当、東京科学大学の森口です。第151回プログラミング研究発表会の開催が来週火曜と迫っておりますので、リマインドです。参加される方はマイページより参加登録をお願いします。また、懇親会の申込期限を今日いっぱいから11/8 (金) 17時に延長しました。参加を迷われている方がいらっしゃいましたら是非申込をお願いします。多くの皆様のご参加をお待ちしています。 ======= 情報処理学会第151回プログラミング研究発表会（PRO2024-3）参加募集 https://sigpro.ipsj.or.jp/pro2024-3/ 日程：2024年11月12日(火) ～ 11月13日(水) 会場：東京科学大学大岡山キャンパス西8号館E棟 10階 1004号室　　　およびオンラインのハイブリッド開催　　　〒152-8550 東京都目黒区大岡山2-12-1 参加費：無料プログラム：https://sigpro.ipsj.or.jp/pro2024-3/program/ ＊初日（11月12日）の発表会終了後、現地での懇親会を予定しております。下記の参加申込ページより11/8（金） 17時までにお申し込みください。 https://sigpro.ipsj.or.jp/pro2024-3/party/ ＊参加方法：参加申込を頂いた方にZoomのミーティングへのアクセス方法等をご案内いたします。参加申込は下記のページからお願いします。発表会当日も受け付けております。 https://www.ipsj.or.jp/kenkyukai/event/pro151.html ======= 11月12日(火) ＊セッション1（14:00-15:45）：座長　未定 2024-3-(1)：14:00-14:45 「Functional Reactive Animation with Functions of Time」 ○Katsuhiro Ueno, Haru Karato (Niigata University) 2024-3-(2)：14:45-15:15（短い発表）「重なりのある正則項書き換えシステムの合流性条件」 ○伊井亮祐, 青戸等人 (新潟大学大学院自然科学研究科) 2024-3-(3)：15:15-15:45（短い発表）「等式論理の帰納的定理証明のための無限の導出木を持つ証明体系EqID$^¥omega$の提案に向けて」 ○嶋貫凌, 青戸等人 (新潟大学大学院自然科学研究科) ＊2023年度CS領域功績賞・2024年度CS領域奨励賞授与式および拡大運営委員会（15:45-16:15）＊懇親会 18:00-20:00（予定） 11月13日(水) ＊セッション2（9:30-11:00）：座長　未定 2024-3-(4)：9:30-10:15 「プログラミング言語処理系を実装するためのRust上の環境」 ○中神悠太 (筑波大学理工情報生命学術院システム情報工学研究群), 中井央 (筑波大学図書館情報メディア系), 三宮秀次 (筑波大学システム情報系) 2024-3-(5)：10:15-11:00 「否定標準回路を用いた問題の計算複雑性の解析」 ○小林弘二 (個人)

1 0

第51回量子情報技術研究会(QIT51)のご案内
by NISHIMURA Harumichi 05 Nov '24

05 Nov '24

logic-mlの皆様名古屋大学の西村と申します．第51回量子情報技術研究会（QIT51）の会告案内を代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 ---以下会告案内--- 第51回量子情報技術研究会（QIT51）開催のお知らせ研究会の内容：　情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。　第51回研究会を下記のように開催いたします。現在この分野で活躍する研究者は勿論、自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など、広く関連する分野の研究者・技術者からの発表を募集致します。聴講のみの参加も歓迎致しますので、奮ってお申し込みください。　なお、第38回研究会から学生発表賞を創設いたしました。応募方法等については、下記のQITウェブサイトをご確認下さい。日時：2024年11月26日(火)〜2024年11月28日(木) 　　※現地開催のみ。オンライン配信なし会場：サンポートホール高松　第１小ホール (〒760-0019 高松市サンポート2-1 高松シンボルタワー　ホール棟) 発表募集分野 (申し込み状況によって査読の可能性あり)：　量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、　量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、　量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員：200名参加費：一般4,000円、学生3,000円懇親会費：4,000円　※11月8日（金）より後に参加登録された場合、参加費は上記に+1,000円増額されます。　※さらに以上とは別に、学生限定・当日受付・予稿集なし・聴講のみの参加費1,000円という選択肢もあります。これは事前手続き不要です。研究会参加申込要領：　参加申込は下記 Web にて受付けます：　https://www.ieice.org/es/qit/qit51/ 　講演 (口頭，ポスター) の申込、予稿集原稿PDFの提出は、電子情報通信学会のWebシステムを使用。各種締切：　口頭講演申込　　　：2024年10月11日（金）　ポスター発表申込　：2024年10月25日（金）　PDF原稿提出　　　：2024年10月25日（金）　早期参加事前登録　：2024年11月8日（金）　（これ以降は参加費が1000円上がります）【問合せ先】小野貴史　(香川大学創造工学部) 小林弘和　 (高知工科大学システム工学群) 宮川勇人　 (香川大学創造工学部) 廖望　　　(高知工科大学システム工学群) qit51.committee(a)gmail.com 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長村尾美緒（東京大学））共催：応用物理学会量子エレクトロニクス研究会

1 1

【発表募集】第152回プログラミング研究発表会（PRO-2024-4）
by Sato, Ryosuke 05 Nov '24

05 Nov '24

皆様、東京農工大学の佐藤亮介です。第152回プログラミング研究発表会 (PRO-2024-4) の発表申込締切（11/15）が近づいてきましたので再度ご案内いたします。是非投稿をご検討ください。 ==================================================== 第152回プログラミング研究発表会 (PRO-2024-4) 発表募集 https://sigpro.ipsj.or.jp/pro2024-4/ 日程　：2025年1月15日(水)～1月16日(木) 会場　：秋田拠点センターALVE（https://www.alve.jp/）　　　　およびオンラインのハイブリッド開催を予定参加費：無料発表申込締切：2024年11月15日（金）投稿論文原稿提出締切：2024年12月6日（金）発表予稿提出締切：2025年1月10日（金）プログラミング研究会（PRO）は， * プログラミング言語の設計，処理系の実装 * プログラミングの理論，基本概念 * プログラミング環境，支援システム * プログラミング方法論，パラダイム * これらを応用したシステムの開発事例 * その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3〜4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会からおおむね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． https://sigpro.ipsj.or.jp/sigtra4/ 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております．問合せ先：佐藤亮介（東京農工大学） E-mail: rsato [at] acm.org 担当者：佐藤亮介 (東京農工大学)，川端英之（広島市立大学）

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml