Logic-ml July 2018

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

9 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

第39回量子情報技術研究会(QIT39)のご案内
by Yasuhiro Takahashi 19 Jul '18

19 Jul '18

logic-ml の皆さま， NTT の高橋と申します．第39回量子情報技術研究会(QIT39)の会告を代理投稿させて頂きます．よろしくお願い致します． ----------------------------------------------------------------- 第39回量子情報技術研究会(QIT39) 研究会の内容：　情報科学と量子力学を融合させた新しい分野、量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　第39回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，　自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く　関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎　致しますので，奮ってお申し込みください．なお前回の研究会から学生発表賞を創設　いたしました．応募方法等詳細は下記QITウェブサイトをご確認下さい．日時: 2018年11月26日(月)～27日(火) 会場: 東京大学先端科学技術研究センター ENEOSホール (〒153-8904　東京都目黒区駒場4-6-1) 発表募集分野 (申し込み状況によっては査読の可能性あり)：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究，数学的研究，および，その他関連分野．定員: 150名参加費: 事前振込み一般4,000円，学生3,000円　　　　(当日会場払いは一般5,000円，学生4,000円) 　　　　(懇親会は別途) 研究会参加申込要領：　参加申込は下記 Web にて受付けます：　http://staff.aist.go.jp/s-kawabata/qit/ 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の　Webシステムを使用する予定．【口頭講演申込締切】2018年10月12日(金) 【ポスター講演申込締切】2018年10月26日(金) 【予稿原稿提出締切】2018年10月26日(金) 【参加申込締切】2018年11月9日(金) 【問合せ先】中村泰信（東京大学先端科学技術研究センター）山本直樹（慶應義塾大学量子コンピューティングセンター）鹿野豊（慶應義塾大学量子コンピューティングセンター） Email: qit39(a)qc.rcast.u-tokyo.ac.jp 主催: 量子情報技術特別研究専門委員会 (委員長: 竹内繁樹(京都大学)) 共催: 応用物理学会量子エレクトロニクス研究会 -- 高橋康博 (Yasuhiro Takahashi) NTT コミュニケーション科学基礎研究所

1 0

Talk by Taichi Uemura (26 July, 11.00-, at Kyoto University)
by Kazushige TERUI 19 Jul '18

19 Jul '18

皆様来週木曜日に、京都大学にて上村太一さん(University of Amsterdam)のご講演があります。詳細は以下のとおりです。どうぞお気軽にご参加ください。京都大学数理解析研究所照井一成 ========== Time: 11:00-12:00, 26 July, 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: Taichi Uemura (University of Amsterdam) Title: Cubical Assemblies and the Independence of the Propositional Resizing Axiom Abstract: Cubical type theory gives a constructive justification of the univalence axiom. A model of this type theory in cubical sets is build, informally, in constructive metatheory, so this construction should work internally in suitable categories other than Set. Orton and Pitts have given a sufficient condition for modeling cubical type theory in an elementary topos. Based on their work, I build the cubical set model internally in the category of assemblies. A feature of this new model is that it has a universe which is impredicative as well as univalent, but this model does not satisfy the propositional resizing axiom.

1 0

数学基礎論サマースクール2018
by Makoto Kikuchi 19 Jul '18

19 Jul '18

数学基礎論サマースクール2018のお知らせ以下の要領で数学基礎論サマースクール2018を開催します．よろしくお願いします．主題：証明論，特に算術の無矛盾性証明概要：不完全性定理によりペアノ算術 PAの無矛盾性は厳密には有限的に証明できないが，ゲンツェンは順序数 ε_0 までの超限帰納法を用いて，カット消去法によって PA の無矛盾性を，ある意味で有限的に証明した．その後，アッカーマンはヒルベルトの ε 計算を用いた PA の無矛盾性の証明を，ゲーデルは直観主義算術を介した PA の無矛盾性の証明を与えている．証明論の古典とでも呼ぶべきこの三つの無矛盾性証明は，互いに深く関係しながらも全く異なる発想のもとで同じ目的を達成する興味深いもので，技術的にも現在の証明論や理論計算機科学の基礎となる重要なものでもある．今回の数学基礎論サマースクールではこの三つの無矛盾性の証明と，この三つの無矛盾性証明から始まる証明論の発展を紹介する．日時：2018年9月3日（月）から6日（木）場所：神戸大学六甲台第2キャンパス内工学研究科LR棟5階LR501教室 http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html 住所：神戸市灘区六甲台町1-1 講師および内容：秋吉亮太：ゲンツェンのカット消去法による算術の無矛盾性証明高橋優太：ヒルベルトの ε 計算藤原誠：ゲーデルのダイアレクティカ解釈と直観主義算術黒川英徳：LK のカット消去定理新井敏康：ゲンツェンから始まる証明論50年菊池誠：チュートリアルプログラム：以下のページをご覧ください． http://www2.kobe-u.ac.jp/~mkikuchi/ss2018.html 懇親会：日時：9月4日（火）18:30-20:30 場所：神戸大学六甲台第1キャンパス内アカデミア館3階レストランさくら http://www.kucoop.jp/info/index.html 会費：3,500円（3日の受付時にお支払いください．4日から参加の場合は事前にご連絡ください．）参加申込：参加ご希望の方は以下の情報を8月24日（金）までに email で，件名を「SS2018」として菊池誠（mkikuchi(a)kobe-u.ac.xn--jp)-u63b3a4a5b9eucvn0er468j. 氏名：所属：身分：連絡先 email アドレス：懇親会：参加・不参加締切を過ぎても対応可能な場合があります．お問い合わせください．世話人・連絡先：菊池誠，酒井拓史

1 0

リマインダー：SLACS 2018 (8月8-9日) 講演募集のお知らせ [締め切り7/24]
by Katsuhiko Sano 18 Jul '18

18 Jul '18

皆様（複数のメイリングリストに送信しています。重複して受信の際はどうぞご容赦ください。） SLACS 2018（記号論理と情報科学）幹事の北海道大学の佐野勝彦です。今年度の講演募集のリマインダーを差し上げます。ぜひ札幌へ避暑にいらしてください！ご検討をどうぞよろしくお願いいたします。 SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時 2018年8月8日（水）（午後1時頃開始）から2018年8月9日（木）場所〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室参加費無料。ただし、懇親会費は別途徴収します（懇親会は初日夕方に開催予定）。幹事北海道大学文学研究科佐野勝彦連絡先 katsuhiko.sano(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です．1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています．SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。　SLACS 2017 (千葉工業大学) 　http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html 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 を「SLACS2018講演申込」にしておいていただけるとありがたいです。講演申込期限は **2018年7月24日** としますが、講演する意思があるという方は早目にご連絡いただけると幸いです。講演時間は原則40分を予定しています。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦所属：（例）北海道大学文学研究科 e-mail アドレス: 区分：一般/学生 ← プログラム作成・懇親会費設定に利用する場合があります題目：（例）TBA 概要：簡単で結構です。懇親会：参加する/追って連絡する/参加できない要望等：（例）初日しか参加できませんので初日の枠に入れてください ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 講演を伴わない聴講のみを希望される場合、事前連絡は不要です。当日、会場に直接お越しください。

1 0

2nd CFP: 49th TRS meeting at Ikaho
by Fujita Kenetsu 18 Jul '18

18 Jul '18

皆様，第49回TRS Meeting（伊香保）のご案内をさせて頂きます．どうぞよろしくお願いいたします．藤田憲悦（群馬大学） ================================================================================ Second Call For Participation 49th TRS meeting September 25 -- 27, 2018 Ikaho, Gunma http://www.cs.gunma-u.ac.jp/~fujita/TRS49/trs49.html * 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. See also Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/ We should like to invite all of you to the upcoming TRS Meeting at Ikaho, Gunma. * Information Date: September 25 (Tues) -- 27 (Thur), 2018 Venue: Ikaho Onsen, Nagomigokoro No Yado Omori: http://www.ikaho-omori.com/eng/ http://www.ikaho-omori.com/ 58 Ikaho, Shibukawa city, Gunma 371-0102 Access: http://www.ikaho-omori.com/eng/ http://www.ikaho-omori.com/ * Schedule Opening: 14:00 on Sept 25 (Tues) Closing: 12:00 on Sept 27 (Thur) * Fee Registration for meeting room fee, tea and snacks at breaks: 4,000 JPY Accommodation fee including breakfasts and dinners (lunches are not included): A shared room with four (10,950 JPY per night) A shared room with three (11,490 JPY per night) (A six-mat single room (12,030 JPY per night) but limited to several) * Registration form Please send the registration form below to Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp) no later than August 24, 2018. Registration after the deadline is subject to room availability. ---------------------------------------------------------------------- Registration Form of the 49th TRS meeting name: affiliation: [male / female] (leave one) special room request: [single room / shared room / none] (leave one) ---------------------------------------------------------------------- Japanese style shared rooms are default, but several single are also available. If you prefer a single, let me know at your earliest convenience. In the latter case, let me also know your roommate. * Contact Ken-etsu Fujita, mailto the following beta-normal form: (lambda X. fujitX(a)cs.gunmX-u.Xc.jp)a ===============================================================================

1 0

AQIS18参加のお誘い（Early Registration Deadline: ７月２４日（火））
by NISHIMURA Harumichi 18 Jul '18

18 Jul '18

logic-mlの皆様名古屋大学の西村と申します．量子情報科学の国際会議AQIS2018の参加募集を以下にご案内させていただきます．皆様の積極的なご参加をお待ちしております．名古屋大学大学院情報学研究科西村治道 ****** CALL FOR PARTICIPATIONS ************************* 18th Asian Conference on Quantum Information Science (AQIS'18) http://aqis-conf.org/2018/ 8-12 September 2018 Nagoya University, Nagoya, Japan Early registration deadline: 24 July 2018 http://aqis-conf.org/2018/registration/ Apologies if you receive this multiple times. Please forward to interested colleagues. We would like to draw your attention, and that of the quantum information community, to the 18th edition of the Asian Conference on Quantum Information Science (AQIS'18). AQIS is the leading conference in the subject in Asia and one of the longest-running worldwide, its highly successful predecessors having been EQIS'01-05 and AQIS'06-17. The topics covered include (but are not limited to) quantum computing, quantum information processing, quantum communication and cryptography, and foundations of quantum mechanics. This year, the conference goes for the first time to Nagoya. It will be organized by Nagoya University and will take place at the Noyori Conference Hall of Nagoya University, 8-12 September 2018. Details about the conference are to be found on the website http://aqis-conf.org/2018/ . Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'18 will consist of tutorials, invited talk, as well as oral and poster presentations, selected by a high-profile international program committee. Invited speakers are: Ignacio Cirac (MPQ, Garching) Keisuke Fujii (Kyoto U) Nicolas Gisin (U of Geneva) Barbara Kraus (U of Innsbruck) Yasunobu Nakamura (U of Tokyo) Sandu Popescu (U of Bristol) Robert Raussendorf (U of British Columbia) Pascale Senellart (C2N-CNRS) Wolfgang Tittel (Calgary U) Thomas Vidick (Caltech) Howard Wiseman (Griffith U) We are looking forward to seeing you in Nagoya! Steering Committee Chairs: Hiroshi Imai (chair, University of Tokyo), Jaewan Kim (co-chair, KIAS) Program Committee Chairs: Antonio Acin (chair, ICFO), Jaewan Kim (co-chair, KIAS), Akihisa Tomita (co-chair, Hokkaido University) Organizing Committee Chairs: Francesco Buscemi and Harumichi Nishimura (co-chairs, Nagoya University) *************************************************

1 0

Call for Presentation at CTFM2018
by Kenshi Miyabe 13 Jul '18

13 Jul '18

Dear all, We fix the important dates for submission and registration. The details are below. We are looking for your submission and registration, and seeing you at 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. # important dates submission: 27 August, 2018 registration: 27 August, 2018 # submission Abstracts of contributed talks should be submitted via easychair. https://easychair.org/conferences/?conf=ctfm2018 The length of every abstract is limited to 1 page of A4 including references. We welcome your original research work in the scope as well as proposal and introduction of open problems. # registration The registration can be done by google form. https://goo.gl/forms/iHlXNPpytnmstQ263 The registration fee is as follows. The payment is cash-only, and at the registration. 2,000 yen for general free for students # Banquet The banquet will be held in the evening on 14th September, 2018. The banquet fee is as follows. The payment is cash-only, and at the registration. 5,000 yen for general 3,000 yen for students 3,000 yen for accompanying person For details, see the following website: http://www.isc.meiji.ac.jp/~random/ctfm2018/ -- 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

Fwd: RIMS研究集会「公理的集合論とその応用」
by minami1minami 10 Jul '18

10 Jul '18

皆様, 愛知学院大学の南です．重複してお受け取りの場合はご容赦下さい． RIMS研究集会「公理的集合論とその応用」を以下の要領で開催します。奮ってご参加下さい。日程：2018年11月5日（月）午前ー８日（木）会場：京都大学数理解析研究所110号室プログラム等の情報は以下のウェブサイトで公開する予定です． http://minami.agu.ac.jp/ 参加予定および講演予定の方は、以下の情報をお知らせ下さい。締切：9月中旬 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 氏名：所属機関：職名／学年：講演予定：あり／なし講演題目：出張期間：旅費補助の希望：あり／なしメールアドレス： %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 南裕明愛知学院大学教養部数学・統計教室 hminami0(a)dpc.agu.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml July 2018