Logic-ml July 2021

8 participants
8 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

CFP: 55th TRS Meeting, September 28 - 30, 2021, Online
by Munehiro Iwami 12 Aug '21

12 Aug '21

皆様島根大学の岩見と申します。 9/28--9/30に第55回TRS Meetingをオンラインで開催します。講演申し込み締切は8/6です。よろしくお願いします。 --------------------- Dear all, Please find the CFP for the next TRS Meeting below: Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ========================================================================================= Call For Participation 55th TRS Meeting September 28 – September 30, 2021 Online http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting55/ * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/). * Basic Information Date: September 28 (Tue) – September 30 (Thu), 2021 Venue: Online Fee: Free * Tentative Schedule Opening: 13:30, September 28 Closing: 12:00, September 30 * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp ) no later than August 6. * Contact Munehiro Iwami (http://www.cis.shimane-u.ac.jp/~munehiro/) -------------------------------------------------------------------------------------------- Registration Form of the 55th TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): (In case of partial participation, please contact us) -------------------------------------------------------------------------------------------- =============================================================================================

1 1

【教員公募】群馬大学情報学部計算機科学プログラム
by Fujita Ken-etsu 23 Jul '21

23 Jul '21

[logic-ml]メーリングリストの皆様群馬大学では情報学部を設置しました【2021年4月】。　　　https://www.inf.gunma-u.ac.jp/ <https://www.inf.gunma-u.ac.jp/> この学部では４つのプログラムをもちますが、そのうち、「計算機科学プログラム」で、　　　https://www.inf.gunma-u.ac.jp/program/computer/ <https://www.inf.gunma-u.ac.jp/program/computer/> 下記の２名の教員を　　　着任時期　　2022年4月1日　　　勤務予定地　荒牧キャンパス（群馬県前橋市）　　　応募締切り　2021年9月30日(水) 必着で公募しています。皆様からのご応募をお待ちするとともに、皆様の周りに適任の方がいらっしゃいましたら、応募をお勧め下さいますようお願い申し上げます。【公募詳細】 ● JREC-IN：　准教授（ネットワーク）　　　　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0> 　教授又は准教授（計算理論・アルゴリズム）　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0> ● 群馬大学HP：　　https://www.gunma-u.ac.jp/outline/out011/g1944/g76514 <https://www.gunma-u.ac.jp/outline/out011/g1944/g76514> 以上 -----------------------------------------------------------

1 0

2021年度数学基礎論サマースクールのご案内
by Katsumi Sasaki 22 Jul '21

22 Jul '21

みなさま　南山大の佐々木です．　2021年度数学基礎論サマースクールのウェブサイト：　　http://www.st.nanzan-u.ac.jp/info/sasaki/2021summerschool/sc2021.html で，参加申し込みなどの案内を更新しています．興味のありそうな方に周知いただけるとありがたいです， -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

専任教員採用公募（法政大学理工学部）
by Makoto Kanazawa 21 Jul '21

21 Jul '21

メーリングリストのみなさますでに一度お知らせしていますが，締め切りが近づいて参りましたので，もう一度お知らせいたします。応募締め切りは8月10日です。お近くに適任の方がいらっしゃれば，知らせていただけいると幸いです。法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を1名募集しています。研究分野は大分類「情報学」のすべての分野が該当します。詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121051191&ln_jor=0 ※創生科学科の紹介・理系・文系の科学領域を横断した「自然」「物質」「人間」「知能」の4つの領域を学習のフィールドとして学士課程教育を行なっています。・今回ご案内している公募は「知能」フィールドの教員の募集です。・昨年度も「知能」フィールドの教員を1名公募し，機械学習・深層学習を専門とする研究者を採用しました。どうぞよろしくお願いいたします。法政大学理工学部創生科学科金沢　誠

1 0

特任研究員の公募
by Naoki Kobayashi 20 Jul '21

20 Jul '21

東京大学の小林と申します。以下の条件で、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との融合・応用も含む、広めのプロジェクト設定になっております。ご本人の能力・経験次第では特別な審査を経て特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻 ================ 公募　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　着任時期：2021年11月から2022年4月の間（数ヵ月の前後は応相談）任期：当初2年、業績評価を経て最長2025年3月まで延長可能　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．詳細は応相談.）プロジェクト名：AI時代を見据えたプログラム検証技術（科研費基盤研究S 20H05703）職務内容：高階モデル検査をはじめとするプログラム検証手法、機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証等の研究に従事。特任助教、および特任講師の場合は研究指導の補助など教育等の業務にも従事。条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明計算量理論機械学習（ニューラルネット、強化学習、形式言語の学習理論など）応募方法： 2021年8月31日までに、小林（koba(a)is.s.u-tokyo.ac.xn--jp)cv(-kr3ed72gtgq362dt6ya 業績等を記載したもの）および抱負（1頁程度）、照会先情報（2名程度）をお送りください。問い合わせ先： koba(a)is.s.u-tokyo.ac.jp 　参考資料等：　　高階モデル検査およびそれに基づくプログラム検証の概要については以下の招待講演論文・講演を　　ご覧ください　　* Naoki Kobayashi, 10 Years of the Higher-Order Model Checking Project (Extended Abstract). PPDP 2019: 2:1-2:2 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/ppdp19.pdf (talk: https://www.youtube.com/watch?v=smJhjuv9RYw ) * Naoki Kobayashi, An Overview of the HFL Model Checking Project, HCVS 2021 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/hcvs21.pdf (talk: https://www.youtube.com/watch?v=lOY0Xw8i3zY ) 機械学習とプログラム検証・合成分野の融合についての研究はまだ始めたばかりですが最初の結果をまとめた以下の論文をご覧いただければ目指している方向がわかっていただけると思います * Naoki Kobayashi, Taro Sekiyama, Issei Sato, and Hiroshi Unno, Toward Neural-Network-Guided Program Synthesis and Verification. To appear in Proceedings of SAS 2021. (A preliminary version: https://arxiv.org/abs/2103.09414 ) ===================== -- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba(a)is.s.u-tokyo.ac.jp

1 0

SLACS2021 (8月10日～11日) 講演・参加募集のお知らせ
by NAKAMURA Yoshiki 18 Jul '21

18 Jul '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）東京工業大学の中村誠希と申します。 SLACS2021の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください。申込をされた方に、参加方法等の連絡をおこないます（聴講のみを希望される方も申込をお願いいたします）。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… 講演申込期限は **2021年7月26日（月）** とします。講演する意思があるという方は早めにご連絡いただけると幸いです。

1 1

Fwd: Postdoc and PhD positions in UGent
by arai toshiyasu 09 Jul '21

09 Jul '21

みなさま Gent でのposdoc とPhD position の応募のお知らせを転送します。新井敏康 ---------- Forwarded message --------- From: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Date: 2021年7月9日(金) 1:29 Subject: Postdoc and PhD positions in UGent To: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Cc: Jeremy Avigad <avigad(a)cmu.edu>, Antonio Montalban <antonio(a)math.berkeley.edu>, Michael Rathjen <michrathjen(a)snafu.de>, Gerhard Jaeger <jaeger(a)inf.unibe.ch>, Ulrich Kohlenbach <kohlenbach(a)mathematik.tu-darmstadt.de>, Joost Johannes Joosten <jjoosten(a)ub.edu>, Beckmann A. <a.beckmann(a)swansea.ac.uk>, Pavel Pudlak <pudlak(a)math.cas.cz>, Toshiyasu Arai <tosarai(a)gmail.com>, Leszek Kolodziejczyk <lak(a)mimuw.edu.pl>, Andreas Weiermann <Andreas.Weiermann(a)ugent.be>, Lev D. Beklemishev <bekl(a)mi-ras.ru> Dear colleagues, We have an opening for one postdoc and one PhD positions in UGent. It might be interesting for some of your recent students. Best wishes, Fedor ******************************************************* One Postdoc position and one PhD position in Mathematical Logic Project: Recursion, reflection, and second-order arithmetic Supervisors: Fedor Pakhomov, and Andreas Weiermann Host institutions: Ghent University Funding bodies: FWO Application deadline: 31 July, 2021 Contact:[email protected] ******************************************************* Postdoc position. Duration: October 2021 - September 2024 **Application deadline: 31 July, 2021.** Submissions are welcome for one postdoctoral position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for postdoc positions in Belgium. Candidates are expected to have a PhD in mathematics, computer science, or a similar subject and have experience conducting research in mathematical logic. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of two or three references + Copy of PhD thesis and 2 selected research papers + PhD diploma (to be handed in before September 1st 2021) ******************************************************* PhD position. Duration: October 2021 - September 2025 **Application deadline: 31 July, 2021.** Submissions are welcome for one PhD position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for PhD positions in Belgium. Candidates are expected to have a MSc in mathematics, computer science, or a similar subject. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of one or two references + Copy of Master thesis + MSc diploma (to be handed in before September 1st 2021)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2021