Logic-ml April 2016

10 participants
10 discussions

CFP: 日本ソフトウェア科学会第33回大会
by KIKUCHI Kentaro 28 Apr '16

28 Apr '16

(重複して受け取られた場合は御容赦ください) 皆様、東北大学の菊池健太郎と申します。 9月に東北大学片平キャンパスにて開催されます日本ソフトウェア科学会第33回大会の開催案内・参加募集をお送りいたします。理論的な話題も歓迎(昨年は中澤先生のご発表が「高橋奨励賞」を受賞されました)ですので、是非発表申込をご検討いただければ幸いです。どうぞよろしくお願いいたします。 --- 東北大学電気通信研究所菊池健太郎 (kentaro(a)nue.riec.tohoku.ac.jp) ------------------------------------------------------------------------ 日本ソフトウェア科学会第33回大会開催案内・参加募集 http://jssst2016.wordpress.com/ 日時：2016年9月6日(火)〜9日(金) (6日(火)はプレイベント) 会場：東北大学片平キャンパス (〒980-8577 仙台市青葉区片平2-1-1) 今年も一般セッション，研究会セッション，ソフトウェア論文セッションにおける登壇発表，ならびにデモ・ポスター発表の場が用意されています．予稿の共著者に会員が含まれていれば非会員でも登壇発表できますので，是非，発表をご検討ください．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待しております． ■開設セッション 1. 一般セッション：ソフトウェア科学全般についての発表の場です． 2. 研究会セッション：研究会と連携した企画による発表の場です．・プログラミング論研究会 (PPL) ・ソフトウェア工学の基礎研究会 (FOSE) ・実践的IT教育研究会 (rePiT) 3. ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることができます． 4. デモ・ポスターセッション：研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．予稿なしで発表することができます．上記以外にも，招待講演，特別講演(トップコンファレンス採択論文の著者による講演)，FTDなどを予定しています． ■投稿に関する日程・一般セッション，研究会セッション，ソフトウェア論文セッション　発表申込締切： 2016年7月8日(金) 　予稿原稿締切： 2016年8月5日(金) ・デモ・ポスター発表　発表申込締切： 2016年8月23日(火) 　(デモ・ポスターに予稿はありません） ■発表申込要領予稿の共著者(デモ・ポスターセッションの場合は発表者)に少なくとも1名の正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．予稿はEasyChairシステムを使ってPDFファイルで提出してください．詳しい予稿作成要領は大会ホームページでお知らせします． ■学会誌への同時投稿登壇発表の予稿は通常論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，大会ホームページに掲載される大会同時投稿要領をご覧ください． ■大会組織大会委員長：大堀淳 (東北大学) 運営委員長：上野雄大 (東北大学) プログラム委員長：光来健一 (九州工業大学) プログラム副委員長：松崎公紀 (高知工科大学) 広報委員長：山田浩史 (東京農工大学)

1 0

Talk by Cho Kenta (Nijmegen), Tue 10 May
by Takumi Akazaki 27 Apr '16

27 Apr '16

皆様, (重複して受け取られた方はご容赦ください) 東京大学蓮尾研の赤崎と申します。以下の要領で, 再来週の火曜日に、Nijmegenの長健太さんをお招きして講演をしていただきます。ぜひご参加くださいませ。日時: 5月10日 13:00-15:00 場所: 東京大学理学部７号館214教室 ----------- Tue 10 May 2016, 13:00–15:00 理学部7号館214 Room 214, School of Science Bldg. No. 7 Kenta Cho <https://www.google.com/url?q=http://www.cs.ru.nl/K.Cho/&sa=D&ust=1461640002…> (Inst. of Comp. & Info. Sci., Radboud University), Von Neumann algebras from a logical / categorical perspective Many researches at the Nijmegen group involve von Neumann algebras, which are now important not only in quantum physics but also in the context of quantum computation and information. I plan to talk about: 1) basics of von Neumann algebras and quantum theory; 2) von Neumann algebras in effectus theory (a categorical approach to quantum computation and logic); 3) von Neumann algebras as a (categorical, denotational) model of the quantum lambda calculus. -- /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Dept. of Computer Science Graduate School of Information Science and Technology The University of Tokyo Akazaki Takumi mail :<ultraredrays(a)gmail.com> mobile : <090-5379-4901> /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/

1 0

Deadline Extension: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis)
by Takashi Kitamura 25 Apr '16

25 Apr '16

--------------------------------------------------- CALL FOR PAPERS 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016) Chiba, Japan, October 17-19th, 2016 http://atva2016.gforge.inria.fr/ --------------------------------------------------- *** Deadline for paper submission has been extended *** Abstract due: May 7 (extended) Paper due: May 11 (extended) -------------------------------------------------- === Automated Technology for Verification and Analysis (ATVA) 2016 === --- Springer LNCS proceedings --- --- Special issue in "Formal Methods in System Design" (Springer) --- http://atva2016.gforge.inria.fr/ The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi - 2013, Sydney - 2014, and Shanghai - 2015. Scope ATVA 2016 solicits high quality submissions in areas related to the theory and practice of automated analysis and verification of hardware and software systems. Topics of interest include, but are not limited to: * Formalisms for modeling hardware, software and embedded systems * Specification and verification of finite-state, infinite-state and parameterized system * Program analysis and software verification * Analysis and verification of hardware circuits, systems-on-chip and embedded systems * Analysis of real-time, hybrid, priced/weighted and probabilistic systems * Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification * Analytical techniques for safety, security, and dependability * Testing and runtime analysis based on verification technology * Analysis and verification of parallel and concurrent hardware/software systems * Verification in industrial practice * Applications and case studies Theory papers should preferably be motivated by practical problems, and applications should be based on sound theory and should solve problems of practical interest. Submission ATVA invites research contributions in two categories: * Regular research papers (with 16 pages page limit, including references) * Tool papers (with 5 pages page limit, not counting references) Contributions must be written in English and in LNCS format, and must present original research that is unpublished and not submitted elsewhere (conferences or journals). The proceedings of ATVA 2016 will be published by Springer as a volume in the series of Lecture Notes in Computer Science (LNCS). For formatting instructions, see: http://www.springer.de/comp/lncs/authors.html PDF versions of the papers should be submitted to EasyChair: https://easychair.org/conferences/?conf=atva2016 Proofs and details omitted due to space constraints may be put in an appendix. Any such additional material will be read by reviewers/program committee members at their discretion. Authors are therefore urged to include details necessary for evaluation of the technical merit of their work within the prescribed page limits. Tool papers must include information about a URL from where the tool can be downloaded or accessed on-line for evaluation. The URL must also contain a set of examples, and a user's manual that describes usage of the tool through examples. In case the tool needs to be downloaded and installed, the URL must also contain a document clearly giving instructions for installation of the tool on Linux/Windows/MacOS. Accepted papers in both categories will be published by Springer as a LNCS volume. At least one author of each accepted paper must also register for the conference and present the paper. Selected papers will be invited for a publication in Formal Methods in System Design, published by Springer. Important Dates: Abstract due: May 7 (extended) Paper due: May 11 (extended) Notification: June 13 Invited Speakers for keynotes and tutorials Masahiro Fujita Javier Esparza Tevfik Bultan Programme Committee Co-Chairs Cyrille Artho Axel Legay Doron Peled Publicity Chair Takashi Kitamura (AIST, Japan) Local Chairs Mitsuharu Yamamoto (Chiba University, Japan) Yoshinori Tanabe (Tsurumi University, Japan) Programme Committee Toshiaki Aoki Cyrille Artho Christel Baier Armin Biere Tevfik Bultan Franck Cassez Krishnendu Chaterjee Allesandro Cimatti Rance Cleaveland Deepak D'Souza Allen Emerson Bernd Finkbeiner Radu Grosu Klaus Havelund Marieke Huisman Ralf Huuck Moonzoo Kim Marta Kwiatkowska Kim Larsen Axel Legay Tiziana Margaria Madhavan Mukund Anca Muscholl Doron Peled Andreas Podelski Geguang Pu Sven Schewe Oleg Sokolsky Marielle Stoelinga Bow-Yaw Wang Chao Wang Farn Wang Wang Yi Naijun Zhan Lijun Zhang Huibiao Zhu Contact atva2016-info(a)lists.gforge.inria.fr

1 0

数学基礎論若手の会2016のご案内
by Kenshi Miyabe 22 Apr '16

22 Apr '16

（重複して受け取られた場合はご容赦ください）皆様，明治大学の宮部賢志です． 2016年度の数学基礎論若手の会の幹事をさせていただきます．日程と場所だけ決めましたので，お知らせいたします． ===== 数学基礎論若手の会2016 日時：2016年10月21日(金)午後〜23日(日)午前場所：明治大学清里セミナーハウス住所：〒407-0301 山梨県北杜市高根町清里3545-1 数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．詳細は以下のウェブサイトをごらんください． http://kenshi.miyabe.name/wakate2016/ 講演および参加の募集は9月頃にもう一度案内いたします． ===== 宮部 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ
by 西澤弘毅 21 Apr '16

21 Apr '16

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の開催のお知らせと講演の募集をさせていただきます。 **************************************************************** * 第二十七回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2016年8月27日（土）午後～8月28日（日） * * 信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 * * * * 開催のお知らせと講演の募集 * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十七回ALGIを開催することになりました。会場の手配などは信州大学の田中康平先生にお願いしています。開催場所は下記のとおりです。信州大学松本キャンパス人文学部・経法学部新棟1階第1講義室 http://www.shinshu-u.ac.jp/guidance/maps/map05.html http://www.shinshu-u.ac.jp/general/extension-courses/pdf/map01-02.pdf 講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。初日は午後から開催いたします。夕方には松本駅周辺で懇親会を計画しています。二日目には代数トポロジーのチュートリアル講演を予定しております。今回のALGIの前後には次のような集会も予定されています。併せて参加をご検討下さい。 2016年度 SLACS(記号論理と情報科学研究集会) 日時：2016年8月25日(木),26日(金) 会場：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール詳細：http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html 「空間の代数的・幾何的モデルとその周辺」日時：2016年8月29日（月）午後〜 8月31日（水）午前会場：信州大学理学部講義棟第一講義室詳細：決まり次第アナウンス予定 ALGIは申し込み不要で自由にご参加いただけます。ただし懇親会については事前に詳細を告知し参加申し込みを受け付けます。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学大学院理工学研究科） ----------------------------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

数学基礎論とその応用
by Makoto Kikuchi 15 Apr '16

15 Apr '16

皆様，以下の要領で数学基礎論全体の研究集会を予定しています．名称：数学基礎論とその応用期間：2016年9月26日（午前）〜29日（木）午後場所：京都大学数理解析研究所今回の集会は全て1時間の招待講演とし，一般の講演募集はしません．午前は日本語による概論的な講演，午後は英語による最近の研究成果の紹介となる予定です．プログラムの詳細は改めてご連絡します．よろしくお願いします．神戸大学　菊池誠

1 0

AWPL-TPLC 2016 and Workshop on Williamson’s Philosoph
by 小野寛晰 13 Apr '16

13 Apr '16

　　　　　　　　　　　The Joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL 2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC 2016) Call for Papers 5 (Wed.) - 8 (Sat.) October, 2016 The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taipei, Taiwan http://www.philo.ntu.edu.tw/lmmgroup/ We are pleased to invite you to submit an abstract of contributed talk to the Joint Conference of AWPL-TPLC 2016. Deadline of the submission: 31 May, 2016. DESCRIPTION OF THE JOINT CONFERENCE This is a joint conference of the Third Asian Workshop on Philosophical Logic (AWPL-2016) and the Third Taiwan Philosophical Logic Colloquium (TPLC-2016) The aim of this conference is to strengthen the connection between logic and philosophy. In particular, we are hoping that more attention in future research will be paid to the philosophical study of logic, specifically, the study of the construction, and application, of logical framework appropriate for not only the analysis of philosophical concepts, but also the theorization of philosophical doctrines. SPECIAL SESSIONS Workshop on Williamson’s Philosophy (organized by S. C.-M. Yang) Workshop on Mereology (organized by H.-C. Tsai) SPEAKERS Plenary/Keynote lectures Robert Goldblatt (Victoria University of Wellington, New Zealand, for workshop on Mereology). Hiroakira Ono (Japan Advance Institute of Science and Technology, JAIST, Japan) Achille C. Varzi (Columbia University, USA, for Workshop on Mereology) Timothy Williamson (Oxford University, UK, for Workshop on Williamson’s philosophy) Invited speakers Katalin Farkas (Central European University, Hungary, on themes from Identity and Discrimination.) Paul Hovda (Reed College, USA, for workshop on mereology) Fenrong Liu (Tsinghua University, China) Hanti Lin (University of California at Davis, USA, on themes from Knowledge and its Limits) Greg Restall (University of Melbourne, Australia, on themes from Modal Logic as Metaphysics.) Nick Smith (University of Sydney, Australia, on themes from Vagueness) Hsing-chien Tsai (Chung-Cheng University, Taiwan, for workshop on mereology) JiJi Zhang (Lingnan University, Hong Kong) SUBMISSION OF ABSTRACTS FOR CONTRIBUTED TALKS All researchers working on various aspects of philosophical logic are cordially invited to submit their abstracts by 31 May, 2016. Please note that deadline for the submission of abstracts for talks contributed to Workshop on Williamson’s philosophy is due 30 April, 2016. Authors should submit an (extended) abstract no less than one page but no more than four pages (A4 size, single space). Abstracts must be submitted as PDF files and sent to D.-M. Deng [dmdeng(a)ntu.edu.tw] H.-C. Tsai [cccsthc(a)gmail.com] (esp. for Workshop on Mereology) S. C.-M. Yang [cmyang(a)ntu.edu.tw] (esp. for Workshop on Williamson’s philosophy) Each submission will be reviewed. The Colloquium is open to everyone, and practical info is available on the website. POST-CONFERENCE PUBLICATION: We are planning to publish a post-conference proceedings for the joint conference. It seems likely that a post-conference proceedings will be published as a volume of the LIAA-series by Springer. All authors of papers presented at the joint conference will be encouraged to submit a full length paper, and the deadline of the submission of full-length manuscripts will be around the end of December of 2016. All papers submitted will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. Detailed information about the submission of full length papers will be announced later. TRAVEL AWARDS Free accommodation and travel awards for students and young researchers have been made available by the local organizing committee. In some cases full compensation of expenses is possible. The details, including general information about the awards and the instructions of application, will be announced later on the website. The deadline for travel award applications is June 30, 2016. However, it is strongly recommended that as long as you have the intention of submitting an abstract, please send us a note at your convenience as hotel-room preservation can be made the earlier the easier. ORGANIZATION COMMITTEE Robert Goldblatt Hanti Lin Fenrong Liu Hiroakira Ono H.-C. Tsai S. C.-M. Yang LOCAL ORGANIZATION COMMITTEE D.-M. Deng (National Taiwan University) H.-C. Fu (Chinese Cultural University) C.-J. Liau (The Institute of Information Science, Academia Sinica) H.-C. Tsai (National Chung Cheng University) K. Y. Lee (National Chung Cheng University) S. C.-M. Yang (Chair) FURTHER CONTACT: For any enquiry/information please contact: D.-M. Deng (dmdeng(a)ntu.edu.tw) S. C.-M. Yang (cmyang(a)ntu.edu.tw) =================================================================== Workshop on Williamson’s Philosophy Call for Papers 6 (Thursday) . 7(Friday) October, 2016 The Program for Logic, Mind and Methodology (LMM), Department of Philosophy, National Taiwan University, Taiwan http://www.philo.ntu.edu.tw/lmmgroup/ You are cordially invited to submit an abstract of contributed talk to the Workshop on Williamson's Philosophy, to be held during the Joint Conference of AWPL-TPLC 2016. Deadline of the submission: 30 April, 2016. Introduction This will be a one-day plus workshop on Timothy Williamson’s philosophy, hosted by the Department of Philosophy, National Taiwan University, during the joint conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium (AWPL-TPLC 2016). In view of the substantial contribution that Professor Timothy Williamson has made in the last few decades to contemporary philosophy, the organizing committee has set as the ultimate priority to organize a one-day plus workshop on Williamson’s philosophy during the joint conference. This project has been approved by Professor Williamson and more importantly he has accepted our invitation to come and join us on this special occasion. The Core Special attention will be paid to themes from Williamson’s five books: . Identity and Discrimination, 2nd ed. (1st ed. 1990), Oxford: Blackwell, 2013. . Vagueness, London: Routledge, 1994. . Knowledge and Its Limits, Oxford: Oxford University Press, 2000. . The Philosophy of Philosophy, Oxford: Blackwell, 2007. . Modal Logic as Metaphysics, Oxford: Oxford University Press, 2013. Keynote speaker: Timothy Williamson (Oxford University, UK) Invited speakers Katalin Farkas (Central European University, Hungary, on themes from Identity and Discrimination.) Greg Restall (University of Melbourne, Australia, Modal Logic as Metaphysics.) Nick Smith (University of Sydney, Australia, Vagueness) Some promising young philosophers from Asia-Pacific area will join us, including Max Deutsch (Hong Kong University): The Philosophy of Philosophy Hanti Lin (University of California at Davis, USA): Knowledge and its Limits Dan Marshall (Lingnan University, Hong Kong): Modal Logic as Metaphysics and more to come. The format (The workshop will contain at least 7 sessions) The workshop will start with a keynote speech by Williamson, followed by four sessions on the 6th of October, and will be continued, together with a final session for Williamson’s replies on the 7th of October. . 1st session (90 mins): (i) A brief introduction (about 5-10 minutes) of Williamson’s contribution in the last few decades (by the chair) (ii) A keynote speech (about 60 minutes plus 10-20 minutes for discussion) by Timothy Williamson . 2nd - 6th sessions: Each session (90 minutes) focuses on one of Williamson’s five books, and includes 4 parts: (i) (3-5 minutes) An introduction to the book under discussion (by the chair) (ii) (60-70 minutes) One talk by an invited speaker, followed by a contributed talk. (iii) (10-15 minutes) Williamson’s replies. (iv) (10-15 minutes) Discussion . 7th session (90 minutes): . (5-10 minutes) A summary from the chair . (30-40 minutes) a final response from Williamson (especially to the talks which are not included in the special workshop) . (20-30 minutes) discussions. Submission of Abstracts for Contributed Talks All researchers who are interested in Williamson’s philosophy are cordially invited to submit their abstracts by 30 April 2016. Authors should submit an (extended) abstract no less than one page but no more than four pages (A4 size, single space). Abstracts must be submitted as PDF files and sent to D.-M. Deng [dmdeng(a)ntu.edu.tw]; S.C.-M. Yang [cmyang(a)ntu.edu.tw] Memo: 1. Associated with each book, there is at least one session, containing two talks to address some issues on the themes of that book. 2. Extra contributed talks will be welcome. If the accepted abstracts for contributed talks on Williamson’s philosophy are more than originally scheduled, the Programme Committee will be very glad to put the extra ones in some other sessions before the conclusion session so that Williamson may have some comments/replies to those speakers as well. 3. A full length manuscript of a contributed talk on this workshop should be sent to the organizer by the 15th of September 2016 in order for Professor Williamson to read it before the workshop. 4. The chair of each session will provide a brief survey of the book (that session focuses on). 5. The organizing committee will try to find some well-known publisher to consider the possibility of publishing a post-conference proceedings, provided this proposal is approved by Williamson. The details will be announced when this proposal is also approved by the publisher. 6. A final remark: Professor Williamson has thoughtfully promised to offer young scholars in Taiwan, who contribute papers to this workshop, a one-on-one tutorial/supervision to discuss their papers before the conference. Tutorial time will be scheduled in two afternoons before the conference. [The details will be announced in due course.] For any enquiry/information please contact: D.-M. Deng (dmdeng(a)ntu.edu.tw) S. C.-M. Yang (cmyang(a)ntu.edu.tw)

1 0

SLACS2016のご案内
by Koji Nakazawa 12 Apr '16

12 Apr '16

みなさま，南山大の佐々木さんの代理で8月に名古屋大で開催される SLACSのお知らせをお送りします．中澤@名大 ======================================================================================================== みなさま 2016年度の「記号論理と情報科学研究集会（SLACS）」を次のように開催します．　日程：2016年8月25日(木),26日(金) 　場所：名古屋大学VBL(ベンチャービジネスラボラトリー)3階ベンチャーホール　招待講演：新屋良磨さんに，形式言語理論に関する，全然知らない人向けの話をお願いしています．　懇親会：25日に予算3500円程度で行う予定です．詳細は，　　　　　　http://www.seto.nanzan-u.ac.jp/~sasaki/SLACS2016.html にあります．完成された話題はもちろん，未完成の話題やこれから考えてみたい話題なども歓迎します．是非とも，参加・講演をご検討ください．講演を希望される方・懇親会参加を希望される方は，　　氏名　　所属　　 e-mail アドレス　　懇親会参加の有無　　 (講演を希望される場合)題目・希望講演時間(30～50分) 　　その他の要望（講演日など）の情報を，　　　　　　 8月16日までに，世話人宛にご連絡ください．世話人：南山大学　佐々木克巳(sasaki(a)nanzan-u.ac.jp) 佐々木克巳 ========================================================================================================

1 0

Fwd: 松山 TGSAセミナーのお知らせ（４月２８日）
by Hiroshi Fujita 12 Apr '16

12 Apr '16

こんにちは。愛媛の藤田です。以下の通り第20回松山TGSAセミナーのお知らせを転送いたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> -------- Forwarded Message -------- Subject: 松山 TGSAセミナーのお知らせ（４月２８日） Date: Mon, 11 Apr 2016 15:09:45 +0000 From: Dmitri SHAKHMATOV <dmitri.shakhmatov(a)dmitri.math.sci.ehime-u.ac.jp> To: fujita.hiroshi.mh(a)ehime-u.ac.jp CC: dmitri.shakhmatov(a)dmitri.math.sci.ehime-u.ac.jp 皆様、「Matsuyama Seminar on Topology, Geometry, Set Theory and their Applications」（松山TGSAセミナー）のお知らせです。 ***** 第20回のセミナー日時: 2016年4月28日（木） 16:30〜17:30 場所: 愛媛大学理学部2号館2階，大演習室 (201号室) 講演者: Vesko Valov (Nipissing University, Canada) 題目: Homological selection theorems Abstract: A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem are established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps. 講演終了後に交流会を予定しています。交流会にご参加いただける方はシャクマトフ <dmitri.shakhmatov(a)ehime-u.ac.jp>までご一報お願い致します。以上、よろしくお願い申し上げます。世話人（五十音順）井上友喜尾國新一シャクマトフディミトリ野倉嗣紀平出耕一平田浩一藤田博司山内貴光 --- ウェブページ： http://www.math.sci.ehime-u.ac.jp/MTGSA.ja.html

1 0

homotopy type theory
by logic＠math.tsukuba.ac.jp 09 Apr '16

09 Apr '16

昨日差し上げたものはだいぶ誤植があったので、修正したものをお送りします。にしむら筑波大学数学追伸:オマケです。手持無沙汰な折にでもどうぞ。 https://www.youtube.com/watch?v=lVTXNa4UMHs

1 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml April 2016