Logic-ml

9 participants
1781 discussions

教授（鹿児島大学）公募
by Hitoshi Furusawa 08 Sep '23

08 Sep '23

logic-ml の皆さま鹿児島大学の古澤と申します。本学学術研究院理工学域理学系では、以下の公募を行っております。募集人員：教授１名（任期の定めなし）所　　属：鹿児島大学学術研究院理工学域理学系（理学部理学科／数理情報科学プログラム担当）専門分野：情報科学（情報科学に関連する数理科学分野を含む）着任時期：令和６年４月１日応募締切：令和５年１１月１０日（金）必着詳細につきましては下記のURLをご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123090485 https://www.kagoshima-u.ac.jp//about/saiyou.html ご興味をお持ちの方がいらっしゃいましたら応募をご検討ください。また、お近くに適任の方がいらっしゃいましたらお勧めいただけますと幸いです。 ----- 鹿児島大学古澤仁

1 0

教授または准教授(愛媛大学)公募(締切R5/10/27)
by FUJITA Hiroshi 07 Sep '23

07 Sep '23

Logic-MLの皆様、愛媛大学の藤田です。愛媛大学大学院理工学研究科（数理科学講座）では、以下の公募を行っております。募集人員: 教授または准教授（任期なし）１名所属部門: 愛媛大学大学院理工学研究科理工学専攻数理科学講座応募資格: 修士以上の学位、実務の経験を有する、など専門分野: 機械学習、データサイエンス及びそれらの関連分野着任時期: 令和6年4月1日以降のなるべく早い時期公募締切: 令和5年10月27日（金）17:00必着本件、応募資格に特徴がある公募となっております。詳細につきましては, 以下のページをご覧ください。 https://www.ehime-u.ac.jp/wp-content/uploads/2023/09/surikagaku_kobo.pdf 関係者等にご周知いただければ幸いです。また、適任者をご存知の場合には、ぜひ応募をお勧めいただきますようお願い申し上げます。よろしくお願いいたします。愛媛大学大学院理工学研究科理工学専攻数理科学講座藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

【講演募集中】RIMS Set Theory Workshop 2023
by FUJITA Hiroshi 04 Sep '23

04 Sep '23

Logic-ML のみなさま、こんにちは。愛媛大学の藤田です。京大RIMSでの集合論研究集会(RIMS Set Theory Workshop 2023)について、重ねて講演募集のお知らせです。今年度の RIMS Set Theory Workshop 2023 は＊「巨大基数と連続体」という題目のもと、＊ 10月24日(火)〜27日(金)の4日間、＊京都大学数理解析研究所110号室とZoom配信のハイブリッド形式で開催されます。今年は、カタロニアICREAのJoan Bagaria先生のミニ・コースを予定しております。集合論および関連分野に関する講演を幅広く募集しております。まだまだ講演枠には余裕がありますので、若手のみなさまも、ベテランのみなさまも、ぜひ講演をご検討ください。RIMSでの対面での講演、Zoomによるリモート講演のどちらにも対応いたします。講演ご希望の方は、日々が迫っていて申しわけありませんが、9月15日(金)までに、 fujita.hiroshi.mh(a)ehime-u.ac.jp まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

『若手による数理論理学研究集会』について
by 西村祐輝 31 Aug '23

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml