Logic-ml August 2019

9 participants
12 discussions

９月３日(火)午後東大駒場「応用論理学」
by Toshio Suzuki 04 Aug '19

04 Aug '19

（複数お受け取りの方はご容赦下さい）首都大学東京の鈴木登志雄です。2019年9月3日午後に東大駒場で「応用論理学」という講演会を開催します。これは日本応用数理学会 2019年度年会の中の正会員主催オーガナイズドセッション（臨時の分科会）です。このセッション以外にも、年会には多くの講演が予定されています。皆様のご来場をお待ちしております。日本応用数理学会年会のプログラム・参加費・会場案内については年会ウェブページ https://annual2019.jsiam.org/ をご覧下さい。 ------- 「応用論理学」 2019年9月3日(火)16:30から17:50 東京大学駒場キャンパス21KOMCEE棟A(K211)室ご来場前に年会受付にお越し下さい：数理科学研究科（会場とは別の建物）117室チュートリアル AND-OR木の探索コスト / 鈴木登志雄 (首都大学東京) 重み付きAND-OR木の固有分布について【招待講演40分】 / 田中一之 (東北大学) ソロベイ還元と連続性 / 鈴木登志雄 (首都大学東京) (隈部正博、宮部賢志、水澤勇気との共同研究）連絡先鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp -------- セッション「応用論理学」チラシ http://toshio-suzuki-logic.jp/meeting/jsiam2019logic.pdf 日本応用数理学会年会のウェブ通常参加申込みは８月２６日まで、当日受付・当日払いもあります。 -- 鈴木登志雄首都大学東京理学研究科　数理科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

[参加募集] The Coq Workhsop 2019
by Jacques Garrigue 01 Aug '19

01 Aug '19

Logic-mlの皆様、名古屋大学のGarrigueです。 Coq Workshop 2019の開催案内をお送りします。ご参加をお待ちしております。早期参加申し込み締切：2019-08-04 ********************************************************************** The Coq Workshop 2019: Call for Participation Colocated with the 10th International Conference on Interactive Theorem Proving (ITP 2019), Portland, OR, USA ********************************************************************** We are pleased to invite you to participate in the Coq workshop 2019, which will be held on September 8 2019, in Portland, OR, USA. The Coq workshop is part of ITP 2019 (https://itp19.cecs.pdx.edu/). Topic: - The Coq workshop 2019 is the 10th Coq Workshop. The Coq Workshop series (https://coq.inria.fr/coq-workshop/) brings together Coq (https://coq.inria.fr/) users, developers, and contributors. While conferences usually provide a venue for traditional research papers, the Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks. Program: - Invited talk: + Nicolas Tabareau: Not a single proof assistant for all, but proof assistants for everyone - Discussion session with the Coq development team - Accepted talks: + Kazuhiko Sakaguchi. Validating Mathematical Structures + Akira Tanaka. A Gallina Subset for C Extraction of Non-structural Recursion + Christian Doczkal and Damien Pous. Graph Theory in Coq: Minors, Treewidth, and Isomorphisms + Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Zhenlei Hu and Julien Tesson. Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts + Reynald Affeldt, Jacques Garrigue, Xuanrui Qi and Kazunari Tanaka. Experience Report: Type-Driven Development of Certified Tree Algorithms in Coq + Enrico Tassi and Erik Martin-Dorel. SSReflect in Coq 8.10 + Matthieu Sozeau, Yannick Forster, Simon Boulier, Nicolas Tabareau and Théo Winterhalter. Coq Coq Codet! + Florian Steinberg and Holger Thies. Computable analysis, exact real arithmetic and analytic functions in Coq + Florian Steinberg. _Some formal proofs about summable sequences in Coq - See https://staff.aist.go.jp/reynald.affeldt/coq2019/ for the schedule. Registration: - Early registration is before [2019-08-04 Sun] - See the ITP 2019 website for registration information: https://itp19.cecs.pdx.edu/registration/ Program Committee: - Reynald Affeldt (AIST) - Christian Doczkal (CNRS - LIP, ENS Lyon) - Jacques Garrigue (Nagoya University) - Chantal Keller (LRI, Univ. Paris-Sud) - Dominique Larchey-Wendling (CNRS, Loria) - Gregory Malecha (BedRock Systems Inc.) - Pierre-Marie Pédrot (INRIA) - Ilya Sergey (Yale-NUS College and NUS School of Computing) - John Wiegley (DFINITY) Organization contact (co-chairs): reynald.affeldt AT aist.go.jp, garrigue AT math.nagoya-u.ac.jp -- このメールは Google グループのグループ「sonoteno」に登録しているユーザーに送られています。このグループから退会し、グループからのメールの配信を停止するには sonoteno+unsubscribe(a)googlegroups.com <mailto:[email protected]> にメールを送信してください。このディスカッションをウェブ上で閲覧するには https://groups.google.com/d/msgid/sonoteno/19b8a2be-d4a4-4f0b-a68a-d64955ae… <https://groups.google.com/d/msgid/sonoteno/19b8a2be-d4a4-4f0b-a68a-d64955ae…> にアクセスしてください。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2019