Kisoron-ml

1 participants
589 discussions

ジラール教授（Jean-Yves GIRARD）連続講義 Sept 25th,Oct.2nd, Keio Univ.
by Mitsu Okada 10 Sep '18

10 Sep '18

次のレクチャーの予定をこのMLで流させていただきます。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　岡田光弘（慶応義塾大学文学部哲学専攻） ********************************************************************************** *ジラール教授（Jean-Yves GIRARD）連続講義（９月２５日、１０月２日,　Sept 25th,Oct.2nd, Keio Univ.）* *Lecture**“LOGIC 2.0 : A derealistic refoundation of logic” * *********************************************************************************. 参加自由、事前登録なしです。お気軽にお立ち寄りください。 ********************************************************************************* Abstract attached below アブストラクトは下をご覧ください。１回目：9月25日(火)　Sept.25th, 18:00-19:30, Lecture 1 and discussion. ２回目：10月2日(火) Oct.2nd, 17:00-19:00, Lecture 2 and extended discussion,. 慶應義塾大学三田キャンパス大学院校舎1階313番教室, Room 313 Graduate School Building, Mita Campus, Keio University （大学院校舎は下記キャンパスマップの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 **************************************************************************************************** 招聘講師/ Invited Lecturer: ジャン＝イヴ　ジラール教授（フランス国立科学センターCNRS名誉主任研究員、マルセイユ数学研究所） Prof. Jean-Yves GIRARD (Directeur de Recherches émérite, CNRS-IMM) 題目/ Title: LOGIC 2.0 : A derealistic refoundation of logic See below for ABSTRACT （アブストラクトは下にあります。）お問い合わせ先: 慶應義塾大学文学部岡田光弘研究室東京都港区三田２−１５−４５ Email(事務局): logic(a)abelard.flet.keio.ac.jp ---------------------------------------------------------- アブストラクト/ABSTRACT LOGIC 2.0 : A derealistic refoundation of logic. Logic is based upon a doubt as to « reality », not to speak of authority. This is why axiomatic realism, a.k.a. Tarskism, at work in familiar (1.0) logic is a miscarriage of logical rationality. We propose to replace the trinity Syntax/Semantics/Meta, with an architecture based upon the synthetic a posteriori : « l’usine » (the factory) and its proofnets. We thus replace the nets of logic with the logic of nets. Among the technical novelties, the self-dual propositional constants フand ヲwhose multiplicative combinations define natural numbers. Since equality becomes logical equivalence, natural numbers provide pairwise contradictory propositions, which is classically inconsistent : a conjunction can thus be true while one of its components is false.Truth, which no longer proceeds from the Sky, is governed by the Euler-Poincaré invariant of graphs, with a derealistic switch : the invariant depends upon the divide between objective and subjective vertices. Derealism thus accomplishes a spectacular jailbreak from Tarskism! ----------------------------------------------------------

1 0

WIAS Seminar: “The epsilon calculus with equality predicate and Herbrand complexity” (September 10, Waseda University)
by Makoto Fujiwara 07 Sep '18

07 Sep '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です． 9月10日(月)に早稲田大学早稲田キャンパスにてインスブルック大学の宮本賢治さんをお迎えしてセミナーを開催いたします．ヨーロッパで研究をされている宮本さんの日本での貴重なご講演です．参加自由ですのでどうぞふるってご参加下さい．なお，今回の講演は英語で行われます．予めご了承下さい．詳細については以下のページをご参照下さい． https://www.waseda.jp/inst/wias/news/2018/08/23/5646/ 日時：2018年９月10日(月)16:00-17:30 Date & Time: Monday, 10 September 2018, 16:00 – 17:30 場所：早稲田大学早稲田キャンパス9号館5階第1会議室 Venue: Meeting room #1 on the 5th floor, Building #9, Waseda University Speaker: Kenji Miyamoto (University of Innsbruck, Kenji.Miyamoto(a)uibk.ac.at) Title: The epsilon calculus with equality predicate and Herbrand complexity Abstract: Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. Moser and Zach study the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure [2]. We extend their results to epsilon-calculus with equality predicate. This is joint work with Georg Moser. [1] D. Hilbert and P. Bernays, Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939. [2] G. Moser and R. Zach, The epsilon calculus and Herbrand complexity, Studia Logica, vol. 82 (2006), no. 1, pp. 133--155. ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 1

証明論研究集会2018のご案内
by Yoshihito Tanaka 31 Aug '18

31 Aug '18

証明論研究集会2018のご案内（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様，九州産業大学の田中義人です． 2018年度の証明論研究集会のご案内をお送りいたします．証明論研究集会は，例年行われている証明論を中心とした研究集会です．今年度は下記の要領で開催する予定です．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

[再送] Re: Call for Presentation at CTFM2018
by Kenshi Miyabe 25 Aug '18

25 Aug '18

皆様， presentationおよびregistrationの締切が迫っております． banquetの会場予約のために，少なくとも概数を知りたいと思いますので，参加される方は登録をよろしくおねがいします．宮部 2018年7月13日(金) 10:19 Kenshi Miyabe <research(a)kenshi.miyabe.name>: > > 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 -- 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

SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 23 Aug '18

23 Aug '18

皆様，静岡大学の依岡です。竹内外史先生を追悼するシンポジウムのウェブサイトが更新されました．プログラムとアブストラクトを公開しています．招待講演のアブストラクトはまだ揃っていませんが，今後随時更新されます． SAML 2018 / Takeuti Memorial Symposium Symposium on Advances in Mathematical Logic 2018 Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017) http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/ 日時：2018年9月18日（火）から20日（木）まで場所：神戸大学六甲台第2キャンパス内瀧川記念学術交流会館懇親会の参加は随時申し込みを受け付けております．まだお申し込みをされていない参加ご希望の方は件名を「SAML2018」として email で依岡輝幸 yorioka(a)shizuoka.ac.jp までお送りください．なるべく早くお申し込みいただけますよう，お願い申し上げます． ---ここから--- 氏名：所属：連絡先 (email)：懇親会：レセプション（参加・不参加），バンケット（参加・不参加） ---ここまで--- 懇親会：レセプション：2018年9月18日夜，会場：瀧川記念交流会館内，会費：4,000円程度バンケット（新井敏康教授還暦祝）：2018年9月19日夜，会場：未定，会費：12,000円程度連絡先：会場および懇親会について：菊池誠 mkikuchi(a)kobe-u.ac.jp 講演参加申込およびプログラムについて：依岡輝幸 yorioka(a)shizuoka.ac.jp

1 0

FINAL CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 15 (LENLS15)
by Katsuhiko Sano 22 Aug '18

22 Aug '18

皆様、北海道大学の佐野勝彦です。LENLS 15 の Final cfp をお送りします。重複してお受け取りの場合はどうぞご容赦下さい。佐野勝彦 -------------------------------------------------------- CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 15 (LENLS15) Workshop Site : Raiosha in Hiyoshi Campus of Keio University, Yokohama, Kanagawa 4-1-1 Hiyoshi, Kohoku-ku, Yokohama, Kanagawa 223-8521 http://www.hc.keio.ac.jp/en/about/ Dates : November 12-14, 2018 Contact Person: Osamu Sawada (Mie University) Contact Email : lenls15[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Osamu Sawada (Mie University) Co-chair: Elin McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Pauline Jacobson (Brown University) - Daniel Gutzmann (University of Cologne) - Lynne Tirrell (University of Connecticut) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (JSAI-isAI2018) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ============ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls15 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ============ Abstract submission deadline: August 26, 2018 Notification of acceptance: September 30, 2018 Deadline for camera-ready copy: mid-October, 2018 Deadline for early registration: October 31, 2018 LENLS15: November 12-14, 2018 Sponsor: LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: - Osamu Sawada (Mie University) - Elin McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (Hirosaki University) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yurie Hara (Waseda University) - Magdalena Kaufmann (University of Connecticut) - Yoshiki Mori (University of Tokyo) - David Y. Oshima (Nagoya University) - Katsuhiko Sano (Hokkaido University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

Fwd: [org-logic: 00410] IMUアンケート調査協力依頼
by Satoru Kuroda 21 Aug '18

21 Aug '18

皆様，評議員の黒田です．日本数学会から以下の依頼が来ています．以前にもお願いしたアンケートの件ですが，回答数が少ないようですのでご協力お願いいたします． ---------- 転送メッセージ --------- From: Shomu-MSJ <shomu-msj(a)carrot.ocn.ne.jp> 日付: 2018年8月21日(火) 9:08 件名: [org-logic: 00410] IMUアンケート調査協力依頼 To: <org-logic-2018(a)mathsoc.jp> 分科会評議員および無限可積分系セッション責任者各位拝啓平素より数学会の運営にご協力を賜り感謝申し上げます．下記のアンケート調査の依頼が，男女共同参画社会推進委員会担当理事の清水扇丈先生からきております．お手数ではございますが，各分科会および無限可積分系セッションのメーリングリストに送信し，分科会各分科会および無限可積分系セッションの会員の方に周知をし，アンケートへの協力を呼びかけて下さい．分科会評議員および無限可積分系セッション責任者の諸先生のご理解とご協力をお願い申し上げます．敬具一般社団法人日本数学会理事長小薗英雄（こぞのひでお） e-mail:[email protected] %%%%%%%%%%%%%%%%%%%%%%%%（ここから）%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 「国際数学連合（IMU）からのアンケート調査へのご協力の再度のお願い」このことにつきましては、6月にもご依頼致しまして、既にアンケートにご回答下さいました方々にお礼申し上げます。本メールはまだご回答いただいていない方へのお願いです。 IMU Committee for Women in Mathematics (CWM) の会長 Marie-Francoise Roy教授より再度アンケート調査の依頼（文末に添付）が届きました。 7月8日時点では日本人数学者からの回答は213人となっておりますが、会員数の10%の回答を得たいと存じます。アンケートは下記HPから日本語を含む7か国語で回答可能です。 http://statisticalresearchcenter.org/global18 調査の締め切りは10月31日です。どうかご協力の程宜しくお願い申し上げます。男女共同参画社会推進委員会担当理事清水扇丈 ------------------ Dear Colleagues, Below is the message about the project. You are invited to participate in the 2018 Global Survey of Mathematical, Computing, and Natural Scientists. You will find the survey at http://statisticalresearchcenter.org/global18 The survey is available in seven languages (English, French, Russian, Spanish, Arabic, Chinese, and Japanese). Simply choose your language on the first page of the survey. The update info can be found at https://gender-gap-in-science.org/2018/07/13/news-from-the-global-survey-of… The survey is part of an interdisciplinary collaboration of eleven partners, supported by the International Council for Science (ICSU), which aims to better understand the problems mathematical, computing, and natural science academics and practitioners are facing around the world. The partners are: 1. International Mathematical Union (IMU) 2. International Union of Pure and Applied Chemistry (IUPAC) 3. International Union for Pure and Applied Physics (IUPAP) 4. International Council for Industrial and Applied Mathematics (ICIAM) 5. International Astronomical Union (IAU) 6. United National Educational, Scientific and Cultural Organization (UNESCO) 7. International Union of Biological Sciences (IUBS) 8. Gender in Science, Innovation, Technology and Engineering (GenderInSITE) 9. International Union of History and Philosophy of Science and Technology (IUHPST) 10. Organization for Women in Science for the Developing World (OWSD) 11. Association for Computing Machinery (ACM) One of the specific tasks for the project is to collect data across the world to inform policy makers from all countries, especially developing countries, about reducing the gap between men and women in mathematical, computing, and natural sciences. The data are being collected by the non-profit Statistical Research Center of the American Institute of Physics. Responses to this survey are voluntary, and your individual information will be held in strict confidence. We are aiming for thousands of respondents from every corner of the world! We will also need your help to find more respondents (men and women), to answer this survey. Please forward this e-mail to send it to anyone (both men and women) who has studied or worked in mathematics, computing, natural sciences, or the history and philosophy of science and technology. It is only by hearing from as many people as possible that we can understand the worldwide situation for people in these fields. Thank you for your help with this important effort. Sincerely, Marie-Francoise Roy (IMU) and Mei-Hung Chiu (IUPAC) Coordinators of the Gender Gap in Science project -- Satoru Kuroda Gunma Prefectural Women's University

1 0

モデル理論夏の学校２０１８（sent by tsuboi on behalf of itai-san）
by tsuboi 10 Aug '18

10 Aug '18

関係者各位　標記の研究集会を，下記の要領で開催いたします．多くの方の参加をお待ちしています．研究集会ＨＰ：https://sites.google.com/site/modeltheorysummerschool2018/ 尚：宿泊申込は８月３０日までです．期間：２０１８年９月１０日（月）午後　～　９月１２日（水）午前場所：　東海大学山中湖セミナーハウス　　　　　山梨県南都留郡山中湖村山中３２３－１　　　　　〒４０１－０５０１　ＴＥＬ　０５５５－６２－４１００世話役：板井　昌典　東海大学理学部　　　　　 itai(a)tokai-u.jp TEL 0463-58-1211（代表）　　モデル理論夏の学校は，例年夏に開催される，モデル理論に関する研究集会です。　　数理論理学の1 分野であるモデル理論は近年様々な分野で応用されています。 1990 年代以降は，代数幾何や数論幾何へ応用されています。また，順序極小理論は実代数幾何への応用が華々しく，さらには数論幾何の未解決問題解決に向けて大きな役割を果たしつつあります。　　今年のモデル理論夏の学校では，「機械学習（学習理論）」と「組合せ論」という観点からモデル理論を眺めてみたいと思います。　例年同様，最新研究の発表講演も行われます。キーワード VC-sets, VC-次元，NIP 機械学習，learnability, online learning, stability o-minimal，実解析，実代数幾何，数論幾何コンパクト性定理，Ramsey の定理，Erdös-Rado の定理＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊板井　昌典東海大学　理学部　情報数理学科〒２５９－１２９２神奈川県　平塚市　北金目　４－１－１ＴＥＬ：０４６３－５８－１２１１（内線３６５０）電子メール：itai(a)tokai-u.jp ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

1 0

SLACS2018プログラム確定のお知らせと懇親会追加募集
by Katsuhiko Sano 03 Aug '18

03 Aug '18

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2018幹事の北海道大学の佐野勝彦です。講演・懇親会参加へお申し込みいただき、どうもありがとうございました。今回は 1) プログラム、2) 懇親会参加の追加募集、の二点についてお知らせします。 SLACS 2018（記号論理と情報科学） https://sites.google.com/view/slacs-2018/home 日時: 2018年8月8日（水）（午後2時開始）から2018年8月9日（木）場所: 〒060-0810 北海道札幌市北区北10条西7丁目　北海道大学人文・社会科学総合研究教育棟（W棟）5階 W517教室参加費: 無料。ただし、懇親会費は別途徴収します。 1) プログラムは以下のように決まりました。 [8/8 (水) 午後] 14:00 – 14:10 Opening 14:10 – 14:50 中村誠希 (東京工業大学情報理工学院）「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について 15:05 – 15:45 佐野勝彦 (北海道大学文学研究科） Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic 16:00 – 16:40 福田陽介（京都大学情報学研究科） On a linear-logical decomposition of intuitionistic modal logic S4 18:00 – 懇親会 @ 咲か蔵 [8/9 (木) 午前] 10:10 – 10:50 安部達也 (千葉工業大学人工知能・ソフトウェア技術研究センター) 並行プログラム論理の証明の導出に関する諸問題 11:05 – 11:45 蘇有安 Youan Su (北海道大学文学研究科）Glivenko-Kuroda Translation in Logics for the Knowability Paradox 11:45 – 13:30 昼休み [8/9 (木) 午後] 13:30 – 14:00 林大智 (北海道大学文学研究科）型付きと型無しの公理的真理理論の関係について 14:15 – 14:55 上村太一 (ILLC, University of Amsterdam) Cubical Assemblies and the Independence of the Propositional Resizing Axiom 15:05 – 15:45 松田直祐（神奈川大学理学部情報科学科）新しい combinatory reduction の提案 15:45 – 15:55 Closing ホームページ（https://sites.google.com/view/slacs-2018/home）には概要付きプログラムもあります。 2) 札幌駅北口近くに懇親会場を決定しました（飲み放題付きの4000円のコースです）。会場に多少余裕がありますので、追加募集いたします。懇親会への参加を希望される方は、次のフォームで幹事まで連絡をお願いいたします（すでに連絡してくださった方は連絡不要です）。その際、以下について回答をお願いいたします。Subject を「SLACS2018懇親会申込」にしておいていただけるとありがたいです。 8/6(月)の午前中までにご連絡いただけると助かります。人数に制限がありますので先着順になる可能性があることを申し添えておきます。 ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 氏名：（例）佐野勝彦所属：（例）北海道大学文学研究科 e-mail アドレス: 区分：一般/学生 ← 懇親会費設定に利用する場合があります要望等：（例）懇親会の費用の領収書はもらえますか？ ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< ----- 8< -----

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

← Newer
1
...
22
23
24
25
26
27
28
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml