Also running is a more informal series of seminars,Logic and Semantics Seminar.

- Takeo Uramoto(Department of Mathematics, Graduate School of Science, Kyoto University) A Modified Completeness Theorem of KAT 11:00-12:00, 17 Apr, 2014 General Research Building 2 (next to the CS room)(map) Abstract
- Masahito Hasegawa(RIMS, Kyoto University) プログラム意味論と量子トポロジー（進捗報告） 11:00-12:00, 10 Apr, 2014 General Research Building 2 (next to the CS room)(map) Abstract (in japanese)
- Shohei Izawa(Tohoku University) べき等縮約を通じて見る代数系の圏 11:00-12:00, 13 Feb, 2014 General Research Building 2 (next to the CS room)(map) Abstract (in japanese)

- Professor Emeritus Masahiko Sato Viewing lambda terms through maps (Joint work with Randy Pollack, Helmut Schwichtenberg and Takafumi Sakurai) 11:00-12:00, 14 Nov, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Paul Blain Levy(University of Birmingham) A call-by-push-value tutorial 13:00-14:40, 11 Oct, 2013 (incl. 10min break) General Research Building 2 (next to the CS room)(map) Abstract
- Tetsuya Sato(RIMS, Kyoto University) Simulations for Discrete Probabilistic Systems via Preorder TT-Liftings 11:00-11:45, 29 Aug, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Susumu Nishimura(Department of Mathematics, Graduate School of Science, Kyoto University) A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization (A talk to be presented at CSL'13) 11:00-11:45, 22 Aug, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Kenji Maillard(Ecole Normale Superieure) Looking for the lost Hopf algebras 11:00-12:00, 18 Jul, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Masahito Hasegawa(RIMS, Kyoto University) Traced *-autonomous categories are compact closed (Joint work with Tamas Hajgato) 11:00-12:00, 9 May, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Toru Takisaka(RIMS, Kyoto University) On quantum Kolmogorov complexities and their relationships 11:00-12:00, 9 May, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Takeo Uramoto(Department of Mathematics, Kyoto University) A non-Cartesian extension of Galois categories? 11:00-12:00, 11 Apr, 2013 General Research Building 2 (next to the CS room)(map) Abstract
- Tetsuya Sato(RIMS, Kyoto University) Preorders on Monads and Coalgebraic Simulations(Joint work with Shin-ya Katsumata) 11:00-12:00, 14 Mar, 2013 General Research Building 2 (next to the CS room)(map) Abstract

- Kazushige Terui(RIMS, Kyoto University) Herbrand's theorem via hypercanonical extensions 11:00-12:00, 29 Nov, 2012 General Research Building 2 (next to the CS room)(map) Abstract
- Takeo Uramoto(Department of Mathematics, Kyoto University) 淡中双対としての副有限完備化 11:00-12:00, 22 Nov, 2012 General Research Building 2 (next to the CS room)(map) Abstract
- Shota Motoura(RIMS, Kyoto University) On the semantic meaning of reduction axioms in Public Announcement Logic 11:00-12:00, 15 Nov, 2012 General Research Building 2 (next to the CS room)(map) Abstract
- Takeo Uramoto(Department of Mathematics, Kyoto University) 半表現関数環によるモノイドの副有限完備化 11:00-12:00, 1 Nov, 2012 General Research Building 2 (next to the CS room)(map) Abstract
- Takeo Uramoto(Department of Mathematics, Kyoto University) 半群の表現関数 11:00-12:00, 18 Oct, 2012 General Research Building 2 (next to the CS room)(map) Abstract
- Naohiko Hoshino(RIMS, Kyoro University) Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects 11.00-12.00,21 Jun, 2012 General Research Building 2 (next to the CS room) (map) Abstract
- Kenshi Miyabe(RIMS, Kyoro University) Schnorr triviality is equivalent to being a basis for tt-Schnorr randomness 11.00-12.00, 7 Jun, 2012 General Research Building 2 (next to the CS room) (map) Abstract
- Vivek Nigam(Ludwig Maximilian University of Munich) An Extended Framework for Specifying and Reasoning about Proof Systems 14.30 - 15.30,28 May 2012 General Research Building 2 (next to the CS room) (map) Abstract
- Hugo Herbelin(Laboratoire PPS, CNRS, INRIA & Universite Paris Diderot) Classical call-by-need sequent calculi: The unity of semantic artifacts 16.00 - 17.00,28 May 2012 General Research Building 2 (next to the CS room) (map) Abstract
- Kazushige Terui(RIMS, Kyoro University) Semantic evaluation, intersection types and complexity of simply typed lambda calculus 11.00 -,17 May 2012 General Research Building 2 (next to the CS room) (map) Abstract
- Paul-Andre Mellies(CNRS, Paris VII) Braided notions of dialogue categories 11.00 -,19 April 2012 General Research Building 2 (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 General Research Building 2 (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 General Research Building 2 (next to the CS room) (map) Abstract
- Jean-Yves Girard(IML Marseille & RIMS Kyoto) A SECOND LOOK AT PROOF-NETS 11.00 -, Thursday January 12th General Research Building 2 (next to the CS room) (map) Abstract

- Kenshi Miyabe(RIMS, Kyoto University) Characterization of Kurtz randomness by a differentiation theorem 11.00 - 12.00, Thursday 17 November 2011 General Research Building 2 (next to the CS room) (map) Abstract
- 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 General Research Building 2 (next to the CS room) (map) Abstract
- Kohei Suenaga(JSPS Research Fellow (PD), Kyoto University) Programming with Infinitesimals: A WHILE-Language for Hybrid (Joint work with Ichiro Hasuo) 11.00 - 12.00, Thursday 21 July 2011 General Research Building 2 (next to the CS room) (map) Abstract
- Naohiko Hoshino(RIMS, Kyoto University) Semantics for higher-order quantum computation via Geometry of Interaction 11.50? - 12.40?, Thursday 16 June 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)(map) Abstract
- Kenshi Miyabe(RIMS, Kyoto University) Characterizing randomness by integral tests 11.00 - 11.50?, Thursday 16 June 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)(map) Abstract
- Michele Basaldella(RIMS, Kyoto University) A gentle introduction to ludics 11.00 - 12.00, Thursday 21 April 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- 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 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Yoshihiro Maruyama(Department of Humanistic Informatics, Kyoto Univ.) Natural Duality, Modality and Coalgebra 11.00 - 12.00, Tuesday 8 March 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Ryu Hasegawa(Tyoto Univ.) A proof of the Church-Rosser property based on the combinatorial enumeration model 111.00 - 12.00, Februrary 24th (Thu) Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map)
- Susumu Nishimura(Dept. Math., Kyoto Univ.) Calculating Tree Navigation with Symmetric Relational Zipper 11.00 - 12.00, Thursday 20 January 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract

- Kohei Suenaga(Universidade de Lisboa, Portugal) Fractional Ownerships for Safe Memory Deallocation 11.00 - 12.00, Thu 2 Dec 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Kazushige Terui(RIMS, Kyoto U.) Church => Scott = Ptime: an application of resource sensitive realizability 11.00 - 12.00, Thu 25 Nov 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Yawara Ishida(RIMS, Kyoto Univ.) 11.00 - 12.00, Thursday 28 Oct 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Ichiro Hasuo(RIMS, Kyoto Univ.) Generic Forward and Backward Simulations II: Probabilistic Simulation 11.00 - 12.00, Thursday 26 Aug 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Shin-ya Katsumata(RIMS, Kyoto Univ.) Categorical Descriptional Composition 11.00 - 12.00, Thursday 29 July 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Masahito Hasegawa(RIMS, Kyoto Univ.) Small-step and big-step semantics for call-by-need (joint work with Keiko Nakata) 11.00 - 12.00, Thursday 15 July 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Naohiko Hoshino(RIMS, Kyoto Univ.) A modification of GoI interpretation for DILL 11.00 - 12.00, Thursday 24 June 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Takeo Uramoto (Dept. Math., Kyoto Univ.) ++-construction and filtration 11.00 - 12.00, Thursday 17 June 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Kenshi Miyabe(RIMS, Kyoto Univ.) Algorithmic randomness over general spaces 11.00 - 12.00, Thursday 10 June 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Masahito Hasegawa(RIMS, Kyoto Univ.) Traced monoidal categories and semantics of programming languages 10.00 - 10.45, Thursday 3 June 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Masahito Hasegawa(RIMS, Kyoto Univ.) A quantum double construction in Rel 11.00 - 12.00, Thursday 3 June 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Pierre-Marié Pedrot (ENS Lyon & RIMS, Kyoto Univ.) Yet another effect-manipulating language 11.00 - 12.00, Thursday 27 May 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Ichiro Hasuo(RIMS, Kyoto Univ.) Crash Introduction to Coalgebra (A primer to the subsequent talk) 10.00 - 11.00, Thursday 20 May 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Ichiro Hasuo(RIMS, Kyoto Univ.) Coalgebraic Representation Theory of Fractals (Act 2) 11.00 - 12.00, Thursday 20 May 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Alexis Saurin(PPS, Univ. Paris 7) A hierarchy for delimited control in call-by-name 11.00 - 12.00, Tuesday 26 April 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan) (map) Abstract
- Bart Jacobs(Radboud Univ. Nijmegen) Scalars, monads and categories 10.30 - 11.15, Thursday 11 March 2010 Room 305, Faculty of Science Bldg. No. 3 (map) Abstract
- Bart Jacobs(Radboud Univ. Nijmegen) Basics of involutive categories and monoids 11.15 - 12.00, Thursday 11 March 2010 Room 305, Faculty of Science Bldg. No. 3 (map) Abstract
- Keiko Nakata(Institute of Cybernetics, Tallinn University of Technology) A Hoare logic for the trace-based coinductive semantics of While 11.00 - 12.00, Monday 8 March 2010 Room 305, Faculty of Science Bldg. No. 3 (map) Abstract
- 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 Room 305, Faculty of Science Bldg. No. 3 (map) Abstract
- Ross Duncan(Oxford University Computing Laboratory) Complementarity in Categorical Quantum Mechanics 14.45 - 16.45, Friday 12 February 2010 Room 305, Faculty of Science Bldg. No. 3 (map) Abstract

- Irek Ulidowski(University of Leicester) Reverse Bisimulations on Stable Event Structures 11.00 - 12.00, Thursday 10 December 2009 Room 203P, Faculty of Science Bldg. No. 6 (map) Abstract
- Etienne Duchesne (RIMS, Kyoto University) Geometry of interaction and denotational semantics 11.00 - 12.00, Thursday 19 November 2009 Room 203P, Faculty of Science Bldg. No. 6 (map) Abstract
- 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 Room 203P, Faculty of Science Bldg. No. 6 (map) Abstract
- Ichiro Hasuo(RIMS, Kyoto Univ.) Coalgebraic Representation Theory of Fractals 11.00 - 12.00, Thursday 1 October 2009 Room 203P, Faculty of Science Bldg. No. 6 (map) Abstract
- Susumu Nishimura(Dept. Math., Kyoto Univ.) Refining Exceptions in Four-Valued Logic 11.00 - 12.00, Thursday 9 July 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) Abstract
- 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) Abstract
- 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) Abstract
- 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) Abstract
- 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) Abstract
- 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) Abstract
- Taichi Haruna(Kobe Univ. & JST PRESTO) Category Theory in System Biology 11.00 - 12.00, Thursday 21 May 2009 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) Abstract
- 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) Abstract
- 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) Abstract
- 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) Abstract
- 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) Abstract
- Jun Pang(Univ. Luxembourg) Measuring Voter-controlled Privacy 16.00 - 17.00, Fri 13 Mar 2009 Room 202, RIMS, Kyoto University Abstract
- Paul-André 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) Abstract

- 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) Abstract
- 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) Abstract
- Ana Sokolova(Univ. Salzburg) Classification of Probabilistic Systems 16.00 - 17.00, Wednesday 19 Nov 2008 Room 202, RIMS, Kyoto University Abstract
- Kohei Suenaga(Tohoku Univ.) Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts 13.00 - 14.00, Monday 27 Oct 2008 Room 202, RIMS, Kyoto University Abstract
- Michele Basaldella (RIMS, Kyoto Univ.) Ludics with repetitions: exponentials, interactive types and completeness (Joint work with Claudia Faggian, PPS, CNRS-Paris 7) 11.00 - 12.00, Thursday 23 Oct 2008 CS Laboratory, RIMS, Kyoto University (in the "RIMS Annex" building; seedirection) Abstract
- 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 Abstract
- Yasuhiko Minamide (Univ. of Tsukuba) Introduction to Theorem Provers Abstract
- Workshop: Mathematics for Pressing Problems in Computer Science (RIMSﾂｶﾂｦﾃ・ｱﾂｸﾂｦﾂｵﾃｦ) Abstract

- 香川考司（香川大学工学部） 関数型プログラミング言語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 Girard-Reynolds isomorphism (second edition) ２００６年４月２８日（金）１６時- 京都大学数理解析研究所１階１１５号室 概要
- Martin Berger (Queen Mary, University of London) A Logical Analysis of Aliasing in Imperative Higher-Order 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 ２００５年６月２日（木）１４：００- 京都大学数理解析研究所００９号室 概要
- Paul-Andre Mellies (Universite Paris VII) An introduction to asynchronous game semantics ２００５年１月２６日（水）１４：００- 京都大学数理解析研究所２０６号室 概要

- 中田景子 Recursive Object-Oriented Modules ２００４年１２月１６日（木）１４：００ 数理解析研究所 １１５号室 概要
- Erik Poll (University Nijmegen) From algebras and coalgebras to dialgebras ２００４年１２月１０日（金）１５：００- 数理解析研究所 ００９号室 概要
- 中田 景子 相互参照のあるオブジェクト指向モジュールシステム ２００４年９月２日（木）１４：００- 数理解析研究所 １１５号室 概要
- 石原 存 下極限に基づく無限項書換え系 ２００４年９月２日（木）１４：００- 数理解析研究所 １１５号室 概要
- 西村 進（理・数学） Fusion with Stacks and Accumulating Parameters ２００４年８月１６日（月）１４：００- 理学部６号館 ６０９号室 概要
- 大崎 人士（産総研） 書換系とツリー・オートマトン理論: システム検証の自動化を目指して (数理解析特別講義１ 計算理論特別講義) ２００４年７月２６（月）- ３０（金） １４：００ - １５：３０ 理学部数学教室１０９号室（３号館１階） 概要
- Per Martin-Lf (University of Stockholm) 佐藤雅彦 (解説/情報学研究科) Types and Categories (情報学研究科 佐藤研究室と共催) ２００４年５月２６日（水）・６月３日（水） １４：３０- 数理解析研究所２０６号室 概要

- 西村 進 （理・数学） Correctness of a Higher-Order Removal Transformation through a Relational Reasoning ２００３年１１月２１日（金）１６：００- 数理解析研究所００９号室 概要
- 勝股 審也 (LFCS, University of Edinburgh) Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages ２００３年８月８日（金）１６：００- 数理解析研究所１１５号室 概要
- 角谷 良彦 Parameterizations and Fixed-Point 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 Pi-Calculus ２００３年３月４日（火）１５：００- 数理解析研究所２０６号室 概要
- Fedor Fomenko (LFCS, University of Edinburgh) Categorical Understanding of Feasible Computations ２００３年２月２６日（水）１６：００- 数理解析研究所２０６号室 概要
- 中野 圭介 Composing Stack-Attributed Tree Transducers ２００３年１月２２日（水）１６：００- 数理解析研究所２０６号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Topology and Computation (数理解析研究所談話会) ２００３年１月８日（水）１６：００- 数理解析研究所２０２号室 概要

- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (5) ２００２年１２月２０日（金）１１：００- 数理解析研究所１１５号室 概要
- 第１３回 代数、論理、幾何と情報科学研究集会 (ALGI-13) (京都大学数理解析研究所短期共同研究) ２００２年１２月１６日-１９日 数理解析研究所１１５号室 概要
- 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 Type-Directed 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 Variance-Based Subtyping for Parametric Types ２００２年８月５日（月）１６：００- 数理解析研究所２階２０２号室 概要
- 住井 英二郎 （東大・情報） Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels ２００２年８月５日（月）１６：００- 数理解析研究所２階２０２号室 概要
- Jean-Philippe Vert（京都大学化学研究所バイオインフォマティクスセンター） ２００２年７月１２日（金）１６：００-１７：００ 数理解析研究所２０２号室 概要
- 五十嵐 淳 （京大・大学院情報学研究科） Resource Usage Analysis (数理解析研究所談話会) ２００２年５月１５日（水）１６：００- 数理解析研究所２０２号室 概要
- XML処理における理論的アプローチ (XYZ) (京都大学数理解析研究所短期共同研究) ２００２年４月４日-５日 数理解析研究所１１５号室 概要
- Martin Hofmann (University of Muenchen) Another Type System for In-Place 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 Hindley-Milner with Local Constraints: Extending Type Inference the Easy Way ２００１年１０月１０日（水）１６：００- 数理解析研究所２０２号室 概要