Logic-ml

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

1792 discussions

Kobe Colloquium on Logic, Statistics and Informatics, August 21 (Arkady Leiderman)
by Joerg Brendle 09 Aug '15

09 Aug '15

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2015年8月21日（金）16:00-17:00 講演者：Arkady Leiderman （ベングリオン大学）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Open G-bases and compact resolutions in topological groups and locally convex spaces. アブストラクト： A (Hausdorff) topological group G is said to have a {G}-base if G admits a base of neighbourhoods of the unit {U_alpha: alpha in N^N} such that U_alpha is contained in U_beta whenever beta leq alpha for all alpha, beta in N^N. The class of all metrizable topological groups is a proper subclass of the class TG_{G} of all topological groups having a {G}-base. A relation to the known combinatorial cardinal invariants b and d has been established: If a topological group G is in TG_{G}, then chi(G) in { 1, aleph_0 } cup [b,d]. We prove that a topological group G is metrizable iff G is Fréchet-Urysohn and has a {G}-base. We also show that any precompact set in a topological group G in TG_{G} is metrizable, and hence G is strictly angelic. We deduce from this result that an almost metrizable group G is metrizable iff G has a {G}-base. Characterizations of metrizability of topological vector spaces, in particular C_c(X), are given using {G}-bases. We obtain a result stating that if X is a submetrizable k_omega-space, then the free abelian topological group A(X) and the free locally convex topological space L(X) have a {G}-base. Another class TG_CR of topological groups with a compact resolution swallowing the compact sets appears naturally in this article. We show that the classes TG_CR and TG_{G} in some sense are dual to each other. We show also that the strong Pytkeev property for general topological groups is closely related to the notion of a {G}-base. We pose a dozen open questions. References: 1) On topological groups with a small base and metrizability, Saak Gabriyelyan, Jerzy Kąkol and Arkady Leiderman, Fund. Math. 229 (2015), 129-158. 2) The strong Pytkeev property for topological groups and topological vector spaces*,* S. S. Gabriyelyan , J. Ka̧kol and A. Leiderman, Monatshefte für Mathematik, December 2014, Volume 175, Issue 4, pp 519-542. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 03 Aug '15

03 Aug '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ 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. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

MACIS 2015
by Akitoshi Kawamura 01 Aug '15

01 Aug '15

皆様ニューヨーク大の葉先生の御依頼により、本年11月にドイツで開催される Sixth International Conference on Mathematical Aspects of Computer and Information Sciences http://macis2015.zib.de/ の御案内をお送り致します。詳しくはウェブページをご覧下さい。締切間近のお知らせですみませんが、短篇の投稿区分もありますので、御検討いただければ幸いです。河村彰星東京大学総合文化研究科広域システム科学系 --------------------------------------------------------- Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) November 11-13, 2015 Zuse Institute Berlin (ZIB) http://macis2015.zib.de/ --------------------------------------------------------- MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity and their embedding in larger logical systems. At the algorithmic level, there is the rich interplay along the Numerical/Algebraic/Geometric/Topological axes. At the logical level, there are issues of data organization, interpretation and associated tools. These issues often arise in scientific and engineering computation where we need experimental and case studies to validate or enrich the theory. MACIS is interested in outstanding and emerging problems in all these areas. MACIS 2015 will be held in the renowned Zuse Institute Berlin (ZIB) located in the south-west area of the capital of Germany, very close to the north campus of the Freie Universitaet Berlin. Named after Konrad Zuse, the inventor of the first programmable computer, ZIB is an interdisciplinary research institute for applied mathematics and data-intensive high-performance computing. Its research areas in modeling, simulation and optimization in partnership with academia and industry is exemplary of the goals of MACIS. MACIS 2015 aims to span two conference cultures, that of computer science and of mathematics: mathematical conferences allow informal presentations in order to allow rapid dissemination of ideas and feedback from the community. But their talk abstracts are expected to turn into peer-reviewed journal papers. Computer science conferences expect close to final research papers that appear in pre-conference proceedings. Often such papers might be the only publication (perhaps because the field has moved on). In recognition of the value of both modes of scientific communication, MACIS 2015 will accept two categories of papers, SHORT and REGULAR. To facilitate your travel planning, we will make decisions on SHORT papers on a rolling basis, normally 10-15 days after submission. All accepted SHORT or REGULAR papers will appear in a post-conference proceedings published by LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal Mathematics in Computer Science (MCS http://www.cc4cm.org/mcs) by Birkhauser/Springer. For details, see http://macis2015.zib.de/ Important Dates Deadline for all Submissions: Aug 11, 2015 (SHORT papers are decided on a rolling basis) Notification of Decision for REGULAR Papers: Sep 30, 2015 Camera-ready copy due: Nov 30, 2015 Conference: November 11-13, 2015

1 0

FLOPS2016 論文募集
by Yukiyoshi Kameyama 31 Jul '15

31 Jul '15

皆様、(重複して受け取られた場合は、御容赦ください。) 国際会議FLOPS2016 -- Functional and Logic Programming -- の論文募集(2回目)をお送りします。投稿締切は 9/14 (金) です。論文投稿をよろしくおねがいします。 News 1. Best paper award を設定することになりました。 2. 招待講演者としてお二人が決まりました。 - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity 3. ACM SIGPLAN の後援 (in cooperation with ACM SIGPLAN) が決まりました。 -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam --------------------------------------------------------------------- FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 3-6, 2016, Kochi, Japan Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ New: best paper award; in-cooperation with ACM SIGPLAN; two invited talks Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates Monday, September 14, 2015 (any time zone): Submission deadline Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Invited Talks - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres Loeh Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow PivotCloud, USA Marc Pouzet Ecole normale superieure, France Vitor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp

1 0

CSセミナーin桐生
by Fujita Kenetsu 27 Jul '15

27 Jul '15

(* Apologies for any cross-postings. *) 皆様，暑中お見舞い申し上げます．コンピュータ・サイエンスのセミナーのご案内です．　http://www.cs.gunma-u.ac.jp/~fujita/research/20150730Seminar.html どうぞお気軽にお越し下さい．問い合わせ先：群馬大学　藤田憲悦 fujita(a)cs.gunma-u.ac.jp ****************************** +++Computer Science Seminar in Kiryu+++ Programme Thursday, July 30, 2015 15:00--16:30 in the media room Kiryu Campus, Gunma University "Gödel logics, Hyper Sequent Calculus, and Hyper Natural Deduction" Prof. Preining Norbert (JAIST) Abstract: In this talk we introduce Gödel logics, one of the few many-valued logics with well-behaved (e.g., axiomatizable) first order logic, the Hyper Sequent Calculus which provides an analytic sequent calculus admitting cut-elimination, and Hyper Natural Deduction, an extension of Gentzen's Natural Deduction for Intuitionistic Logic. We show that Hyper Natural Deduction is sound and complete for Gödel Logic, and discuss normalization for the new system. ****************************** Access to Kiryu campus, Gunma University: http://www.st.gunma-u.ac.jp/other/14.html Map of Kiryu campus: http://www.st.gunma-u.ac.jp/other/13.html For more information, please contact at the following \beta-normal form: (\lambda A.fujitA(a)cs.gunmA-u.Ac.jp)a (Ken-etsu Fujita, Gunma University). ----------------------------------------------------------------------------

1 0

ALGIの暫定プログラムのお知らせと懇親会の参加募集
by 西澤弘毅 27 Jul '15

27 Jul '15

logic-mlメーリングリストの皆様，神奈川大学の西澤弘毅と申します。第二十六回 ALGI（代数，論理，幾何と情報科学研究集会）の暫定プログラムのお知らせと懇親会の参加募集をさせていただきます。また、講演の募集も引き続きお待ちしています。 **************************************************************** * 第二十六回 ALGI（代数，論理，幾何と情報科学研究集会） * * * * 2015年8月31日（月）13:45～9月1日（火）12:45 * * 公立鳥取環境大学本部講義棟27講義室（鳥取県鳥取市） * * * * 暫定プログラムのお知らせ * **************************************************************** < 重複してお受け取りの節はご容赦願います。> ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。 ALGIの趣旨や過去の集会の情報がウェブページ http://sakura.imi.kyushu-u.ac.jp/algi/ にありますので、参考までに御覧ください。このたび、第二十六回ALGIを開催することになりました。暫定プログラムを以下に記します。上記のウェブページにも記載されています。８月３１日（月） 13:45 ～ 14:00 オープニング＋連絡など 14:00 ～ 14:30 未定 14:30 ～ 15:00 春山栞（奈良女子大学）（共著者鴨浩靖、酒井千尋、春山栞）演題：ユークリッド幾何の問題の数式処理システムへの応用 15:00 ～ 15:15 休憩 15:15 ～ 15:45 西田美幸（奈良女子大学）（共著者西田美幸、大和田菜摘）演題：証明図エディタの作成(仮) 15:45 ～ 16:15 河野友亮（東京工業大学）演題：最小量子論理の特殊な含意とカット除去定理について 16:15 ～ 16:30 休憩 16:30 ～ 17:00 未定 17:00 ～ 17:30 未定夕方懇親会（鳥取駅周辺）９月１日（火） 9:00 ～ 9:30 蔵岡誉司（国立米子工業高等専門学校）演題：TBA 9:30 ～ 10:00 田中康平（信州大学）演題：Discrete Euler integration and sensor networks 10:00 ～ 10:15 休憩 10:15 ～ 10:45 未定 10:45 ～ 11:15 未定 11:15 ～ 11:30 休憩 11:30 ～ 12:00 未体 12:00 ～ 12:30 未定 12:30 ～ 12:45 クロージング＋連絡など懇親会への参加を希望される方は、8/27（木）までに西澤 (nishizawa AT kanagawa-u.ac.jp) にメールでお知らせください。引き続き講演も募集しておりますので、講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・希望時間・講演に必要な道具などの情報を西澤までお寄せください。なお、会場の手配などは公立鳥取環境大学の吉田聡先生にお願いしています。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。西澤弘毅（神奈川大学工学部）古澤仁（鹿児島大学理学部） -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

TPP2015 Theorem Proving and Provers 集会のお知らせ
by Jacques Garrigue 27 Jul '15

27 Jul '15

Dear all, (English letter and CFP below) 今年のTPP（Theorem Proving and Provers meeting）の案内をお送りします。是非参加をご検討頂きたく、何卒よろしくお願いいたします。 TPP2015幹事 (神奈川大学　木下佳樹) （今年は準備をJacques Garrigue さんにもお手伝いいただいています。感謝。） -------------------------[CFP: TPP2015]------------------------------- TPPミーティングについてのご案内です．第11回 TPPミーティングを 9月16日(水)-17日(木) に神奈川大学理学部情報科学科（平塚市）にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．ミーティング期間中の討論 (discussion) を大切にしたいと考えていますので出来上がった仕事の講演だけでなく、進行中の仕事、未完成の仕事についての講演も歓迎します。参加者には可能な限りご講演いただきたいと希望しています。日時： 2015年 9月16日(水) 13:00頃〜 9月17日(木) 15:00頃　（予定）場所：神奈川大学湘南ひらつかキャンパス　11号館サーカムホール〒259-1293 神奈川県平塚市土屋2946 参加者と講演の概数を把握したいので、参加される（かもしれない）方は、 8月31日までに下の参加申し込みを下記メールアドレスまでお送りください．＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊　参加（するかもしれない）申込締切：　８月３１日＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊申込み・問い合わせ先: yoshiko(a)progsci.info.kanagawa-u.ac.jp (神奈川大学理学部情報科学科木下佳樹研究室松本佳子) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ ------------------------------------------------------------------------- TPP 2015 参加申し込みお名前：ご所属：参加　　　　：する／するかもしれない講演　　　　：する／しない講演する場合　講演題目：　　（TBAでもかまいません．）　概要：懇親会に参加：する／しない ------------------------------------------------------------------------- ========================================================================= This is a call for participation for the 11th TPP meeting (Theorem Proving and Provers meeting), to be held on Sep. 16(Wed) - 17(Thu), 2015 at Kanagawa University. Date and Time: 2015/9/16 around 1pm to 9/17 around 3pm Place: Shonan-Hiratsuka Campus, Kanagawa University Circum Hall (Bld. 11) TPP is a series of annual meetings for developers as well as users of theorem provers. Discussions from various aspects as well as exchanges of ideas took place in the past ten meetings. We regard the discussions during the meeting to be most important. As such, not only the talks about completed work, but those about ongoing work and half-baked work are also welcome. We hope all participants would consider giving a talk. If you are planning to attend the meeting, even if not yet decided to do so, please send the information slip below to the indicated address by 31 August. ***************************************** * participation application deadline: 31 August, 2015. ***************************************** Submission/questions to: yoshiko(a)progsci.info.kanagawa-u.ac.jp (Keiko Matsumoto , Kinoshita lab.) URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ ------------------------------------------------------------------------- TPP 2015 Registration Name: Affiliation: Will participate: Yes/No/Maybe Will give a talk: Yes/No In case of Yes: Title: (If it is not decided yet, TBA is OK.) Abstract: Will join the dinner: Yes/No -------------------------------------------------------------------------

1 0

Kobe Colloquium (July 28, 2015, J. Makowsky)
by fuchino＠diamond.kobe-u.ac.jp 23 Jul '15

23 Jul '15

Kow Colloquium on Logic, Statistics and Informatics =================================================== 以下の要領でコロキウムを開催します。日時：2015年7月28日（火）13:30 -- 15:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者： Johann Makowsky (https://en.wikipedia.org/wiki/Johann_Makowsky) ======================================================================== 題目： Is P=NP over fields and rings? ======================================================================== アブストラクト： We discuss the complexity classes P and NP for algebraic computation (Blum-Shub-Smale model of computation) over fields and rings. We present Poizat' Theorem relating P=NP to quantifier elimination. We discuss the current state of affairs and relate it to descriptive complexity theory in the Turing model. ======================================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：渕野昌 fuchino(a)diamond.kobe-u.ac.jp

1 0

講演のお知らせ (吉田展子さん，7/29)
by Atsushi Igarashi 22 Jul '15

22 Jul '15

皆様，京都大学の五十嵐です．以下の内容で，イギリス Imperial College の吉田展子さんによる講演を行います．奮ってご参加ください．吉田さんは当日午前中から夕方まで京大におり，懇親会(18:00頃から四条方面で)を企画しております．日中お話をされたい方や懇親会に参加できる方は五十嵐まで(日中の場合は希望の時間帯を)ご連絡ください．日時: 7/29(水) 14:45〜16:00(ごろ) 場所: 京都大学吉田キャンパス総合研究７号館１階情報２講義室タイトル: Multiparty Session Types and their Applications Abstract: In this talk, I give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. I shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. I then talk about the recent developments in Scribble and the runtime session monitoring framework used in the OOI CI. Finally I summarise our recent other results on Multiparty Session Types. -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

CFP: 43rd TRS Meeting
by Yoshihito Toyama 21 Jul '15

21 Jul '15

Call for Participation 43rd TRS Meeting September 8 - 10, 2015, Morioka, Japan http://www.nue.riec.tohoku.ac.jp/trs-meeting15/ The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Date: September 8th (Tue) - 10th (Thu), 2015 Venue: Yumori Hotel Taikan http://www.japanican.com/en/hotel/detail/2327001/?aff=rsv http://www.hotel-taikan.com/ Fee: 10,086 yen / day (inc. breakfast, dinner and tax) Tentative Schedule: Opening 13:30, September 8 / Closing 12:00, September 10 Registration: Please fill in the following registration form and send it to our secretary Sagae-san (sagae [at] nue.riec.tohoku.ac.jp) by e-mail no later than August 19 (Wed). Items marked with * can be sent later. -------------------------------------------------------------------- Registration Form of the 42nd TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): -------------------------------------------------------------------- Further information can be found at the website of the meeting. Best regards, Takahito Aoto and Yoshihito Toyama Research Institute of Electrical Communication Tohoku University

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml