Logic-ml April 2022

4 participants
5 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

【第二回参加・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
by Taro Sekiyama 26 Apr '22

26 Apr '22

皆様 (重複ご容赦下さい) 国立情報学研究所の関山です。関数型および論理プログラミングの国際会議 FLOPS 2022 のプログラムが確定いたしましたのでご案内いたします。 FLOPS 2022 は 5/10(火)-12(木) 夜間（+初日のみ午前）のオンライン開催です。プログラムなどの詳しい情報は以下のページをご覧ください。 https://conf.researchr.org/home/flops-2022 参加登録は以下のページからお願いいたします。 https://conf.researchr.org/attending/flops-2022/registration 早期参加登録締切は 2022 4/27 23:59 (UTC)、最終参加登録締切は 2022 5/5 23:59 (UTC) となっていますのでご注意ください。また、空いている午後の時間にインフォーマルなワークショップ AiDL 2022 を開催いたします。京都大学数理解析研究所での対面と、Zoomのハイブリッド開催の予定です。引き続き講演提案を募集していますので、併せて応募をご検討下さい。 AiDL 2022 講演募集： https://conf.researchr.org/track/flops-2022/aidl-2022 講演募集締切：4/30 AoE (前回の募集から延長しています) AiDL 2022 の参加登録も https://conf.researchr.org/attending/flops-2022/registration で受け付けています。対面ワークショップは「新型コロナウイルスに関するRIMS共同研究の対応について」 https://www.kurims.kyoto-u.ac.jp/kyoten/ja/covid-19.html に沿って実施いたします。最新の情報は FLOPS 2022 のウェブサイト https://conf.researchr.org/home/flops-2022 をご覧下さい。皆様のご参加をお待ちしております。 ============================================================================ Call For Participation & Workshop talk proposals (extended) FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration Deadlines for registration are: (Early) 27 April, 2022, 23:59 (UTC) (Late) 5 May, 2022, 23:59 (UTC) *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline (extended): April 30, 2022 (AoE) Details: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** FLOPS 2022 Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) -- 国立情報学研究所関山太朗

1 0

第46回量子情報技術研究会 (QIT46)：口頭講演締切延長(4/30まで)
by NISHIMURA Harumichi 18 Apr '22

18 Apr '22

logic-mlの皆様名古屋大学の西村です．第46回量子情報技術研究会の口頭講演の締切が延長されましたので実行委員の代理で以下にお知らせいたします．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(口頭講演締切延長のお知らせここから)================= 第46回量子情報技術研究会（QIT46） ※口頭講演の申込締切を4/30(土)まで延長しましたので，奮ってお申込みください．研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第46回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2022年5月30日（月）～ 5月31日（火）（予稿集（電子版）は2022年5月27日（金）発行を予定）会場：オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月16日（月）より後にお支払いの場合は5月23日（月）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit46/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の Webシステムを使用する予定．各種締切：【口頭講演申込締切】 2022年4月30日（土） ※延長しました．なお，申込数が予定数に達した時点で締め切る場合があります．【ポスター講演申込締切】2022年5月16日（月）【予稿原稿提出締切】 2022年5月16日（月）【参加事前登録】 2022年5月16日（月）【参加費の銀行振込】 2022年5月16日（月）【問合せ先】佐中薫 (東京理科大学) Mark Sadgrove (東京理科大学) 湯川英美 (東京理科大学) 平野琢也 (学習院大学) Email: qit46-ml(a)tusml.tus.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：東京理科大学研究推進機構総合研究院ナノ量子情報研究部門応用物理学会量子エレクトロニクス研究会

1 0

Logic4Peace (Call for Abstracts and Registration, Fundraising online Logic event for Peace, Deadline 11 April 2022)
by Katsuhiko Sano 07 Apr '22

07 Apr '22

Logic-ml の皆様、北海道大学の佐野勝彦です。アムステルダム大学ILLCのSonja Smets さんからのご依頼で "Logic4Peace" (Website: https://events.illc.uva.nl/Logic4Peace/About/) についてのメールを転送したします。佐野勝彦 -------------------- Call for Abstracts and Registration -------------------- Logic4Peace (Fundraising online Logic event for Peace) Friday 22 and Saturday 23 April 2022 Venue: Online (information will be provided to registered participants) Call for Abstracts: Logicians participating in this conference stand united for Peace. The on-going Russian military invasion in Ukraine is causing death, destruction and it is the direct cause of a gigantic humanitarian crisis. Educational facilities have been hit, supply chains have been broken and people have lost their families and homes. By organizing this conference, we offer our moral and financial support to our colleagues in Ukraine in this time of war. This event is used to collect financial aid for two specific causes: -We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. -We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes. As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic, including: philosophical logic, philosophy of logic and history of logic, mathematical and computational logic, applied logic and logical structures used in science and the humanities. Abstracts should be short, maximum 1 page or 500 words, not including the references and can be uploaded in PDF format via easychair at https://easychair.org/conferences/?conf=logic4peace by 11 April 2022 (9AM Central European Time). We welcome participants from all nationalities to submit an abstract (*). We welcome new ideas as well as on-going work and reports about already published results. The registration page and the donation page for this conference are now open, please check our website. The registration fees and donations will be entirely used to offer financial aid to Ukraine to help our colleagues and the Voices of Children. On behalf of the Organization of Logic4Peace. Website: https://events.illc.uva.nl/Logic4Peace/About/ -- (*) Due to the current sanctions against Russian institutions and their implementation for Dutch knowledge institutions, we cannot accept participation by researchers who list a Russian or Belarusian institution as their affiliation. But we welcome participation by researchers of every nationality, provided they register to the conference either as individual researchers (i.e. by listing “Individual researcher” as their affiliation), or listing another affiliation to an institution that is not located in the above-mentioned countries.

1 0

[CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 01 Apr '22

01 Apr '22

# 重複して受けとられた方はご容赦くださいみなさま国立情報学研究所の関山です。 ICFP 2022 併設ワークショップ HOPE の発表募集の案内をお送りいたします。 HOPE では高階プログラムとエフェクト(計算効果)に関連する、未完成の研究を含む幅広い発表を募集しています。投稿締切は 6/1、ワークショップは 9/11 の開催を予定しています。みなさまの投稿をお待ちしておりますので、ご検討のほどよろしくお願いいたします。 -- 国立情報学研究所関山太朗 ====== HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022) Call-for presentations https://icfp22.sigplan.org/home/hope-2022 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom(a)ed.ac.uk) and Oleg Kiselyov (oleg(a)okmij.org). * Deadline for talk proposals: **June 1st, 2022** (Wednesday) * Notification of acceptance: **July 13th, 2022** (Wednesday) * Workshop: **September 11th, 2022** (Sunday) Program Committee Jonathan Immanuel Brachthäuser University of Tübingen, Germany Edwin Brady University of St. Andrews, UK Daniel Hillerström (co-chair) University of Edinburgh, UK Mauro Jaskelioff National University of Rosario, Argentina Oleg Kiselyov (co-chair) Tohoku University, Japan Sean Moss University of Oxford, UK Maciej Piróg Huawei Research, UK Taro Sekiyama National Institute of Informatics, Japan Ningning Xie University of Cambridge, UK Yizhou Zhang University of Waterloo, Canada

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2022