Logic-ml August 2023

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

10 participants
14 discussions

31 Aug '23

logic-ml の皆様、『若手による数理論理学研究集会』の西村です。公式サイトにて、タイムテーブルを公開しました。発表件数が多く、1日目も朝早くからの開催となりますのでご注意ください。発表者の中で時間を変更してほしいなどの要望がありましたら、お早めにお申し付けください。また、参加受付は 9/7 まで受け付けております。現地での参加、オンライン参加のどちらでもかまいません。公式サイト：https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

【9月5日締め切り】参加募集: 日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 31 Aug '23

31 Aug '23

# 複数お受け取りの場合はご容赦ください．日本ソフトウェア科学会第40回大会の参加募集を再度お送りします．今年度の大会では第40回の記念に学生参加費が無料です．参加申込み締切は *** 9月5日(火) *** です．お早めにお申込みください．合わせて運営を手伝って頂ける学生アルバイトも募集しています． https://jssst2023.wordpress.com/sv/ こちらも9月5日(火)が締切です．教員の方はお近くの学生さんにお声がけください． ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．プログラム: https://jssst2023.wordpress.com/program/ 基調講演(1) 9月12日 9:20～10:30 丸山宏（花王）「コンピュータサイエンスはどこへ向かうか」基調講演(2) 9月12日 15:05～16:15 原田康徳（合同会社デジタルポケット）「手作りプログラミング　プログラミング言語ビスケットの20年と、それより前の20年」併設チュートリアル 9月11日 14:00～17:00 「試して作って知るライブプログラミング入門」講師：加藤淳（産業技術総合研究所）橋本麦（産業技術総合研究所）併設PPLサマースクール 9月11日 9:30～12:55 「正規表現研究の最先端」講師：千田忠賢（NTT社会情報研究所），南出靖彦（東京工業大学）皆様のご参加をお待ちいたしております． -- 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

【参加登録受付中】日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 28 Aug '23

28 Aug '23

# 複数お受け取りの場合はご容赦ください京都大学の末永と申します。日本ソフトウェア科学会第40回大会の参加募集をお送りします。今年度の大会では第40回の記念に学生参加費が無料です。 https://jssst2023.wordpress.com/ にてプログラムが公開されています。招待講演を始めとして 40周年企画セッションや基礎研究賞受賞講演等盛りだくさんのプログラムになっております。 PPLサマースクールや大会チュートリアルもやっております。ぜひ参加をご検討ください！ ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．皆様のご参加をお待ちいたしております． -- 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

CCC 2023 - call for participation
by Takao Yuyama 28 Aug '23

28 Aug '23

logic-mlの皆様京都大学の湯山です．来月9月25日(月)〜29日(金)に京都で開催される研究集会 CCC 2023 の参加募集について，下記の通りお知らせいたします．参加登録の締切は9月13日(水)ですが，参加人数把握のため，早めに登録いただけますと幸いです． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp ---- CALL FOR PARTICIPATION CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Participation can be online or in person and is free of charge. A link for the registration can be found on the following conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ Please register early, so that we can confirm the number of participants. Deadline for registration: September 13 ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. ======================================================== Invited Speakers: Johanna Franklin (Hofstra University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Takako Nemoto (Tohoku University, Sendai, JP) Siegfried M. Rump (Hamburg University of Technology, DE) Linda Westrick (Penn State University, USA) ======================================================== Programme Committee Ulrich Berger (Swansea, UK) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Milly Maietti (Padua, Italy) Norbert Müller (Trier, Germany) (chair) Sewon Park (Kyoto, Japan) Svetlana Selivanova (Novosibirsk, Russia) Chuangjie Xu (Munich, Germany) Martin Ziegler (KAIST, Republic of Korea) Organizing Committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) (co-chair) Sewon Park (Kyoto, Japan) Holger Thies (Kyoto, Japan) (co-chair) Hideki Tsuiki (Kyoto, Japan) Takao Yuyama (Kyoto, Japan)

1 0

東北大ロジックセミナーのご案内(8月29日)
by YOKOYAMA Keita 27 Aug '23

27 Aug '23

皆様東北大の横山です．直前のご案内になりまして恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：8月29日(火) 15:00- 場所：東北大学理学研究科合同A棟803号室 (当日はzoom配信を実施予定です． zoomにて参加を希望される方は，五十里さん(hiroyuki.ikari.q8(a)dc.tohoku.ac.xn--jp)-u63b4b3ai1gucvn3231fnbwb) 講演者：仁木哲 (ルール大学ボーフム) 題目： How can an intuitionistic logician understand connexive constructible falsity? 概要： Constructivists have usually understood negation as an implication to absurdity. Nonetheless, there have also been dissenting voices to this conception, one of the most notable among which are ones who advocate an alternative notion called constructible falsity. Nels David Nelson (1918-2003) introduced this notion as a `strong’ form of negation, which provides a direct counter-example to its negand. This `strongness’ is however often eschewed in favour of paraconsistency, making the resulting negation, severed of its relationship with intuitionistic negation, harder for intuitionistic logicians to comprehend. The issue is more serious in a variant of constructible falsity introduced by Heinrich Wansing, which validates so-called `connexive’ principles. This is due to the provability of a contradictory pair of formulas, which prohibits an interpretation of it as a `strong’ negation without bringing triviality. As a result, Wansingian negation should appear even more mysterious to the eyes of intuitionistic logicians. Another way to relate intuitionistic and Wansingian negations is to accept the law of excluded middle for the latter, as studied by Wansing and Hitoshi Omori. This move, however, compromises constructivity, and therefore is perhaps not so preferable either. In this talk, I will try to shed some lights on this issue, by discussing other ways to introduce an interaction between intuitionistic and Wansing negations. I will compare relative advantages of the interactions, which may enable intuitionistic logicians to better understand Wansingian negation and its connexivity. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

SLACS 2023（8月31日・9月1日）発表プログラム公開
by Yosuke Fukuda 24 Aug '23

24 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の福田@京都橘大です． SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

「若手による数理論理研究集会」についてご案内
by 西村祐輝 19 Aug '23

19 Aug '23

logic-ml の皆様、東京工業大学の西村です。以前告知しました「若手による数理論理研究集会」について、いくつかのご案内を申し上げます。 1. 講演申し込み者の皆様には、8月25日以降に、以下の事項について伺います。・演題・講演の概要・発表時間の希望：通常（40分程度）、ショートトーク（15分程度）の2つを設けています。すでにお決まりの方がいらっしゃいましたら、お早めにお知らせいただけると幸いです。 2. 旅費支援および宿泊費支援においては、対象者の方に 8/25 以降個別に連絡いたします。つきましては、旅費支援をご希望の方は、お手数ですが *8月24日* までに参加申し込みをいただきますよう、よろしくお願いいたします。 3. 各種締め切りは次のとおりです。・発表申し込み：8月24日・参加申し込み：9月7日宿泊申し込みの締め切りは過ぎておりますので、両日参加される方は、各自で宿泊先の手配をお願いいたします。合わせて、・旅費支援申請：8月24日・懇親会参加：8月24日を、それぞれ締め切りといたします。 4. 本日以降、上記の講演詳細はじめ、本会についての連絡は、西村祐輝 (nishimura.y.as [at] m.titech.ac.jp) までお願いいたします。こちらのサイトもあわせてご確認ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

数学基礎論サマースクール2023のお知らせ(第二報)
by Kenshi Miyabe 18 Aug '23

18 Aug '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏すべての講演は日本語で行います．詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ スケジュールを公開しました．内容の詳細を加えました．人数把握のために参加登録をお願いします．参加登録は必須ではありません．懇親会の案内も加えました．日時：9月14日(木)の夜場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です．時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．最終締切：9月8日(金)昼12:00 どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

モデル理論夏の学校・研究集会2023のお知らせ
by kota takeuchi 17 Aug '23

17 Aug '23

皆さまモデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年は筑波大学で開催されます．モデル理論に興味のある幅広い分野の方を歓迎します．詳しくはwebpageをご覧ください。また参加をご希望の方はwebpageの申込フォームからお申し込みください。皆様の参加をお待ちしております。日程：2023年9月6日（水）午後－8日（金）午前場所：筑波大学総合B棟0110講義室連絡先：竹内耕太（筑波大学 kota(a)math.tsukuba.ac.jp) Webpage:https://sites.google.com/view/modeltheorysummerworkshop2023/home 竹内耕太

1 0

PPLサマースクール2023 「正規表現研究の最先端」のご案内
by k.inaba 16 Aug '23

16 Aug '23

皆様（重複して受け取られた場合、ご容赦ください）、 Google の稲葉と申します。日本ソフトウェア科学会第40回大会併設のイベントとして、 9月11日(月) に開催予定のPPLサマースクール2023についてご案内いたします。多数のご参加をお待ちしております。 ========================================================== PPLサマースクール2023「正規表現研究の最先端」 http://ppl.jssst.or.jp/index.php?ss2023 2023年9月11日(月) 9:30〜12:55 東京大学本郷キャンパスおよびオンラインのハイブリッド開催 ========================================================== # 概要文字列の集合を表記する方法の一つである正規表現は，理論計算機科学の重要な基礎であると同時に，実用的なプログラミングにおいても，文字列検査や検索における必須のツールとして広く使われています．とはいえ，大学の形式言語理論の講義で習うような綺麗に整った正規表現・オートマトン等の理論と，様々な拡張を施されたある種泥臭い現実のプログラミング言語の機能としての正規表現とは，どこか隔たりがあるように感じている方も多いのではないでしょうか．本サマースクールでは，2名の講師をお招きして，後方参照などの拡張や，バックトラックにより実装された正規表現エンジンの計算時間の問題，文字列抽出の扱いなど，正規表現にまつわる発展的な問題について，どのような研究がなされているのか，ご講演いただきます．受講にあたっては，形式言語とオートマトンなど，学部レベルのコンピュータサイエンスの知識を習得していることが推奨されます． # 講師紹介（発表順）千田忠賢 NTT社会情報研究所・研究員．2023年早稲田大学博士後期課程修了．形式言語・オートマトン理論の技術の実世界への応用に関する研究に従事．南出靖彦東京工業大学情報理工学院数理・計算科学系教授．博士（理学）．ソフトウェア検証，プログラミング言語，形式言語理論に興味を持つ． # プログラム 9:30 - 9:35 オープニング 9:35 - 10:35 正規表現とその拡張について（講師：千田） 10:35 - 10:45 休憩 10:45 - 11:45 正規表現のDoS脆弱性(ReDoS)とその検査技術（講師：南出） 11:45 - 11:55 休憩 11:55 - 12:55 例を用いた正規表現の自動修正技術（講師：千田）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2023