Logic-ml

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

1792 discussions

TACL 2022 deadline extension
by 小野寛晰 04 Mar '22

04 Mar '22

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) Abstract submission deadline extension =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 <https://www.mat.uc.pt/~tacl2022> Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra CONFERENCE Important dates --------------------- Contributed talks: Submission deadline: March 31, 2022 Notification to authors: April 22, 2022 Registration will open next week. The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at São Marcos Palace (https://www.portugalfinest.pt/places/palacio-sao-marcos <https://www.portugalfinest.pt/places/palacio-sao-marcos>). Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15) Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15) SCHOOL Registration will open next week. Registration fee will be about 260 euros, but it may depend on the type of accommodation chosen. It includes accommodation, the welcome dinner, lunches and coffee-breaks. Note that the number of spaces in the school is limited. Limited funds for supporting summer school participants are available (mainly through the ERC Advanced Project DuaLL). This is intended primarily for students, but non-students can be considered in exceptional circumstances. Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to tacl2022(a)mat.uc.pt <mailto:tacl2022@mat.uc.pt>, with 'Summer School support request' in the subject, by March 18, 2022.

1 0

【講演追加募集】第56回MLG数理論理学研究集会
by kawano.t.af 02 Mar '22

02 Mar '22

みなさま第56回MLG数理論理学研究集会の講演追加募集のお知らせです。講演に若干の空きがございますので、3月5日まで、可能な範囲で講演申し込みを受け付けいたします。皆様のご参加をお待ちしています。講演希望や質問のある方は、ホームページ https://sites.google.com/view/56thmlg/ をご覧ください。なお、聴講のみ希望の方の申し込みは、集会当日まで受け付けます。以上、よろしくお願いいたします。河野友亮 ---------------------------------------------------------------------- 第56回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2022年3月14日(月) - 3月15日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/56thmlg/ をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております．フェリス女学院大学河野友亮 kawano.t.af(a)m.titech.ac.jp

1 0

【CSCAT 2022】発表募集
by Kazuyuki ASADA 23 Feb '22

23 Feb '22

皆様（重複投稿ご容赦ください）今年度CSCATの幹事をしております東北大学の浅田です。 *CSCAT 2022 ですが，まだ発表スロットに大きく余裕がありますので，* *ご発表のご検討や周りへの周知をしていただければ幸いです．* CSCAT 2022 は 3/9(水)--10(木) の日程でオンライン（zoom）で開催いたします。 CSCATの案内ページ https://sites.google.com/view/cscat2022 に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 浅田和之

1 0

【プログラム確定報告＆参加募集リマインド】第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL2022）
by Ryoma Sin'ya 17 Feb '22

17 Feb '22

PPL の皆様（重複ご容赦ください），秋田大学の新屋です． 3 月 6 日（日）～ 8 日（火）にオンラインで開催される第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）のプログラムを確定いたしましたのでご案内いたします． https://jssst-ppl.org/workshop/2022/program.html <https://jssst-ppl.org/workshop/2022/program.html> 参加登録の締切は 2 月 28 日（月）23:00（JST）です．多くの方々のご参加をお待ちしております． -------------------------------------------------------------------------- 第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） https://jssst-ppl.org/workshop/2022/ <https://jssst-ppl.org/workshop/2022/> 参加登録のご案内主催：日本ソフトウェア科学会プログラミング論研究会日程：2022 年 3 月 6 日（日）～ 8 日（火）会場：オンライン（Zoom, Gather, Slack） PPL 2022 はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，昨年度と同様 Zoom と Gather および Slack を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2022/registration.html <https://jssst-ppl.org/workshop/2022/registration.html> 参加登録締切：2022 年 2 月 28 日（月）23:00（JST）問い合わせ先： ppl2022-oc(a)googlegroups.com <mailto:ppl2022-oc@googlegroups.com>（ワークショップ全般について） ppl2022-pc-chair(a)jssst-ppl.org <mailto:ppl2022-pc-chair@jssst-ppl.org> （発表/プログラムについて） ================================================================ ・プログラム委員会稲葉一浩　（Google）　　 [プログラム共同委員長] 江本健斗　（九州工業大学）[プログラム共同委員長] 青戸等人　（新潟大学）石崎一明　（日本IBM）今井敬吾　（岐阜大学）勝股審也　（国立情報学研究所）菊池健太郎（東北大学）倉光君郎　（日本女子大学）小宮常康　（電気通信大学）酒寄健　　（Università di Bologna）佐藤重幸　（東京大学）佐藤亮介　（東京大学）澄川靖信　（拓殖大学）宋　剛秀　（神戸大学）叢　悠悠　（東京工業大学）高野保真　（北里大学）千葉滋　　（東京大学）中澤巧爾　（名古屋大学）中正和久　（山口大学）中丸智貴　（東京大学）橋本健二　（名古屋大学）日高宗一郎（法政大学）藤田憲悦　（群馬大学）前田敦司　（筑波大学）増原英彦　（東京工業大学）室屋晃子　（京都大学）・組織委員会新屋良磨（秋田大学）[組織委員長] 関山太朗（国立情報学研究所）[組織副委員長] 和賀正樹（京都大学）[財務担当] 山田晃久（産業技術総合研究所）[財務副担当] 叢　悠悠（東京工業大学）[会場担当] 北川舞　 [会場副担当] 水島宏太（OPT, Inc.） [渉外担当] 稲葉一浩（Google）[プログラム共同委員長] 江本健斗（九州工業大学） [プログラム共同委員長] 上野雄大（新潟大学） [前プログラム共同委員長] 海野広志（筑波大学）[前プログラム共同委員長] ================================================================ 秋田大学　数理科学コース新屋良磨

1 0

POPL 2022 Virtual Workshop
by Youyou Cong 26 Jan '22

26 Jan '22

みなさま、東京工業大学の叢です。今週末に開かれる POPL 2022 Virtual Workshop の案内をお送りいたします。本会議は日本から参加しづらいスケジュールでしたが、このワークショップにはアジア向けの招待講演や交流イベントなどが用意されています。ぜひご参加ください。叢悠悠 The in-person POPL 2022 conference week just wrapped up, but its separate virtual supplement is about to begin! We are planning two days of high-interaction online events, scheduled to be accessible across time zones. Please consider attending, regardless of whether you participated in last week's hybrid events. We have a number of plenary sessions and networking opportunities planned; see below for details. Check out the web site for the virtual workshop: https://popl22.sigplan.org/track/POPL-2022-virtual-workshop <https://urldefense.com/v3/__https://popl22.sigplan.org/track/POPL-2022-virt…> There are two ways to participate. The less-interactive way is to watch a YouTube stream, which will be embedded in the page above, closer to the event. The second way is to register for POPL and join in the Airmeet virtual-conference software: https://regmaster.com/2022conf/POPL22/register.php <https://urldefense.com/v3/__https://regmaster.com/2022conf/POPL22/register.…> Registrations from hybrid POPL Week also grant access to the virtual workshop, using the same Airmeet software. Those who want the full virtual-workshop experience but didn't register for hybrid POPL Week can still register at the relatively low virtual-only rate. What's happening at the virtual workshop? Hang out in the Lounge section of Airmeet, to video-chat with authors of POPL Week papers or discuss whatever's on your mind. Join a speed-networking session to be randomly matched with others on complementary sides of four divides: POPL sponsor companies chatting with job seekers, faculty chatting with prospective faculty and PhD students, mentors chatting with junior-faculty mentees, and mentors chatting with senior-PhD-student and postdoc mentees. If a short conversation reveals that an even longer conversation is called for, use Airmeet's "private meetings" feature to schedule something that becomes integrated into your personal view of the workshop schedule (or use your own out-of-band mechanism, of course). Then there are the plenary sessions, designed to be interactive, with speakers taking live questions and adjusting demos accordingly. In our first keynote, Lukasz Kaiser <https://urldefense.com/v3/__https://www.linkedin.com/in/lukaszkaiser/__;!!I…> from OpenAI <https://urldefense.com/v3/__https://openai.com/__;!!IBzWLUs!Hk1Guf8dMsuaTHI…> will present their Codex <https://urldefense.com/v3/__https://en.wikipedia.org/wiki/OpenAI_Codex__;!!…> system, including an interactive demo and Q&A. This is the programming-by-machine-learning system that has so many people excited lately! Our second keynote is from Andreas Rossberg <https://urldefense.com/v3/__http://people.mpi-sws.org/*rossberg/__;fg!!IBzW…>, who is a lead designer of the formal semantics for WebAssembly <https://urldefense.com/v3/__https://webassembly.org/__;!!IBzWLUs!Hk1Guf8dMs…>, in addition to playing other key roles in the design and support of that language, meant to be the ideal cross-platform compiler target for the web and more. He will tell us about the social and technical sides of that effort. If you haven’t already, you might want to consider targeting WebAssembly from your next research compiler! In our first tutorial, Hakjoo Oh <https://urldefense.com/v3/__http://prl.korea.ac.kr/*pronto/home/__;fg!!IBzW…> will teach us how to bring machine-learning tools into program-analysis research. Our second tutorial is Rustan Leino <https://urldefense.com/v3/__http://leino.science/__;!!IBzWLUs!Hk1Guf8dMsuaT…> showing off some of the more advanced features of his Dafny <https://urldefense.com/v3/__https://github.com/dafny-lang/dafny__;!!IBzWLUs…> verification tool. Our first panel is on *the future of proof assistants for programming languages and math*, featuring Kevin Buzzard <https://urldefense.com/v3/__https://www.imperial.ac.uk/people/k.buzzard__;!…> , Favonia <https://urldefense.com/v3/__https://favonia.org/__;!!IBzWLUs!Hk1Guf8dMsuaTH…> , Zhong Shao <https://urldefense.com/v3/__http://www.cs.yale.edu/homes/shao-zhong/__;!!IB…>, and Nicolas Tabareau <https://urldefense.com/v3/__https://tabareau.fr/__;!!IBzWLUs!Hk1Guf8dMsuaTH…> . Our second panel, on *the future of concurrency and parallelism*, features Stephanie Balzer <https://urldefense.com/v3/__http://www.cs.cmu.edu/*balzers/__;fg!!IBzWLUs!H…> , Jeehoon Kang <https://urldefense.com/v3/__https://cp.kaist.ac.kr/jeehoon.kang/__;!!IBzWLU…> , Keshav Pingali <https://urldefense.com/v3/__https://www.cs.utexas.edu/*pingali/__;fg!!IBzWL…>, and Ilya Sergey <https://urldefense.com/v3/__https://ilyasergey.net/__;!!IBzWLUs!Hk1Guf8dMsu…> .

1 0

CSCAT2022のご案内
by Kazuyuki ASADA 26 Jan '22

26 Jan '22

皆様、今年度のCSCATの幹事をしております東北大学の浅田です。 CSCAT 2022 は 3/9(水)--10(木) の日程でオンライン（zoom）で開催いたします。 CSCATの案内ページ https://sites.google.com/view/cscat2022 にプログラムなどの情報を随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 浅田和之

1 0

Higher Category Lecture Series: A friendly introduction to ∞-categories by Yuki Maehara (Kyushu U)
by Yoshihiro Maruyama 24 Jan '22

24 Jan '22

Dear all, A series of introductory lectures on higher categories will be given online by Yuki Maehara, starting on 31 Jan (Mon), then every Mon and Thu, and finishing on 17 Feb (Thu), as per below. -- Title: A friendly introduction to ∞-categories Lecturer: Yuki Maehara (Kyushu U) Abstract: ∞-categories are to spaces what ordinary categories are to sets. This nicely summarises the basic idea of ∞-categories, but there is a large gap between this intuition and the definition(s) of ∞-category one finds in the literature. The aim of these lectures is to fill this gap by answering the following question: What do we really mean by "spaces", and what sort of things do we want to do with them? Lecture 1: Homotopy groups and Whitehead's theorem Lecture 2: Kan complexes Lecture 3: Model categories Lecture 4: Homotopy commutative vs homotopy coherent Lecture 5: Quasi-categories via spines Lecture 6: Quasi-categories via inner horns Schedule: 31 Jan (Mon) 4-5pm (AEDT/GMT+11) 3 Feb (Thu) 4-5pm (AEDT/GMT+11) 7 Feb (Mon) 4-5pm (AEDT/GMT+11) 10 Feb (Thu) 4-5pm (AEDT/GMT+11) 14 Feb (Mon) 4-5pm (AEDT/GMT+11) 17 Feb (Thu) 4-5pm (AEDT/GMT+11) Held online via zoom at: https://anu.zoom.us/j/87221396938?pwd=azgxQmJWWWhtTUFHUGdpcXE2MGp6QT09 No registration required. Webpage (with the same information as above): https://sites.google.com/view/higher-category/home Thanks and best regards, Yoshihiro -- Yoshihiro Maruyama Senior Lecturer, School of Computing, CECS, The Australian National University Canberra, ACT, 2601, Australia Contact: yoshihiro.maruyama(a)anu.edu.au

1 0

【参加募集】第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
by Ryoma Sin'ya 21 Jan '22

21 Jan '22

皆様（重複ご容赦ください），秋田大学の新屋です． 3 月 6 日（日）～ 8 日（火）にオンラインで開催される第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は 2 月 28 日（月）23:00（JST）です．どうぞお早めのご登録をお願い致します．また，カテゴリ 3（ポスター・デモ発表）の発表申込締切が 2 月 2 日（水）17:00（JST）となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） https://jssst-ppl.org/workshop/2022/ <https://jssst-ppl.org/workshop/2022/> 参加登録のご案内主催：日本ソフトウェア科学会プログラミング論研究会日程：2022 年 3 月 6 日（日）～ 8 日（火）会場：オンライン（Zoom, Gather, Slack） PPL 2022 はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，昨年度と同様 Zoom と Gather および Slack を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2022/registration.html <https://jssst-ppl.org/workshop/2022/registration.html> 参加登録締切：2022 年 2 月 28 日（月）23:00（JST）問い合わせ先： ppl2022-oc(a)googlegroups.com <mailto:ppl2022-oc@googlegroups.com>（ワークショップ全般について） ppl2022-pc-chair(a)jssst-ppl.org <mailto:ppl2022-pc-chair@jssst-ppl.org> （発表/プログラムについて） ================================================================ ・プログラム委員会稲葉一浩　（Google）　　 [プログラム共同委員長] 江本健斗　（九州工業大学）[プログラム共同委員長] 青戸等人　（新潟大学）石崎一明　（日本IBM）今井敬吾　（岐阜大学）勝股審也　（国立情報学研究所）菊池健太郎（東北大学）倉光君郎　（日本女子大学）小宮常康　（電気通信大学）酒寄健　　（Università di Bologna）佐藤重幸　（東京大学）佐藤亮介　（東京大学）澄川靖信　（拓殖大学）宋　剛秀　（神戸大学）叢　悠悠　（東京工業大学）高野保真　（北里大学）千葉滋　　（東京大学）中澤巧爾　（名古屋大学）中正和久　（山口大学）中丸智貴　（東京大学）橋本健二　（名古屋大学）日高宗一郎（法政大学）藤田憲悦　（群馬大学）前田敦司　（筑波大学）増原英彦　（東京工業大学）室屋晃子　（京都大学）・組織委員会新屋良磨（秋田大学）[組織委員長] 関山太朗（国立情報学研究所）[組織副委員長] 和賀正樹（京都大学）[財務担当] 山田晃久（産業技術総合研究所）[財務副担当] 叢　悠悠（東京工業大学）[会場担当] 北川舞　 [会場副担当] 水島宏太（OPT, Inc.） [渉外担当] 稲葉一浩（Google）[プログラム共同委員長] 江本健斗（九州工業大学） [プログラム共同委員長] 上野雄大（新潟大学） [前プログラム共同委員長] 海野広志（筑波大学）[前プログラム共同委員長] ================================================================ 秋田大学　数理科学コース新屋良磨

1 0

第56回MLG数理論理学研究集会
by kawano.t.af 19 Jan '22

19 Jan '22

みなさまフェリス女学院大学の河野と申します第56回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2022年3月14日(月) - 3月15日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/56thmlg/ をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております．河野友亮 kawano.t.af(a)m.titech.ac.jp

1 0

研究員募集（京大・NII）
by Taro Sekiyama 17 Jan '22

17 Jan '22

# 重複してお受け取りの際はご容赦ください．みなさま，国立情報学研究所の関山です．形式検証やプログラミング言語研究の，IoT・セキュリティへの応用に興味をもつポスドク研究員を募集しています．お近くに興味のありそうな方がいらっしゃいましたらご紹介いただけますと幸いです．以下詳細となります． ----- CREST「S5基盤ソフト」領域におけるプロジェクト「形式検証とシステムソフトウェアの協働によるゼロトラストIoT」(研究代表者：国立情報学研究所竹房あつ子)において，プロジェクトの主たる共同研究者である五十嵐淳(京都大学情報学研究科)もしくは関山太朗(国立情報学研究所)とともに，ZT-IoTシステムのためのセキュリティポリシエンジンの研究やZT-IoTシステムを支える監視介入技術の研究に従事する，形式検証やプログラミング言語を専門としつつ，IoT・セキュリティへの応用に興味をもつポスドク研究員を募集します．職名: 特定研究員(京都大学)，特任研究員(国立情報学研究所) 募集人員: 若干名所属および勤務地: 京都大学大学院情報学研究科通信情報システム専攻(コンピュータソフトウェア分野) または国立情報学研究所アーキテクチャ科学研究系着任時期：2022年4月以降なるべく早い時期任期：実績に応じて年度ごとの更新(最長 2027年3月31日迄) 試用期間：機関の規定による勤務形態：裁量労働制（週 38 時間 45 分相当、1 日 7 時間 45 分相当）　　休日：土・日曜日、祝日、年末年始および夏季一斉休業日給与：月額36-55万円　　（機関の規定および本人の実績による．詳細は応相談.）手当：機関の規定による (なし(京都大学) / 通勤手当あり(国立情報学研究所)) 社会保険：文部科学省共済組合、厚生年金、雇用保険および労災保険に加入プロジェクト名：「形式検証とシステムソフトウェアの協働によるゼロトラストIoT」 (JST CREST 研究領域: 基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)) 応募についての詳しい情報は以下のJREC-IN Portalをご覧ください．京都大学: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D121122219&ln_jor=0 国立情報学研究所: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D122010021&ln_jor=0 その他お問い合わせは application-zt-iot [at] fos.kuis.kyoto-u.ac.jp 宛てに Subject: CREST Job Inquiry でお送りください． -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml