Logic-ml

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

7 participants
1772 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 26 Oct '13

26 Oct '13

皆様リュブリャナ大学のAndrej Bauer教授の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Friday 20 September, 2013, 15:00-17:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Andrej Bauer (University of Ljubljana, Slovenia) Title: A higher inductive construction of the real numbers Abstract: Homotopy type theory [1] is a foundation of mathematics based on Martin-Löf type theory extended with the Univalence axiom and higher inductive types. The latter allow us to present mathematical objects as inductive types generated by point and path constructors. For instance, the circle is represented by a type with a point and a loop satisfying the "circle induction" principle. In the first part I shall review higher inductive types. In the second part of the talk I shall look at a higher inductive construction of real numbers. Ordinary higher inductive types do not seem to suffice -- instead we have to use a higher inductive-inductive definition which simultaneously constructs the reals and a proximity relation on them. We thus obtain a type of real numbers which satisfies a principle of "real induction". We can prove properties of reals by induction! From a logical point of view the construction is interesting because it avoids the axiom of choice, impredicativity (powersets), and excluded middle. Nevertheless, the resulting theory still allows us to develop the basics of real analysis as usual. The work described in the talk is joint work of the members of the Univalent foundations project [2]. References: [1] Univalent Foundations Project: "Homotopy type theory: Univalent foundations of Mathematics", http://homotopytypetheory.org/book/ [2] Univalent Foundations Project, Institute for Advanced Study, Princeton, http://www.math.ias.edu/sp/univalent -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 2

Kobe Colloquium on Logic, Statistics and Informatics, October 25 (Bernhard Koenig)
by Joerg Brendle 23 Oct '13

23 Oct '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年10月25日（金）15:10-16:10 講演者：Bernhard Koenig 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Variations of Laver's indestructibility result and some applications アブストラクト： We show that a supercompact cardinal kappa can be made indestructible under a class of forcings which is slightly larger than Laver's class of kappa-directed closed forcings. We go on to discuss how this slight strengthening over Laver's original result can be used for some interesting new consistency results. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

NUE seminar (34)
by Yoshihito Toyama 23 Oct '13

23 Oct '13

第 34 回 NUEセミナーのお知らせ東北大学・電気通信研究所・外山研究室ではNUEセミナーを開催しています。テーマはプログラム理論や定理自動証明を中心に、情報科学の理論的なさまざまな話題をとりあげています。興味をおもちの方はどなたでもフラリと気楽におたちより下さい。 ********************************************* 日時：　１０月２９日（火）１３：３０ -- １４：３０場所：東北大学・電気通信研究所・２号館・２階セミナー室 (W214) ********************************************* 講演話題提供者： Vincent van Oostrom (Utrecht University) 題目： Z Syntax-Free Developments 概要： We introduce the Z-property for abstract rewriting systems, and show that it can be used to prove confluence of several well-known term rewrite systems (terminating or not, and overlapping or not), in particular: - the applicative TRS for associativity: (xy)z -> x(yz); - the applicative TRS for self-distributivity: (xy)z -> xz(yz); - lambda-calculus with beta-reduction: (\x.M)N -> M[x:=N]. Turning to meta-theoretical properties, we first show that the Z-propery allows to recover the traditionally syntactically defined notion of (super)development/multistep in a syntax-free way. To that end, we show the equivalence between the Z-property and Takahashi's angle-property. Next, we showing that the Z-property not only entails confluence, but also the existence of a hyper-cofinal strategy. We conclude by presenting further (non-)examples of rewrite systems having the Z-property, and some open questions. (joint work with Patrick Dehornoy) ============================================== NUEセミナーに関する問い合わせは以下にどうぞ。外山芳人〒980-8577 仙台市青葉区片平 2-1-1 東北大学電気通信研究所 TEL 022 217 5449 FAX 022 217 5452 MAIL toyama(a)nue.riec.tohoku.ac.jp

1 0

Talk by Bakhadyr Khoussainov , Wednesday this week (23 Oct)
by Hiroyuki Miyoshi 22 Oct '13

22 Oct '13

sonoteno, logic-ml, jssst-ppl 各メーリングリストの皆様、京都産業大学理学部数理科学科の三好博之です。先ほど、蓮尾さんから東京大学でのBakhadyr Khoussainovさんの講演会のアナウンスが有りましたが、京都産業大学でも明日10/23（水） 14:00-15:00 に京都産業大学万有館（バスプールからエスカレーターを2つ乗り継いだ正面の建物） 3階セミナー室にて談話会が行われます。東大の講演より少し時間が短いですがAbstractを見るとだいたい同じ内容のようです。アナウンスが遅れて申し訳ありませんが皆様の参加をお待ちしています。三好博之 ******************************************* Speaker Bakhadyr Khoussainov 氏（University of Auckland） Title An excursion to computable structures Date 2013年10月23日（水） 14:00--15:00 Place 万有館3階セミナー室 Abstract In this talk we introduce the concept of computable structure. We discuss the history of the subject, present motivation, topics and questions that have developed the subject over many years. We explain the role of computability and logic in the study of various mathematical structures. The talk will be quite informal, non-technical, and will contain a good amount of examples and explanations. ******************************************* 三好博之 2013/10/22 Ichiro Hasuo <ichiro(a)is.s.u-tokyo.ac.jp>: > Dear all, > > Friday next week we have Bakhadyr Khoussainov from > University of Auckland visiting us in U Tokyo and making a talk > on automatic structures (NB. automaton -> automatic). > No registration needed. See you there! > > Best regards, > Ichiro Hasuo > http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar > > ______________________________ > > Fri 1 November 2013, 10:30-12:00 > > Bakhadyr Khoussainov (U. Auckland), > An excursion from computable to automatic structures > > 理学部7号館地下 007教室（いつもの1階の部屋ではありません） > Room 007 (underground floor), School of Science Bldg. No. 7 > > アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html > Access: http://www-mmm.is.s.u-tokyo.ac.jp/ > > In this talk we introduce two classes of structures: computable structures and > automatic structures. We present several examples, theorems, research topics > in the areas, and discuss their motivations, proofs and importance. > The goal will > be to make a transition from computable to automatic structures with an eye > towards decidability. We also give some historical perspective. > > -- > このメールは Google グループのグループ「sonoteno」の登録者に送られています。 > このグループから退会し、メールの受信を停止するには、sonoteno+unsubscribe(a)googlegroups.com にメールを送信します。 > このグループに投稿するには、sonoteno(a)googlegroups.com にメールを送信してください。 > http://groups.google.com/group/sonoteno からこのグループにアクセスしてください。

1 0

Talk by Bakhadyr Khoussainov on automatic structures, Friday next week (1 Nov)
by Ichiro Hasuo 22 Oct '13

22 Oct '13

Dear all, Friday next week we have Bakhadyr Khoussainov from University of Auckland visiting us in U Tokyo and making a talk on automatic structures (NB. automaton -> automatic). No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ______________________________ Fri 1 November 2013, 10:30-12:00 Bakhadyr Khoussainov (U. Auckland), An excursion from computable to automatic structures 理学部7号館地下 007教室（いつもの1階の部屋ではありません） Room 007 (underground floor), School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html Access: http://www-mmm.is.s.u-tokyo.ac.jp/ In this talk we introduce two classes of structures: computable structures and automatic structures. We present several examples, theorems, research topics in the areas, and discuss their motivations, proofs and importance. The goal will be to make a transition from computable to automatic structures with an eye towards decidability. We also give some historical perspective.

1 0

JAIST Logic Seminar Series
by Takako Nemoto 22 Oct '13

22 Oct '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: nemototakako(a)gmail.com ------------------------------ * JAIST Logic Seminar Series * Date: Tuesday 29 October, 2013, 15:30- Place: Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Martin Ziegler (Technische Universitaet Darmstadt) Title: Real Parameterized and Second-Order Complexity Theory: from Computability in Analysis to Numerical Practice Abstract: http://www.jaist.ac.jp/~t-nemoto/Ziegler_talk.pdf

1 0

10/25(金) Matthias Schirn 博士講演会 Hilbert and Wittgenstein on the Consistency of Mathematical Theories
by 秋吉亮太 21 Oct '13

21 Oct '13

10/25(金) Matthias Schirn 博士講演会「Hilbert and Wittgenstein on the Consistency of Mathematical Theories」のお知らせ次のような講演会を予定していますので案内させていただきます。講演者： Matthias Schirn (Munich Center for Mathematical Philosophy (LMU, Munich)) 講演題目： HILBERT AND WITTGENSTEIN ON THE CONSISTENCY OF MATHEMATICAL THEORIES (＊発表言語は英語) ディスカッションコーディネータ：岡田光弘（慶應義塾大学哲学専攻）開催日時：2013年10月25日（金）17:00-18:30 Date: October 25, 2013 (Fri) 17:00-18:30 開催場所：慶應義塾大学三田キャンパス東館4階セミナー室 Place: Seminar Room, 4F of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html 参加方法：事前登録不要・参加費無料共催：慶應義塾大学「論理と感性」のグローバルリサーチセンター慶應義塾大学「思考と行動判断」の研究拠点 ――――――――――――――――――――――――――――――――――――――――――― お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp

1 0

Talk by Masahiko Sato, 14 Nov. Thu 11:00-
by Shinya Katsumata 18 Oct '13

18 Oct '13

京都大学数理解析研究所の勝股です。 11月14日11:00から、佐藤雅彦京都大学名誉教授に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 14 Nov, 2013 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Professor Emeritus Masahiko Sato Title: Viewing lambda terms through maps (Joint work with Randy Pollack, Helmut Schwichtenberg and Takafumi Sakurai) Abstract: In this talk we introduce the notion of map, which is a notation for the set of occurrences of a symbol in a syntactic expression such as a formula or a lambda-term. We use binary trees over 0 and 1 as maps, but some well-formedness conditions are required. We develop a representation of lambda terms using maps. The representation is concrete (inductively definable) and canonical (one representative per lambda-term). We define substitution for our map representation, and prove the representation is in substitution preserving isomorphism with both nominal logic lambda-terms and de~Bruijn nameless terms. These proofs are mechanically checked in Isabelle/HOL and Minlog respectively. The map representation has good properties. Substitution does not require adjustment of binding information: neither alpha-conversion of the body being substituted into, nor de Bruijn lifting of the term being implanted. We have a natural proof of the substitution lemma of lambda calculus that requires no fresh names, or index manipulation. Using the notion of map we study conventional raw lambda$syntax. E.g. we give, and prove correct, a decision procedure for alpha-equivalence of raw lambda terms that does not require fresh names.

1 0

チュートリアル "Vagueness and Fuzzy Logic" のお知らせ
by Shunsuke Yatabe 15 Oct '13

15 Oct '13

みなさま（重複して受け取られた場合はご容赦ください）今年の１0月に東京で開催される LENLS 10 (Logic and Engineering of Natural Language Semantics 10) 国際ワークショップのチュートリアル・コースとして、以下を開催することとなりました。このチュートリアルは、LENLS参加登録者に限らず、興味をお持ちの方はどなたでもご参加いただけます。皆様のご参加をお待ちしております。矢田部俊介（西日本旅客鉄道／京都大学） Tutorial Lecture: ================= On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University. Lecturer: Nicholas J.J. Smith (The University of Sydney) Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor) (http://www.ocha.ac.jp/en/access/index.html) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Vagueness and Fuzzy Logic Abstract -------- The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting). I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism). II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth. III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches. IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given. V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness.

1 0

WoLLIC 2014 - 1st Call for Papers
by 小野寛晰 13 Oct '13

13 Oct '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml