Logic-ml

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

1792 discussions

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 03 Dec '23

03 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

Mini-course: Forcing techniques for Cichoń’s Maximum (University of Vienna)
by Diego A. Mejia 26 Nov '23

26 Nov '23

The University of Vienna Set Theory Research Seminar will host the following mini-course in hybrid format in the coming Winter Semester 2023. Mini-course: Forcing techniques for Cichon's Maximum by Diego Mejia (Shizuoka University) Thursdays (6 lectures) Japan Standart Time 19:30-21:00 (Central European Time 11:30-13:00) Nov 30th-Dec 14th; Jan 11th-25th Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichon’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichon’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichon’s Maximum model and much more. Concretely, we discuss the following components: 1. (Nov 30th) Tukey connections and cardinal characteristics of the continuum 2. (Dec 7th) Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. (Dec 14th) Preservation theory for cardinal characteristics. 4. (Jan 11th) FS iterations with measures and ultrafilters on the natural numbers. 5. (Jan 18th) Boolean Ultrapowers. 6. (Jan 25th) Forcing Intersected with submodels. -- 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

[2nd CFP][Deadline Extended] 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM 2024)
by Katsuhiko Sano 23 Nov '23

23 Nov '23

logic-ml の皆様、北海道大学の山田友幸先生の代理で投稿いたします。佐野勝彦 -------- 2nd Call for Papers *The Connectives in Logic and Language* 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM 2024) *Extended Deadline for 2-page abstracts: November 25, 2023* Workshop: March 30–31, 2024; Tutorials March 29, 2024. Venue: Tsinghua University, Beijing. Workshop web site: http://tsinghualogic.net/JRC/tllm/2024connectives/ The propositional connectives – *and, or, not, if-then,* etc. – are fundamental building blocks in formal as well as natural languages. In the Western tradition, they were first studied as such by the Stoics, and *Propositional　Logic* is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. It is actually a vast area of research, as witnessed by Lloyd Humberstone’s 1500 page tome *The Connectives* (2011), which overviews much of that research. Perhaps the most familiar recent work in this area concerns *conditionals* in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation. Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. Even in well-studied languages like English, there are intricate phenomena that remain challenging for classical logic, including free choice disjunction, non-boolean conjunction, metalinguistic negation, to name just a few. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration. The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or language. Below are just a few examples of possible topics for this workshop. - semantics of negation: classical, non-classical, contra-classical - inclusive versus exclusive disjunction in natural languages - the meaning of connectives: model-theoretic, proof-theoretic, game-theoretic,… - non-classical connectives: in intuitionistic logic, linear logic, relevance logic, orthologic, etc. - free choice disjunction - boolean and non-boolean conjunction - acquisition of natural language connectives - cross-linguistic variations of natural language connectives - role of Large Language Models (LLMs) in understanding connectives: challenges, capabilities, and implications *Invited speakers* *Christoph Harbsmeier (University of Oslo)* *Wesley Holliday (UC Berkeley)* *Jacopo Romoli (Heinrich Heine University, Düsseldorf)* *Fan Yang (University of Utrecht)* *Tutorials (prel. titles)* *Logic: Wesley Holliday* *Linguistics: Christoph Harbsmeier* *Contributed papers* We invite submissions of *2-page abstracts* (including references) on any of the broad themes related to the connectives in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow. Abstracts should be submitted via Easychair: https://easychair.org/conferences/?conf=tllm2024 The workshop will take place on site at Tsinghua University, Beijing. *Important dates* - *November 25, 2023*: deadline for submitting abstracts - *December 15, 2023*: notification of acceptance - *March 29, 2024:* tutorials - *March 30-31, 2024*: workshop *Registration* TBA *Program chairs* Mingming Liu (Tsinghua University), Dag Westerståhl (Stockholm University, Tsinghua University), Xiaolu Yang (Tsinghua University)

1 0

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

15 Nov '23

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

1 0

QIT49のご案内
by NISHIMURA Harumichi 08 Nov '23

08 Nov '23

logic-mlの皆様名古屋大学の西村と申します．第49回量子情報技術研究会（QIT49）の会告案内を代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------------------------------------------------------------- 第49回量子情報技術研究会 (QIT49)https://www.ieice.org/es/qit/qit49/ 研究会の内容：　　情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　　第49回研究会では，現在この分野で活躍する研究者は勿論，自分の研究資産が何ら　かの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・　技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申　し込みください．日時: 2023年12月17日（日）午後2時～ 19日（火）正午会場: 沖縄科学技術大学院大学講堂（〒904-0495沖縄県国頭郡恩納村谷茶1919-1）発表募集分野 (申し込み状況によっては査読の可能性あり)：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究, 数学的研究，および，その他関連分野．学生発表賞あり．定員: 約250名参加費：事前振込　一般5,000円，学生3,000円（懇親会費2,000円を含む）研究会参加申込要領：　参加申込および参加料支払いは下記 Web にて受付けます：　https://eventpay.jp/event_info/?shop_code=1251246072252365&EventCode=P10183… 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出：　https://ken.ieice.org/ken/form/index.php?tgs_regid=2e719298720f75ef80a0c327… 各種締切：【口頭講演申込締切】　　2023年12月3日（日）【ポスター講演申込締切】2023年12月3日（日）【予稿原稿提出締切】　　2023年12月10日（日）【参加申込締切】　　　　当日までオンラインシステムで受付可能【問合せ先】　久保結丸, 根本香絵, 高橋優樹, Thomas Busch （OIST）　Email: qit49(a)oist.jp<mailto:qit49@oist.jp> <qit49(a)oist.jp> 主催: 量子情報技術特別研究専門委員会（委員長：武岡正裕（慶應義塾大学））共催: 応用物理学会量子エレクトロニクス研究会　　沖縄科学技術大学院大学量子技術センター

1 0

【論文/発表募集】第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
by 安部達也 08 Nov '23

08 Nov '23

皆様， PPL 2024 プログラム共同委員長の安部です．以前にもご案内差し上げた PPL 2024 について，論文投稿受付を開始いたしましたので投稿・発表申込要領を含めた CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．皆様のご投稿をお待ちしております． PPL 2024 プログラム共同委員長（ppl2024-pc-chair(a)jssst-ppl.org) 安部達也（千葉工業大学）川端英之（広島市立大学） ======================================================= 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ ** 重要な日程 ** カテゴリ1：発表申込締切 2023年12月22日（金）17:00 (JST) 論文提出締切 2024年 1月 5日（金）17:00 (JST) 採否通知　　 2024年 1月29日（月）最終原稿締切 2024年 2月16日（金）17:00 (JST) カテゴリ2：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火）カテゴリ3：発表申込締切 2024年 1月31日（水）17:00 (JST) 採否通知　　 2024年 2月 2日（金）カテゴリ4：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火） ** PPL 2024 の開催形式について ** PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です． ** PPL 2024 とは ** PPL 2024 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

Sapporo Mini-Workshop on Modal Logic: 10th November 2023
by Katsuhiko Sano 07 Nov '23

07 Nov '23

logic-ml のみなさま、北海道大学の佐野勝彦です。今週金曜日、11/10の午後3時から、東北大学の大森仁さん、東京工業大学の西村祐輝さんをお迎えして、 **Sapporo Mini-Workshop on Modal Logic** 日時: 2023年11月10日午後3時〜午後6時場所：〒060-0810 北海道札幌市北区北10条西7丁目北海道大学人文・社会科学総合研究教育棟（W棟）4階 W408教室 website: https://sites.google.com/view/sapporows4ml2023/home の要領で様相論理に関するミニワークショップを開催します。 websiteは英語で書かれていますが、日本語で開催する予定です。興味のある方はフラリとお立ち寄りください。佐野勝彦

1 0

数学基礎論若手の会2023：宿泊締め切りが近づきました
by Naosuke Matsuda 06 Nov '23

06 Nov '23

みなさま湘南工科大学の松田です。今年度の数学基礎論若手の会について，宿泊申し込みの締め切りまで一週間となりましたので，改めて周知させていただきます。現地宿泊を伴わない参加も可能ですが，近くに手ごろなホテルなどは少ない立地となります。会場のホームページ等ご確認の上，ご検討いただければ幸いです。 --開催要領-- 日程：2023年12月7日（木）～ 12月9日（土）会場：サンセットブリーズ保田 <https://sunset-breeze.com/>（対面開催）住所：千葉県安房郡鋸南町大六1032 世話人：松田直祐（湘南工科大学）参加申し込み方法などの詳細は，ホームページでご確認ください。 https://sites.google.com/view/mlwakatenokai2023/%E3%83%9B%E3%83%BC%E3%83%A0 宿泊申し込み期限：11/13(月) 講演申し込み期限：11/23(木） 4年ぶりに対面（合宿形式）での開催となります。多くのみなさまのご参加をお待ちしております。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

早稲田ー神戸合同集合論セミナーの開催について
by Sakae Fuchino 31 Oct '23

31 Oct '23

渕野昌＠神戸大学 (emeritus) です．直前のお知らせになってしまい申し訳ありません． Waseda Set-Theory Seminar と Kobe Set-Theory Seminar の番外(?) 合同セミナーとして，以下のセミナーの sessions を in-person (in Kobe at the logic group of Kobe University) + zoom の hybrid seminar の形式で開催したく思っております．zoom 参加をご希望の方は，酒井拓史さん Hiroshi SAKAI <hsakai(a)people.kobe-u.ac.jp> または，私 Sakaé FUCHINO <fuchino(a)diamond.kobe-u.ac.jp> までご連絡ください． Wednesday (1. Nov.): 16:00 〜 Speaker: Joan Bagaria, Title: "Reflection on the edge: I0 cardinals and beyond" Thursday (2. Nov.) : 15:30 〜 Speaker: Gunter Fuchs, Title: "On the structure of the blurry HOD hierarchy" (there will be an in-person dinner after the talk) -- best regards Sakaé Fuchino (渕野昌, Prof.Emer., Dr.rer.nat.) ----------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 Japan e-mail: fuchino(a)diamond.kobe-u.ac.jp web pages: https://fuchino.ddo.jp/index-j.html (in Japanese) https://fuchino.ddo.jp/index-e.html (in English under construction) -----------------------------------------------------------------------------

1 0

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 29 Oct '23

29 Oct '23

皆さま（過去に参加頂いた方を中心に約60名に送ってます．重複はご容赦願います．）米子高専の堀畑です．『第9回山陰数学と基礎論の研究集会』を開催します．基礎論，数学，教育の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！研究集会のHP https://sites.google.com/view/logic-and-math/2024 日程：2024年1月6日 (土) ~ 7日 (日) ※ 6日の夜には懇親会を予定しています．場所：米子コンベンションセンター（鳥取県米子市）締切：〜12月11日 (月)　講演申し込み〜12月25日 (月)　参加申し込み申し込み：以下のFormsより参加・講演登録をお願いします． https://forms.office.com/r/6q5uZdiikH ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12月25日まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml