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

Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 20-31 Aug 2018
by Katsuhiko Sano 11 Feb '18

11 Feb '18

Dear all, The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with two guest lecturers from University of Auckland and ILLC (University of Amsterdam) from August 20 to August 31 as part of Hokkaido Summer Institute (HSI) 2018. The following two intensive courses are scheduled to be offered during the summer school. Course 1 (20/Aug/2018 - 24/Aug/2018): Introduction to Logic (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G093) Course 2 (27/Aug/2018 - 31/Aug/2018): Dynamic Epistemic Logic and its Applications (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G102) The main lecturer of Course 1 is Katsuhiko Sano (Department of Philosophy, Hokkaido University). The main lecturer of Course 2 is Jeremy Seligman (Faculty of Arts, School of Humanities, the University of Auckland). There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2. Tomoyuki Yamada and Yasushi Nomura (Hokkaido University) will also join the classes to help students follow the lectures, and communicate with the lecturers. The courses are intended for graduate students. Course 1 is meant for students without prior knowledge of logic and will prepare them for Course 2. Each course is designed to be independent from the other course. Those students who have some familiarity with basics of propositional logic, first-order logic, and modal logic can skip Course 1, and those who wish to take only Course 1 can learn basics of logic. An application period for students from universities other than Hokkaido University is ** from February 1 to February 28 2018.** For more details about applications, please check the HSI official website: https://hokkaidosummerinstitute.oia.hokudai.ac.jp/applications/ As the summer in Sapporo is beautiful and pleasant, it's a good idea to learn logic this summer in Sapporo. Tomoyuki Yamada Department of Philosophy Hokkaido University

1 0

Jacques Sakarovitch先生による連続講演会のお知らせ(2/28~3/1＠東工大)
by Ryoma Sin'ya 09 Feb '18

09 Feb '18

(重複で受け取られた方はご容赦ください) 皆様，秋田大の新屋です．下記の要領にて，フランスからJacques Sakarovitch先生を東工大にお招きしSeminar および Lecture を実施いたします．＊SeminarとLectureで日時・会場が異なりますのでご注意ください． Sakarovitch先生は現代のオートマトン理論を牽引する世界的研究者であり，この連続講演会は計算機科学に携わる多くの方に興味を持っていただけると思います．参加申し込みなどは不要ですので，どうぞふるってご参加ください．なお，2月28日(水)のLectureでは，古典的なKleeneの定理(正規表現とオートマトンの表現力の等価性)の精密化・一般化に関する講義をしてもらいます．本講義では現代的なオートマトン理論の基礎を説明してもらう予定ですので，学生の皆様もどうぞふるってご参加ください．また，3月1日(木)のSeminarでは，Sakarovitch先生自身のこれまでの研究成果を中心に講演してもらう予定です．下記のSeminar概要にて述べられている主結果については，拙著サーベイ論文「オートマトン理論再考」 https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_article/-char/ja/ <https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_article/-char/ja/> の4.4節でほんの少しだけ解説されていますので，興味のある方はどうぞこちらもご参照ください． ========== Lecture ========== Time: 15:20 ~ 16:20, February 28, 2018 (Wed.) Venue: Room W935, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) 　東京工業大学大岡山キャンパス西9号館 W935講義室 (西9号館東側(芝生スロープ側)入口を入って階段を1階上がって左側) Title: Automata and expressions Jacques Sakarovitch CNRS / Paris Diderot University and Telecom ParisTech Abstract: Not many results in Computer Science are recognised to be as basic and fundamental as Kleene Theorem. It states the equality of two sets of objects that we now call languages. In this lecture, I propose a slight change of focus on this result and show how it is mainly the combination of two families of algorithms: algorithms that transform an automaton into an expression on one hand and algorithms that build an automaton from an expression on the other. The first purpose is to compare the results of these algorithms, in order to understand they are indeed not so different. And also to devise means to keep these results as small as possible. The second benefit of isolating this part of Kleene Theorem is to allow its extension much beyond languages: to subsets of arbitrary monoids first, and then, with some precaution, to subsets with multiplicity, that is, to formal power series. =========================== ========== Seminar ========== Time: 15:20 ~ 16:20, March 1, 2018 (Thu.) Venue: Multi-Purpose Digital Hall, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus) 　東京工業大学大岡山キャンパス西9号館ディジタル多目的ホール (西9号館東側(芝生スロープ側)入口を入ってすぐ) Title: Conjugacy and equivalence of weighted automata Jacques Sakarovitch CNRS / Paris Diderot University and Telecom ParisTech Abstract: As a main thread of this talk, I present the proof of the following result: If two regular languages $L$ and $K$ have the same generating functions, that is, for every integer $n$ they have the same number of words of length $n$, there exists a rational bijection realised by a letter-to-letter transducer that maps $L$ onto $K$. This statement is a consequence of a refinement of the decidability of the equivalence of two automata with multiplicity in $N$. It gives us the opportunity to review first the basic definitions and results on weighted finite automata, and second to revisit the `classical' theory of reduction of automata with two notions borrowed to symbolic dynamics: conjugacy and the Finite Equivalence Theorem. =========================== 大岡山キャンパスまでの行き方は以下をご覧ください： https://www.titech.ac.jp/maps/ <https://www.titech.ac.jp/maps/> 西9号館までの行き方は http://www.dst.titech.ac.jp/outline/facility/hall.html <http://www.dst.titech.ac.jp/outline/facility/hall.html> の中の地図をご覧ください。以上，どうぞよろしくお願いします．秋田大学数理科学コース新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> (共催：東京工業大学情報理工学院鹿島亮)

2 1

Deadline Extension: SetVR 2018 Workshop @ Diagrams 2018
by Yuri Sato 06 Feb '18

06 Feb '18

Logic MLの皆様、国際ワークショップSetVR 2018について、論文締切が延長されましたので、再度ご案内させて頂きます。 Due to many requests, the deadline has been extended. **************************************************************************** Call for Submissions: SetVR 2018 Workshop @ Diagrams 2018 SetVR 2018 International Workshop on Set Visualization and Reasoning 2018 https://sites.google.com/site/setvr2kn/current-workshop Conference dates: 18th--22nd June, 2018 Location: Edinburgh, UK Extended Submission Deadline: 19th February, 2018 **************************************************************************** SetVR 2018 will be the 6th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 welcomes submissions of types: full papers (16 pages) and short papers (8 pages; at least 5 pages). Accepted papers are expected to be published on-line by CEUR Workshop Proceedings (CEUR-WS.org). SetVR 2018 will run as part of Diagrams 2018 conference, which will be held from June 18th to 22nd in 2018, and is expected to occupy one day during this period. http://www.diagrams-conference.org/2018/ Topics include (but not limited to): -Information Visualization: diagram/graph drawing and layout, data visualization, ontology visualization, human-computer interaction -Diagrammatic Logic: formalization, inference system, expressiveness, decidability, computational complexity, automated reasoning, history of notation -Cognitive Science: efficacy evaluation, cognitive process, cognitive model, educational outcome -Application of Diagrams: visual modeling, real world reasoning, ontology engineering, data exploration Organizers Yuri Sato (University of Brighton, UK) Zohreh Shams (University of Cambridge, UK) Program Committee Bilal Alsallakh (Bosch Research and Technology Center, USA) Jim Burton (University of Brighton, UK) Peter Chapman (Edinburgh Napier University, UK) Renata De Freitas (Universidade Federal Fluminense, Brasil) Mateja Jamnik (University of Cambridge, UK) Sven Linker (University of Liverpool, UK) Luana Micallef (Helsinki Institute for Information Technology HIIT, Finland) Peter Rodgers (University of Kent, UK) Gem Stapleton (University of Brighton, UK)

1 0

【参加募集(再)】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 04 Feb '18

04 Feb '18

皆様千葉工業大学の安部です． 3月5日(月)～7日(水)に鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) のカテゴリ1,2,4の発表リストが確定いたしましたので，再度参加のご案内をさせていただきます．参加登録の締切は2月16日(金)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3(ポスター・デモ発表)の発表申込締切も2月5日(月)17:00(JST) に迫っておりますので，合わせてご案内させていただきます． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月16日(金) 問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================

1 0

「ラムダ計算と論理の早春セミナー」開催のお知らせ(3/22~3/25@TUFS田沢湖ロッジ)
by Ryoma Sin'ya 01 Feb '18

01 Feb '18

皆様，秋田大の新屋です． 3月22日(木)〜3月25日(日)の期間で田沢湖にて，恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました．過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関してなごやかな雰囲気で議論できる場としたいと思っております．本セミナーは成果発表の場というより成果を挙げる場となっており，講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画をしてもらうようになっています．色々な方と交流を持つためにも丁度よいと思いますので，形式等はあまり気にせず，気軽に参加いただけますと幸いです．会場詳細や参加申し込みの方法は以下のWebページを御覧ください． http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/ <http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/> どうぞ，よろしくお願いします．秋田大学数理科学コース新屋良磨 (お問い合わせは lls_spring_2018(a)googlegroups.com <mailto:lls_spring_2018@googlegroups.com> まで)

1 0

Talk by Silvia Ghilezan (1st Feb., 11:00-)
by Kazushige TERUI 31 Jan '18

31 Jan '18

皆様、直前の連絡になってしまい大変申し訳ありません。明日木曜日に、京都大学でSilvia Ghilezanさんの講演があります。詳細は以下のとおりです。どうぞご参加ください。京都大学数理解析研究所照井一成 ==================== Time: 11:00-12:00, 1st Feb., 2018 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA, Serbia) Title: Types in logic, computation and concurrency - an overview Abstract: In this talk, we present an overview of results obtained for type systems of computational interpretations of intuitionistic and classical logic with applications to programming languages. We further present results obtained for type systems for concurrency and discuss the role of types in security, access control and privacy issues in these settings. ==================== ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

【参加募集】第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
by 安部達也 24 Jan '18

24 Jan '18

皆様千葉工業大学の安部です． 3月5日(月)～7日(水)に，鳥取県米子市で開催される，第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) の参加登録を開始いたしましたので，ご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月16日(金)です．どうぞお早めのご登録をお願い致します．また，カテゴリ3(ポスター・デモ発表)の発表申込締切が2月5日(月)17:00(JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） https://jssst-ppl.org/workshop/2018/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)～3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．参加登録ならびに宿泊予約を日本旅行のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2018/registration.html 参加登録締切：2018年2月16日(金) 問い合わせ先： ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] 上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) ・組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長] ================================================================

1 0

Talk by Bakh Khoussainov (25 Jan, 11.00-)
by Kazushige TERUI 21 Jan '18

21 Jan '18

みなさま来週木曜日に京都大学にてBakh Khoussainovさんによる講演があります。詳細は下記の通りです。よろしければご参加ください。京都大学数理解析研究所照井一成 ========== Time: 11:00-12:00, 25 Jan, 2018 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Bakh Khoussainov (University of Auckland) Title: Finitely presented expansions of semigroups, algebras, and groups. Abstract: Finitely presented algebraic systems, such as groups and semigroups, are of foundational interest in algebra and computation. Finitely presented algebraic systems necessarily have a computably enumerable (c.e. for short) word equality problem and these systems are finitely generated. Call finitely generated algebraic systems with a c.e. word equality problem computably enumerable. Computably enumerable finitely generated algebraic systems are not necessarily finitely presented. This paper is concerned with finding finitely presented expansions of finitely generated c.e. algebraic systems. The method of expansions of algebraic systems, such as turning groups into rings or distinguishing elements in the underlying algebraic systems, is an important method used in algebra, model theory, and in various areas of theoretical computer science. Bergstra and Tucker proved that all c.e. algebraic systems with decidable word problem possess finitely presented expansions. Then they, and, independently, Goncharov asked if every finitely generated c.e. algebraic system has a finitely presented expansion. We build examples of finitely generated c.e. semigroups, groups, and algebras that fail to possess finitely presented expansions, thus answering the question of Bergstra-Tucker and Goncharov for the classes of semigroups, groups and algebras. We also construct an example of a residually finite, infinite, and algorithmically finite group, thus answering the question of Miasnikov and Osin. Our constructions are based on the interplay between key concepts and known results from computability theory (such as simple and immune sets) and algebra (such as residual finiteness and the theorem of Golod-Shafaverevich). The work is joint with D. Hirschfeldt and A. Miasnikov. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

“Lambek Calculus and Linear Logic” Meeting　（１月２５日、慶応大三田キャンパス）のお知らせ
by Mitsu Okada 17 Jan '18

17 Jan '18

“Lambek Calculus and Linear Logic” Meeting　（１月２５日、慶応大三田キャンパス）国立情報学研究所教授金沢誠先生、ペンシルバニア大学数学科及び計算機科学科教授Andre Scedrov先生、リヨン大学哲学科教授Jean-Baptiste Joinet先生先生をお招きして、Lambek Calculus 及びLogic & Computationに関する次のようなミニ・シンポジウム形式集会を開催いたします。事前登録なし、参加自由です。 https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html なお１月１９日（金）―２０日（土）”Philosophy of Logic & Mathematics” Workshopの確定プログラムを https://abelard.flet.keio.ac.jp/seminar/frjp18jan.htmlに上げました。日時・会場日時:Jan. 25th, Thurs. 2018 / 2018年1月25日(木) 15:30 - 18:30 場所:8F, East Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス東館8階ホール Building #3 on this map. / キャンパスマップ3番の建物です。招待講演者/ Speakers •Jean-Baptiste Joinet教授(リヨン第3大学哲学科・パリ高等師範学校カバイエス研究センター) •Makoto Kanazawa/金沢誠教授(国立情報学研究所NII) •Andre Scedrov教授(ペンシルバニア大学数学科および計算機科学科）プログラム（アブストラクトは、 https://abelard.flet.keio.ac.jp/seminar/lambak_calculs.html を参照ください。） •15:20 Registration •15:30-16:30 Jean-Baptiste Joinet (リヨン第3大学哲学科・パリ高等師範学校カバイエス研究所)“Logic and Dialectical Time” •16:30-17:30 Andre Scedrov (ペンシルバニア大学数学科および計算機科学科）“Lambek Calculus Extended with Bracket and Subexponential Modalities” •17:30-18:30 Makoto Kanazawa (国立情報学研究所NII)“On the Recognizing Power of the Lambek Calculus with Brackets” 共催 •慶應義塾大学論理と感性のグローバル研究センター同大学•次世代研究推進プロジェクト •CNRS(フランス) 問い合わせ先：東京都港区三田２－１５－４５文学部岡田光弘研究室 logic(a)abelard.flet.keio.ac.jp --------------------------------------------------------------------

1 0

[最終CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations (投稿締切：1月19日)
by Kazutaka Matsuda 05 Jan '18

05 Jan '18

皆様，東北大学の松田です．投稿〆切（1月19日）が近づいてまいりましたので， <Programming> 2018併設の双方向変換に関する国際ワークショップBx 2018の案内を再々度御送りいたします．どうぞ，投稿をご検討いただけますと幸いです． ----------------------------------------------------------------------------- FINAL CALL FOR PAPERS ===================== Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- *NOTE: Deadline (Jan. 19) approaching!* Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 19, 2018 - Author notification: Feb. 17, 2018 - Workshop: Apr. 10, 2018 AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site: https://easychair.org/conferences/?conf=bx2018 Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM COMMITTEE MEMBERS ------------------------- Jens Weber (University of Victoria, co-chair) Kazutaka Matsuda (Tohoku Universiy, co-chair) Anthony Anjorin (University of Paderborn) James Cheney (University of Edinburgh) Anthony Cleve (University of Namur) Alcino Cunha (University of Minho and INESC TEC) Zinovy Diskin (McMaster University) Romina Eramo (University of L’Aquila) Jeremy Gibbons (University of Oxford) Holger Giese (Potsdam University) Boris Glavic (Illinois Institute of Technology) Martin Gogolla (University of Bremen) Soichiro Hidaka (Hosei University) Zhenjiang Hu (National Institute of Informatics) Michael Johnson (Macquarie University) Ekkart Kindler (Technical University of Denmark) Erhan Leblebici (TU Darmstadt) Fernando Orejas (Universitat Politècnica de Catalunya) Hugo Pacheco (University of Minho) Richard Paige (University of York) Arend Rensink (University of Twente) Andy Schürr (TU Darmstadt) Perdita Stevens (University of Edinburgh) James Terwilliger Janis Voigtländer (University of Duisburg-Essen) Meng Wang (University of Bristol) Bernhard Westfechtel (University of Bayreuth)

1 0

組合せ論・モデル理論セミナー(2018.1.15)
by Hirotaka Kikyo 28 Dec '17

28 Dec '17

組合せ論・モデル理論セミナーを下記のように開催いたしますので、ご案内さしあげます。よろしくお願い致します。 -- ・日時: 2018年1月15日(月) 14:30～・場所: 神戸大学六甲台第2 <https://maps.google.com/?q=%E5%85%AD%E7%94%B2%E5%8F%B0%E7%AC%AC2&entry=gmai…>キャンパス自然科学総合研究棟3号館 421室 (予定) ・講演者・プログラム: 14:30-16:00 坪井明人氏 (筑波大学,モデル理論) "A proof of Hales-Jewett theorem using a nonstandard method" 16:15-17:45 Qing Xiang 氏 (University of Delaware,組合せ論) "Applications of Linear Algebraic Methods in Combinatorics and Finite Geometry" ・HP: https://sites.google.com/site/kcmseminar/ ・世話人岡部峻典 (神戸大学) 桔梗宏孝 (神戸大学) 佐竹翔平 (神戸大学) 澤正憲 (神戸大学) --

1 0

WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(2018年3月16, 17日)のご案内
by Makoto Fujiwara 27 Dec '17

27 Dec '17

皆様早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにてLMU MunchenのHelmut Schwichtenberg先生にチュートリアル講演をしていただく予定です．日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00 場所：早稲田大学早稲田キャンパス(教室未定) 講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor) 講演題目：Proof Theory and Computation 詳細につきましては日程が近づきましたら再度ご案内をさせていただきます．どうぞよろしくお願いいたします． ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

1月19日20日:日仏“論理と数学の哲学：証明と計算の哲学と歴史”ワークショップ(慶応大)
by Mitsu Okada 26 Dec '17

26 Dec '17

２０１８年１月１９日・２０日に開催される次のワークショップを案内させていただきます。慶応大文学部哲学専攻　岡田光弘 -------- 日仏“論理と数学の哲学：証明と計算の哲学・歴史”ワークショップ(1/19-20, Keio U) Workshop on Philosophy and History of Proofs and Computation, Jan.19-20,2018 (https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html for updated information) 論理と数学の哲学及び歴史研究に関する日仏ワークショップを開催します。毎年このワークショップシリーズでは、論証・証明について、論理学・哲学・計算論的観点から議論し、本分野の日仏連携・協力を進めています。フランスから４人、国内から３人の招待講演者を迎えて本年度の会を開催します。(今年度は特にユークリッド原論の歴史・言語分析・証明の研究者３人をお呼びしています。) 日時:Jan 19th Friday-20th Saturday, 2018 / 2018年1月19日(金)-20日(土) 10:00 - 18:00場所:Distance Learning Room (B4F), South Building, Mita Campus of Keio University / 慶應義塾大学三田キャンパス南館地下4階ディスタンスラーニングルーム https://www.keio.ac.jp/en/maps/ Building #12 on this map. / キャンパスマップ12番の建物です。プログラムは「ユークリッド原論の歴史・言語分析・哲学」「現代論理学史とオントロー」「論理と証明の哲学」「計算と証明」などのセッションから構成されます。プログラム詳細については近日中に次のページに掲載します。 https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html 招待講演者と講演テーマ/ Guest Speakers and Titles Andrew Arana (Univ. Paris-1 and IHPST)Logical Purity and Normalization .Jean-Baptiste Joinet (Univ. Lyon-3 and Inst. Jean Cavaillès (ENS-Paris)) Logic and ontology .Marco Panza (Univ. Paris-1 and IHPST)What Universality Could Have Been for Euclid .斎藤憲Ken Saito　(Osaka Prefecture Univ.)Syntax Analysis of the Whole Text of Euclid’s Elements .Nathan Camillo Sidoli (Waseda Univ.)Euclid’s Postulates and Problems .Pierre Wagner (Univ. Paris-1 and IHPST)Logical Commitment 伊藤遼Ryo Ito (Univ. of Kyoto)The Unity of the Proposition and Russell's Theories of Truth Japanese group speakers 秋吉亮太Ryota Akiyoshi (Waseda Univ.)Proof-Theoretic Studies of Parameter-Free Subsystems of Girard's System F (tentative) Daniel Said Monteiro (Univ. Paris 7 and Keio Univ.)Explaining the movements of qi: Nishikawa Joken (1648-1724) and the understanding of extraordinary phenomena in early modern Japan 岡田光弘Mitsuhiro Okada (Keio Univ.)　Norm, Commitment and Normalization of Proof (tentative) .小関健太郎Kentaro Ozeki (Keio Univ.)Meinongian Incomplete Objects and Negation .西牟田祐樹Yuki Nishimuta (Keio Univ.)Non-decomposability Preservation of Generalized Connectives and Cut Elimination (preliminary report) そのほかAnd others to be announced. ---------------------------------------------------------------------------------------------------------- なおこの集会とは別に、１月２５日に、Andre Scedrov、金沢誠/Makoto Kanazawa、Jean-Baptiste Joinetの３氏をお招きして、Lambek CalculusとLinear Logicに関する集会を開催する予定です。追ってお知らせします。 ------------------------------------------------------- ----------------------------------------------- 共催慶應義塾大学論理と感性のグローバル研究センター及び•次世代研究推進プロジェクト CNRS(フランス) 連絡先慶應義塾大学文学部岡田光弘研究室東京都港区三田２−１５−４５ Email: logic [AT] abelard.flet.keio.ac.jp https://abelard.flet.keio.ac.jp/seminar/frjp18jan.html

1 0

CFP: SetVR 2018 @ Diagrams 2018
by Yuri Sato 16 Dec '17

16 Dec '17

Logic MLの皆様、国際ワークショップSetVR 2018の論文募集についてご案内致します。 **************************************************************************** Call for Papers SetVR 2018: International Workshop on Set Visualization and Reasoning 2018 https://sites.google.com/site/setvr2kn/current-workshop Conference dates: 18th-22nd June, 2018 Location: Edinburgh, UK Deadline for submission: 5th February, 2018 **************************************************************************** SetVR 2018 will be the 6th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop. It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 welcomes submissions of types: full papers (16 pages) and short papers (8 pages; at least 5 pages). Accepted papers are expected to be published on-line by CEUR Workshop Proceedings (CEUR-WS.org). SetVR 2018 will run as part of Diagrams 2018 conference, which will be held from June 18th to 22nd in 2018, and is expected to occupy one day during this period. http://www.diagrams-conference.org/2018/ Topics include (but not limited to): • Information Visualization: diagram/graph drawing and layout, data visualization, ontology visualization, human-computer interaction • Diagrammatic Logic: formalization, inference system, expressiveness, decidability, computational complexity, automated reasoning, history of notation • Cognitive Science: efficacy evaluation, cognitive process, cognitive model, educational outcome • Application of Diagrams: visual modeling, real world reasoning, ontology engineering, data exploration Organizers Yuri Sato (University of Brighton, UK) Zohreh Shams (University of Cambridge, UK) Program Committee Bilal Alsallakh (Bosch Research and Technology Center, USA) Jim Burton (University of Brighton, UK) Peter Chapman (Edinburgh Napier University, UK) Renata De Freitas (Universidade Federal Fluminense, Brasil) Mateja Jamnik (University of Cambridge, UK) Sven Linker (University of Liverpool, UK) Luana Micallef (Helsinki Institute for Information Technology HIIT, Finland) Peter Rodgers (University of Kent, UK) Gem Stapleton (University of Brighton, UK)

1 0

[2nd CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations
by Kazutaka Matsuda 16 Dec '17

16 Dec '17

皆様，東北大学の松田です．来たる2018年4月10日に，<Programming> 2018に併設して開催されるワークショップ， Bx 2018 の論文募集の案内を再度お送りいたします．前回お送りした投稿〆切日時が誤っておりましたことをお詫びいたします．誤 Feb. 18, 2018 正 Feb. 19, 2018 Bx 2018では，”Experience Report"という投稿カテゴリを新設いたしました．もしlens等の双方向変換システムを研究/教育/開発プロジェクト等に使用されたことがある方がいらっしゃいましたら，ぜひともその経験の投稿をご検討くださいませ．その他のカテゴリについても，ご投稿を検討いただければ幸いです． ---------------------------------------------------------------------- SECOND CALL FOR PAPERS ======================= Bx 2018: 7th International Workshop on Bidirectional Transformations Nice, France (co-located with <Programming> 2018) https://2018.programming-conference.org/track/bx-2018-papers ---------------------------------------------------------------------- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2018 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES --------------- - Paper submission: Jan. 19, 2018 - Author notification: Feb. 17, 2018 - Workshop: Apr. 10, 2018 AIM & TOPICS ------------ The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES ---------------- The BX 2018 program committee considers five categories of submissions: - Full Research Papers (up to 10 pages) * in-depth presentations of novel concepts and results * applications of bx to new domains * survey papers providing novel comparisons between existing bx technologies and approaches case studies - Tool Papers (up to 6 pages) * guideline papers presenting best practices for employing a specific bx approach (with a specific tool) * presentation of new tools or substantial improvements to existing ones * qualitative and/or quantitative comparisons of applying different bx approaches and tools - Experience Report (up to 4 pages) * sharing experiences and lessons learned with bx tools/frameworks/languages * how bx is used in (research/industrial/educational) projects - Extended Abstracts (up to 3 pages) * work in progress * small focused contributions * position papers and research perspectives * critical questions and challenges for bx - Talk Proposals (up to 2 pages) * proposed lectures about topics of interest for bx * existing work representing relevant contributions for bx * promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. PROCEEDINGS ----------- The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop. SUBMISSION GUIDELINE -------------------- Submission site: https://easychair.org/conferences/?conf=bx2018 Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROGRAM COMMITTEE MEMBERS ------------------------- Jens Weber (University of Victoria, co-chair) Kazutaka Matsuda (Tohoku Universiy, co-chair) Anthony Anjorin (University of Paderborn) James Cheney (University of Edinburgh) Anthony Cleve (University of Namur) Alcino Cunha (University of Minho and INESC TEC) Zinovy Diskin (McMaster University) Romina Eramo (University of L’Aquila) Jeremy Gibbons (University of Oxford) Holger Giese (Potsdam University) Boris Glavic (Illinois Institute of Technology) Martin Gogolla (University of Bremen) Soichiro Hidaka (Hosei University) Zhenjiang Hu (National Institute of Informatics) Michael Johnson (Macquarie University) Ekkart Kindler (Technical University of Denmark) Erhan Leblebici (TU Darmstadt) Fernando Orejas (Universitat Politècnica de Catalunya) Hugo Pacheco (University of Minho) Richard Paige (University of York) Arend Rensink (University of Twente) Andy Schürr (TU Darmstadt) Perdita Stevens (University of Edinburgh) James Terwilliger Janis Voigtländer (University of Duisburg-Essen) Meng Wang (University of Bristol) Bernhard Westfechtel (University of Bayreuth)

1 0

「論理学の哲学」ワークショップ：意味，証明，推論　のご案内です。
by 秋吉亮太 09 Dec '17

09 Dec '17

みなさま，早稲田大学高等研究所の秋吉と申します．以下の要領で論理学の哲学に関するワークショップを開催いたします．参加自由ですので，皆さまのご参加をお待ちしております．早稲田大学高等研究所主催「論理学の哲学」ワークショップ：意味，証明，推論 WIAS Event “Philosophy of Logic” Workshop: Meaning, Proof, and Inference 日時：2017年12月12日（火）15:00 - 18:15 Date: December 12, 2017 (Tue.) Time: 15:00 - 18:15 場所：早稲田大学早稲田キャンパス　11号館4階第一会議室 Venue: Meeting Room #1, 4th floor, Bldg. 11, Waseda Campus, Waseda University URL: https://www.waseda.jp/inst/wias/news/2017/11/14/4733/ <https://www.waseda.jp/inst/wias/news/2017/11/14/4733/> プログラム/Program： 15:00 - 16:00 西牟田祐樹（慶應義塾大学）/ Yuki Nishimuta (Keio University) 乗法的論理結合子の導入規則とスイッチングの関係 Relationship between the Introduction Rules of the Multiplicative Connectives and the Switching 16:00 - 16:30 ディスカッション/ Discussion 16:30 - 16:45 休憩/ Break 16:45 - 17:45 大西琢朗（京都大学）/ Takuro Onishi (Kyoto University) 　　　　　　　　　関係意味論を推論主義的に理解する Understanding Relational Semantics from the Viewpoint of Inferentialism 17:45 - 18:15 ディスカッション/ Discussion 使用言語/ Language：日本語（必要に応じて英語）/ Japanese (and English, if necessary) 司会/ Moderator：秋吉亮太（早稲田大学高等研究所）/ Ryota Akiyoshi (WIAS, Waseda University) 問い合わせ先/ Contact E-mail：秋吉亮太（早稲田大学高等研究所 ) georg.logic(a)gmail.com <mailto:georg.logic@gmail.com> 早稲田大学高等研究所/ Waseda Institute for Advanced Study, Waseda University

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 08 Dec '17

08 Dec '17

みなさま、北陸先端科学技術大学院大学の横山です。超準解析と数学基礎論のシンポジウムについて、プログラムができましたので再度ご案内いたします。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋太志先生に招待講演をお願いしております。（前回のメールで倉橋先生のお名前が間違っておりました。お詫びして訂正いたします。）超準解析を勉強したことのない学生の方等の参加も歓迎です。ご参加をご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス懇親会：12月15日 (5000円程度の予定です) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。参加は登録無しでも可能ですが、できましたら以下のフォームに記入の上、 y-keita[at]jaist.ac.jp までメールにて事前にご連絡をいただけると幸いです。 (懇親会に参加希望の方はできるだけ早くご連絡ください。) ===以下フォーム=== １．お名前２．所属・身分３．メールアドレス４．懇親会に参加希望/希望しない (あまり直前ですと参加希望に添えないかもしれません) ５．その他 ===以上フォーム=== ********************** どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Talk by Amar Hadzihasanovic (07 Dec 11.00-)
by Kazushige TERUI 06 Dec '17

06 Dec '17

皆様直前のご案内で申し訳ありません。明日京都大学にて、新しくポスドクとして来られた Amar Hadzihasanovicさんによる講演があります。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 07 Dec, 2017 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) Speaker: Amar Hadzihasanovic (RIMS, Kyoto University) Title: Units without degeneracies, from higher categories to sequent calculi In a polycategory or multicategory, the existence of poly-cells or multi-cells satisfying certain universal properties induces coherent algebraic structures on the category of single-input, single-output cells (Cockett-Seely 1997, Hermida 2000). This was used by Hermida to produce an abstract proof of the strictification theorem for monoidal categories, and more generally bicategories. While the basic strategy seems generalisable, by a result by C. Simpson in 1998, no full strictification is possible for higher-dimensional categories. This seems to be due to problems with the combinatorics of cells with degenerate boundaries, that is, “0-ary” inputs or outputs, which were previously used to obtain units. We show that it is possible to obtain coherent units without degenerate boundaries, by deriving them from “equivalence” cells which satisfy lower-dimensional universal properties. This leads to a weaker semi-strictification theorem, which, however, we hope to generalise to arbitrary dimensions. Since the work of Cockett and Seely on linearly distributive categories, it is known that there is a deep connection between universal properties of cells in polycategories, and the rules of sequent calculi; in this context, units are also notorious for increasing the complexity of proof equivalence. In the last part of this talk, we pose some questions on the logical and computational aspects of our notion of unit, and the non-degeneracy constraint. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Dec '17

05 Dec '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、講演募集の締め切りが近づきましたので再度ご案内させて頂きます。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ******************************************* Second Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Kobe Colloquium: Dec. 7, 2017, Martin Ziegler
by Hirotaka Kikyo 02 Dec '17

02 Dec '17

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時: 2017/12/7 (木) 16.00 - 17:30 場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室講演者：Martin Ziegler（Freiburg大学）題目： A new Axiomatisation of the free N-pseudospace. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 連絡先：桔梗宏孝 kikyo(a)kobe-u.ac.jp <mkikuchi(a)kobe-u.ac.jp>

1 0

CFP: PPL2018 第20回プログラミングおよびプログラミング言語ワークショップ論文募集
by Shin-ya Nishizaki 01 Dec '17

01 Dec '17

logic-mlの皆様 PPL2018のCFPについては既に案内させていただきましたが、投稿方法や招待講演などの情報が更新されましたので、再度、連絡させて頂きます。是非、投稿・参加をご検討ください。東京工業大学学術国際情報センター西崎真也 ===================================================== 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) http://jssst-ppl.org/workshop/2018/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2018年3月5日(月)〜3月7日(水) 会場: 鳥取県米子市皆生温泉「皆生グランドホテル天水」 PPL2018は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果の発表や，新たな研究課題の提案・討論・アイディア交換を行うことを目的とした，合宿形式の研究集会です．プログラミング方法論，プログラミング言語の理論・設計・実装などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表(既発表・未発表の別を問いません) カテゴリ4: サーベイ・チュートリアル発表(既発表・未発表の別を問いません) カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また全論文発表と全ポスター・デモのなかから，聴衆の投票によりそれぞれ，最も優秀な論文プレゼンテーションには発表賞(一般の部，学生の部，既受賞者は除く)，最も優秀なポスター・デモにはポスター賞を授与する予定です．カテゴリ1 (国内外未発表論文) ---------------------------- 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・国際会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．発表申込を行った上で論文提出を行ってください．カテゴリ1で発表された研究のうち，PPL2018プログラム委員会により優れていると認められたものは， PPL2018終了後(2018年4月下旬予定)，「コンピュータソフトウェア」誌のPPL2018推薦論文としての投稿が可能です．推薦論文は， PPLプログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2 (国外既発表論文) -------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．カテゴリ3 (ポスター・デモ発表) ------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会で選考致します．カテゴリ4 (サーベイ・チュートリアル発表) ---------------------------------------- 研究動向の紹介(発表者の研究も含む) や分野間の相互理解と参加者の知識の底上げとなる発表を募集します．既発表・未発表の別を問いません．PPLへの関連，著者の研究発表実績，トピックや切り口の興味深さをもとに，プログラム委員会で選考致します．招待講演 -------- 丸山宏（Preferred Networks）久野靖（電気通信大学教授）以上お二方の招待講演を予定しております． ===================================================== ================= 投稿・発表申込要領すべてのカテゴリの投稿・発表について，次のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2018 申込にあたってはEasyChairのアカウントが必要です．4つのカテゴリそれぞれに対する申込要領の詳細は以下の通りです．申し込み時にEasychairで入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願い致します．最新の情報は上記ウェブページでご確認ください．カテゴリ1 (国内外未発表論文) --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込締切: 2017年12月21日(木) 17:00 (JST) 著者名，所属，論文タイトル，論文概要(日本語300〜400字程度もしくは英語200 words 程度)，キーワード(3つ以上)を提出してください．論文提出締切: 2018年1月9日(火) 17:00 (JST) 10ページ程度(最大15ページ，参考文献を含む)の論文(日本語もしくは英語，PDF形式．PPL2018ウェブページにて指定のスタイルファイルを利用のこと)を提出してください．最大ページ数を超える付録は投稿版に入れて構いませんが，最終原稿においては削除してもらいます．著者のweb page等においてソースコードや実験データなどを載せて引用しても構いません．最大ページ数を超える付録やweb page等の情報については査読において考慮されない場合もあります．採否通知：2018年2月2日(金) 最終原稿締切: 2018年2月15日(木) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議(予稿集を出版するもの)・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります(他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります)．カテゴリ2 (国外既発表論文) ------------------------- 発表申込時に採録が決定している国際会議および国際学術雑誌等の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込締切: 2018年1月22日(月) 17:00 (JST) 原論文(ページ数不問，PDF形式)と論文概要(テキスト形式)を，著者名，所属，論文タイトル，キーワード(3つ以上)と併せて提出してください．論文概要にて，原論文の出典(発表会議名，掲載済／予定の別等を含む)についても明記してください．採否通知：2018年2月2日(金) カテゴリ3 (ポスター・デモ発表) ----------------------------- ポスター発表またはデモ発表(あるいは両方)を募集いたします．発表申込締切: 発表申込締切: 2018年2月5日(月) 17:00 (JST) 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要 (200〜300字程度)，キーワード(3つ以上)を提出してください．発表形態については発表タイトル(Title欄)の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．採否通知：2018年2月13日(火) カテゴリ4 (サーベイ・チュートリアル発表) --------------------------------------- 発表申込締切: 発表申込締切: 2018年1月22日(月) 17:00 (JST) 著者名，所属，発表タイトル，キーワード(3つ以上)，発表概要(3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの)を提出してください．採否通知：採否通知：2018年2月2日(金) ===================================================== 問い合わせ先 ppl2018-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2018-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ===================================================== プログラム委員会上野雄大 (東北大) 鵜川始陽 (高知工科大) 海野広志 (筑波大学) 江本健斗 (九州工業大) 勝股審也 (NII) 河内谷清久仁 (日本IBM) 倉光君郎 (横浜国立大) 光来健一 (九州工業大) 櫻井孝平 (金沢大) 笹田耕一 (クックパッド) 新屋良磨 (秋田大学) 澄川靖信 (東京理科大) 田辺良則 (鶴見大) 対馬かなえ (NII) 土屋達弘 (大阪大) 鍋島英知 (山梨大) 浜名誠 (群馬大) 星野直彦 (京都大) 堀江倫大 (日本IBM) 前田敦司 (筑波大) 増原英彦 (東京工業大) 松田一孝 (東北大) 南出靖彦 (東京工業大) 森畑明昌 (東京大学) 結縁祥治 (名古屋大) 組織委員会平石拓 (京都大)[組織委員長] 江本健斗 (九州工業大) 森口草介 (関西学院大) 佐藤重幸 (高知工科大) 安部達也 (千葉工業大) 西崎真也 (東京工業大)[プログラム共同委員長] 松崎公紀 (高知工科大)[プログラム共同委員長]

1 0

Call for Papers: CLAR 2018 @ Zhejiang University in Hangzhou, China, 16-17 June 2018.
by Katsuhiko Sano 29 Nov '17

29 Nov '17

**Apologies for cross-postings** The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): - What are the roles of logic and/or argumentation in social networks? - How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? - How can we formalize reasoning in game-theoretic situations? - What are the logical principles, models and patterns of daily life argumentation? - What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? - How can existing logics be represented within existing argumentation frameworks? -What are the trade-offs between expressive power and computational complexity in logic and argumentation? - How can we model the strength of arguments? - How can we further develop and apply formal argumentation in AI? - How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer’s Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Important Dates Submission: 15 January 2018 Notification: 5 March 2018 Final version: 12 March 2018 Conference: 16-17 June 2018 Invited Speakers (Confirmed): Natasha Alechina (University of Nottingham, UK) Anthony Hunter (University College London, UK) Organizers: Thomas Ågotnes (University of Bergen & Zhejiang University) Huimin Dong (Zhejiang University) Beishui Liao (Zhejiang University) Fanghong Shi (Zhejiang University) Yì N. Wáng (Zhejiang University) Teng Ying (Zhejiang University City College) If you have any question, please contact Huimin Dong (huimin.dong(a)xixilogic.org) or Teng Ying (skysky_998(a)hotmail.com).

1 0

Project colloquium talk by Jérémy Dubut and Akihisa Yamada on 30 November
by urabenatsuki＠is.s.u-tokyo.ac.jp 28 Nov '17

28 Nov '17

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Jérémy Dubut and Akihisa Yamada on 30th November, 16:30-. 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, ERATO MMSD ----- Thu 30 November 2017, 16:30–18:45 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html 16:30-17:30 Jérémy Dubut (NII), Some thoughts on bisimilarity using open morphisms In this talk, I will present some work I have done on open morphisms during my PhD. I will start by giving an introduction on this categorical formalism from Joyal, et al.’s work on bisimilarity defined as the existence of a span of morphisms having some lifting properties with respect to “execution shapes”. I will show you examples, relational and logical characterisations for this bisimilarity. Next, I would like to present two quite different aspects of this theory that I used during my PhD. First, a general framework, called the accessible categorical models, where the open morphisms formalism is particularly nice. This is a case where it is possible to define a nice notion of trees. In this framework, we show that bisimilarity can be precisely captured by the existence of some bisimulation relation on executions, but also that there is a fine notion of unfolding, which acts very similarly as a universal covering. Secondly, a particular case of the theory of Joyal et al.: the bisimilarity of diagrams, namely functors from a small category to a specified category of values. I will show you that this case is equivalent to the existence of a nice notion of bisimulations, which allows us to translate the problem of bisimilarity, to a problem of isomorphisms in the category A, which is useful for (un)decidability. I will finally show you how to translate the general setting of Joyal et al. where the category of paths is small into diagrams, and I will describe the relation between the different bisimilarities involved. 17:45-18:45 Akihisa Yamada (NII), Mathematics for Complexity Analysis IsaFoR is a library of Isabelle-formalized theorems for validating program analyzers, originally on term rewriting. My previous work was to extend the library for more practical programing languages and also to enrich the library with deep results from mathematics. In this talk, I will explain how complexity analysis leads us to formalizing algebraic numbers, the Berlekamp factorization, Jordan normal forms, and the Perron-Frobenius theorem.

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 24 Nov '17

24 Nov '17

みなさま、北陸先端科学技術大学院大学の横山です。「超準解析と数学基礎論のシンポジウム」のご案内を再送させていただきます。講演枠にまだ少し余裕がありますので、講演の募集を１１月３０日まで延長致します。超準解析だけでなく、数学基礎論一般の講演も歓迎です。ご検討頂ければ幸いです。また、今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋大志先生に招待講演をお願いしております。超準解析を勉強したことのない学生の方等の参加も歓迎です。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス 11号館4階(12/15第四会議室，12/16第三会議室) 講演募集締め切り：11月30日懇親会：12月15日(予定) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月30日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月30日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

数学の哲学ウィンタースクール
by Makoto Kikuchi 24 Nov '17

24 Nov '17

皆様，以下の要領で「数学の哲学ウィンタースクール」を開催します．日時：2018年1月7日（日）から8日（月，祝）　（両日とも 10:00-12:00, 13:00-15:00, 15:30-17:30 の3コマの予定）場所：京都産業大学サギタリウス館（http://www.kyoto-su.ac.jp/facilities/cam_map.html）講師：金子洋之，岡田光弘，岡本賢吾プログラム：詳細未定（各講師「講義90分+質疑応答30分」x 2コマ）世話人：三好博之，菊池誠内容（変更の可能性があります）：金子洋之：直観主義と不完全性定理（ブラウワ，ゲーデル，ダメットなど）岡田光弘：形式主義と数学の無矛盾性証明（ゲンツェンから竹内外史へ）岡本賢吾：カントと数学基礎論（フレーゲ＆ウィトゲンシュタイン，ヒルベルト＆ゲーデル）昼食：ウィンタースクール開催中はキャンパス内の食堂は営業していません．両日ともお弁当（1000円／食）の手配をします．必要のある方は，参加申込と同時にお申し込みください．懇親会：7日夜に四条河原町周辺で懇親会を開催の予定です．会費は3千円から4千円程度を考えています．参加申込：会場の手配，弁当の手配，懇親会の準備のため，以下の情報を《12月20日》までに菊池（mkikuchi(a)kobe-u.ac.xn--jp)-ub4boe e-mail でご連絡ください． --ここから-- 氏名：所属：身分：（教員・ポスドク等・学生・その他）連絡先 e-mail：弁当：7日（要・不要），8日（要・不要）懇親会：（参加・不参加） --ここまで-- 備考：このウィンタースクールは科研費基盤B「数学の哲学の新たな展開」（代表：菊池誠）の活動の一環として開催されます．来年度以降も開催の予定です．連絡先：菊池誠（mkikuchi(a)kobe-u.ac.jp)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml