Kisoron-ml

1 participants
589 discussions

CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16

皆様早稲田大学の藤原誠です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2016 (2016年9月20日(火)～9月21日(水)、早稲田大学国際会議場) を開催いたします。講演を希望される方は8月31日までに以下に沿って講演要旨をお送り下さい。 (締切日が迫ってからの連絡となってしまい申し訳ありません。) http://www.sendailogic.com/CTFM2016/submission.html 本研究集会への参加は自由ですが、20日夜の懇親会に参加される方は9月12日までに以下より参加登録をお願いいたします。準備の都合上、懇親会に参加されない方も事前に参加登録をしていただけると助かります。 http://www.sendailogic.com/CTFM2016/registration.html 詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/CTFM2016/ 本研究集会に関するお問い合わせは以下へお願いいたします。 ctfm2016[at]fastmail.com どうぞよろしくお願いいたします。 ============================================================== Computability Theory and Foundations of Mathematics 2016 Waseda University, Tokyo, Japan, September 20 - 21, 2016 http://www.sendailogic.com/CTFM2016/ ============================================================== Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is the sixth conference of the CTFM conference series: http://www.jaist.ac.jp/CTFM/CTFM_SERIES/ This conference is supported by the Waseda Insitute for Advanced Study and JSPS KAKENHI Grant Numbers JP26540001 and JP15H03634. ------------------------------------------------------------------------------------------------------------------------- Invited speakers: • David Belanger (National University of Singapore) • Chi Tat Chong (National University of Singapore) • Daisuke Ikegami (Tokyo Denki University) • Wei Li (National University of Singapore) • Kenshi Miyabe (Meiji University) • Paul Shafer (Ghent University) • Frank Stephan (National University of Singapore) • Philip Welch (University of Bristol) • Guohua Wu (Nanyang Technological University) • Takeshi Yamazaki (Tohoku University) • Yang Yue (National University of Singapore) ------------------------------------------------------------------------------------------------------------------------- Submission deadline for presentations: August 31, 2016 ------------------------------------------------------------------------------------------------------------------------- Registration deadline: September 12, 2016. (It will still be possible to register for the conference after the deadline, but in that case the participant cannot attend the banquet. The banquet will be held on September 20 (18:30-20:30), at the same place as the conference venue.) ------------------------------------------------------------------------------------------------------------------------- Organising Committee: Makoto Fujiwara (Waseda University, co-chair) Florian Pelupessy (Tohoku University) Kazuyuki Tanaka (Tohoku University, co-chair) Toshimichi Usuba (Waseda University) Keita Yokoyama (JAIST) ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

分科会ウェブサイトを更新しました
by Toshio Suzuki 17 Aug '16

17 Aug '16

数学基礎論および歴史分科会の皆様お世話になっております。連絡責任評議員の鈴木登志雄です。分科会ウェブサイトを更新しました。 http://mathsoc.jp/section/logic_and_history/ サマースクールの会場について，以前より詳しい情報を掲載するとともに，サマースクールウェブサイトへのリンクを貼りました。必要に応じてブラウザの「表示内容を更新」アイコン（Firefox や Safari では，可換図式に出てくるような弧を描く矢印）を押してご覧ください。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論若手の会2016の参加講演募集
by Kenshi Miyabe 13 Aug '16

13 Aug '16

（重複して受け取られた場合はご容赦ください）皆様，明治大学の宮部賢志です．数学基礎論若手の会2016の参加講演の募集の案内です． ===== 数学基礎論若手の会2016 日時：2016年10月21日(金)午後〜23日(日)午前場所：明治大学清里セミナーハウス住所：〒407-0301 山梨県北杜市高根町清里3545-1 参加費学生: 8,000円一般: 10,000円締め切り交通費宿泊費の援助希望者の参加締め切り: 9月9日(金) 参加一次締め切り: 9月30日(金) 参加最終締め切り: 10月11日(火) 講演タイトル，アブストラクト締め切り: 10月14日(金) 参加費の内訳および申込の書式等の詳細は，以下のウェブサイトをごらんください． http://kenshi.miyabe.name/wakate2016/ ===== 宮部 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

皆様ルートヴィヒ・マクシミリアン大学ミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Thursday 25 August, 2016, 13:30-15:10 Place: JAIST, Lecture room I2 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Helmut Schwichtenberg (Ludwig-Maximilians-Universität München) Title: Invariance axioms for realizability Abstract: Kolmogorov (1932) proposed to consider mathematical formulas as problems asking for solutions. Following this idea it seems reasonable to extend arithmetical theories by adding invariance axioms, which state that every formula is equivalent to the (internal) formula stating that it has a realizer. We sketch such a theory, which in addition allows to fine-tune the computational content of proofs by decorations of the logical connectives. A soundness theorem holds.

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16

皆様インスブリア大学のMarco Benini先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Monday 8 August, 2016, 13:30-15:10 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Marco Benini (University of Insubria) Title: Variations on the Higman's Lemma Abstract: The Higman's Lemma says that if A is a well-quasi-order, so is the set of finite sequences over A with the order induced by embedding. By considering the structure of the categories of well-founded quasi-orders and well-quasi-orders, another proof of the Lemma will be derived, along with a number of variants, which may be of some interest.

1 0

JAIST Logic Seminar Series (Thursday, 7th July 2016, 15:30-17:00, Ren-June Wang)
by Katsuhiko Sano 01 Jul '16

01 Jul '16

皆様台湾 National Chung Cheng University のRen-June Wangさんの講演会のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学系 e-mail: v-sano(a)jaist.ac.jp ----------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday, 7th July 2016, 15:30-17:00 Place: JAIST, IS school collaboration room 7, 5F (Access: http://www.jaist.ac.jp/english/top/access/index.html) Speaker: Ren-June Wang (Department of Philosophy, National Chung Cheng University) Title: Logical Omniscience and Deductive Rationality Abstract: Epistemic logic as an important tool for reasoning about an intellectual agent’s epistemic states has long suffered from the so-called logical omniscience problem since the beginning of its introduction. The problem indicates an idealized assumption on the part of the agent presented by a formalism of such kind. Although alternative epistemic formalisms have been proposed for dealing with the problem, there is no sight of that the problem is settled. Thus in this talk I will try my hand firstly to give an analysis of the problem, hopefully to pin down the source of the problem, and accordingly provide an advice as to what is the right direction of solving the problem. At the end of the talk I will suggest that what we need is not a formalism with a machinery that can limit what is known by the agent, but one with more powerful expressivity such that the resource that an agent will consume in the course of his/her reasoning, such as the temporal duration, can be explicitly stated. -- Katsuhiko Sano School of Information Science Japan Advanced Institute of Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 28 Jun '16

28 Jun '16

皆様ジェノヴァ大学のEugenio Moggi先生の特別集中講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This series of lectures is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Dates: Tuesday 2 August, 2016, 13:30-15:10 Thursday 4 August, 2016, 13:30-15:10 Friday 5 August, 2016, 10:50-12:30 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Eugenio Moggi (University of Genova) *Tuesday 2 August, 2016, 13:30-15:10* LECTURE 1: Categories of Classes for Collection Types ABSTRACT. Collection types have been proposed by Buneman and others (in the '90) as a way to capture database query languages in a typed setting. In 1998 Manes introduced the notion of collection monad on the category S of sets as a suitable semantics for collection types. The canonical example of collection monad is the finite powerset monad Pf. In order to account for the algorithmic aspects of database languages, the category S is unsuitable, and should be replaced with other categories, whose arrows are maps computable by "low complexity" algorithms. We propose "realizability for DSL" (Domain Specific Languages), where the starting point is a monoid C of endomaps on a set D, instead of a combinatory algebra on D, as a way to get such categories by constructions like the category A[C] of "assemblies". To get Pf in a systematic way we borrow ideas from AST (Algebraic Set Theory, started by Joyal and Moerdijk in the '90), where they fix a notion of "small" map in a category of "classes", and read "small" as "finite". *Thursday 4 August, 2016, 13:30-15:10* LECTURE 2: Hybrid System Trajectories as Partial Continuous Maps ABSTRACT. Hybrid systems (HS) are dynamic systems that exhibit both continuous and discrete dynamic behavior: they can flow (according to a differential equation) and jump (according to a transition relation). HS can be used for modeling rigid body dynamics with impacts, and more generally Cyber-Physical Systems. HS can exhibit Zeno behaviors, that arise naturally in rigid body dynamics with impacts, but are absent from purely discrete or purely continuous systems. Dealing properly with these behaviors is a prerequisite to give sound definitions of concepts such as reachability. We propose the use of partial continuous maps (PCM) as trajectories that describe how a HS evolves over time. PCMs enable a notion of trajectory that can go beyond Zeno points. *Friday 5 August, 2016, 10:50-12:30* LECTURE 3: Models, Over-approximations and Robustness ABSTRACT. Hybrid systems, and related formalisms, have been successfully used to model Cyber- Physical Systems. The usual definition of "reachability", in terms of the reflexive and transitive closure of a transition relation, is unsound for Zeno systems. We propose "safe reachability", which gives an over-approximation of the set of states that are "reachable in finite time" from a set of initial states. Moreover, mathematical models are always a simplification of the system they are meant to describe, and one must be aware of this mismatch, when using these models for system analyses. In safety analysis it is acceptable to use over-approximations of the system behavior, indeed they are the bread and butter of counterexample guided abstraction refinement (CEGAR). We propose a notion of safe (time-bounded) reachability, which is also robust wrt arbitrary small overapproximations, and argue that it is particularly appropriate for safety analysis.

1 0

分科会便りに掲載する情報（７月８日（金）しめきり）
by Toshio Suzuki 17 Jun '16

17 Jun '16

数学基礎論および歴史分科会の皆様　　分科会便りに掲載する情報（７月８日（金）しめきり）お世話になっております．首都大学東京の鈴木登志雄です．評議員からの連絡です．数学通信２１巻２号（８月２２日発送予定）に会報１６２号が掲載されます．その中の分科会便りに掲載希望のお知らせがありましたら，２０１６年７月８日（金）までに，鈴木 toshio-suzuki[atmark]tmu.ac.jp へご連絡ください．編集部に掲載を依頼するかどうかの最終判断は評議員にご一任ください．文章の軽微な修正を評議員・編集部が行う場合がありますのでご了承ください．過去の会報は以下の場所でご覧になれます． http://mathsoc.jp/section/logic_and_history/Tayori.html 話は変わりますが，秋季総合分科会の一般講演申込期間は　　６月２４日（金）までです． http://mathsoc.jp/meeting/kansai16sept/ ６月１７日（金）１７：３０頃の一般講演申込み状況は，仮申込み中のご講演を含めて以下の通りです．歴史４件，基礎論８件，計１２件申込みしてくださった皆様，ありがとうございます．まだ１週間ありますので，まだの方もふるってお申し込みください． -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 08 Jun '16

08 Jun '16

皆様オークランド大学のBakhadyr Khoussainov先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Monday 20 June, 2016, 15:20-17:00 Place:JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Bakhadyr Khoussainov (University of Auckland) Title: Computably Enumerable Structures: Domain dependency Abstract: Computably enumerable structures arise naturally in algebra and computer science. In algebra examples include finitely presented universal algebras such as finitely presented groups. In computer science, these are abstract data types defined by equational or quasi-equational specifications. The domains of these algebraic structures are quotient sets of the form $\omega/E$, where $\omega$ is the set of natural numbers and $E$ is a computably enumerable (c.e.) equivalence relations. We consider c.e. structures whose domains are of the form $\omega/E$ and study various properties of these structures and their dependence on the domain $\omega/E$

1 0

東大数理集中講義のお知らせ
by 渡辺純成 24 May '16

24 May '16

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。人文系の学会などが開かれる時期でもありますが、皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ────2016年 5月24日　渡辺純成 =============== 川原秀城氏（東大文・名誉教授）の集中講義「数学史」が以下の要領で行われます。日程；６月２７日（月）から７月１日（金）まで http://www.ms.u-tokyo.ac.jp/kyoumu/shuchunaiyou.html 時間：毎日、午後３時から午後５時まで場所：東京大学大学院数理科学研究科（駒場）内容：以下の pdf の 12 ページをご覧下さい。 http://www.ms.u-tokyo.ac.jp/kyoumu/docs/I0404.pdf 世話人：河澄響矢（東大数理）kawazumi(a)ms.u-tokyo.ac.jp ===============

1 0

← Newer
1
...
33
34
35
36
37
38
39
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml