Logic-ml

9 participants
1781 discussions

18 May '23

皆様，群馬県立女子大学の黒田です．教員公募についてお知らせいたします．群馬県立女子大学では，2023年度より設置された文学部文化情報学科において，「情報学（情報科学に関連する数理科学を含む）」に関する教授，准教授または専任講師1名の公募を行なっています．この学科は文学部内に設置されていますが，担当科目は情報科学and/or数理科学に関する分野となっております．応募締め切りは2023年6月14日（水）必着です．ご興味のある方はぜひ応募をご検討ください．またお近くに適任の方がおられましたら，本公募についてお知らせいただければ幸いです．詳細につきましては以下のURLをご覧ください． https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html#jouhougaku よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

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

18 May '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ どうぞよろしくおねがいします．宮部 -- 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

Kobe Set Theory Seminar のお知らせ
by Hiroshi SAKAI 12 May '23

12 May '23

皆様：神戸大学の酒井です． 5月15日(月) から Kobe Set Theory Seminar を開始します． Kobe Set Theory Seminar 日時：毎週月曜 16:30 — 形式：Zoom によるオンラインホームページ：http://www2.kobe-u.ac.jp/~fuchino/kobe-set-theory-seminar/ （講演者によって時間と形式は変更になる可能性があります．）初回（5月15日）と第２回（5月22日）の内容は以下の通りです．講演者：合浦岳彦 (TU Wien) タイトル：Chang models over derived models with supercompact measures （アブストラクトは上記ホームページにあります．）またその後の予定も随時ホームページに掲載して行きますのでご覧ください．セミナーへの参加をご希望の方は，私にご連絡ください． Zoom の情報等をお知らせします．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> （酒井拓史）皆様の奮ってのご参加をお待ちしています．酒井拓史

1 0

准教授または助教の募集
by Jacques Garrigue 08 May '23

08 May '23

基礎論・論理MLの皆様、名古屋大学多元数理科学研究科で以下の公募を行なっていますので、よろしくお願いいたします。 Jacques Garrigue ==== 各位名古屋大学多元数理科学研究科では下記要領で教員公募を行うことになりました．つきましては貴関係者にお知らせいただくとともに，適任者をご存じの場合には，応募をお勧め下さるようお願い申し上げます．　　准教授(任期なし) または助教(テニュアトラック教員)　2名　　研究分野　　数学・数理科学　　応募期限　　2023年8月6日(日) 　　採用予定日　2024年2月1日以降できるだけ早く　　応募の詳細および問い合わせ先は以下のウェブページ参照　　https://www.math.nagoya-u.ac.jp/ja/job/2023/faculty-1.html 名古屋大学大学院多元数理科学研究科准教授・助教選考委員会委員長　Jacques Garrigue

1 0

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 05 May '23

05 May '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． (通常と異なり火曜日となっております．) https://sites.google.com/view/sendai-logic/ 日時：5月9日(火)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Antonio Montalban (University of California, Berkeley) Title: The game metatheorem. Abstract: We present a new metatheorem based on Ash and Kight’s original eta-system priority argument. The previous modification of Ash and Knight’s metatheorem by the author was more hands-on and slightly more general than the original. This new version is more abstract, less hands-on, less general, but much easier to apply. We will also mention a new topological version that is currently work in progress with Andrew Marks. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

CCC 2023 - call for contributions
by Takao Yuyama 02 May '23

02 May '23

logic-mlの皆様京都大学の湯山と申します．今年9月25日--9月29日にRIMSで開催される，Continuity, Computability, Constructivityに関するワークショップ(CCC 2023)の講演募集案内をお送りいたします．投稿締切は7月31日です．どうぞよろしくお願いいたします． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp __________________________________ CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ ============================================== Submission link: https://easychair.org/conferences/?conf=ccc2023 Deadline for Submissions July 31, 2023 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== 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. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), and Padova 2022. ======================================================== Invited Speakers: Takako Nemoto (Tohoku University, Sendai, JP) Linda Westrick (Penn State University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Siegfried M. Rump (Hamburg University of Technology, DE) ======================================================== Contributions The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas Participation is open both in presence and online. ===================================================================== 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

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

19 Apr '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． https://sites.google.com/view/sendai-logic/ 日時：4月21日(金)16:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：藤原誠(東京理科大学) Title: On the embedding of Kripke models into Beth models Abstract: Kripke showed in [1] that first-order Kripke models can be embedded into first-order Beth models with constant domains by a sophisticated transformation. Following [2, Chapter 13], we revisit the embedding from modern perspectives. [1] S. A. Kripke, Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, Vol.40, pp. 92-130, 1965. [2] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vol 2, Elsevier, 1988. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

【論文募集】コンピュータソフトウェア誌PPL特集号【6/16 17:00締切】
by Kazutaka Matsuda 11 Apr '23

11 Apr '23

皆様， # 重複してお受取になった場合はご容赦ください．東北大学の松田と申します．日本ソフトウェア科学会の学会誌「コンピュータソフトウェア」の「プログラミングおよびプログラミング言語（PPL）特集」の論文募集をご案内いたします．先月開催されました PPL 2023 に連動する特集号ではございますが，プログラミングおよびプログラミング言語分野に関する論文を広く募集しております．どうぞ投稿をご検討いただければ幸いです．特集号編集委員松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） ================================================ 論文募集：「プログラミングおよびプログラミング言語」特集 (論文投稿締切: 2023年6月16日(金) 17:00) 日本ソフトウェア科学会プログラミング論研究会は，毎年「プログラミングおよびプログラミング言語ワークショップ (PPL)」を開催しており，2023年3 月に第25回ワークショップ PPL 2023 を開催しました．本「プログラミングおよびプログラミング言語」特集号は，PPL 2023 に連動した企画であり，プログラミングに関する最先端の研究成果を掲載することを目的にしています．PPL 2023 の発表論文を発展させた論文，PPL 2023 での発表論文の中から推薦された論文（PPL 2023 推薦論文），あるいはそれに限らず下記の対象分野に関連した論文を広く募集します．なお，PPL 2023 との連携を強化するために，PPL 2023 のプログラム共同委員長・松田一孝（東北大学）氏，小宮常康（電気通信大学）氏を中心として特集号編集委員を構成しています．PPL 2023 での発表論文を発展させた論文，および，PPL 2023 推薦論文の査読にあたっては，PPL 2023 の論文およびその査読結果を参考とさせていただきますので，迅速で一貫した査読が期待できます． <対象分野> プログラミングおよびプログラミング言語に関する研究成果 <募集論文> プログラミングおよびプログラミング言語に関する研究論文・解説論文・ソフトウェア論文 <執筆要領> 日本ソフトウェア科学会誌「コンピュータソフトウェア」の関連諸規定をご参照の上，投稿論文の PDF ファイルと「投稿メモ」を ppl2023si[at]jssst-ppl.org 宛にお送りください．([at]を@に置換下さい) * 学会誌関連諸規定は以下でご参照いただけます． http://www.jssst.or.jp/edit/kitei/ * PPL 2023 で発表した論文を改訂して投稿する場合は，その旨をお知らせください． * 特集号に投稿された論文の査読基準は，一般投稿論文と同じです． * レター論文による投稿を歓迎します．レター論文は，査読者 1名による査読を行い，「照会後判定」は行わず，一度の査読で採否を判定します．刷り上がりで 6ページ以下の速報性を重視した論文です．レター論文を発展させたものは通常論文として投稿可能です． * 二重投稿にならないよう，十分ご注意下さい．（国際会議であっても，査読期間が重複する場合は二重投稿に該当します） * 日本ソフトウェア科学会の非会員による投稿も受け付けております．詳しくは上記論文投稿規定をご覧ください． * PPL 2023 推薦論文であっても，論文投稿締切り後は非推薦論文として扱います． <スケジュール> 論文投稿締切　： 2023年6月16日(金) 17:00 特集号刊行予定： 2024年2月号査読プロセスの進行状況により掲載予定号に間に合わない場合があります．その場合でも特集論文として扱われます． <特集号編集委員> 松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） <企画母体> 日本ソフトウェア科学会プログラミング論研究会 <問合せ先> 松田一孝（東北大学），小宮常康（電気通信大学） ppl2023si[at]jssst-ppl.org ([at]は@で置き換えて下さい)

1 0

（日本数学会）日本学術振興会育志賞の候補者の推薦について
by Hiroshi SAKAI 28 Mar '23

28 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）数学会「数学基礎論および歴史分科会」評議員の酒井拓史です． JSPS 育志賞の数学会からの推薦について，下記連絡がありました．候補の大学院生がいらっしゃる場合は，下記要領に従って数学会にご推薦ください．よろしくお願いします．酒井拓史 ========= 差出人: "president" <president(a)mathsoc.jp> 件名: （日本数学会）日本学術振興会育志賞の候補者の推薦について日付: 2023年3月27日 15:58:16 JST 宛先: "'msjprize'" <msjprize(a)mathsoc.jp> 全国区代議員、地方区代議員　各位理事　各位 ※本メールはBccでお送りしております。平素より日本数学会の運営にご協力を賜り厚く御礼申し上げます。先般、数学通信（会報）第２７巻第３号および第４号において、「令和５年度日本学術振興会育志賞」の数学会からの推薦募集について【４月７日（金）】を推薦期限としてお知らせいたしました。 https://www.mathsoc.jp/assets/file/publications/tushin/2704/kaiho274-07.pdf<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> 育志賞は将来、我が国の学術研究の発展に寄与することが期待される優秀な大学院博士課程学生を顕彰する大変名誉ある賞です。日本数学会からも優秀な大学院生を積極的に推薦したいと思いますので、お心あたりの大学院生をご存知のかたは是非ご応募いただきますよう、関係各所に広くご周知のほど、よろしくお願い申し上げます。　（参考）育志賞対象者：下記1ページ目「４．対象者」　　https://www.jsps.go.jp/file/storage/j-ikushi-prize/recommendation/candidate…<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.jsps.…> 推薦書の様式は「２０２３年度日本数学会賞建部賢弘賞推薦票」をご使用ください。（下記URLからダウンロードしていただけます） https://www.mathsoc.jp/activity/awards/takebe/<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> ご協力の程どうぞよろしくお願い申し上げます。日本数学会理事長　清水　扇丈次期理事長　鎌田　聖一 =========

1 0

数学会秋季賞の推薦募集
by Hiroshi SAKAI 24 Mar '23

24 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）神戸大学の酒井です．数学会の数学基礎論および歴史分科会で評議員をしております．お世話になっております．数学会から2023年度秋季賞の受賞候補推薦依頼が来ております．もし推薦がありましたら，私と受賞候補推薦評議員の関先生にご連絡いただくようお願いいたします．連絡先：関隆宏 tseki(a)adm.niigata-u.ac.jp <mailto:[email protected]> 　　　　酒井拓史 hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> 連絡期限：4月30日(日) ご連絡をいただいたあと，推薦者と関先生で推薦票を作成し，数学会に提出することになります．参考までに数学会からの推薦依頼文と推薦票様式の pdf を添付しております．よろしくお願いいたします．酒井拓史

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml