Logic-ml

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

3 participants
1740 discussions

准教授の公募
by SAKAI Hiroshi 14 May '24

14 May '24

皆様：東京大学の酒井です．東京大学数理科学研究科で准教授の公募をしております． https://www.ms.u-tokyo.ac.jp/news/kobojunkyoju20240630j.pdf ご興味のある方はご応募ください．よろしくお願いいたします．酒井拓史

1 0

【代理送信】東大数理5月の談話会(講演者：酒井拓史先生)のご案内
by yeongcheol-kwon＠g.ecc.u-tokyo.ac.jp 14 May '24

14 May '24

各位東大数理D3の権　英哲と申します。いつもお世話になっております。この度は、東大数理談話会委員長の宮本安人先生の代理として、お便り差し上げました。東大数理の5月の談話会にて、酒井拓史先生がご講演なさいます。以下が談話会委員長の宮本先生による案内文になります： ======================================== 日時：５月３１日（金）１５：３０～１６：３０場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ 講演者：酒井拓史氏 (東京大学大学院数理科学研究科) 題目：巨大基数について摘要：集合論は数学に現れる無限集合を調べる分野で，そこでは様々な無限基数が考えられています．これらのうち，自分自身より小さな基数に対して超越的な性質を持つ不可算基数は巨大基数とよばれます．これまでに多くの巨大基数が定式化されていますが，いずれもその名のとおり非常に大きな基数となり，その存在は集合論の標準的公理系 ZFC では証明できません．巨大基数の存在を主張する公理は巨大基数公理とよばれます．巨大基数は実数集合の濃度よりもはるかに大きくなりますが，巨大基数公理を仮定すると実数集合についての様々な命題が証明できるようになり，これは巨大基数の興味深いことのひとつです．この講演では，巨大基数理論の概要を紹介します．また，講演者が興味を持っている，小さな無限基数の巨大性についてもお話しします．東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/ZmHhZW6bxUyKewro8 多くの皆様のご参加をお待ちしております． 2024年度談話会委員足助太郎，寺田至，長谷川立，宮本安人（委員長）補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：6月の談話会は６月２１日（金），講演者はMircea Mustata氏（ミシガン大学）を予定しております． --------------------------- 宮本安人(MIYAMOTO, Yasuhito) miyamoto(a)ms.u-tokyo.ac.jp ======================================== 以上になります。よろしくお願い申し上げます [代理送信者] 東京大学大学院数理科学研究科博士課程3年権　英哲

1 0

【発表募集】第150回プログラミング研究発表会（PRO-2024-2）
by Ryoma Sin'ya 03 May '24

03 May '24

皆様（重複してお受け取りの場合はご容赦ください）第150回プログラミング研究発表会担当の秋大の新屋です。以下の通り、発表（同時投稿/発表のみ）を募集します。第150回プログラミング研究発表会は、2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます。発表申込期間は GW 明けです。論文誌への同時投稿・発表のみの申し込みのどちらも大歓迎です。たくさんのご投稿をお待ちしております。 ==================================================== 第150回プログラミング研究発表会 (PRO-2024-2) 発表募集第150回プログラミング研究発表会は，2024年並列／分散／協調処理に関するサマー・ワークショップ（SWoPP 2024）の一部として開催されます．日程　：2024年8月7日(水)～8月9日(金) 　　（共催研究会と調整の上，PROのセッションのスケジュールを決定します）会場　：あわぎんホール　徳島県郷土文化会館（https://kyoubun.or.jp/ <https://kyoubun.or.jp/>）　　　　およびオンラインのハイブリッド開催を予定参加費：無料案内ページ： SWoPP 2024に関するご案内は，SWoPP ホームページ https://sites.google.com/site/swoppweb/ <https://sites.google.com/site/swoppweb/> にて随時更新される予定です．懇親会のご案内と申込もこちらで行いますので是非ご覧ください．発表申込期間：2024年5月10日(金)～5月16日(木) 23:59（厳守）（通常の発表と「短い発表」の両方とも）投稿論文原稿提出締切：2024年7月4日(木) プログラミング研究会（PRO）は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場です．研究会と密接にリンクした論文誌を1998年度から毎年3～4回のペースで発行しており，研究発表会での発表内容を論文誌に投稿することができます．発表申込時に投稿を希望し投稿締切までに原稿が提出されている論文が査読の対象となります．採否は研究発表会から概ね 3週間ほどで迅速に決定されます．論文誌への投稿を希望しない発表も歓迎します． 1件あたりの発表時間は45分（発表25分，質疑20分）です．通常の発表に加え，「短い発表」も募集します．「短い発表」の発表時間は 30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください． http://sigpro.ipsj.or.jp/sigtra4/ <http://sigpro.ipsj.or.jp/sigtra4/> 「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」多くの発表ならびに論文投稿をお待ちしております． ■ 発表申込要領以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください． (1) 論文投稿を伴う発表申込：http://sigpro.ipsj.or.jp/trans-author/ <http://sigpro.ipsj.or.jp/trans-author/> (2) 発表のみの申込：http://sigpro.ipsj.or.jp/presentation/ <http://sigpro.ipsj.or.jp/presentation/> (3) 「短い発表」の申込：送信Webページにて「論文誌投稿なし・短い発表」を選んでください．発表申込送信Webページ： https://forms.gle/sEyqqTa9T1XaVGR38 <https://forms.gle/sEyqqTa9T1XaVGR38> ・発表申込を送信後，担当者より3日以内に，発表申込フォームの「代表者連絡先」宛に，発表申込を受理した旨のメールをお送りします．もし3日待ってもメールが来なかった場合，担当者までメールでお問い合わせください．・多数の発表申込がある場合には発表をお断りすることがございます．・研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ <https://sigpro.ipsj.or.jp/> をご参照ください．問合せ先：新屋良磨（秋田大学） E-mail: ryomasinya [at] gmail.com <http://gmail.com/> 担当者：新屋良磨（秋田大学），加藤弘之（国立情報学研究所） ====================================================

1 0

数学基礎論サマースクール
by YOKOYAMA Keita 01 May '24

01 May '24

みなさま，東北大学の横山です．今年度の数学基礎論サマースクールにつきまして，以下の要領で開催したいと考えております．日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学講師: 倉橋先生，根元先生，横山，他1-2名にお願いする予定ですご質問等ございましたら，世話人の横山 keita.yokoyama.c2[at]tohoku.ac.jp までお問い合わせください．より詳しいことが決まりましたら，またご案内させていただきます．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。重複して受け取られた方にはお詫び申し上げます。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、添付のpdfまたは次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ ぜひ、応募をご検討下さい。また、お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

島根大学学術研究院理工学系（知能情報デザイン学）教員公募(2名)【7/30締切】
by Munehiro Iwami 24 Apr '24

24 Apr '24

皆様島根大学の岩見と申します。総合理工学部知能情報デザイン学科では教員2名(常勤任期なし)を募集しています。よろしくお願いします。 (1) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】情報学一般　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：情報処理演習、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） (2) https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 1.所　　　　　　属　　　　学術研究院理工学系 2.担　　　　　　当　　　　総合理工学部知能情報デザイン学科，自然科学研究科理工学専攻知能情報デザイン学コース 3.職名及び人員　　　准教授、講師または助教　　1名 4.勤　務　形　態　　　常勤　任期なし 5.専　門　分　野　　　【雇入れ直後】自然言語処理、コンピュータビジョン　　　【変更の範囲】変更なし 6.担当授業科目【雇入れ直後】大学院自然科学研究科知能情報デザイン学コースにかかわる専門科目および研究科共通科目：専門に応じた科目、セミナー、特別研究など総合理工学部知能情報デザイン学科にかかわる専門教育科目および基礎科目：データサイエンスに関する科目、プログラミング、基本情報処理技術特論（OSなど）、PBL科目、コンピュータサイエンス研究演習、卒業研究など【変更の範囲】本学が指定する授業科目 8.採用予定時期　令和6年10月1日以降、出来るだけ早い時期 20.応募締切日　令和6年7月30日（必着） -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

助教公募のお知らせ
by SAKAI Hiroshi 23 Apr '24

23 Apr '24

