Logic-ml June 2018

8 participants
11 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic 【１５日（金）】池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題）河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題）鹿島亮（東工大）２階の関数記号を持つ１階述語論理について山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー大森仁（京大）Jaskowskiのdiscussive logicの周辺金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について＝＝＝＝以上＝＝＝＝

1 8

フォーマルアプローチ特集論文募集のご案内
by mano.ken＠lab.ntt.co.jp 12 Sep '18

12 Sep '18

logic-ml の皆様，電子情報通信学会論文誌英文ED分冊“フォーマルアプローチ特集”の，論文募集のご案内をさせていただきます．真野（NTT コミュニケーション科学基礎研究所） ---- フォーマルアプローチ特集論文募集電子情報通信学会論文誌英文ED分冊フォーマルアプローチ特集編集委員会フォーマルアプローチ（形式手法・形式技法・形式理論）は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します． - 基礎理論：システムの構造や振舞いの形式記述・検証に関する基礎理論 - 形式技法：ソフトウェア，ハードウェア，ネットワークなどのシステムに対する体系だった記述・検証技法 - 形式ツール：モデル検査器や定理証明器など，形式手法に基づくツール - 応用：情報システムや組込システム，回路系，情報セキュリティ，車載システム，人工知能・機械学習システムなどへの形式手法の適用事例 - 教育：教育事例 2. 論文の執筆と取扱い論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情報通信学会の英文誌の規程と同じです．以下の規程を御参照下さい． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール　論文投稿締切　　　　平成 30年 9月25日 (火) 23:59 JST (厳守) 　第一回判定通知予定　平成 30年11月23日 (金) 　初回修正締切　　　　平成 31年 1月18日 (金) 　最終判定通知予定　　平成 31年 3月 8日 (金) 　発行予定　　　　　　平成 31年 8月号 4. 投稿方法本特集では，電子投稿のみを受付けます．論文を下記のweb pageから投稿して下さい．初期投稿時に，編集可能な論文本体 (TeX/Word)，図，著者の写真, biographyも投稿する必要があります．　 https://review.ieice.org/regist/regist_baseinfo_e.aspx 投稿の際には以下の項目を選択してください． "Journal/Section" -> "[Special FO] Formal Approaches" 同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点がございましたら，問合先まで御連絡下さい． 5. 掲載料招待論文を含むすべての著者は，論文が採録となった場合，2019年4月頃に掲載料をお支払い頂くことになります．2019年5月15日までに支払いが完了しない場合には，採録取り消しとなります． 6. オープンアクセス化情報システムソサイエティ英文論文誌は，2017 年 1 月よりオープンアクセス化されています．J-STAGE（https://www.jstage.jst.go.jp/browse/transinf/）に掲載されている論文はすべて閲覧可能になっています． 7. 特集編集委員会委員長：青木利晃（北陸先端大）　幹事：真野健（ＮＴＴ），中川博之（阪大）　委員：石川冬樹'情報研)，來間啓伸(日立)，小林孝一(北大)，　　　　立石孝彰(日本IBM)，土屋達弘(阪大)，山口真悟(山口大)，　　　　横川智教(岡山県立大) 8. 問合せ先本特集のホームページ: (和文) http://www.jaist.ac.jp/~toshiaki/fa2018/jp/ (英文) http://www.jaist.ac.jp/~toshiaki/fa2018/ 　青木利晃　北陸先端科学技術大学院大学情報科学系　923-1292 石川県能美市旭台1-1 　toshiaki(a)jaist.ac.jp =============================================================== CALL FOR PAPERS Special Section on Formal Approaches The IEICE Transactions on Information and Systems announces a forthcoming special section on Formal Approaches to be published in August 2019. Formal methods and techniques play a key role in designing and developing highly reliable information systems and embedded systems. The last decades have seen various new techniques and profound theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, testing, verification, and maintenance. They are rapidly extending their application domains as a result of the recent growth of information and communication technologies. The Special Section on Formal Approaches aims at stimulating research on formal approaches to information systems and embedded systems, ranging from fundamental theory to practical applications. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers. Topics: The major topics are listed below, but we solicit submissions in all areas of formal approaches, i.e., first to formalize information systems, embedded systems, and their environment, next to analyze their behavior and to derive their properties rigorously, and then to solve various problems in designing and managing the systems. - Theoretical foundations: all aspects of theory related to formal description and verification for structure and behavior of systems. - Formal techniques: techniques for mainly describing and analyzing systems, such as software, hardware and networks. - Formal tools: tools based on formal methods such as model checkers, theorem provers, and static and dynamic analyzers. - Applications: practical experiences of applying formal methods to information systems, embedded systems, circuits, security, AI systems, machine learning systems, automotive systems, etc. - Education: education on formal methods. Submission Instructions: The deadline for submission is Sep 25, 2018, 23:59 JST(GMT+9). Manuscripts should be carefully prepared according to the guideline in the "Information for Authors" (available at http://www.ieice.org/eng/shiori/mokuji_iss.html). The preferred length of the manuscript is 8 pages. Only electronic submission through the web page is accepted. Submit a complete paper and transfer copyright of the paper using the IEICE Web site https://review.ieice.org/regist/regist_baseinfo_e.aspx Authors should choose the [Special FO] Formal Approaches" as a "Journal/Section" on the online screen. Editorial Committee: Guest Editor-in-Chief: Toshiaki Aoki (JAIST) Guest Editors: Ken Mano (NTT Communication Science Laboratories) Hiroyuki Nakagawa (Osaka University) Members: Fuyuki Ishikawa (National Institute of Infomatics) Hironobu Kuruma (Hitachi, Ltd.) Koichi Kobayashi (Hokkaido University) Takaaki Tateishi (IBM Japan) Tatsuhiro Tsuchiya (Osaka University) Shingo Yamaguchi (Yamaguchi University) Tomoyuki Yokogawa (Okayama Prefectural University) Further information may be obtained from the web page at: http://www.jaist.ac.jp/~toshiaki/fa2018/ All inquiries should be sent to the guest editor in chief: Toshiaki Aoki(JAIST) 1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292, Japan E-mail: toshiaki(a)jaist.ac.jp Important Dates: Submission Deadline: Sep 25, 2018 23:59 JST (GMT+9) [firm deadline] First Notification: Nov 23, 2018 Revised Version Deadline: Jan 18, 2019 Final Notification: Mar 8, 2019 Important Notice. (1) At least one of the authors must be an IEICE member when the manuscript is submitted for review. For the application of IEICE membership, visit http://www.ieice.org/eng/member/OM-appli.html (2) When a paper has been accepted for publication, the authors are required to pay the page charges covering part of the cost of publication. Please carefuly read the submission guideline at http://www.ieice.org/eng/shiori/mokuji_iss.html (3) Upon accepted for publication, all authors, including authors of invited papers, should pay the page charges covering partial cost of publication around April, 2019. If payment is not completed by May 15, 2019, your manuscript will be handled as rejection. (4) The IEICE Transactions on Information and Systems is an open access journal from January, 2017. Open access to "IEICE Transactions on Information and Systems” is available via the J-STAGE (https://www.jstage.jst.go.jp/browse/transinf/).

1 1

Talk by Florian Steinberg (July 5, Fukuoka)
by Akitoshi Kawamura 01 Jul '18

01 Jul '18

皆様九州大学の河村です。フロリアン・シュタインベルク氏（仏INRIA）の講演を以下のように開催いたしますので、お近くの方はどうぞお越しください。 http://www.fc.inf.kyushu-u.ac.jp/seminars/H300705.html 日時　July 5, 2018, Thursday, 16:40– 場所　Room 302, Ito Campus West Building II, Kyushu University 　(九州大学伊都キャンパスウエスト二号館302講義室) Type-two poly-time and length revisions Florian Steinberg (Institut National de Recherche en Informatique et en Automatique) The talk presents an alternate characterization of type-two polynomial-time computability, with the goal of making second-order complexity theory more approachable. The characterization relies on the usual oracle machines to model programs with subroutine calls, but the use of higher-order objects as running times is avoided. This is achieved by refining the notion of oracle-polynomial-time introduced by Cook by imposing a further restriction on the oracle interactions. Both the restriction as well as its purpose are very simple: it is well-known that Cook's model allows polynomial depth iteration of functional inputs with no restrictions on size, and thus does not guarantee that operators from the class preserve polynomial-time computability. We restrict the number of lookahead revisions, that is the number of times a query can be asked that is bigger than any of the previous queries and prove that this leads to a class of feasible functionals. Furthermore, all feasible problems can be solved within this class if one is allowed to separate a task into efficiently solvable subtasks. More formally put: the closure of the class under lambda-abstraction and application includes all feasible operations. This has consequences for a very similar class of strongly polynomial-time computable operators previously considered by Kawamura and Steinberg: It turns out to have the same closure property. This can be attributed to properties of the limited recursion operator, which is not strongly polynomial-time computable but decomposes into two such operations and lies in the broader class. -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

名古屋ロジックセミナー (6/29) のお知らせ
by Takayuki Kihara 25 Jun '18

25 Jun '18

皆様以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．講演終了後に夕食会を予定しています．夕食会にご参加いただける方は，早めに木原貴行 kihara(a)i.nagoya-u.ac.jp までご一報お願い致します．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：6月29日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：Paul-Elliot Anglès D'Auriac (パリ・エスト・クレテイユ大学)　題目： On Infinite Time Turing Machine and and its related ordinals アブストラクト： In 1998, Hamkins and Lewis introduced Infinite Time Turing Machines (ITTMs), a version of Turing Machines where time is allowed to run through the ordinals instead of the integers. This model of computation revealed itself to have interesting connections with set theory and in particular Godel's constructible hierarchy. In this talk, we will be interested in the properties of the ordinals that naturally arises in the study of ITTMs, such as those that correspond to halting time, or that have a code that can be written on the tape of an ITTM. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

Talk by Kohei Kishida (28 June, 11.00-, at Kyoto University)
by Kazushige TERUI 25 Jun '18

25 Jun '18

皆様今週木曜日に、京都大学にてKohei Kishidaさんのご講演があります。詳細は以下のとおりです。どうぞお気軽にご参加ください。京都大学数理解析研究所照井一成 ==================== Time: 11:00-12:00, 28 June, 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: Kohei Kishida (Dalhousie University) Title: A Topological Approach to Quantum Contextuality Abstract: Non-locality and contextuality are paradoxical phenomena in quantum physics that are of foundational and potentially great practical significance: While non-locality is known to be fundamental to quantum communication, the more general phenomenon of contextuality may provide a key resource for quantum computation, as suggested by recent studies. This has motivated several approaches to the high-level expression of non-locality and contextuality that can be independent of the concrete formalism of quantum mechanics. Starting with a review of the paradoxical probabilistic behavior of non-locality, this talk lays out some formalisms that express non-locality and contextuality. In particular, the topological approach makes it clear that contextuality is isomorphic to various phenomena in other disciplines. We show two results, one on the relationship between probabilistic and qualitative versions of contextuality, and the other on how to use a topological idea to demonstrate (qualitative) contextuality. This talk is based on several joint works with Samson Abramsky, Rui Soares Barbosa, Ray Lal and Shane Mansfield.

1 0

第二十九回ALGIの開催について
by 西澤弘毅 22 Jun '18

22 Jun '18

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。 ALGI（代数，論理，幾何と情報科学研究集会）について第二十九回 ALGIの開催に関する告知をさせていただきます。 < 重複してお受け取りの節はご容赦願います。> **************************************************************** * 第二十九回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2018年8月27日（月）午後～8月28日（火） * * 崇城大学池田キャンパス F号館 203講義室 * * * * 開催のお知らせと講演の募集 * **************************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。このたび、第二十九回ALGIを開催することになりました。会場の手配などは、幹事の一人である崇城大学の津曲が担当しています。開催場所は下記のとおりです。崇城大学池田キャンパス http://www.sojo-u.ac.jp/access/ 講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申し込み不要で自由にご参加いただけますが、初日の夕方に予定している懇親会については、事前に詳細を告知し参加申し込みを受け付ける予定です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。なお、昨年度、現在の algi メーリングリスト algi(a)sakura.imi.kyushu-u.ac.jp から googleグループを利用したメーリングリストへの移行を計画しているとお伝えしましたが、移行が遅れております。ご迷惑をおかけしますが、もうしばらくお待ちください。西澤弘毅（神奈川大学）津曲紀宏（崇城大学） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

“WITTGENSTEIN ON TURING’S DIAGONAL, RULES, AND CONTRADICTION” Mathieu Marion教授講演会(6月26日
by Mitsu Okada 20 Jun '18

20 Jun '18

数学と論理の哲学セミナー Mathieu Marion教授講演会(6月26日) “WITTGENSTEIN ON TURING’S DIAGONAL, RULES, AND CONTRADICTION” の開催を予定しております。参加自由、事前登録なしです。お気軽にお立ち寄りください。慶應義塾大学文学部哲学専攻岡田光弘 ****************************** ***************************************************** 数学と論理の哲学セミナー Mathieu Marion教授講演会(6月26日) “WITTGENSTEIN ON TURING’S DIAGONAL, RULES, AND CONTRADICTION” 6月26日 (火) 18:10-19:30 June 26, Tues. 慶應義塾大学三田キャンパス大学院校舎1階313番教室 Mita Campus, Keio University, Classroom 313, 1F of Graduate School Building （講演会のAbstractは下のweb-siteにあります。。）（Abstractを含む最新情報: https://abelard.flet.keio.ac.jp/seminar/mathieu-marion-2018/ <https://abelard.flet.keio.ac.jp/seminar/mathieu-marion-2018/> ） *********************************************************************************** 場所 / Venue: 慶應義塾大学三田キャンパス大学院校舎1階313番教室（大学院校舎は下記キャンパスマップの8です） Mita Campus, Keio University, Classroom 313, 1F of Graduate School Building (Number 8 of the Campus Map below) 構内図 Campus Map: https://www.keio.ac.jp/en/maps/mita.html <https://www.keio.ac.jp/en/maps/mita.html> 日時 / Date & Time: 6月26日 (火) 18:10-19:30 June 26, Tues. 講演者 / Speaker: Mathieu Marion教授（ケベック大学モントリオール校哲学科教授） Prof. Mathieu Marion (Département　de Philosophie**, Université du Québec à Montréal) 題目 / Title: “WITTGENSTEIN ON TURING’S DIAGONAL, RULES, AND CONTRADICTION” (Joint work with Mitsuhiro Okada, Keio University) （Abstract: https://abelard.flet.keio.ac.jp/seminar/mathieu-marion-2018/ <https://abelard.flet.keio.ac.jp/seminar/mathieu-marion-2018/> ）お問い合わせ先: 慶應義塾大学文学部岡田光弘研究室東京都港区三田２−１５−４５ Email: logic(a)abelard.flet.keio.ac.jp <mailto:[email protected]> 主催: 慶應義塾大学論理と感性のグローバル研究センター ----------------------------------------------------------

1 0

Talk by Prof. Georgios Fainekos (June 21st, 13:00-)
by Kohei SUENAGA 18 Jun '18

18 Jun '18

皆様，ロボットのパスプランニングの研究に関する講演会を 6月21日の13:00より，京都大学吉田キャンパス総合研究7号館1F講義室3で開催します．話者のGeorgios Fainekosさんは，時相論理式で記述されたシステムの仕様をチェックするツールS-TaLiRoで有名な方です．どうぞご参加ください． Prof. Georgios Fainekos is giving a talk about path planning in robotics on June 21st from 13:00-- at the lecture room 3 in Research Building 7 (Sogo-Kenkyu 7 gou kan) in Yoshida campus of Kyoto University. Georgios is famous for the work on a tool S-TaLiRo, a checker of a system specification written in an extension of temporal logic called metric temporal logic. Looking forward to your participation! Kohei -- Title: Temporal Logic Planning for Mobile Robots: What happens when missions cannot be satisfied? Abstract: Temporal logic planning methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level formal requirements. In the existing frameworks, the prevalent assumptions are (1) that a plan always exists which satisfies the mission requirements, and (2) that there is a single stakeholder with full or partial knowledge of the environment that the robots operate in. In addition, it is typically assumed that the requirements themselves are fixed and do not change over time. However, any of these assumptions may not be valid in both off-line and on-line temporal logic planning problems. That is, multiple stakeholders and inaccurate sources of information may produce unsatisfiable missions or self-contradictory models of the world or the system. Classical temporal logic planning methods cannot handle non-consistent model environments or missions even though such inconsistencies may not affect the planning problem. In this talk, we present how the user feedback problem for unsatisfiable missions can be reduced to searching for an optimal weighted path on a graph. Albeit the general search problem is NP-complete, the graph formulation of the problem opens-up the possibility for the development of efficient approximation algorithms. We present a number of heuristics for quickly computing such user feedback and we present experimental results on the performance and scalability of our solutions. Finally, we show how inconsistencies and conflicts in the mission requirements and the model of the world can be circumvented by utilizing multi-valued temporal logics and system models. 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/UCR 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 (NTUA). Before joining ASU, he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. His expertise is on logic, formal verification, testing, control theory, artificial intelligence, and optimization. His research has applications to automotive systems, medical devices, autonomous (ground and aerial) vehicles, and human-robot interaction (HRI). In 2013, Dr. Fainekos received the NSF CAREER award and the ASU SCIDSE Best Researcher Junior Faculty Award. He is also recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. His software toolbox, S-TaLiRo, for testing and monitoring of CPS has been nominated twice as a technological breakthrough by the industry. In 2016, Dr. Fainekos was the program co-Chair for the ACM International Conference on Hybrid Systems: Computation and Control (HSCC). -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 1

The 21st Japan–Korea Joint Workshop on Algorithms and Computation (WAAC 2018) 福岡8月26～27日
by Akitoshi Kawamura 14 Jun '18

14 Jun '18

皆様九大の河村と申します。メーリングリストをお借りして、本年8月26～27日に福岡で開催される標記研究集会についてお知らせ致します。詳しくはウェブページをご覧ください。 http://www.i.kyushu-u.ac.jp/waac2018/ ウェブページにありますように、投稿は英文8ページ以内（より短くても可）で、投稿締切　7月6日採否通知　7月27日完成稿締切　8月10日となっております。ぜひ発表・参加を御検討ください。 -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 1

Preliminary announcement of CTFM2018
by Kenshi Miyabe 01 Jun '18

01 Jun '18

Dear all, Let me announce CTFM 2018. Workshop on Computability Theory and Foundations of Mathematics 2018 Date: 13--15 September, 2018 The venue: Surugadai Campus, Meiji University, Tokyo, Invited Speakers George Barmpalias (Chinese Academy of Sciences) Matthew de Brecht (Kyoto University) Bjorn Kjos-Hanssen (University of Hawaii at Manoa) Tomoyuki Miyaji (Meiji University) Igor Potapov (University of Liverpool) Liang Yu (Nanjing University) Organising Committee Akitoshi Kawamura (Kyushu University) Kenshi Miyabe (Meiji University) Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. We will call for the contributed talks later. For other information, see the following website: http://www.isc.meiji.ac.jp/~random/ctfm2018/ best, Kenshi Miyabe -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2018