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

早稲田大学高等研究所 / 慶應義塾大学論理と感性のグローバル研究センター共催「Workshop in Logic and Philosophy of Mathematics」(7月14-15日)のご案内
by Makoto Fujiwara 10 Jul '17

10 Jul '17

早稲田大学の藤原誠です。先日ご案内させていただいた早稲田大学高等研究所 / 慶應義塾大学論理と感性のグローバル研究センター共催「Workshop in Logic and Philosophy of Mathematics」について最新の情報を流させていただきます。 14日15日ともに参加自由です。どうぞふるってご参加ください。 ------------------------------------------------------------------- We apologize if you receive this message more than once. --------------------------------------------------------------------- We announce the following “Workshop in Logic and Philosophy of Mathematics”. The first day is at Mita campus of Keio University and the second day is at Waseda campus of Waseda University. 7月14日は慶應義塾大学三田キャンパス、7月15日は早稲田大学早稲田キャンパスでの開催になりますのでご注意下さい。 ---- Workshop in Logic and Philosophy of Mathematics Date: July 14 (Fri) and 15 (Sat), 2017 日時: 2017年7月14日(金), 7月15日(土) Place: G-Lab, 6th floor, East Building, Mita campus of Keio University (14th); Meeting Room #1, 5th Floor, Bldg. 9, Waseda campus of Waseda University (15th). 場所: 慶應義塾大学三田キャンパス東館6階G-Lab (14日); 早稲田大学早稲田キャンパス9号館5階第一会議室 (15日). For more details, please see the following page: 詳細は以下をご覧ください。 https://www.waseda.jp/inst/wias/news/2017/07/04/4467/ ---- Program: 1. July 14 (Friday, G-Lab, 6th floor, East Building, Mita campus of Keio University): Time: 13:00-18:00 Speakers: Andrew Arana (Université Paris 1 Panthéon-Sorbonne, IHPST), Kengo Okamoto (Tokyo Metropolitan University), Ryota Akiyoshi (Waseda University), Makoto Fujiwara (Waseda University) The details will be announced soon at the following page: https://abelard.flet.keio.ac.jp/jindex.php <https://abelard.flet.keio.ac.jp/jindex.php> 2. July 15 (Saturday, Meeting Room #1, 5th Floor, Bldg. 9, Waseda Campus of Waseda University) Talk 1: 13:00-14:00 Ryoma Shinya (The University of Tokyo) Title: Almost every simply typed λ-term has a long β-reduction sequence Abstract: It is well known that the length of a β-reduction sequence of a simply typed λ-term of order k can be huge; it is as large as k-fold exponential in the size of the λ-term in the worst case. We consider the following relevant question about quantitative properties, instead of the worst case: how many simply typed λ-terms have very long reduction sequences? We provide a partial answer to this question, by showing that asymptotically almost every simply typed λ-term of order k has a reduction sequence as long as (k − 2)-fold exponential in the term size, under the assumption that the arity of functions and the number of variables that may occur in every subterm are bounded above by a constant. The work has been motivated by quantitative analysis of the complexity of higher-order model checking. Talk 2: 14:00-15:00 Taishi Kurahashi (National Institute of Technology, Kisarazu College) Title: On partial disjunction properties of theories containing PA Abstract: It is well-known that intuitionistic predicate logic and Heyting Arithmetic have the disjunction property (DP). For intuitionistic logic, DP seems to reflect its constructivity. In classical logic, DP plays a different role. If a theory T in classical logic has DP, then T is complete because the law of excluded middle is valid. Thus in classical logic, every \Sigma_1-definable consistent extension of Peano Arithmetic PA does not have DP by the Gödel–Rosser first incompleteness theorem. On the other hand, PA enjoys a partial disjunction property. Let \Gamma be a class of formula. We say that a theory T has the \Gamma-disjunction property (\Gamma-DP) iff for any \Gamma sentences \varphi and \psi, at least one of \varphi or \psi is provable in T whenever \varphi \lor \psi is provable in T. It is known that PA has \Sigma_1-DP but does not have \Pi_1-DP. In this talk, we present several results concerning partial disjunction properties and other related properties of theories containing PA which is not necessarily \Sigma_1-definable. Talk 3: 15:20-16:20 Naosuke Matsuda (Kanagawa University) Title: Some extensions of de Jongh's theorem Abstract: It is obvious that if a propositional formula A is provable in intuitionistic propositional calculus, then each arithmetical instance is provable in Heyting Arithmetic. The converse of this statement is known as de Jongh's theorem. In this talk, I give an introduction to de Jongh's theorem and introduce some extensional works. Talk 4: 16:20-17:20 Masahiko Sato (Kyoto University) Title: A common notation system for lambda calculus and combinatory logic Abstract: We present a notation system which can be used to faithfully represent both the terms of lambda calculus and combinatory logic. We show the faithfullness of the representations by observing that the representations respect the beta and eta reduction rules. We also argue that Curry's Last Problem (J.R.Hindley, Curry's Last Problem: Imitating lambda-beta-reduction in Combinatory Logic) in its original form is an ill-posed problem, and can be solved naturally by expressing the problem in our notation system. --------------------------------------------------------------------- Organizers: Ryota Akiyoshi (Waseda Institute for Advanced Study, Waseda University) Makoto Fujiwara (Waseda Institute for Advanced Study, Waseda University) Mitsuhiro Okada (Global Research Center for Logic and Sensibility, Keio University) Co-host: Waseda Institute for Advanced Study (Waseda University), Global Research Center for Logic and Sensibility (Keio University) Contact: Ryota Akiyoshi georg.logic(a)gmail.com <mailto:georg.logic@gmail.com> ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

2 1

47th TRS meeting (参加者募集)
by Munehiro Iwami 07 Jul '17

07 Jul '17

皆様島根大学の岩見と申します。 9月25～27日に開催される「第47回 TRS Meeting」の参加者募集をご案内致します。今回は水の都とよばれる松江の宍道湖岸のホテルで開催します。皆様、ぜひ参加をご検討下さい。講演題目と講演時間は後程連絡して頂く形で構いません。和室シングルルームは宍道湖眺望ありです。通常のシングルルームは宍道湖眺望なしです。 7月14日（金）までに岩見へメールにて連絡してください。 -- 岩見宗弘島根大学総合理工学研究科情報システム学領域 E-mail: munehiro(a)cis.shimane-u.ac.jp ----------------------------------------- 47th TRS Meeting September 25 - 27, 2017 Matsue, Japan http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting47/ About TRS Meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/). Basic Information Date September 25 (Mon) - 27 (Wed), 2017 Venue Matsue New Urban Hotel (webpage in Japanese) 40-1, Nishicha-machi, Mstsue-shi, Shimane, 690-0845, Japan Fee Registration: 6,000 JPY (includes coffee breaks and meeting room) Accomodation: 8,400 JPY (Sep. 25) (includes breakfast and dinner) and 12,560 JPY (Sep. 26) (includes breakfast and bunquet) Tentative Schedule Room Koto (we will have a screen and a whiteboard) Opening 13:30, September 25 Closing 12:00, September 27 Timetable Tentative Registration Deadline July 14th (Fri), 2017 Please fill in the following registration form and send it to Munehiro Iwami (munehiro [at] cis.shimane-u.ac.jp) by e-mail. Items marked with * can be sent later. -------------------------------------------------------------------------------------------- Registration Form of the 47th TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): preference on your room: [standard single room / Japanese style single room] (choose one) (In case of partial participation, please contact us) --------------------------------------------------------------------------------------------

1 0

FLOPS 2018: Call for Papers
by koba＠kb.is.s.u-tokyo.ac.jp 04 Jul '17

04 Jul '17

皆様、東京大学の小林です。 FLOPS 2018 の論文募集案内をお送りいたします。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻〒113-0033 東京都文京区本郷7-3-1 Phone: 03-5841-4124 Fax: 03-5841-4124 email: koba(a)is.s.u-tokyo.ac.jp ----------------- FIRST Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Sondergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard Technical University of Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politècnica de València, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair)

1 0

ARANA博士パリ第1大哲学科准教授Geometrical knowledge and　geometrical　legitimacy7月４、１１、１９日慶応大三田
by Mitsuhiro Okada 04 Jul '17

04 Jul '17

次の3回の連続セミナートークを予定しています。アナウンスが第1回目の開催日に間に合わないかもしれませんが、次の内容をこのメールリストに流させて頂きけるとありがたいです。よろしくお願いいたします。岡田光弘　慶應義塾大学文学部哲学専攻 ─────────────────────────────── ＜Andrew ARANA パリ第1大学哲学科准教授　数学の哲学連続トークと討論 7月4日、11日、19日、Geometrical knowledge and　geometrical　 legitimacy ＞　July 4th, 11th,19th, Mita Campus, Keio University 次のようなPhilosophy of mathematics 連続セミナートークを Andrew ARANA 博士にお願いしています。連続セミナートーク・テーマ　Theme Geometrical knowledge and geometrical legitimacy I, II, III 初回Iはoverview的講演をお願いしてます。この告知メールは初回のトークのあとに届く可能性が高いですが、 2回目、3回目の内容は初回と独立にお聴きいただくこともできますので2回目以降からのご参加も歓迎いたします。スピーカー Speaker Andrew Arana, パリ第1大学哲学科准教授、Dept of Philosophy, University of Paris-1 場所：慶應大三田キャンパス大学院棟３１３番教室 Room 313, Graduate School Building, Mita Campus, Keio university (構内図 Campus Mapの8番です。　#8 of this map.) https://www.keio.ac.jp/ja/maps/mita.html One hour talk and 30 minutes discussion 第1回7月4日 (火) July 4th (Tues) 18;00-19:30 第2回　7月11日(火)　July 11th (Tues) 18:00-19:30 第3回 7月１９日（火）July 19th (Tues) 18:00-19:30 ---------------------------------------------------------------- この会合とは別に、早稲田大学高等研究所―慶應義塾大学論理と感性のグローバル研究センター共催の「論理と数学の哲学」会合(7月14日三田キャンパス、１５日早稲田キャンパス)でもArana先生が14日に話されます。) Ａｎｄｒｅｗ　Arana, Proofs and Meaning in Arithmetic 14日、15日とも13:00に開始を予定しています。こちらの案内はプログラムが決まり次第追ってお知らせします。14日は慶應大三田キャンパス東館６階G-Lab　Ａｌｓｏ　the Waseda-U=Keio U Joint Workshop on “Logic and Philosophy of Mathematics” Is acheduled. Prof. Arana is going to give another talk there on 14th at G-Lab, 6th floor, East Building, Mita Campus, Keio University. We will announce the program soon. ------------------------------------------- 論理と感性のグローバル研究センター(論理班)、三田ロジックセミナー共催お問い合わせ Contact: logic(a)abelard.flet.keio.ac.jp (セミナー事務局専用アドレス)　慶応義塾大学文学部哲学専攻岡田光弘研究室内 ----------------------------------------

1 0

3rd CFP +++ extended deadline +++ IWC 2017 (with FSCD in Oxford)
by Fujita Kenetsu 02 Jul '17

02 Jul '17

皆様，群馬大学の藤田と申します． 9月の IWC 2017(Oxford)の締切が7/5まで延長されましたのでご案内をさせていただきます．どうぞ宜しくお願い致します． ----- (* Apologies for any cross-postings. *) ===================================================================== Call for Papers IWC 2017 6th International Workshop on Confluence September 8th, 2017, Oxford, United Kingdom Collocated with FSCD 2017 http://cl-informatik.uibk.ac.at/events/iwc-2017/ ===================================================================== Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2017 is collocated with FSCD 2017. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), and Obergurgl (2016). During the workshop, the 6th Confluence Competition (CoCo 2017) takes place. IMPORTANT DATES: * submission Wednesday, July 5th, 2017 (extended) * notification Saturday, July 22nd, 2017 * final version Saturday, August 5th, 2017 * workshop Friday, September 8th, 2017 (deadlines are AoE) TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * Stefan Kahrs (University of Kent) * Patrick Bahr (IT University of Copenhagen) PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Jörg Endrullis (Vrije Universiteit Amsterdam) * Bertram Felgenhauer (University of Innsbruck) * Ken-Etsu Fujita (Gumma University) * Philippe Malbos (Université Claude Bernard Lyon 1) * Jakob Grue Simonsen (University of Copenhagen) SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2017 EasyChair style: http://easychair.org/publications/for_authors -----

1 0

第52回MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 30 Jun '17

30 Jun '17

皆さま静岡大学の鈴木信行と申します。今年度の　MLG 数理論理学研究集会　の世話人（代表）をいたします。今年度、第52回MLG 数理論理学研究集会は、以下の要領で開催する予定です。・期間: 2017年12月1日(金)午後 -- 12月3日(日)午前・場所: 静岡大学　静岡キャンパス　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ご予定にお加えいただけますよう、お願いいたします。ご案内も随時送信しますが、次のHPでも最新のご案内を申し上げまので、ご覧ください。（現時点では、まだあまり情報はありません） https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

First CFP: Eleventh International Workshop on Juris-informatics (JURISIN 2017)
by Ken Satoh 28 Jun '17

28 Jun '17

First CFP: Eleventh International Workshop on Juris-informatics (JURISIN 2017) (associated with JSAI International Symposia on AI 2017 (IsAI-2017)) homepage: http://research.nii.ac.jp/~ksatoh/jurisin2017 ** Workshop dates November 13 - 15, 2017 ** Venue Tokyo Campus, University of Tsukuba, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access ** Important Dates Submission Deadline: August 28, 2017 Notification: October 1, 2017 Camera-ready due: October 13, 2017 ** Aims and Scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. ** Relevant topics include, but are not limited to, the following: Model of legal reasoning Argumentation / Negotiation / Argumentation agent Legal term ontology Formal legal knowledge-base / Intelligent management of legal knowledge-base Translation of legal documents Information retrieval of legal texts Computer-aided law education Use of Informatics and AI in law Legal issues on applications of robotics and AI to society Social implications of use of informatics and AI in law Natural language processing for legal knowledge Verification and validation of legal knowledge systems Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain ** Invited Speakers Kevin D. Ashley (University of Pittsburgh) Katsumi Nitta (Tokyo Institute of Technology) ** Submissions We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. We strongly encourage an online registration. You can submit your paper at "https://easychair.org/conferences/?conf=jurisin2017". If you cannot submit a paper by EasyChair System by some trouble, please send email to "ksatoh[at]nii.ac.jp" ** Post Proceedings Selected papers will be published as a post-proceedings via Springer Verlag LNAI series after the second round of review after the workshop. ** Workshop Chair Ken Satoh, National Institute of Informatics and Sokendai, Japan ** Steering Committee Members Takehiko Kasahara, Toin Yokohama University Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan ** Advisory Committee Members Trevor Bench-Capon, The University of Liverpool, UK Tomas Gordon, Fraunfoher FOKUS, Germany Henry Prakken, University of Utrecht & Groningen, The Netherlands John Zeleznikow, Victoria University, Australia Robert Kowalski, Imperial College London, UK Kevin Ashley, University of Pittsburgh, USA ** Program Committee Members Thomas Agotnes, University of Bergen, Norway Ryuta Arisaka, National Institute of Informatics, Japan Kristijonas Cyras Imperial College London Marina De Vos, University of Bath, UK Tatsuhiko Inatani, Kyoto University, Japan Phan Minh Dung, AIT, Thailand Guido Governatori, Data61, Australia Tokuyasu Kakuta, Nagoya University, Japan Yoshinobu Kano, Shizuoka University, Japan Nguyen Le Minh, JAIST, Japan Beishui Liao, Zhejiang University, China Hatsuru Morita, Tohoku University, Japan Makoto Nakamura, Nagoya University, Japan Yoshiaki Nishigai, Nihon University, Japan Konatsu Nishigai, Tokyo Metropolitan University, Japan Katsumi Nitta, Titech, Japan Paulo Novais, University of Minho, Portugal Julian Padget, University of Bath, UK Ginevra Peruginelli, ITTIG-CNR, Italy Katsuhiko Sano, Hokkaido University, Japan Giovanni Sartor, EUI/CIRSFID, Italy Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, JAIST, Japan Fumio Shinpo, Keio University, Japan Satoshi Tojo, JAIST, Japan Katsuhiko Toyama, Nagoya University, Japan Rob van den Hoven van Genderen, VU University Amsterdam, The Netherlands Leon van der Torre, University of Luxembourg, Luxembourg Bart Verheij, University of Groningen, The Netherlands Harumichi Yuasa, Institute of Information Security, Japan Yueh-Hsuan Weng, Tohoku University, Japan For any inquiry concerning the workshop, please send it to "ksatoh[at]nii.ac.jp"

1 0

Workshop in Logic and Philosophy of Mathematics
by Makoto Fujiwara 28 Jun '17

28 Jun '17

皆様早稲田大学の藤原誠です。標記ワークショップのご案内をさせていただきます。 ------------------------------------------------------------------- We apologize if you receive this message more than once. --------------------------------------------------------------------- We announce the following “Workshop in Logic and Philosophy of Mathematics” 次のようなワークショップ「Workshop in Logic and Philosophy of Mathematics」を予定しております。参加自由です。 The exact list of speakers and places will be announced later. The first day is at Mita campus of Keio University and the second day is at Waseda campus of Waseda University. スピーカーや開催場所の詳細につきましては後ほど改めてご連絡させていただきます。（7月14日は慶應義塾大学三田キャンパス，7月15日は早稲田大学早稲田キャンパスでの開催になります） ---- Workshop in Logic and Philosophy of Mathematics Date: July 14 (Fri) and 15 (Sat), 2017 日時: 2017年7月14日(金), 7月15日(土) Place: Mita campus of Keio University (14th) and Waseda campus of Waseda University (15th). 場所: 慶應義塾大学三田キャンパス（14日），早稲田大学早稲田キャンパス（15日） ---- Program: 1. July 14 (Friday, Mita campus of Keio University): Time: 13:00-18:00 Speakers: Andy Arana (Université Paris 1 Panthéon-Sorbonne, IHPST), Kengo Okamoto (Tokyo Metropolitan University), Ryota Akiyoshi (Waseda University), Makoto Fujiwara (Waseda University) 2. July 15 (Saturday, Waseda campus of Waseda University ) Time: 13:00-18:00 Speakers: Ryoma Shinya (The University of Tokyo), Taishi Kurahashi (National Institute of Technology, Kisarazu College), Naosuke Matsuda (Kanagawa University), Masahiko Sato (Kyoto University) --------------------------------------------------------------------- Organizers: Ryota Akiyoshi (Waseda Institute for Advanced Study, Waseda University) Makoto Fujiwara (Waseda Institute for Advanced Study, Waseda University) Mitsuhiro Okada (Global Research Center for Logic and Sensibility, Keio University) Co-host: Waseda Institute for Advanced Study (Waseda University), Global Research Center for Logic and Sensibility (Keio University) Contact: Ryota Akiyoshi georg.logic(a)gmail.com

1 0

CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 27 Jun '17

27 Jun '17

[Apologies for multiple copies] ================================================================= CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: August 31, 2017 Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

Talk by Georgios Fainekos on June 30
by urabenatsuki＠is.s.u-tokyo.ac.jp 26 Jun '17

26 Jun '17

Dear all (apologies for multiple copies), Let me advertise a talk by Georgios Fainekos on 30th June, 15:00-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo ---------- https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5l GHOrBON5LtHXXTpXDeA/edit?usp=sharing Fri 30 June 2017, 15:00–17:00 NII meeting room 2010 https://www.nii.ac.jp/en/about/access/ Georgios Fainekos <http://www.public.asu.edu/%7Egfaineko/> (Arizona State University), Beyond Requirements Falsification : Semi-formal methods and tools for the analysis of Cyber-Physical Systems Correct-by-design synthesis methods for Cyber-Physical Systems (CPS) are still in their infancy for CPS with complex physical dynamics. For that reason, a combination of design theories for simpler systems and/or ad-hoc design approaches are utilized. Hence, numerous design and implementation errors are discovered while CPS are operational in the field. Such errors can have catastrophic effects to human life and to the economy. Over the last few years, requirements guided falsification methods have proven to be a practical approach to the verification problem of industrial size CPS. However, requirements falsification is just one component of the necessary tools for the development of safe and reliable CPS. In this talk, we provide an overview of our research in providing support for all the stages of the development for CPS, from formal requirements elicitation and mining to system conformance to on-line monitoring. Most of our methods have been implemented in a Matlab (TM) toolbox called S-TaLiRo (System's TemporAl LogIc Robustness). Finally, in this talk, we demonstrate that S-TaLiRo can provide answers to challenge problems from the automotive industry. Bio: Georgios Fainekos is an Associate Professor at the School of Computing, Informatics and Decision Systems Engineering (SCIDSE) at Arizona State University (ASU). He is director of the Cyber-Physical Systems (CPS) Lab and he is currently affiliated with the NSF I/UCRC Center for Embedded Systems (CES) at ASU. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU, he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics. In particular, his expertise is on formal methods, logic, control theory, artificial intelligence, and optimization. His research has applications to automotive systems, medical devices, autonomous (ground and aerial) robots and human-robot interaction (HRI). In 2013, Dr. Fainekos received the NSF CAREER award. He was also recipient of the SCIDSE Best Researcher Junior Faculty award for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. Two of his conference papers have been nominated for student best paper awards. In 2016, Dr. Fainekos was the program co-Chair for the ACM International Conference on Hybrid Systems: Computation and Control.

1 0

国際会議 : 2nd CFP IWC 2017 (with FSCD in Oxford )
by Fujita Kenetsu 20 Jun '17

20 Jun '17

皆様，群馬大学の藤田と申します． 9月の IWC 2017 のご案内をさせていただきます．どうぞよろしくお願いいたします． ----- (* Apologies for any cross-postings. *) ===================================================================== Call for Papers IWC 2017 6th International Workshop on Confluence September 8th, 2017, Oxford, United Kingdom Collocated with FSCD 2017 http://cl-informatik.uibk.ac.at/events/iwc-2017/ ===================================================================== Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and has been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2017 is collocated with FSCD 2017. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015), and Obergurgl (2016). During the workshop, the 6th Confluence Competition (CoCo 2017) takes place. IMPORTANT DATES: * submission Saturday, July 1st, 2017 * notification Saturday, July 22nd, 2017 * final version Saturday, August 5th, 2017 * workshop Friday, September 8th, 2017 (deadlines are AoE) TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * Stefan Kahrs (University of Kent) * tba PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Jörg Endrullis (Vrije Universiteit Amsterdam) * Bertram Felgenhauer (University of Innsbruck) * Ken-Etsu Fujita (Gumma University) * Philippe Malbos (Université Claude Bernard Lyon 1) * Jakob Grue Simonsen (University of Copenhagen) SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2017 EasyChair style: http://easychair.org/publications/for_authors -----

1 0

[LORI-VI] 1st Call for Participation
by Katsuhiko Sano 20 Jun '17

20 Jun '17

[Please circulate. Apologies for multiple copies] The Sixth International Conference on Logic, Rationality and Interaction September 11-14, 2017, Hokkaido University, Sapporo, Japan http://golori.org/lori2017/ [About LORI] The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers. [Invited Speakers] Mike Dunn: Indiana University, U.S.A. Alan Hajek: Australian National University, Australia Nina Gierasimczuk: Technical University of Denmark, Denmark Natasha Alechina: University of Nottingham, UK Sara Negri: University of Helsinki, Finland Hiroakira Ono: JAIST, Japan [PC Chairs] Alexandru Baltag: University of Amsterdam, The Netherlands Jeremy Seligman: University of Auckland, New Zealand [Conference Organiser] Tomoyuki Yamada: Hokkaido University, Japan [News] ****** ASL Sponsorship ****** Student ASL members may apply for (limited) ASL travel funds that ASL is making available for sponsored meetings. For more on this, see http://www.aslonline.org/studenttravelawards.html . The deadline for student travel grant applications and recommendations for LORI VI is kindly extended to June 30th, 2017. [Website] For detailed conference information and registration, please visit http://golori.org/lori2017/ . [Sponsors] LORI Tsinghua University - University of Amsterdam Joint Research Centre for Logic Graduate School of Letters, Hokkaido University Association for Symbolic Logic [Contacts] Programme: The PC Chairs <lori6(a)easychair.org> Conference: Tomoyuki Yamada <tomoyuki.s.yamada(a)gmail.com>

1 0

教員公募（東北大学電気通信研究所教授）
by Atsushi Ohori 17 Jun '17

17 Jun '17

sonoteno皆様，PPLの皆様，logic-mlの皆様，メーリングリストをお借りして、教員公募の案内をお送りいたします．教授１名（理論計算機科学等を含む基礎研究分野），応募締切 6月30日です．(重複して受信された場合はご容赦ください) 東北大学大堀淳 ------------------------------------------------------------------------- 教員公募情報東北大学大電気通信研究所では、教授職の教員を下記により公募いたします。募集人員：教授１名所　　属：　システム・ソフトウェア研究部門コンピューティング情報理論研究分野専門分野：　　本分野では、情報の意味や計算の構造に関する基礎研究の飛躍的発展とその応用的展開を通じて、複雑で多様な情報のより高速、より安全、より効率的な処理の実現を目指します。　この実現のため、計算理論分野の基礎研究を対象とし、プログラム検証や自動証明、高度コミュニケーションシステム、人工知能などへの応用に資する計算理論への展開なども視野にいれた研究と教育を行います。着任時期：平成30年4月以降のなるべく早い時期応募資格：博士の学位を持つ者応募期限：平成29年6月30日（消印有効）なお、提出書類や書類送付先などの詳細につきましては以下をご覧ください。 http://www.riec.tohoku.ac.jp/ja/information/proposals/2017/04/post-14412/ -------------------------------------------------------------------------

1 1

24th WoLLIC 2017 - Call for Participation
by 小野寛晰 14 Jun '17

14 Jun '17

[Please circulate. Apologies for multiple copies] Call for Participation WoLLIC 2017 24th Workshop on Logic, Language, Information and Computation July 18-21, 2017 University College London (UCL), London, UK SPECIAL SESSION: Screening of Navajo Math Circles <http://www.zalafilms.com/navajo/about.html> (Directed by George Paul Csicsery, 2016, 58min) 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) IN COOPERATION WITH ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) ORGANISATION Department of Computer Science, University College London, London, UK School of Electronic Engineering and Computer Science, Queen Mary College, London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, University College London, London, UK INVITED SPEAKERS Hazel Brickhill (Bristol) (University of Bristol) Michael Detlefsen (University of Notre Dame) Alexander Kurz (University of Leicester) Frederike Moltmann (New York University) David Pym (University College London) Nicole Schweikardt (Humboldt Universität) Fan Yang (Delft University) Boris Zilber (University of Oxford) STUDENT GRANTS ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. PROGRAMME COMMITTEE Matthias Baaz <http://www.logic.tuwien.ac.at/staff/baaz/home.html> (University of Technology, Vienna, Austria) John Baldwin <http://homepages.math.uic.edu/~jbaldwin/> (University of Illinois at Chicago, USA) Dana Bartozová <http://www.math.toronto.edu/bartosov/> (Universidade de São Paulo, Brazil) Agata Ciabattoni <https://www.logic.at/staff/agata/> (University of Technology, Vienna, Austria) Walter Dean <http://www2.warwick.ac.uk/fac/soc/philosophy/people/dean/> (University of Warwick, UK) Erich Grädel <https://logic.rwth-aachen.de/~graedel/> (RWTH Aachen, Germany) Volker Halbach <http://users.ox.ac.uk/~sfop0114/> (University of Oxford, UK) Juliette Kennedy <http://www.math.helsinki.fi/logic/people/juliette.kennedy/> (Helsinki University, Finland) (Chair) Dexter Kozen <http://www.cs.cornell.edu/~kozen/> (Cornell University, USA) Janos Makowsky <http://www.cs.technion.ac.il/~janos/> (Technion - Israel Institute of Technology, Israel) Larry Moss <http://www.indiana.edu/~iulg/moss/> (indiana University, USA) Alessandra Palmigiano <http://www.appliedlogictudelft.nl/alessandra-palmigiano/> (Delft University, The Netherlands) Mehrnoosh Sadrzadeh <http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh> (Queen Mary, UK) Sonja Smets <http://sonja.tiddlyspot.com/#HOME> (Amsterdam University, The Netherlands) Asger Törnquist <http://www.math.ku.dk/~asgert/> (Københavns Universitet, Denmark) Rineke Verbrugge <http://www.rinekeverbrugge.nl/> (University of Groningen, The Netherlands) Andrés Villaveces <https://avillavecesn.net/> (Universidad Nacional, Colombia) Philip Welch <http://www.maths.bris.ac.uk/~mapdw/> (University of Bristol, UK) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. ORGANISING COMMITTEE Alexandra Silva <http://www.alexandrasilva.org/#/main.html> (Univ College London, UK) (Local co-chair) Mehrnoosh Sadrzadeh <http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh> (Queen Mary, UK) (Local co-chair) Paulo Oliva <http://www.eecs.qmul.ac.uk/~pbo/> (Queen Mary, UK) James Brotherston <http://www0.cs.ucl.ac.uk/staff/J.Brotherston/> (Univ College London, UK) Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> (U Fed Pernambuco) Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2017/ <http://wollic.org/wollic2017/> ACCEPTED PAPERS Fausto Barbero, Lauri Hella and Raine Rönnholm. Independence-Friendly logic without Henkin quantification. Fedor Pakhomov. Solovay completeness without fixed points. Paola Bruscoli and Lutz Strassburger. On the length of Medial-Switch-Mix derivations. Almudena Colacito and George Metcalfe. Proof Theory and Ordered Groups. Rohit Parikh. An Epistemic Generalization of Rationalizability. Lev Beklemishev. On the reflection calculus with partial conservativity operators. Arnold Beckmann and Jean Jose Razafindrakoto. Total Search Problems in Bounded Arithmetic and Improved Witnessing. Flavio Ferrarotti, Senén González and Jose Turull-Torres. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. Michał Tomasz Godziszewski and Joel David Hamkins. Computable quotient presentations of models of arithmetic and set theory. Nathanael L. Ackerman and Cameron E. Freer. On the Computability of Graph Turing Machines. Ian Mackie. A Geometry of Interaction Machine for Gödel's System T. Zhaohui Luo and Serguei Soloviev. Dependent Event Types. Igor Sedlar. Substructural logics with a reflexive transitive closure modality. Stepan Kuznetsov. The Lambek calculus with iteration: two variants. Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics. Karin Cvetko Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis and Benjamin Blundell. Non-commutative logic for compositional distributional semantics. Daniyar Shamkanov. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. Vít Punčochář. Knowledge is a Diamond. Gijs Wijnholds. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. Zhiguang Zhao. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. Marcin Mostowski and Marek Czarnecki. Concrete mathematics. Finitistic approach to foundations. Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations. Yury Savateev and Daniyar Shamkanov. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Sérgio Marcelino and Carlos Caleiro. Disjoint fibring of non-deterministic matrices. Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. Multi-type display caculus for Semi De Morgan Logic. Dan Marsden, Fabrizio Genovese, Bob Coecke and Martha Lewis. Applications of Generalized Relations in Linguistics and Cognition. Bjørn Kjos-Hanssen. Shift registers fool finite automata. Giuseppe Greco and Alessandra Palmigiano. Lattice logic properly displayed.

1 0

Kyoto Philosophical Logic Workshop IIのご案内
by Hitoshi Omori 13 Jun '17

13 Jun '17

Kyoto Philosophical Logic Workshop IIのご案内 (重複してお受け取りの際はご容赦ください。) 京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。概要などの詳細はウェブサイトをご覧下さい。 ------------------------------------- Kyoto Philosophical Logic Workshop II 【日時】2017年6月19日、20日【場所】京都大学文学部校舎地下大会議室【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kplw2017-2 【プログラム】 19日: 11:00--12:30 Eduardo Barrio "What is a Paraconsistent Logic?" 12:30--14:00 Lunch 14:00--15:00 Damian Szmuc "On all Weak Kleene generalizations of Classical Logic" 15:00--16:00 Takuro Onishi "Routley’s American plan revisited" 16:00--16:15 Coffee break 16:15--17:15 Yosuke Fukuda "On a computational interpretation of Rumfitt's bilateral natural deduction" 17:15--18:45 Shunsuke Yatabe "Deflationism, logical notion of truth and proof theoretic semantics" 19:00-- Dinner 20日: 11:00--12:30 Wen-fang Wang "Three-Valued Semantic Pluralism: A Defense of A Three-Valued Solution to the Sorites Paradox" 12:30--14:00 Lunch 14:00--15:00 Ryosuke Igarashi "Kant's Transcendental Logic and Antinomies of Pure Reason" 15:00--16:00 Ryo Ito "Classes, Fusions and Russell's original theory of types" 16:00--16:15 Coffee break 16:15--17:15 Timo Weiss "Logic, Probability, Belief" 17:15--18:45 Graham Priest "Logical Theory-Choice: the Case of Vacuous Counterfactuals" 19:00-- Dinner ------------------------------------- どうぞよろしくお願いいたします。大森仁

1 0

ERATO MMSD キックオフワークショップのご案内
by Shin-ya KATSUMATA 01 Jun '17

01 Jun '17

国立情報学研究所の勝股です。 ERATO蓮尾メタ数理システムデザインプロジェクトでは、プロジェクトの紹介と研究交流のためのキックオフワークショップを以下の要領で行います。お気軽にお越しください。名称 ERATO MMSD キックオフワークショップ日時 6月15日(木) 14:30開始 17:15終了場所東京都千代田区一ツ橋2-1-2 国立情報学研究所12階 1208-1210 参加をご希望の方は文末のフォームにご記入の上、s.katsumata+kickoff(a)gmail.com に6月8日午前中までにご連絡下さいますようお願い申し上げます。また、ワークショップ後に研究交流会を行います。こちらもお気軽にお越しください。名称 ERATO MMSD 研究交流会日時 6月15日(木) 18:00開始場所東京都千代田区一ツ橋1-1-1 パレスサイドビルディング3階 ERATO蓮尾プロジェクト (http://group-mmm.org/eratommsd/accessj.html 東エレベータをご利用下さい) 参加費一般 3000円程度学生割引あり ========== ワークショッププログラム(発表は英語です) ========== 14:30-14:35 Introduction 14:35-14:55 Kengo Kido Nonstandard Static Analysis (Metatheoretical Transfer via Logic) 15:00-15:20 Natsuki Urabe Coalgebraic Unfolding in Forward and Backward Simulations (Metatheoretical Transfer via Category Theory) 15:25-15:45 Shin-ya Katsumata Simulations and Fibrational Liftings (Categorical Foundation for System Approximation) 15:45-16:00 Break 16:00-16:05 Interlude 16:05-16:25 Takamasa Okudono Generating Polynomial Interpolant with Semidefinite Programming (Numerical Optimization and Formal Methods) 16:30-16:50 Masaki Waga Efficient Timed Pattern Matching by Automata-Based Skipping (Automata Theory in Light-Weight Formal Methods) 16:55-17:15 Fuyuki Ishikawa Insights into Verification of Complex Systems from Software Testing Research (Formal Methods and Intelligence) ========== s.katsumata+kickoff(a)gmail.com 宛ワークショップ参加連絡フォーム ========== ERATO MMSD キックオフワークショップにご出席します。お名前: 研究交流会の参加：するしない (該当しないものを消去して下さい) 研究交流会の参加区分：一般学生 (該当しないものを消去して下さい) ========== ERATOプロジェクトホームページ ========== http://www.jst.go.jp/erato/research_area/ongoing/16816853.html 国立情報学研究所勝股審也

1 0

名古屋ロジックセミナー (UC Berkeley校Antonio Montalban氏の講演 6/12)
by Takayuki Kihara 26 May '17

26 May '17

皆様，名古屋大学の木原貴行です．この度，UC BerkeleyのAntonio Montalban氏の日本訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：6月12日 (月) 15:00〜場所：名古屋大学大学院情報学研究科棟 322号室講演者：Antonio Montalbán (カリフォルニア大学バークレー校) 題目：A classification of the natural many-one degrees アブストラクト： A common phenomenon in mathematics is that naturally-occurring objects behave better than general objects. This is definitely the case of the many-one degrees within Computability Theory. Our theorem, in a sense, completely classifies the natural many-one degrees and sets them apart from the non-natural ones. The theorem is a version of the uniform Martin's conjecture, but for the case of the many-one degrees. 講演終了後に夕食会を予定しています．夕食会にご参加いただける方は木原貴行 kihara(a)i.nagoya-u.ac.jp <mailto:kihara@i.nagoya-u.ac.jp> までご一報お願い致します． -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

ALGIについての重要なお知らせ３件と第二十八回ALGIの開催について
by 西澤弘毅 25 May '17

25 May '17

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。 ALGI（代数，論理，幾何と情報科学研究集会）について重要なお知らせ３件と、第二十八回 ALGIの開催に関する告知をさせていただきます。 < 重複してお受け取りの節はご容赦願います。> 【重要なお知らせ３件】 1. 現在の algi メーリングリストのアドレスは algi(a)sakura.imi.kyushu-u.ac.jp ですが、googleグループを利用したメーリングリストへの移行を計画しています。近いうちに、現在ご登録いただいているメールアドレスに招待メールが届く予定ですので、ぜひ承認作業をお願いいたします。 2. ALGIのウェブサイトが新しくなりました。新しいURLはこちらです。 https://sites.google.com/site/algimeeting/home 一部のコンテンツは旧サイトへのリンクになっていますが、順次移行いたしますので、ブックマークには新サイトをご登録ください。 3. 昨年度まで長きにわたり幹事を務めていただきました鹿児島大学の古澤仁さんに代わりまして、今年から崇城大学の津曲紀宏さんに幹事をお願いすることにいたしました。西澤も引き続き幹事を務めさせていただきます。よろしくお願いいたします。【第二十八回 ALGIの開催について】 **************************************************************** * 第二十八回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2017年8月28日（月）午後～8月29日（火） * * 鹿児島大学郡元キャンパス理学部 1号館 101講義室 * * * * 開催のお知らせと講演の募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。このたび、第二十八回ALGIを開催することになりました。会場の手配などは、昨年度まで幹事を務めていただきました鹿児島大学の古澤仁先生にお願いしています。開催場所は下記のとおりです。鹿児島大学郡元キャンパス理学部 1号館 101講義室 http://www.kagoshima-u.ac.jp/about/campusmap.html 講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。初日は午後から開催いたします。夕方には懇親会を計画しています。 ALGIは申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） ----------------------------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

LFCS 2018 Call for Papers
by Hajime Ishihara 23 May '17

23 May '17

FIRST CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS '18), Deerfield Beach, Florida, January 8-11, 2018. LFCS GENERAL CHAIR: Anil Nerode. LFCS STEERING COMMITTEE: Anil Nerode, (Ithaca); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St. Petersburg); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Dana Scott, (Pittsburgh, PA - Berkeley, CA). LFCS ’18 PROGRAM COMMITTEE: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Matthias Baaz (Vienna); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry Coquand (Göteborg); Michael Fellows (Bergen), Melvin Fitting (New York); Sergey Goncharov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Martin Hyland (Cambridge); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa); Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); Jeffrey Remmel (San Diego); Andre Scedrov (UPenn); Helmut Schwichtenberg (Munich); Philip Scott (Ottawa); Alex Simpson (Ljubljana); Sonja Smets (Amsterdam); Sebastiaan Terwijn(Nijmegen). LFCS ’18 LOCAL ORGANIZING COMMITTEE CHAIR: Robert Lubarsky. LFCS TOPICS of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. SUBMISSION DETAILS. Proceedings will be published in the Springer LNCS series. There will be a post-conference volume of selected works published. Submissions should be made electronically via http://www.easychair.org/LFCS18/. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings. LFCS issues the BEST STUDENT PAPER AWARD named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. IMPORTANT DATES. Submissions deadline: September 10, 2017, any time zone. Notification: October 10, 2017. LOCAL ARRANGEMENTS. The venue of LFCS ’18 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www.wyndhamdeerfieldresort.com Further Information about LFCS symposia: http://lfcs.ws.gc.cuny.edu/ About LFCS. The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992. LFCS has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF) and the City University of New York Research Foundation.

1 0

2017年度数学基礎論サマースクール案内第１報
by Toshio Suzuki 20 May '17

20 May '17

皆様首都大学東京の鈴木登志雄です。 2017年度数学基礎論サマースクールの案内第１報です。今年度のテーマは「計算理論」です。日時：８月５日（土）から７日（月）初日午後、２日目以降午前・午後（時間割は後日、ウェブに掲載）会場：明治大学駿河台キャンパス　リバティタワー1073 http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html 世話人：鈴木登志雄（首都大学東京），隈部正博（放送大学），河村彰星（東京大学），宮部賢志（明治大学）参加費：無料講師・テーマ：河村彰星「はじめての計算可能性」，宮部賢志「チューリング次数」，隈部正博「ジェネリック次数」，鈴木登志雄「ＨＦデルタ１関係」ウェブサイト： toshio-suzuki-logic.jp/meeting/summer2017.html 近い日程の集会：サマースクールの翌日から，SLACS 2017（記号論理と情報科学）が開催されます（千葉工業大学）。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Talk by Prof. Sebastian Maneth
by Keisuke Nakano 18 May '17

18 May '17

皆様， (複数のメーリングリストに送信しています．重複して受信された場合はご容赦願います) 電気通信大学の中野と申します．来る5月26日(金)，ブレーメン大学のSebastian Maneth先生がご講演を行います．木トランスデューサ理論とその応用についてお話ししていただきますので，お時間のある方は是非ご参加ください．日時： 2017年5月26日(金) 15:00-17:00 場所：電気通信大学西9号館3階AVホール http://www.uec.ac.jp/about/profile/access/pdf/map.pdf 　　　 (こちらの地図の68番の建物です．地図にはありませんが68番の南側に　　　　門が設置されましたので，そちらをご利用されると便利です) 講演者：Prof. Sebastian Maneth (University of Bremen) タイトル：View-Query Determinacy for Tree Transducers 概要： This talk consists of two parts each with a duration of approximately 40 minutes. The first part focuses on the view-query determinacy problem. Given transformations v and q, the problem asks whether there exists a function f such that f(v(s))=q(s) for all possible inputs s. View-query determinacy is a strong static analysis with many important applications; for instance, it was used by Buneman, Davidson and Frey for data citation [CACM 59 (2016)]. For tree transducers, Hashimoto, Sawada, Ishihara, Seki, and Fujiwara showed in 2013 that determinacy is decidable for views realized by extended linear bottom-up tree transducers, and queries realized by single-valued bottom-up tree transducers. Their solution tests functionality of the inverse of the view composed with the query. We extend this result using known results about transducers and properties of uniformizers. A uniformizer of a relation R is a function that has the same domain as R. A query q is determined by a view v if and only if the composition v ; u ; q is equivalent to q, where u is a uniformizer of the inverse of v. Thus, our technique reduces the determinacy problem to the existence of uniformizers and to the decidability of equivalence. Henceforth, recent new results on decidability of equivalence immediately give rise to new results about determinacy. These results about transducer determinacy only work for views given by linear (extended) transducers. It is easy to see that even if a view transducer copies once, at the input root node, then determinacy becomes undecidable. This is unfortunate, because some very basic translations cannot be realized by linear transducers but require copying. Consider for instance a view that regroups a list of publications into sublists of books, articles, etc. A tree transducer realizing this view needs copying (i.e., it needs to process the original list multiple times). The issue that we cannot deal with non-linear views lead us to study transducers with origin (Part 2 of the talk). Under origin semantics, transducers that produce their output in "different ways" are considered different, even if they realize the same tree translation. Under this more rigid semantics, determinacy can be decided even for non-linear views. In particular, origin determinacy is decidable if the view and query are either both given by deterministic top-down tree transducers with look-ahead, or, if they are both given by deterministic MSO definable transducers. Intuitively, the world becomes safer with origin, but more restrictive (e.g., the query “is book X before article Y in the original list?” becomes determined under origin semantics). -- 中野圭介 <ksk(a)cs.uec.ac.jp> 電気通信大学大学院情報理工学研究科 http://millsmess.cs.uec.ac.jp/~ksk/

1 0

SLACS2017講演募集のお知らせ
by 安部達也 17 May '17

17 May '17

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS 2017（記号論理と情報科学）幹事の千葉工業大学の安部達也です。今年度の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。 SLACS 2017（記号論理と情報科学） http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/ 日時 2017年8月8日（火）から2017年8月9日（水）場所千葉県習志野市津田沼2-17-1 千葉工業大学津田沼キャンパス6号館3階633室参加費無料。ただし、懇親会（初日夕方に開催予定）費は別途徴収します。幹事千葉工業大学人工知能・ソフトウェア技術研究センター安部達也連絡先 abet(a)stair.center SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ SLACS 2014 (東京工業大学) http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ 講演・聴講・懇親会申込方法講演を希望される方は、幹事に連絡をお願いいたします。その際、以下について回答をお願いいたします。Subject を「SLACS2017講演申込」にしておいていただけるとありがたいです。講演申込期限は2017年7月31日としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 1. 氏名：（例）安部達也 2. 所属：（例）千葉工業大学人工知能・ソフトウェア技術研究センター 3. 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります 4. 演題：（例）TBA 5. 懇親会：参加する/追って連絡する/参加できない 6. 要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。懇親会に参加を希望される方は、幹事に連絡をお願いいたします。その際、講演申込と同様のフォーマット（演題不要）での回答をお願いいたします。 Subject を「SLACS2017懇親会参加申込」にしておいていただけるとありがたいです。申込期限は2017年7月31日としますが、参加する意思があるという方は早目にご連絡いただけると幸いです。

1 0

JAIST Logic Seminar Series
by Takako Nemoto 15 May '17

15 May '17

皆様インスブリア大学（イタリア）の Marco Benini 先生の講演のお知らせです。どうぞふるってご参加ください。問い合わせ先：根元　多佳子北陸先端科学技術大学院大学　情報科学系 email: t-nemoto(a)jaist.ac.jp --------------------------------------------- *JAIST Logic Seminar Series* Date: Tuesday, 6 June, 2017, 15:30-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Marco Benini (Università degli Studi dell'Insubria) Title: The Graph Minor Theorem: a walk on the wild side of graphs Abstract: The Graph Minor Theorem says that the collection of finite graphs ordered by the minor relation is a well quasi order. This apparently innocent statement hides a monstrous proof: the original result by Robertson and Seymour is about 500 pages and twenty articles, in which a new and deep branch of Graph Theory has been developed. The theorem is famous and full of consequences both on the theoretical side of Mathematics and in applications, e.g., to Computer Science. But there is no concise proof available, although many attempts have been made. In this talk, arising from one such failed attempts, an analysis of the Graph Minor Theorem is presented. Why is it so hard? Assuming to use the by-now standard Nash-Williams's approach to prove it, we will illustrate a number of methods which allow to solve or circumvent some of the difficulties. Finally, we will show that the core of this line of thought lies in a coherence question which is common to many parts of Mathematics: elsewhere it has been solved, although we were unable to adapt those solutions to the present framework. So, there is hope for a short proof of the Graph Minor Theorem but it will not be elementary.

1 0

訃報：竹内外史先生
by Makoto Kikuchi 12 May '17

12 May '17

皆様，昨日，竹内外史先生がお亡くなりになられたそうです．菊池誠

2 1

ランダムネス集中講義
by Toshio Suzuki 28 Apr '17

28 Apr '17

ランダムネス集中講義のご案内（重複して受け取られた折はご容赦ください）お世話になっております。首都大学東京の鈴木登志雄です。さて５月・６月に首都大で，明治大学の宮部先生にランダムネスの集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。お近くに関心のありそうな方がいらっしゃいましたら、お知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者宮部賢志先生（明治大学理工学部講師）　＊＊授業科目名情報数理科学２ (博士前期課程、Ｒ０７９）、情報数理科学特論２(博士後期課程、Ｒ０８０）タイトルランダムネス入門場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期５月１８日（木），５月２５日（木），６月　８日（木），６月１５日（木）の１４：４０−１７：５０（途中休憩あり）当専攻での連絡係鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp 概要アルゴリズム的ランダムネスの理論では，科学の基本概念であるランダムについて，計算論を使って厳密な定義を与え，その性質を調べる。本講義では，計算論の再帰定理やTuring次数などの概念の復習から始める。その後，MLランダムネスの定義といくつかの性質を見る。特に，ランダムな列の構成技術に焦点を当てて解説する。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml