Logic-ml September 2018

11 participants
13 discussions

RIMS研究集会「公理的集合論とその応用」のお知らせ（再送）
by minami0minami 07 Sep '18

07 Sep '18

皆様愛知学院大学の南です． RIMS研究集会「公理的集合論とその応用」を11月5日（月）午前ー８日（木）に京都大学数理解析研究所110号室にて開催します。まだ参加の申し込みが済んでいない方で，特に講演や旅費の補助を希望する方は早めに連絡をお願いします．また講演題目が決まったら早めに連絡をください．締切は9月中旬です． hminami0(a)dpc.agu.ac.jp まで連絡してください．プログラム等の情報は以下のウェブサイトで公開する予定です． http://minami.agu.ac.jp/ 参加の申し込みがまだ済んでいない方は次の情報を早めにお知らせください． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 氏名：所属機関：職名／学年：講演予定：あり／なし講演題目：出張期間：旅費補助の希望：あり／なしメールアドレス： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 南裕明愛知学院大学教養部数学・統計教室 hminami0(a)dpc.agu.ac.jp

1 0

Igor Potapov's talk (September 19, Fukuoka)
by Akitoshi Kawamura 03 Sep '18

03 Sep '18

皆様九州大学の河村と申します。イゴル・ポタポフ氏（リヴァプール大）の講演を9月19日（水）に開催いたします。どうぞお気軽にご参加ください。 http://www.fc.inf.kyushu-u.ac.jp/seminars/H300919.html Time: September 19, 2018, Wednesday 14:50–15:50 Place: Room 310, Ito Campus West Building 2, Kyushu University 　九州大学伊都キャンパス　ウエスト二号館310講義室 Pattern formations with broadcasting automata model Igor Potapov (University of Liverpool) The Broadcasting Automata model draws inspiration from a variety of sources such as Ad-Hoc radio networks, cellular automata, neighbourhood sequences and natural phenomena like superposition of waves and resonance. Algorithms for the broadcasting automata model are in the same vein as those encountered in distributed algorithms using a simple notion of waves, messages passed from automata to automata throughout the topology, to construct computations. The waves generated by activating processes in a digital environment can be used for designing a variety of wave algorithms. In this work we analyse the geometrical shapes of informational waves on integer grid generated in broadcasting automata model as well as their potential use for metric approximation in a discrete space, pattern formations and new distributed algorithms. -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

JAIST Logic Seminar Series (9月 20日) のお知らせ
by Nao Hirokawa 01 Sep '18

01 Sep '18

皆様９月２０日（木）に JAIST にて行われます、インスブルック大学 Aart Middeldorp 教授の講演のお知らせです。皆様、どうぞ奮ってご参加ください！廣川　直 (JAIST) ----------------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 20 September, 2018, 14:00-15:00 Place: I-56 (Collaboration Room 7) at JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Aart Middeldorp (University of Innsbruck) Title: Automating Proof Terms in Term Rewriting Abstract: Proof terms are a useful concept for reasoning about computations in term rewriting. This talk gives an introduction to proof terms and mentions some of the challenges when reasoning about proof terms. Since human calculation with proof terms is tedious and error-prone, the tool ProTeM was developed that offers support for manipulating proof terms in left-linear rewrite systems. We use ProTeM throughout the talk to illustrate the various operations on proof terms. The talk is based on joint work with Christina Kohl. -----------------------------------------------------------------------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2018