より非公式な，Logic and Semantics Seminar も並行して行っています．
 Toru Takisaka (RIMS, Kyoto University) On large scale geometries of infinite strings 11:0012:00, 15 June, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Taichi Uemura (RIMS, Kyoto University) Fibred Fibration Categories 11:0012:00, 15 June, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Takuma Imamura (RIMS, Kyoto University) Analogies between small scale topology and large scale topology from the nonstandard perspective 11:0012:00, 14 June, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Hisashi Aratake (RIMS, Kyoto University) Bicategory of Theories as an Approach to Model Theory 11:0012:00, 14 June, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Ugo Dal Lago (University of Bologna) Context Equivalences and Metrics in Probabilistic LambdaCalculi 11:0012:00, 25 May, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Kenta Cho (Radboud University Nijmegen) An EffectusTheoretic Perspective on Probabilistic Programming 11:0012:00, 16 Feb, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Marc Bagnol (JSPS Postdoctoral Fellow, University of Tokyo) MultiplicativeAdditive Proof Equivalence is Logspacecomplete 11:0012:00, 9 Feb, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Leo Stefanesco (Ecole Normale Supérieure de Lyon) Asynchronous Games and Concurrent Separation Logic 11:0012:00, 2 Feb, 2017 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Nao Hirokawa (Japan Advanced Institute of Science and Technology) Basic Normalization 11:0012:00, 22 Dec, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Kei Matsumoto (RIMS, Kyoto University) Coherence Spaces and Uniform Continuity 11:0012:00, 8 Dec, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Bakh Khoussainov (University of Auckland) and Toru Takisaka (RIMS, Kyoto university) On large scale geometries of infinite strings 11:0012:00, 1 Dec, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Nayuta Yanagisawa (Dept. of Math., Kyoto University) Generalized Homogeneous Polynomials for Efficient WaitFree Solvability of Colorless Tasks in Anonymous SharedMemory Model 11:0012:00, 27 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract

末永幸平(京都大学情報学研究科/ JST PRESTO)
Generalized Homogeneous Polynomials for Efficient
TemplateBased Nonlinear Invariant Synthesis
(Joint work with Kensuke Kojima and Minoru Kinoshita) 11:0012:00, 20 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract  Adam Prenosil (Czech Academy of Sciences) Classical proof theory, nonclassically 11:0012:00, 13 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 山形賴之 (産業技術総合研究所) 11:0012:00, 6 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Jun Maillard (ENS) Lifting monads (and more) along fibrations 11:0012:00, 2 Aug, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Takuma Imamura (RIMS, Kyoto University) Nonstandard Algebraic Topology of Uniform Spaces. 11:0012:00, 14 Jul, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Kazushige Terui (RIMS, Kyoto University) Inductive vs. impredicative: a lambdacalculus perspective. 11:0012:00, 7 Jul, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 西村進（京都大学理学部数学教室） Carrier Complex: A Poset Topology for Finding Distributed Protocols. 11:0012:30, 30 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Nicolas Wu (University of Bristol) Monad Transformers and Modular Algebraic Effects: What Binds Them Together . 11:0012:30, 29 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 浦本武雄（京都大学数理解析研究所） On a reformulation of Eilenberg's variety theory. 11:0012:30, 23 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 上村太一（京都大学数理解析研究所） Fibred Fibration Categories. 11:0012:30, 16 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Bakhadyr Khoussainov (University of Auckland) Open questions in the theory of automatic structures. 11:0012:30, 7 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract (in Japanese)
 滝坂透（京都大学数理解析研究所） On coalgebraic characterization of algorithmic randomness. 11:0012:30, 2 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract (in Japanese)
 長谷川真人（京都大学数理解析研究所） プログラム意味論・テンソル圏・量子トポロジー 11:0012:30, 26 May 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 片岡俊基(東京大学) Categorical Nonstandard Analysis 11:0012:30, 28 April 2016 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract

由水輝(東京大学)
Multitoken Geometry of Interaction in Concurrent Computation
(Joint work with Ugo Dal Lago and Ryo Tanaka) 11:0012:30, 28 April 2016 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract  佐藤哲也（京都大学数理解析研究所） Approximate Relational Hoare Logic for Continuous Random Samplings 11:0012:00, 21 April 2016 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 上村太一（京都大学数理解析研究所） Fibred Fibration Categories 11:0012:00, 21 January 2016 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Tarmo Uustalu (Institute of Cybernetics, Tallinn) From stateful to stackful computation (Joint work with Danel Ahman) 11:0012:00, 14 January 2016 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Masahiko Sato (Professor Emeritus, Kyoto University) Proof Theory of the $\lambda$calculus. 11:0012:00, 17 December 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Marco Gaboardi (University of Dundee) Verifying Differentially Private Bayesian Inference. 11:4512:30, 15 October, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract

Stephen Chong (Harvard University)
Cryptographic Enforcement of LanguageBased Erasure.
(Joint work with Aslan Askarov, Scott Moore, and Christos Dimoulas) 11:0011:45, 30 October, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract  Petr Cintula (The Czech Academy of Sciences) Logic and mathematics with latticevalued predicates. 11:0012:00, 29 October, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 本浦 庄太(京都大学数理解析研究所) A General Framework for Modal Correspondence in Dynamic Epistemic Logic. 11:0012:00, 15 October, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Matthew de Brecht (情報通信研究機構・脳情報通信融合研究センター) Towards a descriptive set theory for QCB spaces. 11:0012:00, 25 June, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 松本 慧(京都大学数理解析研究所) Coherence Spaces for Computable Analysis (Joint work with Kazushige Terui) 11:0012:00, 4 June, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 浦本 武雄(京都大学数理解析研究所) 副有限monoidの有限表現の圏の公理的特徴付けと，その応用について 11:0012:00, 28 May, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Kazuto Yoshimura (Japan Advanced Institute of Science and Technology) A brief introduction to the theory of the Weihrauch lattice 11:0012:00, 23 Apr, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 勝股 審也(京都大学数理解析研究所) Codensity Liftings of Monads (Joint work with Tetsuya Sato) 11:0012:00, 16 Apr, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Gergei Bana(INRIA ParisRocquencourt) Formal Verification of ComplexityTheoretic Properties of Security Protocols 11:0012:00, 26 Mar, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Maria Emilia Maietti(University of Padova) Why developing mathematics in a twolevel foundation 15:3017:30, 13 Mar, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Giovanni Sambin(University of Padova) A new foundation of constructive mathematics 50 years after Bishop's FCA 15:3017:30, 13 Mar, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Adam Chlipala(Massachusetts Institute of Technology) Ur/Web: A Simple Model for Programming the Web 16:3017:30, 1 Dec, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 勝股 審也(京都大学数理解析研究所) Parametric Effect Monads and Semantics of Effect Systems 11:0012:00, 4 Sep, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 西村 進(京都大学数学教室) 公平な並列実行のためのゲーム意味論 11:0012:00, 4 Sep, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 浦本 武雄(京都大学数学教室) On an algebraic method of deciding logical properties of programs 11:0012:00, 1 Sep, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 山本 健太郎(京都大学数理解析研究所) On the computational power of algorithmically random machine constants in BlumShubSmale machines (Joint work with Akitoshi Kawamura) 11:0012:00, 29 May, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 佐藤 哲也(京都大学数理解析研究所) Identifying All Preorders on the Subdistribution Monad 11:0012:00, 29 May, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 柳澤 名由太(京都大学数学教室) Topological Methods in Distributed Computing 11:0012:00, 8 May, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 浦本 武雄(Department of Mathematics, Graduate School of Science, Kyoto University) A Modified Completeness Theorem of KAT 11:0012:00, 17 Apr, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 長谷川 真人(京都大学数理解析研究所) プログラム意味論と量子トポロジー（進捗報告） 11:0012:00, 10 Apr, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 Shohei Izawa(Tohoku University) べき等縮約を通じて見る代数系の圏 11:0012:00, 13 Feb, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 Professor Emeritus Masahiko Sato Viewing lambda terms through maps (Joint work with Randy Pollack, Helmut Schwichtenberg and Takafumi Sakurai) 11:0012:00, 14 Nov, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Paul Blain Levy(University of Birmingham) A callbypushvalue tutorial 13:0014:40, 11 Oct, 2013 (incl. 10min break) Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 佐藤 哲也(京都大学数理解析研究所) Simulations for Discrete Probabilistic Systems via Preorder TTLiftings 11:0011:45, 29 Aug, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 西村 進(Department of Mathematics, Graduate School of Science, Kyoto University) A Fully Abstract Game Semantics for Parallelism with NonBlocking Synchronization (A talk to be presented at CSL'13) 11:0011:45, 22 Aug, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Kenji Maillard(Ecole Normale Superieure) Looking for the lost Hopf algebras 11:0012:00, 18 Jul, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 長谷川 真人(京都大学数理解析研究所) Traced *autonomous categories are compact closed (Joint work with Tamas Hajgato) 11:0012:00, 9 May, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 滝坂 透(京都大学数理解析研究所) On quantum Kolmogorov complexities and their relationships 11:0012:00, 9 May, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 浦本 武雄(京都大学数学教室) A nonCartesian extension of Galois categories? 11:0012:00, 11 Apr, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 佐藤 哲也(京都大学数理解析研究所) Preorders on Monads and Coalgebraic Simulations(Joint work with Shinya Katsumata) 11:0012:00, 14 Mar, 2013 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Kazushige Terui(京都大学数理解析研究所) Herbrand's theorem via hypercanonical extensions 11:0012:00, 29 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 浦本 武雄(京都大学数学教室) 淡中双対としての副有限完備化 11:0012:00, 22 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 Shota Motoura(京都大学数理解析研究所) On the semantic meaning of reduction axioms in Public Announcement Logic 11:0012:00, 15 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 浦本 武雄(京都大学数学教室) 半表現関数環によるモノイドの副有限完備化 11:0012:00, 1 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 浦本 武雄(京都大学数学教室) 半群の表現関数 11:0012:00, 18 Oct, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 星野 直彦(京都大学数理解析研究所) Step Indexed Realizability Semantics for a CallbyValue Language Based on Basic Combinatorial Objects 11.0012.00,21 Jun, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 宮部 賢志(京都大学数理解析研究所) Schnorr triviality is equivalent to being a basis for ttSchnorr randomness 11.0012.00, 7 Jun, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) 概要
 Vivek Nigam(Ludwig Maximilian University of Munich) An Extended Framework for Specifying and Reasoning about Proof Systems 14.30  15.30,28 May 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Hugo Herbelin(Laboratoire PPS, CNRS, INRIA & Universite Paris Diderot) Classical callbyneed sequent calculi: The unity of semantic artifacts 16.00  17.00,28 May 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 照井 一成(京都大学数理解析研究所) Semantic evaluation, intersection types and complexity of simply typed lambda calculus 11.00 ,17 May 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Chungchieh Shan(Cornell大学/筑波大学) Functional modularity in the lambda calculus 11.00 ,15 May 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 PaulAndre Mellies(CNRS, Paris VII) Braided notions of dialogue categories 11.00 ,19 April 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Stefano Berardi(University of Torino) A Topology over a set of Knowledge States and a Fixed Point Problem 11.00 ,February 2nd 2012 Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 Rune Harder Bak The absolute Galois group  a number theoretic introduction to the Langlands program 11.00 ,Thursday January 19th Rm 478, Research Building 2, Main Campus, Kyoto University(next to the CS room)(map) Abstract
 JeanYves Girard(IML Marseille & RIMS Kyoto) A SECOND LOOK AT PROOFNETS １月１２日 １１：００～ 総合研究2号館 478号室(CS室のとなりです)(map) Abstract
 宮部 賢志 (京都大学数理解析研究所) Kurtzランダムネスの微分定理による特徴付け 11.00  12.00, Thursday 17 November 2011 総合研究2号館 478号室(CS室のとなりです)(map) 概要
 Sebastian Fischer (国立情報学研究所) Generate, Test, and Aggregate A Calculational Framework for Systematic Parallel Programming with MapReduce (Joint work with Kento Emoto (Tokyo University) and Zhenjiang Hu (NII Tokyo)) 11.00  12.00, Thursday 1 September 2011 総合研究2号館 478号室(map) Abstract
 末永 幸平 (JSPS Research Fellow (PD), Kyoto University) Programming with Infinitesimals: A WHILELanguage for Hybrid (Joint work with Ichiro Hasuo) 11.00  12.00, Thursday 21 July 2011 総合研究2号館 478号室(map) Abstract
 長谷川 真人 (京都大学数理解析研究所) もつれたソフトウェアを解きほぐす数学 2011年6月30日 11:00  12:00 総合研究2号館 478号室(map) 概要
 星野 直彦 (京都大学数理解析研究所) Semantics for higherorder quantum computation via Geometry of Interaction 2011年6月16日 11:50?  12:40? 総合研究2号館 478号室(map) Abstract
 宮部 賢志 (京都大学数理解析研究所) Characterizing randomness by integral tests 2011年6月16日 11:00  11:50? 総合研究2号館 478号室(map) Abstract
 Michele Basaldella (京都大学数理解析研究所) A gentle introduction to ludics 11.00  12.00, Thursday 21 April 2011 総合研究2号館 478号室(地図) 概要
 Yde Venema (Institute for Logic, Language and Computation Universiteit van Amsterdam) Coalgebra automata (towards a universal theory of automata) 11.00  12.00, Thursday 17 March 2011 総合研究2号館 478号室(地図) 概要
 丸山善宏 (Department of Humanistic Informatics, Kyoto Univ.) Natural Duality, Modality and Coalgebra 11.00  12.00, Tuesday 8 March 2011 総合研究2号館 478号室(地図) 概要
 長谷川 立 (東京大学) Combinatorial enumeration model を用いた ChurchRosser 性の証明 111.00  12.00, Februrary 24th (Thu) 総合研究2号館 478号室(地図) 概要
 西村 進 (京都大学数学教室) Calculating Tree Navigation with Symmetric Relational Zipper 11.00  12.00, Thursday 20 January 2011 総合研究2号館 478号室(地図) 概要
 末永 幸平 （リスボン大学） Fractional Ownerships for Safe Memory Deallocation 11.00  12.00, Thu 2 Dec 2010 総合研究2号館 478号室(地図) 概要
 照井 一成 (京都大学数理解析研究所) Church => Scott = Ptime: an application of resource sensitive realizability 11.00  12.00, Thu 25 Nov 2010 総合研究2号館 478号室(地図) 概要
 石田 和 (京都大学数理解析研究所) 非可換線型論理と第二量子化 11.00  12.00, Thursday 28 Oct 2010 総合研究2号館 478号室(地図) 概要
 蓮尾 一郎 (京都大学数理解析研究所) Generic Forward and Backward Simulations II:Probabilistic Simulation 11.00  12.00, Thursday 26 Aug 2010 総合研究2号館 478号室(地図) 概要
 勝股 審也 (京都大学数理解析研究所) Categorical Descriptional Composition 11.00  12.00, Thursday 29 July 2010 総合研究2号館 478号室(地図) 概要
 長谷川 真人 (京都大学数理解析研究所) Smallstep and bigstep semantics for callbyneed (joint work with Keiko Nakata) 11.00  12.00, Thursday 15 July 2010 総合研究2号館 478号室(地図) 概要
 星野 直彦 (京都大学数理解析研究所) A modification of GoI interpretation for DILL 11.00  12.00, Thursday 24 June 2010 総合研究2号館 478号室(地図) 概要
 浦本 武雄 (京都大学数学教室) ++construction and filtration 11.00  12.00, Thursday 17 June 2010 総合研究2号館 478号室(地図) 概要
 宮部 賢志 (京都大学数理解析研究所) 一般位相空間上のランダムネス 11.00  12.00, Thursday 10 June 2010 総合研究2号館 478号室(地図) 概要
 長谷川 真人 (京都大学数理解析研究所) Traced monoidal categories and semantics of programming languages 10.00  10.45, Thursday 3 June 2010 総合研究2号館 478号室(地図) 概要
 長谷川 真人 (京都大学数理解析研究所) A quantum double construction in Rel 11.00  12.00, Thursday 3 June 2010 総合研究2号館 478号室(地図) 概要
 PierreMarié Pedrot (ENS Lyon & RIMS, Kyoto Univ.) Yet another effectmanipulating language 11.00  12.00, Thursday 27 May 2010 総合研究2号館 478号室(地図) 概要
 蓮尾 一郎 (京都大学数理解析研究所) Crash Introduction to Coalgebra (A primer to the subsequent talk) 10.00  11.00, Thursday 20 May 2010 総合研究2号館 478号室(地図) 概要
 蓮尾 一郎 (京都大学数理解析研究所) Coalgebraic Representation Theory of Fractals (Act 2) 11.00  12.00, Thursday 20 May 2010 総合研究2号館 478号室(地図) 概要
 Alexis Saurin (PPS, Univ. Paris 7) A hierarchy for delimited control in callbyname 11.00  12.00, Tuesday 26 April 2010 総合研究2号館 478号室(地図) 概要
 Bart Jacobs (Radboud Univ. Nijmegen) Scalars, monads and categories 10.30  11.15, Thursday 11 March 2010 理学部3号館 305号室(地図) 概要
 Bart Jacobs (Radboud Univ. Nijmegen) Basics of involutive categories and monoids 11.15  12.00, Thursday 11 March 2010 理学部3号館 305号室(地図) 概要
 中田 景子 (Institute of Cybernetics, Tallinn University of Technology) A Hoare logic for the tracebased coinductive semantics of While 11.00  12.00, Monday 8 March 2010 理学部3号館 305号室(地図) 概要
 Ross Duncan (Oxford University Computing Laboratory) Quantum Logic, Quantum Computation and the Proof Theory of Compact Categories 10.30  12.30, Friday 12 February 2010 理学部3号館 305号室(地図) 概要
 Ross Duncan (Oxford University Computing Laboratory) Complementarity in Categorical Quantum Mechanics 14.45  16.45, Friday 12 February 2010 理学部3号館 305号室(地図) 概要
 Irek Ulidowski (University of Leicester) Reverse Bisimulations on Stable Event Structures 11.00  12.00, Thursday 10 December 2009 理学部6号館 203P号室(地図) 概要
 Etienne Duchesne (RIMS, Kyoto University) Geometry of interaction and denotational semantics 11.00  12.00, Thursday 19 November 2009 理学部6号館 203P号室(地図) 概要
 Claudia Faggian (PPS, Paris 7) Partial orders, event structures, and linear strategies (Joint work with Mauro Piccolo) 11.00  12.00, Thursday 12 November 2009 理学部6号館 203P号室(地図) 概要
 蓮尾 一郎 (京都大学数理解析研究所) Coalgebraic Representation Theory of Fractals 11.00  12.00, Thursday 1 October 2009 理学部6号館 203P号室(地図) 概要
 西村 進 (京都大学数学教室) Refining Exceptions in FourValued Logic 11.00  12.00, Thursday 9 July 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Chris Heunen (Radboud Univ. Nijmegen) An embedding theorem for Hilbert categories 11.00  12.00, Tuesday 16 June 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Bartek Klin (Cambridge Univ. & Warsaw Univ.) SOS for weighted transition systems 11.00  12.00, Tuesday 9 June 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Chris Heunen (Radboud Univ. Nijmegen) A (topo)logical structure for state spaces 10.00  11.00, Tuesday 9 June 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Rasmus Møgelberg (IT Univ. Copenhagen) A nominal relational model for local state 11.00  12.00, Thursday 4 June 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Michele Basaldella (RIMS, Kyoto Univ.) On the meaning of logical completeness 11.00  12.00, Thursday 28 May 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 春名 太一（神戸大学大学院理学研究科 & JST さきがけ） システム生物学研究におけるカテゴリー論の使い方 11.00  12.00, Thursday 21 May 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Aloïs Brunel (ENS Lyon) An introduction to Classical Realizability 11.00  12.00, Thu 14 May 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Kazushige Terui (RIMS, Kyoto U.) Expanding the realm of systematic proof theory 11.00  12.00, Thu 7 May 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Bart Jacobs (Radboud Univ. Nijmegen) Coalgebraic and Monoidal Traces 11.00  12.00, Thu 9 Apr 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Bart Jacobs (Radboud Univ. Nijmegen) Quantum Logic in Dagger Kernel Categories 11.00  12.00, Fri 3 Apr 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Jun Pang (Univ. Luxembourg) Measuring Votercontrolled Privacy 16.00  17.00, Fri 13 Mar 2009 Room 202, RIMS, Kyoto University 概要
 PaulAndré Melliès (Univ. Paris VII) Game Semantics in String Diagrams 11.00  12.00, Thu 15 Jan 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Ana Sokolova (Univ. Salzburg) Expressivity of modal logics for probabilistic systems 11.00  12.00, Thu 4 Dec 2008 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Daisuke Kimura (National Inst. Informatics) Computational duality and Logical duality 11.00  12.00, Thu 27 Nov 2008 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Ana Sokolova (Univ. Salzburg) Classification of Probabilistic Systems 16.00  17.00, Wednesday 19 Nov 2008 Room 202, RIMS, Kyoto University 概要
 末永 幸平（東北大学大学院情報科学研究科） 割り込み入り並行計算のための型を用いたデッドロック解析 13.00  14.00, Monday 27 Oct 2008 Room 202, RIMS, Kyoto University 概要
 Michele Basaldella (RIMS, Kyoto Univ.) Ludics with repetitions: exponentials, interactive types and completeness (Joint work with Claudia Faggian, PPS, CNRSParis 7) 11.00  12.00, Thursday 23 Oct 2008 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) 概要
 Patrick Baillot (ENS Lyon) Light Logics, Optimal Lambda Calculus Reduction and Implicit Computational Complexity 11.00  12.00h, Thursday 16 Oct 2008 Room 102, RIMS, Kyoto University 概要
 南出 靖彦（筑波大学） 証明支援系の基礎 京都大学数理解析研究所 102号室 概要
 ワークショップ 「計算機にまつわる喫緊の問題を解決するための数学的手法」 (RIMS共同研究) 京都大学数理解析研究所 2階 202会議室 概要
 香川考司（香川大学工学部） 関数型プログラミング言語Haskellの理論と応用 (数理解析特別講義) ２００７年６月１１日（月）・１２日（火）、７月９日（月）・１０日（火） １３：３０１７：００ 京都大学数理解析研究所１０２号室 概要
 蓮尾一郎 The Microcosm Principle and Concurrency in Coalgebras ２００７年４月２６日（木）１４：００１５：００ 旧工学部７号館・コンピュータサイエンス室 概要
 長谷川 真人 相互作用の幾何、線型分解とトレース付きモノイダル圏 ２００７年４月１１日（水）１６：３０ 京都大学数理解析研究所２０２号室（数理解析研究所談話会） 概要
 Ewen Denney (NASA Ames Research Center，US) Certifiable Program Synthesis ２００６年９月２５日（月）１６：００ 京都大学数理解析研究所２０２号室 概要
 中田 景子 Recursive Modules for Programming (joint work with Jacques Garrigue) ２００６年９月５日（火）１４：００ 京都大学数理解析研究所２０２号室 概要
 勝股 審也 Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement (joint work with Susumu Nishimura) ２００６年９月５日（火）１４：００ 京都大学数理解析研究所２０２号室 概要
 Philip Wadler (University of Edinburgh) Links: Web Programming without Tiers ２００６年４月２８日（金）１４時 京都大学数理解析研究所１階１１５号室 概要
 Philip Wadler (University of Edinburgh) The GirardReynolds isomorphism (second edition) ２００６年４月２８日（金）１６時 京都大学数理解析研究所１階１１５号室 概要
 Martin Berger (Queen Mary, University of London) A Logical Analysis of Aliasing in Imperative HigherOrder Functions ２００６年３月２４日１４：００ 京都大学数理解析研究所１１５号室 概要
 Vincent Schmitt (University of Leicester) Saturated Classes of Colimits ２００５年１２月２７日（火）１１：００ 京都大学数理解析研究所２０２号室 概要
 Irek Ulidowski (University of Leicester) Reversing Algebraic Process Calculi ２００５年１１月２８日（月）１４：００ 理学部６号館６階６０９号室 概要
 結縁祥治 (名古屋大学大学院情報科学研究科) 通信プロセスモデルにおける並行計算の代数的意味 ２００５年７月１６日（火）２２日（金） １４：００１６：００ 理学部数学教室１０９号室（３号館１階） 概要
 Donald Sannella (University of Edinburgh) Mobile Resource Guarantees ２００５年６月２日（木）１４：００ 京都大学数理解析研究所００９号室 概要
 PaulAndre Mellies (Universite Paris VII) An introduction to asynchronous game semantics ２００５年１月２６日（水）１４：００ 京都大学数理解析研究所２０６号室 概要
 中田景子 Recursive ObjectOriented Modules ２００４年１２月１６日（木）１４：００ 数理解析研究所 １１５号室 概要
 Erik Poll (University Nijmegen) From algebras and coalgebras to dialgebras ２００４年１２月１０日（金）１５：００ 数理解析研究所 ００９号室 概要
 中田 景子 相互参照のあるオブジェクト指向モジュールシステム ２００４年９月２日（木）１４：００ 数理解析研究所 １１５号室 概要
 石原 存 下極限に基づく無限項書換え系 ２００４年９月２日（木）１４：００ 数理解析研究所 １１５号室 概要
 西村 進（理・数学） Fusion with Stacks and Accumulating Parameters ２００４年８月１６日（月）１４：００ 理学部６号館 ６０９号室 概要
 大崎 人士（産総研） 書換系とツリー・オートマトン理論: システム検証の自動化を目指して (数理解析特別講義１ 計算理論特別講義) ２００４年７月２６（月） ３０（金） １４：００  １５：３０ 理学部数学教室１０９号室（３号館１階） 概要
 Per MartinLf (University of Stockholm) 佐藤雅彦 (解説/情報学研究科) Types and Categories (情報学研究科 佐藤研究室と共催) ２００４年５月２６日（水）・６月３日（水） １４：３０ 数理解析研究所２０６号室 概要
 西村 進 （理・数学） Correctness of a HigherOrder Removal Transformation through a Relational Reasoning ２００３年１１月２１日（金）１６：００ 数理解析研究所００９号室 概要
 勝股 審也 (LFCS, University of Edinburgh) Behavioural Equivalence and Indistinguishability in HigherOrder Typed Languages ２００３年８月８日（金）１６：００ 数理解析研究所１１５号室 概要
 角谷 良彦 Parameterizations and FixedPoint Operators on Control Categories ２００３年５月２８日（水）１６：００ 数理解析研究所２０６号室 概要
 XML処理手法と理論(XYZ) (京都大学数理解析研究所短期共同研究) ２００３年５月１５日１６日 数理解析研究所１１５号室 概要
 Irek Ulidowski (University of Leicester) Structured Operational Semantics with Orderings on Rules ２００３年４月７日（月）１６：００ 数理解析研究所１０２号室 概要
 Nobuko Yoshida (Department of Computing, Imperial College) Strong Normalisation in the PiCalculus ２００３年３月４日（火）１５：００ 数理解析研究所２０６号室 概要
 Fedor Fomenko (LFCS, University of Edinburgh) Categorical Understanding of Feasible Computations ２００３年２月２６日（水）１６：００ 数理解析研究所２０６号室 概要
 中野 圭介 Composing StackAttributed Tree Transducers ２００３年１月２２日（水）１６：００ 数理解析研究所２０６号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Topology and Computation (数理解析研究所談話会) ２００３年１月８日（水）１６：００ 数理解析研究所２０２号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (5) ２００２年１２月２０日（金）１１：００ 数理解析研究所１１５号室 概要
 第１３回 代数、論理、幾何と情報科学研究集会 (ALGI13) (京都大学数理解析研究所短期共同研究) ２００２年１２月１６日１９日 数理解析研究所１１５号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (4) ２００２年１２月６日（金）１１：００ 数理解析研究所４０２号室 概要
 細谷 晴夫 Regular Expression Filters for XML ２００２年１２月４日（水）１６：００ 数理解析研究所２０６号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (3) ２００２年１１月２２日（金）１１：００ 数理解析研究所４０２号室 概要
 長谷川 真人 Classical Linear Logic of Implications ２００２年１１月２０日（水）１６：００ 数理解析研究所２０６号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (2) ２００２年１１月１５日（金）１１：００ 数理解析研究所４０２号室 概要
 西村 進 Deforesting in Accumulating Parameters via TypeDirected Transformations ２００２年１１月１３日（水）１６：００ 数理解析研究所２０６号室 概要
 Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (1) ２００２年１１月８日（金）１１：００ 数理解析研究所４０２号室 概要
 Jacques Garrigue Relaxing the Value Restriction ２００２年１１月６日（水）１６：００ 数理解析研究所２０６号室 概要
 沢田 潤 （IBM Austin Research Lab） Mechanical Verification of a Square Root Algorithm using Taylor's Theorem ２００２年８月１６日（金）１５：００ 数理解析研究所２０２号室 概要
 五十嵐 淳 （京大・情報） On VarianceBased Subtyping for Parametric Types ２００２年８月５日（月）１６：００ 数理解析研究所２階２０２号室 概要
 住井 英二郎 （東大・情報） Syntactic Logical Relations for Perfect Encryption,HigherOrder References and FirstClass Channels ２００２年８月５日（月）１６：００ 数理解析研究所２階２０２号室 概要
 JeanPhilippe Vert（京都大学化学研究所バイオインフォマティクスセンター） ２００２年７月１２日（金）１６：００１７：００ 数理解析研究所２０２号室 概要
 五十嵐 淳 （京大・大学院情報学研究科） Resource Usage Analysis (数理解析研究所談話会) ２００２年５月１５日（水）１６：００ 数理解析研究所２０２号室 概要
 XML処理における理論的アプローチ (XYZ) (京都大学数理解析研究所短期共同研究) ２００２年４月４日５日 数理解析研究所１１５号室 概要
 Martin Hofmann (University of Muenchen) Another Type System for InPlace Update (Joint work with David Aspinall) ２００２年３月８日（金）１６：００ 数理解析研究所２０６号室 概要
 Lennart Beringer (LFCS, University of Edinburgh) Typing Assembly Programs with Explicit Forwarding ２００１年１１月５日（月）１６：００ 数理解析研究所１１５号室 概要
 長谷川 真人 Linearly Used Effects (Or: A Fully Complete CPS Transform) ２００１年１０月２４日（水）１６：００ 数理解析研究所２０６号室 概要
 細谷 晴夫 型付きXML処理言語XDuce (数理解析研究所談話会) ２００１年１０月１７日（水）１６：００ 数理解析研究所２０２号室 概要
 Jacques Garrigue HindleyMilner with Local Constraints: Extending Type Inference the Easy Way ２００１年１０月１０日（水）１６：００ 数理解析研究所２０２号室 概要