Also running is a more informal series of seminars,Logic and Semantics Seminar.
 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)
 Toru Takisaka (RIMS, Kyoto University) 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)
 Masahito Hasegawa (RIMS, Kyoto University) プログラム意味論・テンソル圏・量子トポロジー 11:0012:30, 26 May 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Toshiki Kataoka (University of Tokyo) 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

Akira Yoshimizu (University of Tokyo)
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  Tetsuya Sato (RIMS, Kyoto University) 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
 Taichi Uemura (RIMS, Kyoto University) 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 (in Japanese)
 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
 Shota Motoura (RIMS, Kyoto University) 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 (NICT, CiNet) 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
 Kei Matsumoto (RIMS, Kyoto University) 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
 Takeo Uramoto (RIMS, Kyoto University) 副有限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
 Shinya Katsumata(RIMS, Kyoto University) 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
 Shinya Katsumata(RIMS, Kyoto University) 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
 Susumu Nishimura(Dept. of Math, Kyoto University) 公平な並列実行のためのゲーム意味論 11:0012:00, 4 Sep, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract (in japanese)
 Takeo Uramoto(Dept. of Math, Kyoto University) 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) Abstract (in japanese)
 Kentaro Yamamoto(RIMS, Kyoto University) 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
 Tetsuya Sato(RIMS, Kyoto University) 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
 Nayuta Yanagisawa(Department of Mathematics, Kyoto University) 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) Abstract
 Takeo Uramoto(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
 Masahito Hasegawa(RIMS, Kyoto University) プログラム意味論と量子トポロジー（進捗報告） 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
 Tetsuya Sato(RIMS, Kyoto University) 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
 Susumu Nishimura(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
 Masahito Hasegawa(RIMS, Kyoto University) 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
 Toru Takisaka(RIMS, Kyoto University) 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
 Takeo Uramoto(Department of Mathematics, Kyoto University) 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
 Tetsuya Sato(RIMS, Kyoto University) 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(RIMS, Kyoto University) 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) Abstract
 Takeo Uramoto(Department of Mathematics, Kyoto University) 淡中双対としての副有限完備化 11:0012:00, 22 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Shota Motoura(RIMS, Kyoto University) 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) Abstract
 Takeo Uramoto(Department of Mathematics, Kyoto University) 半表現関数環によるモノイドの副有限完備化 11:0012:00, 1 Nov, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Takeo Uramoto(Department of Mathematics, Kyoto University) 半群の表現関数 11:0012:00, 18 Oct, 2012 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
 Naohiko Hoshino(RIMS, Kyoro University) 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
 Kenshi Miyabe(RIMS, Kyoro University) 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) 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 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
 Kazushige Terui(RIMS, Kyoro University) 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
 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 11.00 , Thursday January 12th Rm 478, Research Building 2, Main Campus, Kyoto University (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 Rm 478, Research Building 2, Main Campus, Kyoto University (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 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room) (map) Abstract
 Kohei Suenaga(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 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room) (map) Abstract
 Naohiko Hoshino(RIMS, Kyoto University) Semantics for higherorder quantum computation via Geometry of Interaction 11.50?  12.40?, Thursday 16 June 2011 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan)(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 2Goukan)(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 2Goukan) (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 2Goukan) (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 2Goukan) (map) Abstract
 Ryu Hasegawa(Tyoto Univ.) A proof of the ChurchRosser property based on the combinatorial enumeration model 111.00  12.00, Februrary 24th (Thu) Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (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 2Goukan) (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 2Goukan) (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 2Goukan) (map) Abstract
 Yawara Ishida(RIMS, Kyoto Univ.) 11.00  12.00, Thursday 28 Oct 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (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 2Goukan) (map) Abstract
 Shinya Katsumata(RIMS, Kyoto Univ.) Categorical Descriptional Composition 11.00  12.00, Thursday 29 July 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (map) Abstract
 Masahito Hasegawa(RIMS, Kyoto Univ.) Smallstep and bigstep semantics for callbyneed (joint work with Keiko Nakata) 11.00  12.00, Thursday 15 July 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (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 2Goukan) (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 2Goukan) (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 2Goukan) (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 2Goukan) (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 2Goukan) (map) Abstract
 PierreMarié Pedrot (ENS Lyon & RIMS, Kyoto Univ.) Yet another effectmanipulating language 11.00  12.00, Thursday 27 May 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (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 2Goukan) (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 2Goukan) (map) Abstract
 Alexis Saurin(PPS, Univ. Paris 7) A hierarchy for delimited control in callbyname 11.00  12.00, Tuesday 26 April 2010 Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2Goukan) (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 tracebased 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 FourValued 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 Votercontrolled Privacy 16.00  17.00, Fri 13 Mar 2009 Room 202, RIMS, Kyoto University Abstract
 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) 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.) TypeBased 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, CNRSParis 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 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 ２００１年１０月１０日（水）１６：００ 数理解析研究所２０２号室 概要