- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

SLACS2016のご案内
by Koji Nakazawa 12 Apr '16

12 Apr '16

みなさま，南山大の佐々木さんの代理で8月に名古屋大で開催される SLACSのお知らせをお送りします．中澤@名大 ======================================================================================================== みなさま 2016年度の「記号論理と情報科学研究集会（SLACS）」を次のように開催します．　日程：2016年8月25日(木),26日(金) 　場所：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール　招待講演：新屋良磨さんに，形式言語理論に関する，全然知らない人向けの話をお願いしています．　懇親会：25日に予算3500円程度で行う予定です．詳細は，　　　　　　http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html にあります．完成された話題はもちろん，未完成の話題やこれから考えてみたい話題なども歓迎します．是非とも，参加・講演をご検討ください．講演を希望される方・懇親会参加を希望される方は，　　氏名　　所属　　 e-mail アドレス　　懇親会参加の有無　　 (講演を希望される場合)題目・希望講演時間(30～50分) 　　その他の要望（講演日など）の情報を，　　　　　　 8月16日までに，世話人宛にご連絡ください．世話人：南山大学　佐々木克巳(sasaki(a)nanzan-u.ac.jp) 佐々木克巳 ========================================================================================================

1 0

分科会ウェブサイト更新しました
by Toshio Suzuki 11 Apr '16

11 Apr '16

数学基礎論および歴史分科会の皆様連絡責任評議員の鈴木登志雄です。分科会ウェブサイトの Conference Calendar に SLACS 2016 を追加しました。 http://mathsoc.jp/section/logic_and_history/Kenkyuukai.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

照会：ASLの the East Asia Committee Report に載せるべき事項
by Toshio Suzuki 03 Apr '16

03 Apr '16

数学基礎論および歴史分科会の皆様お世話になっております。連絡責任評議員の鈴木登志雄です。さて、先月、筑波で特別講演をしてくださった Byunghan Kim さんは、ASL (Association for Symbolic Logic) Council Business Meeting において Committee on Logic in East Asia をされています。このたび、Byunghan Kim さんから、問い合わせがありました。 ASLの the East Asia Committee Report に載せるべき事項があるでしょうか？とのことです。なにかあれば、簡潔な英文で、４月１１日までに toshio-suzuki(a)tmu.ac.jp 宛にご連絡ください。当方で集約して、回答します。場合によっては、回答にまわすべきかどうか評議員が判断することがありえますのでご了承ください。よろしくお願いいたします。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論および歴史分科会からのおしらせ
by Toshio Suzuki 18 Mar '16

18 Mar '16

数学基礎論および歴史分科会の皆様連絡責任評議員の鈴木登志雄です．３月１６日に日本数学会総会・評議会，１７日に当分科会総会が筑波大学で行われました．これら会議の結果を反映して，当分科会ウェブサイトを更新しました．以下をご覧いただければ幸いです． http://mathsoc.jp/section/logic_and_history/ 必要に応じて，ブラウザの更新ボタン等（録り溜めした情報ではなく，最新の情報を表示するボタン）をご利用ください．「研究集会」の項目には，当分科会の企画特別講演が秋ではなく，春に行われることを記載しております．特別講演は今まで通りです．各種授賞のご相談は，受賞候補推薦委員（菊池誠・神戸大学）までお願いします．このほか，以下の情報を募集中です．＊「数学通信」（５月２０日発送予定）会報１６１号の原稿募集・宛先：鈴木登志雄　toshio-suzuki(a)tmu.ac.jp ・締切：４月１３日（水）＊（再掲）「数学」（10 月秋号）に掲載するシンポジウム・研究集会記録をご連絡ください．・対象：2015 年4 月1 日ー2016 年3 月31 日に開催された集会　（参加者２０人以上，または，報告集ありのもの．ただし，　　京大数理研の共同利用研究計画に掲載されたものは除く．）・宛先：鈴木登志雄　toshio-suzuki(a)tmu.ac.jp ・締切：５月１３日（金）それでは，今後ともよろしくお願いします． -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Prof. Dieter Spreen at NII Logic Seminar
by Makoto Tatsuta 16 Mar '16

16 Mar '16

Prof. Dieter Spreen at NII Logic Seminar Date: March 22, 2016, 14:00--16:00 Place: National Institute of Informatics, Room 1901 (19th floor) 場所: 国立情報学研究所 19階 1901室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Dieter Spreen (Siegen University) Ttile: Information Frames Abstract: In 1982, Dana Scott introduced information systems as a logic-based approach to domain theory. Here, a domain is a bound-complete algebraic complete partial order with least element. An information system consists of a set of tokens to be thought of as atomic statements about a computational process, a consistency predicate telling us which finite sets of such statements contain consistent information, and an entailment relation saying what atomic statements are entailed by which consistent sets of these. Theories of such a logic, also called states, i.e. finitely consistent and entailment-closed sets of atomic statements, form a bounded-complete algebraic complete partial order with respect to set inclusion, and, conversely, every such domain can be obtained in this way, up to isomorphism. This gives Scott's idea that domain elements represent information about stages of a computation a precise mathematical meaning. The role of bounded completeness becomes also clear in this context: States represent consistent information. So, any finite collection of substates must contain consistent infor- mation as well, and this fact is witnessed by any of its upper bounds. Whereas in Scott's approach the consistency witnesses are hidden, in this paper we present an approach that makes them explicit. This allows to consider the more general situation in which there is no longer a uniform global consistency predicate. Instead there a is consistency predicate for each atomic statement telling us which finite sets of atomic statements express information that is consistent with the given statement. As it turns out the theories, or states, of such a more general information system form an L-domain, and, up to isomorphism, each L-domain can be obtained in this way. Since every token in the just delineated kind of information system has its own consistency predicate, we can also think of each such system as a family of logics, or a Kripke frame. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

照会：シンポジウム・研究集会の記録について
by Toshio Suzuki 01 Mar '16

01 Mar '16

数学基礎論および歴史分科会の皆様首都大学東京の鈴木登志雄です．３月１日から，２年目評議員となりました．また，神戸大学の菊池誠さんが１年目評議員になりました．よろしくお願いします．分科会の連絡責任評議員と受賞候補推薦委員は，正式には３月の年会での評議員会を経て決まります．それぞれ，２年目，１年目評議員が就くのが例年のならわしになっています．さて，毎年恒例のことですが，雑誌‘数学’の編集長から，シンポジウム・研究集会記録の原稿について問い合わせがあります．年度ごとの記録を一覧表にして‘数学’６８巻４号に掲載する予定です．以下の条件に当てはまる研究集会・シンポジウムを主催された方は，お手数ですが５月１３日（金）までに，鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp までおしらせください． ------ 期間： 2015年4月1日から2016年3月31日までに開催されたもの付帯条件： 20人以上の集会，または(20人以下でも)報告集のある集会．ただし，京大数理研の共同利用研究計画に掲載されたものは除きます．（条件にあてはまるか迷う場合：とりあえずおしらせいただければ幸いです．当方で，編集部に報告するかどうか判断します．）２．名称(主題) 主催者と所属(所属は大学等の略称のみで，学部名は不要) 開催場所開催時期報告集の有無　有で入手可能な場合に連絡先となる方のお名前と所属 ------ ６７巻４号（２０１５年１０月）p.428-447 と６７巻２号（２０１５年４月）p.222-224 のそれぞれに，条件にあてはまる集会・あてはまらない集会（RIMS関係）の昨年度版があります．それでは，よろしくおねがいします． -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

春の学会の日程
by ikeda＠hosei.ac.jp 26 Feb '16

26 Feb '16

数学基礎論および歴史分科会会員の皆様，連絡責任評議員の池田です．春の学会（２０１６年３月１６日−１９日，筑波大学）のプログラムが確定しておりますので，念のためお知らせいたします。 http://mathsoc.jp/meeting/tsukuba16mar/ なお，今回の本分科会特別講演は Byunghan Kim氏（Yonsei University），The Lascar group and 1st homology groups in model theory 　　　　　です（３月１６日１６：１５−１７：１５）． Byunghan Kim氏は，モデル理論における安定性理論(Stability Theory）を一般化した単純理論（Simplicity Theory）の土台を作り，現在においても精力的に研究をされています．どうぞ奮ってご参加ください。池田宏一郎（数学基礎論および歴史分科会　連絡責任評議員）

1 0

TYPES 2016 extended deadline
by Fujita Kenetsu 23 Feb '16

23 Feb '16

(* Apologies for any cross-postings. *) [New deadline 29 February 2016, submission deadline extended by a week. Consider contributing.] ================================================================== CALL FOR CONTRIBUTIONS 22nd International Conference on Types for Proofs and Programs, TYPES 2016 23-26 May 2016 Novi Sad, Serbia http://www.types2016.uns.ac.rs <http://www.types2016.uns.ac.rs/> BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. INVITED SPEAKERS (NEW) Simon Gay (University of Glasgow) Dale Miller (INRIA Saclay & LIX École Polytechnique) Simona Ronchi della Rocca (Università di Torino) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts/short papers of 2 pages prepared in LaTeX and formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2016. Important Dates: * submission of abstracts: 29 February 2016 (extended) * notification of acceptance: 21 March 2016 * camera-ready version of abstracts: 11 April 2016 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to earlier TYPES conferences, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series. Submission to that volume would be open for everyone. Tentative submission deadline: October 2016. VENUE The conference will be held at the University of Novi Sad, University Central Building. SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - CLA 2016 will be held on May 27-28, 2016. PROGRAMME COMMITTEE Thorsten Altenkirch (University of Nottingham) Zena Ariola (University of Oregon) Andrej Bauer (University of Ljubljana) Marc Bezem (University of Bergen) Malgorzata Biernacka (University of Wroclaw) Edwin Brady (University of St Andrews) Thierry Coquand (University of Gothenburg) Jose Espirito Santo (University of Minho) Ken-etsu Fujita (Gunma University) Silvia Ghilezan (University of Novi Sad) (co-chair) Hugo Herbelin (INRIA Paris-Rocquencourt) Jelena Ivetic (University of Novi Sad) (co-chair) Marina Lenisa (University of Udine) Elaine Pimentel (Federal University of Rio Grande do Norte) Andrew Polonsky (University Paris Diderot) Jakob Rehof (Technical University of Dortmund) Claudio Sacerdoti Coen (University of Bologna) Carsten Schürmann (IT University of Copenhagen) Dieter Spreen (University of Siegen) Wouter Swierstra (Utrecht University) Nicolas Tabareau (INRIA) Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015). ORGANIZERS University of Novi Sad Faculty of Technical Sciences Mathematical Institute SASA CONTACT: types2016(a)uns.ac.rs <mailto:types2016@uns.ac.rs> =================================================

1 0

TYPES 2016
by Fujita Kenetsu 09 Feb '16

09 Feb '16

皆様， TYPES 2016のご案内をさせていただきます．どうぞよろしくお願い致します．群馬大学　藤田憲悦 -------------------------- (Apologies for multiple copies of this announcement. Please circulate.) ================================================================== CALL FOR CONTRIBUTIONS 22nd International Conference on Types for Proofs and Programs, TYPES 2016 23-26 May 2016 Novi Sad, Serbia http://www.types2016.uns.ac.rs <http://www.types2016.uns.ac.rs/> BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. INVITED SPEAKERS (NEW) Simon Gay (University of Glasgow) Dale Miller (INRIA Saclay & LIX École Polytechnique) Simona Ronchi della Rocca (Università di Torino) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts/short papers of 2 pages prepared in LaTeX and formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2016. Important Dates: * submission of abstracts: 22 February 2016 * notification of acceptance: 21 March 2016 * camera-ready version of abstracts: 11 April 2016 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to earlier TYPES conferences, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series. Submission to that volume would be open for everyone. Tentative submission deadline: October 2016. VENUE The conference will be held at the University of Novi Sad, University Central Building. SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - CLA 2016 will be held on May 27-28, 2016. PROGRAMME COMMITTEE Thorsten Altenkirch (University of Nottingham) Zena Ariola (University of Oregon) Andrej Bauer (University of Ljubljana) Marc Bezem (University of Bergen) Malgorzata Biernacka (University of Wroclaw) Edwin Brady (University of St Andrews) Thierry Coquand (University of Gothenburg) Jose Espirito Santo (University of Minho) Ken-etsu Fujita (Gunma University) Silvia Ghilezan (University of Novi Sad) (co-chair) Hugo Herbelin (INRIA Paris-Rocquencourt) Jelena Ivetic (University of Novi Sad) (co-chair) Marina Lenisa (University of Udine) Elaine Pimentel (Federal University of Rio Grande do Norte) Andrew Polonsky (University Paris Diderot) Jakob Rehof (Technical University of Dortmund) Claudio Sacerdoti Coen (University of Bologna) Carsten Schürmann (IT University of Copenhagen) Dieter Spreen (University of Siegen) Wouter Swierstra (Utrecht University) Nicolas Tabareau (INRIA) Tarmo Uustalu (Tallinn University of Technology) TYPES STEERING COMMITTEE Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu. ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015). ORGANIZERS University of Novi Sad Faculty of Technical Sciences Mathematical Institute SASA CONTACT: types2016(a)uns.ac.rs <mailto:types2016@uns.ac.rs> =================================================

1 0

Kusatsu Seminar 2016
by Toshihiko Kurata 02 Feb '16

02 Feb '16

皆様，ラムダ計算と論理のセミナーが計画されていますので御案内をさせて頂きます．春休みに研究上の議論を進めたいと考えている個人・グループの皆様，気軽にこの機会を御活用頂けたらと思います．期間：2016年3月19日ー23日場所：国立大学草津セミナーハウス申込み等の詳細情報は http://www.i.hosei.ac.jp/~kurata/2016LLS/ にありますので御覧下さい．よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

Tenth NII Type Theory Workshop
by Makoto Tatsuta 30 Jan '16

30 Jan '16

Tenth NII Type Theory Workshop Date: February 3, 2016, 13:30--17:00 Place: National Institute of Informatics, Room 2006 (20th floor) 場所: 国立情報学研究所 20階 2006室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Program: 13:30--14:10 Mahmudul faisal Al Ameen (National Institute of Informatics) Title: Completeness for Recursive Procedures in Separation Logic 14:10--14:50 Daisuke Kimura (National Institute of Informatics) Title: An Implementation of Cyclic Proof-Search in Separation Logic with Inductive Definitions 14:50--15:00 Break 15:00--15:50 Makoto Tatsuta (National Institute of Informatics) Title: Completeness of Cyclic Proofs for Symbolic Heaps 15:50--16:00 Break 16:00--17:00 Stefano Berardi (Torino University) Title: Game Semantics and the Complexity of Interaction Abstracts: ---------------------------------------------------------------------- Mahmudul faisal Al Ameen (National Institute of Informatics) Title: Completeness for Recursive Procedures in Separation Logic Abstract: This talk proves the completeness of an extension of Hoare's logic and separation logic for pointer programs with mutual recursive procedures. A new system will be discussed by introducing two new inference rules, and removes an axiom that is unsound in separation logic and other redundant inference rules for showing completeness. It introduces a novel expression that is used to describe complete information of a given state in a precondition. It also uses the necessary and sufficient precondition of a program for the abort-free execution, which enables us to utilize strongest postconditions. Admissibility of the frame rules in the system will also be discussed. ---------------------------------------------------------------------- Daisuke Kimura (National Institute of Informatics) Title: An Implementation of Cyclic Proof-Search in Separation Logic with Inductive Definitions Abstract: The entailment problem in separation logic is important for program verification. This talk presents a proof system for a fragment of separation logic with inductive definitions, whose proofs have cyclic graph structures. The system is sound for validity of entailments, and provides a decision procedure of entailment problem based on proof-search of its cyclic proofs. We implement this decision procedure, and report the results evaluating our decision procedure with benchmark files of SLCOMP14. ---------------------------------------------------------------------- Makoto Tatsuta (National Institute of Informatics) Title: Completeness of Cyclic Proofs for Symbolic Heaps Abstract: Separation logic is successful for software verification in both theory and practice. Decision procedure for symbolic heaps is one of key issues. This talk proposes a cyclic proof system for symbolic heaps with general form of inductive definitions, and discusses its soundness, completeness, and decidability. The decision procedure of entailments of symbolic heaps with inductive definitions is also discussed. Decidability of entailments of symbolic heaps with inductive definitions is an important question. Completeness of cyclic proof systems is also an important question. The results of this talk tries to answer both questions. The system is based on cyclic proof systems by Brotherston et al, and the bounded-treewidth inductive definitions by Iosif et al. In order for obtaining the completeness, some restrictions are added to inductive definitions, an entailment is extended to a multiple entailment which allows disjunction in the succeedent, and it introduces new predicates for describing whether a given address is in the heap or not. The inductive definitions under the restrictions are quite general, since they covers doubly-linked lists, nested lists, and skip lists. The main techniques are grouping for showing the local completeness of the rule of splitting separating conjunction, and normal form of multiple entailments, which has some upper bounds for both the number of disjuncts and the length of spatial parts. ---------------------------------------------------------------------- Stefano Berardi (Torino University) Title: Game Semantics and the Complexity of Interaction (about a result of Federico Aschieri) Abstract: We present a new abstract complexity result obtained by F. Aschieri about Coquand and Hyland-Ong game semantics, that will lead to new bounds on the length of first-order cut-elimination, normalization, interaction between expansion trees and any other dialogical process game semantics can model and apply to. In particular, Aschieri provides a novel method to bound the length of interactions between visible strategies and to measure precisely the tower of exponentials defining the worst-case complexity. This study improves the old estimates by possibly several exponentials and is based on Berardi-de'Liguoro notion of level of backtracking. ---------------------------------------------------------------------- 問合せ先　龍田 (tatsuta(a)nii.ac.jp)

1 0

SLS 2016：Vaught予想他
by Tanaka Kazuyuki 10 Jan '16

10 Jan '16

皆様冬の恒例行事となりました仙台ロジックスクールSLSを本年も下記の日程で開催致します。２０１６年１月２８日（木）～２９日（金）東北大学理学部青葉山キャンパス合同C棟１階多目的室（サイエンスホールでない方）備考：昨年１２月に地下鉄東西線が開通しましたので、仙台駅から青葉山駅まで１０分足らずで着き、会場の理学部合同C棟は青葉山駅を出てすぐの所にあります（１階にセブン・イレブンが見える建物）。今回は主なチュートリアルとして、カリフォルニア大学バークレー校のMontalban先生に、最近話題になっている「Vaught予想」への計算可能性理論からの取り組みについてご紹介いただくことになっています。また、シンガポール南洋大学の呉国華先生には、 automatic sequences と transcendence property についてご講演いただく予定です。この他にもいくつか研究発表などを計画しています。時間割の詳細などは、遅くなって申し訳ありませんが、１月２０日頃ウェブサイトでご案内致します。 http://www.sendailogic.com/SLS2016/index_J.html 講演会自体は無料ですが、会場や懇親会等の付加的準備の都合上、ご参加を予定される方は下記アドレスまで一言ご連絡くだされば幸いです。連絡先：sendailogicschool[at]gmail.com 尚、私は海外出張中のため、お問い合わせにはすぐお応えできないかもしれませんが、どうぞ悪しからず。広い分野から気楽なご参加をお待ちしております。田中一之

1 0

証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 07 Dec '15

07 Dec '15

皆様，証明論研究集会とSLACSの講演申込みを有難うございました．暫定版プログラムなど詳しい情報はHP https://sites.google.com/site/ptslacs2015/ から御確認頂けたらと思います．現状で枠に若干の余裕が出来ましたので，埋まるまでの間は講演の募集を続けることとなりました．希望をされる方は申し込みを頂けますと幸いです．あと，都合により懇親会は月曜日に行うこととなりました．御不便をお掛けしますが，よろしくお願いいたします．佐々木克巳（南山大学）倉田俊彦（法政大学）

1 0

証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 27 Nov '15

27 Nov '15

皆様，以前御連絡しました「証明論研究集会とSLACS」の案内を再送させて頂きます．題目などの情報は後から御連絡頂いても構いませんので，話題をお持ちの方はお気軽に申し込み頂けますと幸いです．よろしくお願いいたします．佐々木克巳（南山大学）倉田俊彦（法政大学） ------------------------------------- 2015年度の「証明論研究集会」と「記号論理と情報科学研究集会（SLACS）」について，合同開催の案内をメイルさせて頂きます．どちらの研究集会も数理論理学，計算の理論，情報科学などの理論・応用に関係する様々な話題が発表されていて研究者・学生の貴重な相互交流の場となっています．完成された研究のみならず発展途上の話題も大歓迎ですので，気軽に講演・参加を御検討下さい．開催日：2015年12月14日（月）〜16日（水）場所：南山大学名古屋キャンパスS棟(教室棟)7階S74教室世話役：佐々木克巳（南山大学）倉田俊彦（法政大学）詳細はHP https://sites.google.com/site/ptslacs2015/ をご覧頂けたらと思います．講演を希望される方は，御手数ですが ------------------------------------- 題目講演者名所属 e-mail アドレス概要講演時間懇親会参加希望その他の希望（講演日など） ------------------------------------- を pt.slacs2015(a)gmail.com までメイル下さい．申込の期限は12月04日（金）と設定していますので，よろしくお願いいたします．

1 0

春の学会、一般講演申込の締切
by ikeda＠hosei.ac.jp 20 Nov '15

20 Nov '15

数学基礎論および歴史分科会　会員の皆様、連絡責任評議員の池田です．２０１６年度年会（筑波大学，３月１６日−１９日）の一般講演申し込み締切は　　　　　　　　１１月２７日（金）となります。講演申込みを予定されている方は、何卒よろしくお願いいたします。池田宏一郎（連絡責任評議員，法政大学）

1 0

「証明、計算、哲学」International Workshop "Proofs, Computation and,Philosophy",,11月28-29日慶応大三田キャンパス Nov. 28-29th, Keio Univ (Mita Campus)
by Mitsuhiro Okada 16 Nov '15

16 Nov '15

次の会合の案内をさせていただきます。事前登録不要です。慶應義塾大学文学部　岡田光弘 ***************************************************************** 「証明、計算、哲学」International Workshop "Proofs, Computation and Philosophy" 11月28-29日慶応大三田キャンパス Nov. 28-29th, Keio Univ (Mita Campus) (Apologies for multiple copies due to cross posting) ***************************************************************** 証明とカット消去の概念について議論することを目的として、「証明」の哲学と計算機科学について、次のような国際ワークショップの開催を予定しています。参加自由です。またこの案内は転送自由です。会議のupdated informationについてはつぎのURLをご覧ください。 http://abelard.flet.keio.ac.jp/seminar/girard2015.html 到着したAbstractsもここに貼っていきます。（この国際ワークショップとは別に、Girard教授による連続講義が開催されています。(17日「What is Question」, ２４日「What is Answer」) この案内の最後を参照ください。） *****国際ワークショップ情報International Workshop Information***** Date: November 28th(Sat)-29th(Sun), 2015 日時: 2015年11月28日(土)-29日(日) Place: Conference Hall, 3F of North Building, Mita campus of Keio University 場所: 慶應大学三田キャンパス北館3階会議場 Campus Map http://www.keio.ac.jp/en/maps/mita.html Building #1 on this map. / 1番の建物です。注意：２８日土曜日はどの門からもお入りになれますが、２９日日曜日は正門のみしか開いていない場合がありますので、ご注意ください。 One can access to the North Building through any gates on Saturday 28^th, but We strongly recommend to use the MAIN GATE on SUNDAY because other gates often close on Sundays. List of the invited speakers: 1. Jean-Yves Girard, (Mathematics Institute of Marseille, Univ Marseille/CNRS) Special Lectures　　（上記連続講義とは独立なself-containedな証明論レクチャーです。Transcendental syntaxを別な観点から、より技術的に導入なさいます。　） 2. Philip Scott (Dept. of Mathematics and Statistics, University of Ottawa) "AF Inverse Monoids and the Coordinatization of MV-algebras" 3. Jean-Baptiste Joinet (Faculte de philosophie, Universite Jean Moulin - Lyon 3) "Logic and Naturalness : from Gentzen to Girard" 4. Paolo Pistone (Philosophy, IMM, Univ Marseille/CNRS) "Proofs, programs and the library of Babel" 5. V. Michele Abrusci (Philosophy, Univ Rome 3) “Philosophical aspects of proof-nets” 6. Masahiro Hamano "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets" 7. Kazushige Terui (Research Institute for Mathematical Sciences, Kyoto University)　TBA 8. Takeshi Tsukada (Graduate School of Information Science and Technology, University of Tokyo) "A bifibrational account of LC" 9. Naohiko Hoshino (Research Institute for Mathematical Sciences, Kyoto University) "Geometry of Interaction and coherence spaces" ------- （暫定）プログラム Tentative PROGRAM (see the Workshop webpage for updated information) November 28^th (Saturday) 9:30- registration 9:50-10:00 Introductory Remark, Mitsuhiro Okada 10:00-11:20 Jean-Yves Girard (Univ Marseille), Special lecture, Some technical aspects of transcendental syntax I (tentative) 11:20-11:30 Break 11:30-12:30 Michele Abrusci (Univ Rome 3),” Philosophical aspects of proof-nets” 12:30-14:00 Lunch Break 14:00-15:00 Jean-Baptiste Joinet (Univ Lyon 3 and ENS-Paris), "Logic and Naturalness : from Gentzen to Girard" 15:00-15:10 Break 15:10-15:50 Takeshi Tsukada (Univ Tokyo) , "A bifibrational account of LC" 15:50-16:50 Paolo Pistone (Univ Marseille/CNRS), "Proofs, programs and the library of Babel" 16:50-17:40 Discussion with the speakers of the first day ( coordinator: M. Okada) November 29^th (Sunday) 10:00-11:20 Jean-Yves Girard Special Lecture , Some technical aspects of transcendental syntax II (tentative) 11:20-11:30 Break 11:30-12:10 Naohiko Hoshino (RIMS, Univ Kyoto), "Geometry of Interaction and coherence spaces" 12:10-12:30 Discussion 12:30-14:00 Lunch Break 14:00-15:00 Phil Scott (Univ Ottawa), "AF Inverse Monoids and the Coordinatization of MV-algebras" 15:00-15:40 Masahiro Hamano, "Geometry of Interaction for MALL via Hughes-van Glabbeek Proof-Nets" 15:40-16:00 Break 16:00-16:40 Kazushige Terui (RIMS, Univ Kyoto), TBA 16:40-17:30 Discussion with the speakers of the second day (coordinator: M.Okada） ------------------------------------------ Local organizing committee: Mitsuhiro Okada, Keio University(Chair) Yutaro Sugimoto, Keio University Yuta Takahashi, Keio University 主催: Mita Logic Seminar 事務局(科学研究費　新学術領域　「予測と行動判断の論理と計算」）共催: 慶應義塾大学論理と感性のグローバル研究センター問合せ先: 慶応義塾大学　Mita Logic Seminar 事務局 logic(a)abelard.flet.keio.ac.jp ワークショップURL http://abelard.flet.keio.ac.jp/seminar/girard2015.html ------------------------- なお、このワークショップとは別に、１１月１７日(What is Question)、２４日 (What is Answer) の午後６時より、三田キャンパス大学院棟１階３１３番教室でGirard教授の公開講義が行われます。参加自由です。講義情報（日時など）のURLは以下です： http://abelard.flet.keio.ac.jp/seminar/trsy3ls.html 講義の要約（レジュメ）のURLは以下です： http://abelard.flet.keio.ac.jp/seminar/pdf/trsy3ls.pdf End of the announcement 転送自由です。------

1 0

数学基礎論若手の会　追加募集
by kota takeuchi 10 Nov '15

10 Nov '15

筑波大学の竹内耕太と申します。11月末に行われる数学基礎論若手の会にたくさんの申し込みをいただきありがとうございます。申し込み締め切り後に調整しましたところ、「宿泊・食事申し込み」に多少の余裕がありましたので11月15日日曜日まで参加を受け付けることとしました。（多数の場合は先着順。講演申し込みは締め切りました。）プログラムも公開されておりますので参考にしていただければと思います。若手の会2015webページ：http://www.math.tsukuba.ac.jp/~kota/wakate2015.html プログラム：http://www.math.tsukuba.ac.jp/~kota/wakate2015program.pdf 竹内耕太

1 0

ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ
by Mitsuhiro Okada 04 Nov '15

04 Nov '15

Kisoron-mlの皆様、次の案内を投稿させていただきます。　慶応大　岡田光弘 ----------------------------------------------------------------------------------------------------------------- ジャンイヴ・ジラール教授公開連続講義（１１月１０日より）のお知らせ Jean-Yves GIRARD open lectures (Nov. 10^th , 17^th , 24^th, ) (三田ロジックセミナー) ***Apologies for multiple copies due to cross-posting*** ------------------------------------------------------------------------------------------------------------------ 慶應義塾大学に滞在されているジャンイヴ　ジラール教授に、インフォーマルな連続講義をお願いしていますので、ご案内させていただきます。 Transcendental Syntaxをテーマとした連続講義です。(同一タイトルの近刊書籍の中核的部分を解説していただきます。)　Proof-Normalization, 線形論理、Proofnests, Geometry of Interaction、ludicsなどのこれまでのご研究を基にした,　証明論、証明論の哲学についての彼の新しい研究パラダイムをご紹介いただきます。（初回は、証明論の初歩以外の専門的知識なしで聴講できるIntroductionから始めていただきます。） In this series of lectures Prof. Jean-Yves Girard is giving his new research paradigm“Transcendental Syntax”, which is based on his past researches (such as proof normalization, linear logic, proofnets, geometry of interaction, Ludics and others)　No particular background knowledge is required except for elementary proof theoretic ideas.. 講師　Jean-Yves Girard (Ｍathematics Institute, Univ de Marseille/CNRS, 現在慶應義塾大学にDistinguished Guest Professor (Global)として滞在中) Ist lecture １１月１０日１８：００－１９：３０（Nov,10^th 18:00-19:30） 2^nd lecture １１月１７日１８：００－１９：３０（Nov,17th 18:00-19:30） 3^rd Lecture １１月２４日１８：００－１９：３０（Nov,24th 18:00-19:30）会場慶應義塾大学三田キャンパス大学院棟１階３１３号 Graduate School Building the ground floor, room 313. なお、これとは別に、１１月２８日―２９日に証明論、証明論の哲学、計算機科学についての国際ワークショップを予定しております。詳細が決まりましたらお知らせいたします。 JR-田町駅、地下鉄三田駅、地下鉄赤羽橋駅から徒歩約7分 7 minutes along distance from JR-Tamachi, Subway-Mita, Subway-Akabanebashi See campus-map below/ http://www.keio.ac.jp/en/maps/mita.html 大学院棟は８番の建物です。Graduate School Building is #8 on this map. この会合案内は転送自由です。 ――――――――――――――――――――――――――――――――― お問い合わせ先：慶應義塾大学文学部哲学専攻岡田光弘研究室三田ロジックセミナー講演会事務局 philosophy(a)abelard.flet.keio.ac.jp

1 0

研究会のご案内
by Suzuki, Nobu-Yuki 04 Nov '15

04 Nov '15

皆様早稲田大学の金子守先生の代理で研究会のご案内をお送りします。重複してお受け取りのお方には、ご寛恕を賜りますよう。認識論理・様相論理研究会日時：２０１５年１２月４日（金）―５日（土）場所：早稲田キャンパス１０号館２０５室（正門から入って正面奥）この研究会は研究情報・考え・意見の交換を目的としています。興味のある方の参加を歓迎します。また懇親会に参加希望の方は金子守（mkanekoepi(a)waseda.xn--jp)-373b4ak8d3b3b5762mgesb い（２０００円程度）。幹事：金子守、黒川英徳、秋吉亮太プログラムは添付のpdfファイルをご覧ください。 2015/11/04(水) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 鈴木信行(Nobu-Yuki SUZUKI) 静岡大学理学部数学教室〒422-8529 静岡市駿河区大谷836 電話 054-238-4729(dial in) Fax 054-238-4549(学科共通) 電子メイル：suzuki.nobuyuki(a)shizuoka.ac.jp 静岡大学では、上記の新アドレスに移行中です。しばらくは、旧アドレスも併用されます。

1 0

春の学会、一般講演申込日程について
by ikeda＠hosei.ac.jp 02 Nov '15

02 Nov '15

数学基礎論および歴史分科会　会員の皆様、連絡責任評議員の池田です．２０１６年度年会（筑波大学，３月１６日−１９日）の一般講演申し込み日程ですが、１１月６日（金）から始まり、１１月２７日（金）に締切となります。講演申込みを予定されている方は、何卒よろしくお願いいたします。池田宏一郎（連絡責任評議員，法政大学）

1 0

日本数学会春季賞
by Suzuki Toshio 09 Oct '15

09 Oct '15

日本数学会　数学基礎論および歴史分科会の皆様評議員１年目の鈴木登志雄です。　さて、日本数学会の顕彰事業の一つに春季賞があります。　基礎論分科会からの受賞者としては、春季賞の前身となる彌永賞の第3回（1975）に、高橋元男先生（筑波大数学）が選ばれています。　次回の春季賞は、2016年4月1日現在で40歳に達しない会員の中から選ばれます。評議員が理事長に候補を推薦し、選考委員会が受賞者を決定します。賞状および副賞20万円が贈呈されます。　当分科会からこの方を推薦すべきだ、というご意見がありましたら、１０月２４日（日）までに、数学基礎論および歴史分科会選出の評議員 To: toshio-suzuki(a)tmu.ac.jp （鈴木登志雄） cc: ikeda(a)hosei.ac.jp （池田宏一郎）へ、ご連絡ください（今回のこのメールは、メーリングリスト用の、上記と異なるアドレスから発信しています）。　もしくは、ご専門分野に近い運営委員にご相談の上、運営委員から評議員に連絡してもらってください。　推薦票には以下が必要です。評議員へご連絡の際、わかる範囲で、以下の事柄（(5)以外）をお知らせください。 (1) 候補者氏名・所属・職名・住所・電話・E-mail (2) 業績の題目とその英訳 (3) 候補者生年月日・略歴（わかる範囲で８行以内程度） (4) 業績対象の業績をよく知っている人の名（内、外国人は１名以上）　［引用者注：外国人の定義はとくに詳しく規定されていません。］ (5) 推薦者氏名・所属・職名・住所・電話・E-mail (6) 推薦理由・論文リスト（理由とリストを合わせてＡ４用紙１枚弱程度）　ただし(5)は、形式上の推薦者である評議員の氏名などを書くことになります。　それでは、よろしくお願いいたします。参考ウェブサイト「日本数学会　顕彰事業」（受賞者リストへのリンクあり） http://mathsoc.jp/prize/ 「日本数学会　数学基礎論および歴史分科会」（運営委員リストへのリンクあり） http://mathsoc.jp/section/logic_and_history/ -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

JAIST Logic Seminar Series (6th Oct. 2015 by Hsing-chien Tsai)
by Katsuhiko Sano 18 Sep '15

18 Sep '15

皆様 National Chung-Cheng UniversityのHsing-chien Tsai先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp ------------------------------ * JAIST Logic Seminar Series * Date and Time: Tuesday, 6th October 2015, 15:30--17:00 Title: On Some General Methods of Proving Decidability or Undecidability Place: Collaboration room No.7, 5th floor of IS building No. 3, JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Hsing-chien Tsai (Department of Philosophy, National Chung-Cheng University) Abstract: This talk will first introduce some useful general methods of proving the decidability or the undecidability of a first-order logical theory, and then will show some applications of those methods. The methods to be looked into are heavily involved with checking whether or not two models (or two classes of models) stand in certain relations. Here the two most-checked relations between two models are back-and-forth equivalence and definability (that is, defining one into another). In this light, this talk will also briefly discuss some general theorems concerning the two aforementioned model theoretical relations. -- 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

証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 17 Sep '15

17 Sep '15

皆様， 2015年度の「証明論研究集会」と「記号論理と情報科学研究集会（SLACS）」について，合同開催の案内をメイルさせて頂きます．どちらの研究集会も数理論理学，計算の理論，情報科学などの理論・応用に関係する様々な話題が発表されていて研究者・学生の貴重な相互交流の場となっています．完成された研究のみならず発展途上の話題も大歓迎ですので，気軽に講演・参加を御検討下さい．開催日：2015年12月14日（月）〜16日（水）場所：南山大学名古屋キャンパスS棟(教室棟)7階S74教室世話役：佐々木克巳（南山大学）倉田俊彦（法政大学）詳細はHP https://sites.google.com/site/ptslacs2015/ をご覧頂けたらと思います．講演を希望される方は，御手数ですが ------------------------------------- 題目講演者名所属 e-mail アドレス概要講演時間懇親会参加希望その他の希望（講演日など） ------------------------------------- を pt.slacs2015(a)gmail.com までメイル下さい．申込期限は12月04日（金）とします．それでは，よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

RIMS研究集会「モデル理論における独立概念と次元の研究」のご案内
by Hirotaka Kikyo 14 Sep '15

14 Sep '15

（重複して受け取られた場合はご容赦ください）下記の要領で、RIMS研究集会を開催いたします。モデル理論に関連する話題の研究集会です。モデル理論に関連するテーマでの発表を募集いたします。 Anand Pillay 教授、Byunghan Kim教授を含む数名の外国人がすでに参加を表明されてます。概要 RIMS研究集会「モデル理論における独立概念と次元の研究」日時：2015年12月14日月曜日午後〜2015年12月16日水曜日午前場所：京都大学数理解析研究所110教室研究代表者：桔梗宏孝　副代表：池田宏一郎数理研：http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html 集会ホームページ：https://sites.google.com/site/modeltheory2015/ 講演を希望される人は次の情報を代表者の桔梗までお知らせください。 (連絡先：kikyo(a)kobe-u.ac.jp) ----- (1)氏名 (2)所属 (3)職名/学年 (4)講演題目 (5)旅費援助の希望の有無 (6)参加日程 ------ 旅費の援助は原則として講演者に限らせていただきます。桔梗宏孝神戸大学大学院システム情報学研究科

1 0

数学会よりお知らせ（数学通信）
by ikeda＠hosei.ac.jp 14 Sep '15

14 Sep '15

日本数学会　数学基礎論および歴史分科会の皆様，分科会連絡責任評議員の池田です． 11月4日発行予定の「数学通信」誌上で全会員にお知らせすべき情報（研究集会情報等）を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h.xn--930-oc4by33o95yaexbuy6f （水）といたします．よろしくお願いいたします．池田宏一郎（連絡責任評議員，法政大学）

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml