Logic-ml April 2024

12 participants
13 discussions

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 04 Apr '24

04 Apr '24

東北大学の横山です．直前の方で大変恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：4月4日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Andrew Arana (Université de Lorraine, Archives Poincaré) Title: Varieties of reversals Abstract: Reverse mathematics has become one of the most important subjects of mathematical logic. It has a rich domain of problems arising from ordinary mathematics, as well as a programmatic orientation. To put it briefly, its results seem to matter not only for logic but also for ordinary mathematics. Yet there are several different accounts of why it matters, of what a reversal tells us. I want to discuss a few of these. オンライン参加を希望される方は横山までご連絡いただきますようよろしくお願いいたしますどうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 0

第50回量子情報技術研究会（QIT50）開催のお知らせ
by NISHIMURA Harumichi 03 Apr '24

03 Apr '24

logic-mlの皆様名古屋大学の西村と申します．代理でQIT50のご案内を投稿します．どうぞよろしくお願い致します． ------------------------------------------------------------------- 量子情報技術研究会は、情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です。情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と、そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して、情報科学、物理学、光エレクトロニクスを含む理学、工学、数理科学に携わる研究者間に自由な討論の場を提供し、この研究分野の発展を図ることを目的としています。第50回研究会では、現在この分野で活躍する研究者は勿論、これからの可能性を感じる研究者や技術者の方々からの積極的な発表・参加を心よりお待ちしております。日時: 2024年5月28日(火)〜2024年5月30日(木)*現地開催のみ。オンライン配信なし会場: 産業技術総合研究所つくば中央共用講堂 (茨城県つくば市梅園1-1-1) 発表募集分野 (申し込み状況によって査読の可能性あり)：量子情報技術に関わる理論的研究、実験的研究、計算機科学的研究、数学的研究、量子計算、量子計算素子、量子情報、量子誤り訂正、量子エンタングルメント、量子光学、量子物性、相対論的量子情報理論、量子基礎など、その他関連分野定員: 200名参加費：一般4,000円、学生3,000円懇親会費: 4,000円 *事前登録や銀行振込の期限に間に合わない場合、当日現地でのお支払いの場合には、上記金額に1,000円の追加料金が発生します。 *学生限定で、予稿集なし・懇親会なしの参加費1,000円というオプションもあります。（事前手続き不要、当日受付）研究会参加申込詳細： https://www.ieice.org/es/qit/qit50/ 各種締切：口頭講演申込： 2024年4月23日（火）ポスター発表申込： 2024年5月7日（火） PDF原稿提出： 2024年5月7日（火）参加事前登録（懇親会参加登録も含む）： 2024年5月21日（火）参加費（懇親会費も含む）の銀行振込： 2024年5月21日（火）【問合せ先】猪股邦宏（産業技術総合研究所）石川豊史（同上）辻本学（同上）浦出芳郎（同上） Email: M-qit50-ml(a)aist.go.jp 主催：電子情報通信学会量子情報技術特別研究専門委員会（委員長武岡正裕（慶應義塾））共催：応用物理学会量子エレクトロニクス研究会、産業技術総合研究所 ----------------------------------------------------------

1 0

【発表募集】第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

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2024