皆様：東京大学の酒井と申します．東京大学数理科学研究科では助教の公募をしております．詳しくは下記の web page をご覧ください． https://www.ms.u-tokyo.ac.jp//visitor/koubo.html ご興味のある方はご応募ください．また，お近くの対象となる方に周知いただけると幸いです．よろしくお願いいたします．酒井拓史

1 0

APLAS 2024 SRC & Posters
by Koko Akazaki Muroya 22 Apr '24

22 Apr '24

[Apologies for multiple postings.] ================================ Call for Submissions APLAS 2024 Student Research Competition (SRC) and Posters 22--25 October, Kyoto, Japan https://conf.researchr.org/track/aplas-2024/src-and-posters%3F ================================ The APLAS 2024 Student Research Competition (SRC) aims to provide opportunities for students to present their ongoing work to the community and receive feedback. The associated poster session also welcomes contributions from the entire community (not restricted to students). ---------------------------------------------------------------- Student Research Competition ---------------------------------------------------------------- The SRC consists of three rounds: extended abstracts, posters, and finalist presentations. Submissions to the SRC should present unpublished work that falls within the scope of APLAS. The work should be conducted by a single student, or be a part of joint work for which the student is solely responsible. An extended abstract should explain the work in an accessible way to an audience with a general background in programming language research. It should also demonstrate that there is sufficient material for a poster, and clearly indicate to which extent the student contributes to the work, especially when the work is a joint effort. A selection committee will review the submitted extended abstracts and provide feedback. After an extended abstract is accepted, the student should prepare a poster for the poster session of the conference. During this session, the student will present their work to interested conference participants, using the poster as a visual aid. Furthermore, posters will be displayed throughout the conference. Based on the extended abstracts and posters, a panel of judges will select several finalists to present their work to all conference participants in a dedicated session of the conference. (If time permits, all the SRC entrants will be invited as finalists.) Each finalist presentation is scheduled for 15 minutes, followed by 5 minutes of questions from the audience. ---------------------------------------------------------------- Non-SRC Posters ---------------------------------------------------------------- Non-SRC poster submissions should fall within the scope of APLAS, and can present either unpublished or published work. They should first be submitted in the form of extended abstracts to be reviewed by the selection committee. For each accepted submission, at least one author should present the work during the poster session. ---------------------------------------------------------------- Submission Information ---------------------------------------------------------------- Extended abstracts (for both SRC and non-SRC submissions) should be formatted using the acmart LaTeX template with the options sigplan and review enabled (so that there are two columns and line numbers), no longer than 3 pages (excluding bibliography), and submitted online via EasyChair https://easychair.org/conferences/?conf=aplas2024srcposters . For an SRC submission, the student should be the sole author. However, on the EasyChair submission form please list the supervisor(s) as author(s) after the student, so that reviewers and judges can identify any conflicts of interest. Posters will be collected electronically and printed on-site by the organisers in A0 size with colour. Authors can choose to bring back their printed posters at the end of the conference. Extended abstracts and posters will be made available on the website indefinitely, unless authors choose to opt out. ---------------------------------------------------------------- Organization ---------------------------------------------------------------- Organizers: Koko Muroya (RIMS, Kyoto University, Japan) Yudai Tanabe (Tokyo Institute of Technology, Japan) Selection Committee: Koko Muroya (RIMS, Kyoto University, Japan) Yudai Tanabe (Tokyo Institute of Technology, Japan) Liang-Ting Chen (Academia Sinica, Taiwan) Hsiang-Shang ‘Josh’ Ko (Institute of Information Science, Academia Sinica, Taiwan) Shankaranarayanan Krishna (IIT Bombay, India) Woosuk Lee (Hanyang University, South Korea) Jihyeok Park (Korea University, South Korea) Xiaokang Qiu (Purdue University, United States) Taro Sekiyama (National Institute of Informatics, Japan) YungYu Zhuang (National Central University, Taiwan) Check https://conf.researchr.org/track/aplas-2024/src-and-posters%3F for updates.

1 0

APLAS 2024: Call for Papers
by Mirai Ikebuchi 19 Apr '24

19 Apr '24

皆様，京都大学の池渕です．10/22-24に京都で開催されるAPLAS 2024のCfPをお送りします．皆様のご投稿をお待ちしております． ===================================================== APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml