Logic-ml

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

1792 discussions

第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 論文/発表募集
by Hiroshi UNNO 17 Sep '20

17 Sep '20

皆様、（重複してお受け取りの方はご容赦ください。） 2021年3月9日（火）〜3月11日（木）に、愛知県名古屋市で開催を予定している PPL 2021の論文/発表募集をお送りします。基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで、プログラミング・プログラミング言語に関する研究発表を幅広く募集します。どうぞ投稿をご検討ください。なお、論文/発表募集にもありますように、コロナ禍の影響で開催形式およびカテゴリ3の募集については流動的です。最新情報は随時Webページ（https://jssst-ppl.org/workshop/2021/）等でお知らせいたします。どうぞよろしくお願いいたします。 PPL2021プログラム共同委員長上野雄大、海野広志 ============================================================ 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 発表募集 2021年3月9日（火）-- 3月11日（木）名古屋サンスカイルームA室愛知県名古屋市中区錦1丁目18番22号名古屋ATビル2階（オンライン開催に変更またはオン/オフ併用の可能性あり） https://jssst-ppl.org/workshop/2021/ ** 重要な日程 ** カテゴリ1: 発表申込締切 2020年12月28日（月）17:00 (JST) 論文提出締切 2021年 1月 8日（金）17:00 (JST) 採否通知 2021年 2月 1日（月）カテゴリ2: 発表申込締切 2021年 1月25日（月）17:00 (JST) 採否通知 2021年 2月 8日（月）カテゴリ3: 募集の有無および発表形式は現時点で未定カテゴリ4: 発表申込締切 2021年 1月25日（月）17:00 (JST) 採否通知 2021年 2月 8日（月） ** 開催形式が変わります ** これまでのPPLは合宿形式で開催しておりましたが，今般の事情を鑑み，PPL 2021は通常の研究会形式で開催することとなりました．参加される皆様におかれましては，会場周辺の宿泊施設を各自で確保していただきますよう，お願いいたします（確保の際は，後述するオンライン開催への変更の可能性をご考慮ください．キャンセル料の補償等は致しかねます）．なお，COVID-19の拡大状況によっては，オンライン/オフライン併用の開催となったり，あるいはオフラインでの開催を断念しオンラインのみでの開催に変更する可能性があります．オンライン開催に変更するかどうかの判断は開催の 2ヶ月前を目処に行う予定です．開催に関する詳しい動向は随時Webページ等で公開します． ** PPL2021とは ** PPL 2021は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理などプログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなどケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介など応用: システムソフトウェア，Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など ** 発表募集カテゴリ ** 発表募集は以下の4カテゴリに分けて行います．詳しい募集要綱は後日Webページで公開します．カテゴリ1: 国内外未発表論文カテゴリ2: 国外既発表論文カテゴリ3: ポスター・デモ（募集未定）カテゴリ4: サーベイ・チュートリアルカテゴリ1では，国内外で未発表の論文発表を募集します．PPLでの議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による新規性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3では，例年，PPLに関連する内容のポスター・デモ発表を募集していましたが，PPL 2021での募集の有無および発表形式は未定です．詳細は後日 Webページに掲載します．カテゴリ4では，研究動向の紹介や分野間の相互理解など，PPLの聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します． ** プログラム委員会 ** TBD ** 問い合わせ先 ** ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc PPL2021プログラム共同委員長上野雄大，海野広志 ============================================================

1 0

reseach on the theory of quanta
by logic 13 Sep '20

13 Sep '20

このmailing listにquantum computingがらみの話なんかも流されているようですので、ご案内しておきます。近くde Broglie（ドブロイ）の1924年のフランス語の学位論文の英訳が出版されます。添付fileをご覧ください。この論文は博士の学位のためにSorbonneに提出されたものです。この論文の審査委員会は 4名からなり、H.Cartanも名を連ねているのですが、何分ideaが電子も波動だという途轍もない話で取り扱いに困り、当代切っての物理学者Einsteinに意見を求めています。Einsteinの返答は振るっていてこの論文は博士の学位なんかよりNobel賞が相応しいというもので、博士の学位は恙なく授与されます。この de Broglieのideaは1927年に実験的に検証され、その2年後に彼はEinsteinの言葉通り、Nobel賞を勝ち得ています。私がこの英訳本に寄せた序文をご案内しておきます。 http://hdl.handle.net/2241/00161150 それから独訳は既に1927年に出版されています。 https://zbmath.org/?q=an%3A53.0875.10 にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura

1 2

RIMS Set Theory Workshop 2020 (call for participation)
by Diego A. Mejía 11 Sep '20

11 Sep '20

(English version of the announcement below) 京都大学数理解析研究所集合論：連続体上の組合せ論と位相空間論 2020年11月16日～20日 http://strims2020.sa-suke.com 一般講演・参加募集現在のCOVID-19禍の状況を鑑みて、今回の研究集会はオンラインで行います。毎年、京都大学RIMS（数理解析研究所）で国内外の研究者による国際集合論研究集会が開催されています。今回の研究集会のタイトル「集合論：連続体上の組合せ論と位相空間論」の通り、今年度のテーマは集合論および連続体上の組合せ論・位相空間論との関連です。国内外からの集合論研究者の一般講演・参加を募集しています。若手研究者の一般講演・参加も歓迎します。集合論研究者および大学院の多い参加を期待されます。登録は必須です（ホームページ、またはこのメールの下をご覧ください）。申し込み締め切り一般講演：2020年10月1日参加（講演なし）：2020年10月15日短期コース Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) 招待講演 Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) 代表者 Diego A. Mejía（静岡大学） diego.mejia(a)shizuoka.ac.jp 研究集会委員依岡輝幸（静岡大学） Dilip Raghavan (National University of Singapore) --------------------------------登録方法-------------------------------- 代表者宛にメールで以下の情報をご送信ください。＊1～４は日本語で、６は英語で入力してください。 1. 氏名： 2. 所属機関： 3. 学部・学科など： 4. 職名／学年： 5. メールアドレス： 6. 講演予定：あり／なし「あり」の場合、以下の情報を英語で入力してください。 (ア) 講演題目： (イ) アブストラクト： (ウ) 講演時間（15分～40分の間）：注意：登録していただいた一般講演の数によって、講演時間は（ウ）に入力した時間より短くなる可能性があります。 --------------------------------English Version-------------------------------- Kyoto University Research Institute for Mathematical Sciences Set Theory Workshop 2020 Set Theory: Reals and Topology November 16-20, 2020 http://strims2020.sa-suke.com Call for lectures and participation Due to the COVID-19 pandemic, the workshop will take place online. This is the first online version of this workshop. Every year, set theory researchers from Japan and abroad gather at the RIMS (Research Institute for Mathematical Sciences) of Kyoto University and hold an international workshop that brings together both expert and young researchers of set theory. As indicated in the title “Set Theory: Reals and Topology”, the main topic this year is about the developments of set theory and its interaction with combinatorics of the reals and topology. We encourage both young researchers and experts, from Japan and abroad, to contribute with lectures in any topic of Set Theory (not necessarily in the main topic). We expect participation (even without lecture) of many researchers in the area and graduate students. Registration is required for participation (see details on the webpage). Registration deadlines: For contributed lectures: October 1st, 2020. For participation (without lecture): October 15th, 2020. Minicourse Speakers Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) Invited Speakers Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) Organizer: Diego A. Mejía (Shizuoka University) Scientific Committee: Teruyuki Yorioka (Shizuoka University) Dilip Raghavan (National University of Singapore) -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

modal homotopy type theory
by logic 11 Sep '20

11 Sep '20

少し面白い本を reviewしたので、ご案内しておきます。 https://zbmath.org/?q=an%3A07162136 Homotopy type theoryというのは Martin Lofのtype theoryの延長上にあるもので、既に本も出版されていて無償で手に入ります。 https://homotopytypetheory.org/book/ http://www.kurims.kyoto-u.ac.jp/~uemura/files/hott-intro-ja.pdf http://pantodon.shinshu-u.ac.jp/topology/literature/homotopy_type_theory.ht… Voevodsky達のideaは壮大で、 ZFCではなく、このHoTTを数学の基礎付けに使おうという話です。ZFCはUndecidableですが、 HoTTはDecidableです。Type theoryだから Godelの不完全性定理が適用されないのです。この提案はずっとPracticalな側面をもっていて、遠くない将来には数学の論文を雑誌に投稿するに当たってはこのHoTTの中での完全無欠な証明の Fileを必ず付けなくならず、そのFileは人間と機械のInteractiveな作業で作成されます。例えて言えば、現在論文は必ずTexで作成しなければいけないことになっていますが、そのような話です。こうなってくると証明に論理的Gapがあるなんて話は過去のものになります。投稿した段階で既にその論文は少なくとも論理的には完璧であることが担保されているからです。にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura

1 0

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

01 Sep '20

Logic-mlのみなさま法政大学の金沢です。法政大学理工学部創生科学科では，情報科学・情報工学分野の専任教員を公募しています。研究分野は大分類「情報学」のすべての分野が該当します。詳しくはJREC-INの公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120071477&ln_jor=0 応募締め切りは9月21日です。お近くに適任の方がいらっしゃればお知らせいただけると幸いです。法政大学理工学部創生科学科金沢　誠

1 0

FLOPS 2020: Call for Participation
by Keisuke Nakano 01 Sep '20

01 Sep '20

logic-MLの皆様，東北大学の中野です．来たる 9/14-16 に FLOPS 2020 がオンラインで開催されます．（参加費無料です！） https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ 日本時間では少し遅い時間 (20:00-23:30頃) での開催となりますが，　群馬大学の浜名誠先生　MITのAdam Chlipala先生の招待講演も予定されておりますので，ぜひ参加をご検討ください．参加費は無料ですが，9/9 21:00までに参加登録をお願いします． -- 中野圭介東北大学電気通信研究所 ksk(a)riec.tohoku.ac.jp

1 0

第31回 ALGI（2020年9月3日〜9月4日）告知【直前版】
by MIYOSHI HIROYUKI 31 Aug '20

31 Aug '20

各メーリングリストの皆様， 2日後に迫りましたが，第31回 ALGIについて再度告知をいたします。聴講のみの参加も歓迎いたしますが，まだ講演のスロットが空いていますので講演申し込みも直前まで受付いたします（進行途中の仕事やサーベイなどでも構いません）。ふるってご参加ください。第31回 ALGI（代数，論理，幾何と情報科学研究集会） 2020年9月3日（木）〜9月4日（金） Zoomによるオンライン開催 https://sites.google.com/site/algimeeting/home/31 幹事：西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学）過去のALGIについては以下のページをご覧ください： https://sites.google.com/site/algimeeting/home -------- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

CfP: Computability and Complexity in Analysis (CCA 2020)
by Matthew 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。（私の勘違いでCCC 2020の案内が更に遅れましたが、今日(8月26日）の時点でも参加登録はまだできそうです）。紛らわしいですが、ついでにもう一つのオンライン・ワークショップを案内させていただきます。 Computability and Complexity in Analysis (CCA 2020)は9月11日～9月13日にオンライン(Zoom)で開催されます（CCC 2020とはまた別な学会です）。計算可能解析学や構成的解析学等にご興味のある方は是非ご参加ください。詳細は下記のウェブサイトをご覧下さい。 http://cca-net.de/cca2020/ 参加登録の締め切りは9月1日（火）です。 ============================================================= Call for Participation Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020) http://cca-net.de/cca2020/ September 9-11, 2020, virtual (originally planned for Bologna, Italy) Registration deadline: September 1, 2020 ______________________________________________________________ Due to the ongoing COVID-19 pandemic CCA 2020 cannot take place in Bologna, as originally intended. The entire conference will take place virtually on the Zoom online conference platform. The conference link will be distributed to all registered participants. ______________________________________________________________ Invited Speakers * Olivier Bournez (Palaiseau, France) * Douglas Cenzer (Gainesville, USA) * Eva Darulova (Kaiserslautern, Germany) * Makoto Fujiwara (Munich, Germany) * Mathieu Hoyrup (Nancy, France) * Alberto Marcone (Udine, Italy) * Eike Neumann (Oxford, UK) * Arno Pauly (Swansea, UK) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Matthew de Brecht (Kyoto, Japan) * Pietro Di Gianantonio (Udine, Italy) * Daniel Graça (Faro, Portugal) * Peter Hertling (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Zvonko Iljazovic, chair (Zagreb, Croatia) * Matthias Schröder (Darmstadt, Germany) * Holger Thies (Fukuoka, Japan) * Ning Zhong (Cincinnati, USA) Organizing Committee * Melissa Antonelli (Bologna, Italy) * Francesco Bianchini (Bologna, Italy) * Guido Boccali (Bologna, Italy) * Giovanna Corsi (Bologna, Italy) * Ugo Dal Lago (Bologna, Italy) * Cecilia Di Florio (Bologna, Italy) * Guido Fiorillo (Bologna, Italy) * Guido Gherardi, chair (Bologna, Italy) * Leonardo Mazzanti (Bologna, Italy) * Eugenio Orlandelli (Bologna, Italy) * Sofia Pierini (Bologna, Italy) * Gioia Susanna (Bologna, Italy) * Riccardo Zanichelli (Bologna, Italy) Conference Web Page http://cca-net.de/cca2020/ Registration deadline: September 1, 2020

1 0

Fwd: CCC 2020; call for participation
by Matthew de Brecht 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。今年のContinuity, Computability, Constructivityワークショップ(CCC 2020)は来週(8月31日～9月4日)オンライン(Zoom)で開催されます。計算可能解析学、ポイントレス・トポロジー、構成的論理等にご興味のある方は是非ご参加ください。人間・環境学研究科の立木秀樹教授による招待講演も予定されています。突然で申し訳ございませんが、参加される方は本日中に下記のウェブページで登録してください。 http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… （登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。） __________________________________ * Continuity, Computability, Constructivity – From Logic to Algorithms* * (CCC 2020)* * Online workshop* * 31 August - 4 September 2020* *Call for participation* http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… <http://ccc2014.fmf.uni-lj.si/> 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. *Due to the COVID-19 pandemic and its consequences with respect to travelling and gathering together, the workshop will take place online. * Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, and Ljubljana 2019. The workshop is open to all researchers in the area. *Scope: *The workshop specifically invites contributions in the areas of - 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, - Category-theoretic approaches to computation on infinite data, - Weihrauch degrees, - And related areas. *Invited Speakers:* - Holger Boche (Munich) - Elvira Mayordomo (Zaragoza) - Eike Neumann (Oxford) - Hideki Tsuiki (Kyoto). *Tutorial Speaker:* - *Hongseok Yang (KAIST)* * Programme Committee:* - Matthew de Brecht (Kyoto) - Daniel Graça (Faro) (co-chair) - Michal Konečný (Aston) - Monika Seisenberger (Swansea) - Alex Simpson (Ljubljana) - Dieter Spreen (Siegen) (co-chair) - Holger Thies (Kyushu) - Martin Ziegler (Daejeon). *Organizing Committee:* - Daniel Graça (Faro) - Dieter Spreen (Siegen)

2 1

第三十一回 ALGI（代数・論理・幾何と情報科学研究集会）開催のお知らせ
by 西澤弘毅 28 Jul '20

28 Jul '20

logic-mlメーリングリストの皆様神奈川大学の西澤と申します。今年のALGIの開催についてお知らせ致します。 ************************************************** 第三十一回 ALGI（代数・論理・幾何と情報科学研究集会）令和2年9月3日（木）～9月4日（金） ZOOMによるオンライン開催開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、COVID-19の感染拡大防止のため、 ZOOMによるオンライン開催とします。奮ってご参加ください。 ●日程令和2年（2020年） 9/3（木）10:00〜遅くても15:00程度 9/4（金）10:00〜遅くても15:00程度 ●ZOOM ID等京都産業大学の三好博之先生が手配してくださいます。詳細は後日アナウンスします。講演を希望される方は、・講演者名・所属・学生 / 非学生・講演日時や講演時間に関する希望（基本は質疑応答含め30分です）・題目（後日でも構いません）・梗概（後日でも構いません）などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学） -------------------------------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml