Also running is a more informal series of seminars,Logic and Semantics Seminar.
- Toru Takisaka (RIMS, Kyoto University) On large scale geometries of infinite strings 11:00-12: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:00-12: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:00-12: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:00-12: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 Lambda-Calculi 11:00-12: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 Effectus-Theoretic Perspective on Probabilistic Programming 11:00-12: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) Multiplicative-Additive Proof Equivalence is Logspace-complete 11:00-12: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:00-12: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:00-12: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:00-12: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:00-12: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 Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model 11:00-12:00, 27 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
-
Kohei Suenaga(Kyoto University / JST PRESTO)
Generalized Homogeneous Polynomials for Efficient
Template-Based Nonlinear Invariant Synthesis
(Joint work with Kensuke Kojima and Minoru Kinoshita) 11:00-12: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, non-classically 11:00-12:00, 13 Oct, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Yoriyuki Yamagata (National Institute of Advanced Industrial Science and Technology) 11:00-12: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:00-12: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:00-12: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 lambda-calculus perspective. 11:00-12:00, 7 Jul, 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Susumu Nishimura (Department of Mathematics, Kyoto University) Carrier Complex: A Poset Topology for Finding Distributed Protocols. 11:00-12: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:00-12:30, 29 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Takeo Uramoto (RIMS, Kyoto University) On a reformulation of Eilenberg's variety theory. 11:00-12:30, 23 June 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:00-12: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:00-12:30, 7 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Toru Takisaka (RIMS, Kyoto University) On coalgebraic characterization of algorithmic randomness. 11:00-12:30, 2 June 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Masahito Hasegawa (RIMS, Kyoto University) プログラム意味論・テンソル圏・量子トポロジー 11:00-12:30, 26 May 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract (in Japanese)
- Toshiki Kataoka (University of Tokyo) Categorical Nonstandard Analysis 11:00-12:30, 28 April 2016 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract (in Japanese)
-
Akira Yoshimizu (University of Tokyo)
Multitoken Geometry of Interaction in Concurrent Computation
(Joint work with Ugo Dal Lago and Ryo Tanaka) 11:00-12: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:00-12: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:00-12: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:00-12: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:00-12: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:45-12: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 Language-Based Erasure.
(Joint work with Aslan Askarov, Scott Moore, and Christos Dimoulas) 11:00-11: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 lattice-valued predicates. 11:00-12: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:00-12: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:00-12: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:00-12: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:00-12: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:00-12:00, 23 Apr, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Shin-ya Katsumata(RIMS, Kyoto University) Codensity Liftings of Monads (Joint work with Tetsuya Sato) 11:00-12:00, 16 Apr, 2015 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Gergei Bana(INRIA Paris-Rocquencourt) Formal Verification of Complexity-Theoretic Properties of Security Protocols 11:00-12: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 two-level foundation 15:30-17: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:30-17: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:30-17:30, 1 Dec, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) Abstract
- Shin-ya Katsumata(RIMS, Kyoto University) Parametric Effect Monads and Semantics of Effect Systems 11:00-12: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:00-12: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:00-12: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 Blum-Shub-Smale machines (Joint work with Akitoshi Kawamura) 11:00-12: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:00-12: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:00-12: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:00-12: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:00-12:00, 10 Apr, 2014 Rm 478, Research Building 2, Main Campus, Kyoto University (next to the CS room)(map) 概要
- Shohei Izawa(Tohoku University) べき等縮約を通じて見る代数系の圏 11:00-12: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:00-12: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 call-by-push-value tutorial 13:00-14: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 TT-Liftings 11:00-11: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 Non-Blocking Synchronization (A talk to be presented at CSL'13) 11:00-11: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:00-12: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:00-12: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:00-12: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 non-Cartesian extension of Galois categories? 11:00-12: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 Shin-ya Katsumata) 11:00-12: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:00-12: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:00-12: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:00-12: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:00-12: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:00-12: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 Call-by-Value Language Based on Basic Combinatorial Objects 11.00-12.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 tt-Schnorr randomness 11.00-12.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 call-by-need 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
- Paul-Andre 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
- Jean-Yves Girard(IML Marseille & RIMS Kyoto) A SECOND LOOK AT PROOF-NETS 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 WHILE-Language 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 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の理論と応用 (数理解析特別講義) 2007年6月11日(月)・12日(火)、7月9日(月)・10日(火) 13:30-17:00 京都大学数理解析研究所102号室 概要
- 蓮尾一郎 The Microcosm Principle and Concurrency in Coalgebras 2007年4月26日(木)14:00-15:00 旧工学部7号館・コンピュータサイエンス室 概要
- 長谷川 真人 相互作用の幾何、線型分解とトレース付きモノイダル圏 2007年4月11日(水)16:30- 京都大学数理解析研究所202号室 (数理解析研究所談話会) 概要
- Ewen Denney (NASA Ames Research Center,US) Certifiable Program Synthesis 2006年9月25日(月)16:00- 京都大学数理解析研究所202号室 概要
- 中田 景子 Recursive Modules for Programming (joint work with Jacques Garrigue) 2006年9月5日(火)14:00- 京都大学数理解析研究所202号室 概要
- 勝股 審也 Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement (joint work with Susumu Nishimura) 2006年9月5日(火)14:00- 京都大学数理解析研究所202号室 概要
- Philip Wadler (University of Edinburgh) Links: Web Programming without Tiers 2006年4月28日(金)14時- 京都大学数理解析研究所1階115号室 概要
- Philip Wadler (University of Edinburgh) The Girard-Reynolds isomorphism (second edition) 2006年4月28日(金)16時- 京都大学数理解析研究所1階115号室 概要
- Martin Berger (Queen Mary, University of London) A Logical Analysis of Aliasing in Imperative Higher-Order Functions 2006年3月24日14:00- 京都大学数理解析研究所115号室 概要
- Vincent Schmitt (University of Leicester) Saturated Classes of Colimits 2005年12月27日(火)11:00- 京都大学数理解析研究所202号室 概要
- Irek Ulidowski (University of Leicester) Reversing Algebraic Process Calculi 2005年11月28日(月)14:00- 理学部6号館6階609号室 概要
- 結縁祥治 (名古屋大学大学院情報科学研究科) 通信プロセスモデルにおける並行計算の代数的意味 2005年7月16日(火)-22日(金) 14:00-16:00 理学部数学教室109号室(3号館1階) 概要
- Donald Sannella (University of Edinburgh) Mobile Resource Guarantees 2005年6月2日(木)14:00- 京都大学数理解析研究所009号室 概要
- Paul-Andre Mellies (Universite Paris VII) An introduction to asynchronous game semantics 2005年1月26日(水)14:00- 京都大学数理解析研究所206号室 概要
- 中田景子 Recursive Object-Oriented Modules 2004年12月16日(木)14:00 数理解析研究所 115号室 概要
- Erik Poll (University Nijmegen) From algebras and coalgebras to dialgebras 2004年12月10日(金)15:00- 数理解析研究所 009号室 概要
- 中田 景子 相互参照のあるオブジェクト指向モジュールシステム 2004年9月2日(木)14:00- 数理解析研究所 115号室 概要
- 石原 存 下極限に基づく無限項書換え系 2004年9月2日(木)14:00- 数理解析研究所 115号室 概要
- 西村 進(理・数学) Fusion with Stacks and Accumulating Parameters 2004年8月16日(月)14:00- 理学部6号館 609号室 概要
- 大崎 人士(産総研) 書換系とツリー・オートマトン理論: システム検証の自動化を目指して (数理解析特別講義1 計算理論特別講義) 2004年7月26(月)- 30(金) 14:00 - 15:30 理学部数学教室109号室(3号館1階) 概要
- Per Martin-Lf (University of Stockholm) 佐藤雅彦 (解説/情報学研究科) Types and Categories (情報学研究科 佐藤研究室と共催) 2004年5月26日(水)・6月3日(水) 14:30- 数理解析研究所206号室 概要
- 西村 進 (理・数学) Correctness of a Higher-Order Removal Transformation through a Relational Reasoning 2003年11月21日(金)16:00- 数理解析研究所009号室 概要
- 勝股 審也 (LFCS, University of Edinburgh) Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages 2003年8月8日(金)16:00- 数理解析研究所115号室 概要
- 角谷 良彦 Parameterizations and Fixed-Point Operators on Control Categories 2003年5月28日(水)16:00- 数理解析研究所206号室 概要
- XML処理手法と理論(XYZ) (京都大学数理解析研究所短期共同研究) 2003年5月15日-16日 数理解析研究所115号室 概要
- Irek Ulidowski (University of Leicester) Structured Operational Semantics with Orderings on Rules 2003年4月7日(月)16:00- 数理解析研究所102号室 概要
- Nobuko Yoshida (Department of Computing, Imperial College) Strong Normalisation in the Pi-Calculus 2003年3月4日(火)15:00- 数理解析研究所206号室 概要
- Fedor Fomenko (LFCS, University of Edinburgh) Categorical Understanding of Feasible Computations 2003年2月26日(水)16:00- 数理解析研究所206号室 概要
- 中野 圭介 Composing Stack-Attributed Tree Transducers 2003年1月22日(水)16:00- 数理解析研究所206号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Topology and Computation (数理解析研究所談話会) 2003年1月8日(水)16:00- 数理解析研究所202号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (5) 2002年12月20日(金)11:00- 数理解析研究所115号室 概要
- 第13回 代数、論理、幾何と情報科学研究集会 (ALGI-13) (京都大学数理解析研究所短期共同研究) 2002年12月16日-19日 数理解析研究所115号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (4) 2002年12月6日(金)11:00- 数理解析研究所402号室 概要
- 細谷 晴夫 Regular Expression Filters for XML 2002年12月4日(水)16:00- 数理解析研究所206号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (3) 2002年11月22日(金)11:00- 数理解析研究所402号室 概要
- 長谷川 真人 Classical Linear Logic of Implications 2002年11月20日(水)16:00- 数理解析研究所206号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (2) 2002年11月15日(金)11:00- 数理解析研究所402号室 概要
- 西村 進 Deforesting in Accumulating Parameters via Type-Directed Transformations 2002年11月13日(水)16:00- 数理解析研究所206号室 概要
- Alex Simpson (LFCS, University of Edinburgh/京都大学数理解析研究所) Interpreting Set Theory in Toposes (1) 2002年11月8日(金)11:00- 数理解析研究所402号室 概要
- Jacques Garrigue Relaxing the Value Restriction 2002年11月6日(水)16:00- 数理解析研究所206号室 概要
- 沢田 潤 (IBM Austin Research Lab) Mechanical Verification of a Square Root Algorithm using Taylor's Theorem 2002年8月16日(金)15:00- 数理解析研究所202号室 概要
- 五十嵐 淳 (京大・情報) On Variance-Based Subtyping for Parametric Types 2002年8月5日(月)16:00- 数理解析研究所2階202号室 概要
- 住井 英二郎 (東大・情報) Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels 2002年8月5日(月)16:00- 数理解析研究所2階202号室 概要
- Jean-Philippe Vert(京都大学化学研究所バイオインフォマティクスセンター) 2002年7月12日(金)16:00-17:00 数理解析研究所202号室 概要
- 五十嵐 淳 (京大・大学院情報学研究科) Resource Usage Analysis (数理解析研究所談話会) 2002年5月15日(水)16:00- 数理解析研究所202号室 概要
- XML処理における理論的アプローチ (XYZ) (京都大学数理解析研究所短期共同研究) 2002年4月4日-5日 数理解析研究所115号室 概要
- Martin Hofmann (University of Muenchen) Another Type System for In-Place Update (Joint work with David Aspinall) 2002年3月8日(金)16:00- 数理解析研究所206号室 概要
- Lennart Beringer (LFCS, University of Edinburgh) Typing Assembly Programs with Explicit Forwarding 2001年11月5日(月)16:00- 数理解析研究所115号室 概要
- 長谷川 真人 Linearly Used Effects (Or: A Fully Complete CPS Transform) 2001年10月24日(水)16:00- 数理解析研究所206号室 概要
- 細谷 晴夫 型付きXML処理言語XDuce (数理解析研究所談話会) 2001年10月17日(水)16:00- 数理解析研究所202号室 概要
- Jacques Garrigue Hindley-Milner with Local Constraints: Extending Type Inference the Easy Way 2001年10月10日(水)16:00- 数理解析研究所202号室 概要