RCIS organizes various seminars to promote interdisciplinary research,
including Multi-dimension Seminar and Advanced Lectures by prominent researchers from outside, and also plans and supports Collaborative Seminar to exchange ideas on education and research among staffs of JAIST.
Logic Series
| 40th | Nonstandard Static Analysis: Discrete Verification... | Ichiro Hasuo | 2013/02/21 |
| 39th | Sheaves for First-Order Modal Logic | Kohei Kishida | 2012/11/26 |
| 38th | Skolemization and Herbrand's theorem in constructive... | Rosalie Iemhoff | 2012/11/08 |
| 37th | Monadic Gödel logics with one predicate symbol | Norbert Preining | 2012/06/14 |
| 36th | A Rewriting Solution to the Parsing Problem | Nao Hirokawa | 2012/05/24 |
| 35th | Satisfiability in monadic Gödel logics | Norbert Preining | 2012/05/10 |
| 34th | A Formal Genetic Switch | Rene Vestergaard | 2012/04/12 |
| 33th | Coextensive causation: a new model of computation? | Rene Vestergaard | 2012/03/29 |
| 32th | Higher-order Multidimensional Programming | John Plaice | 2012/03/15 |
| 31th | Unification problems in weakly transitive modal logics | Yutaka Miyazaki | 2012/02/09 |
Multi-dimension Series
| 45th | Substitutions and rules | Rosalie Iemhoff | 2012/11/13 |
| 44th | Information distance | Sebastiaan A. Terwijn | 2012/11/09 |
| 43th | Tableau/Sequent Duality | Melvin Fitting | 2012/11/01 |
| 42th | Sequent Systems and Defining Rules | Greg Restall | 2012/09/07 |
| 41th | Rediscovering Structural Proof Theory: an algebraic account | Nikolaos Galatos | 2012/09/07 |
| 40th | Optimal model selection procedures under sparsity with... | Florian Frommlet | 2012/08/20 |
| 39th | “Physics and Chemistry of Carbon” and Energy | Toshiaki Enoki, Masaharu Oshima, Haoshen ZHOU | 2012/03/06 |
| 38th | Epsilon Calculus in Nonclassical Logics | Matthias Baaz | 2012/02/23 |
| 37th | Deep inference: why and how | Michel Parigot | 2011/11/09 |
| 36th | A Walk in the Semantic Park | Olivier Danvy | 2011/09/29 |
Frontier Series
| 27th | Development of Carbon-based Pt-free catalysts for Polymer... | Dr. YutaNabae | 2010/10/20 |
| 26th | Atomic-Scale Characterization of Surfaces and Interfaces by... | Dr. Naoya Shibata | 2010/09/09 |
| 25th | Investigation of the electronic properties of Titanates:... | Dr. Taro Hitosugi | 2010/03/11 |
| 24th | Role of Molecular Anisotropy in Organic Thin Film Growth... | Dr. Yasunori Fujikawa | 2010/02/01 |
| 23th | Self-assembled supramolecular structures due to hydrogen... | Dr. Se-Jong Kahng | 2010/01/14 |
| 22th | Hot Spot for Pathogenic Conversion of Prion Protein and... | Dr. Yuji O. Kamatari | 2009/10/14 |
| 21th | Elucidation and control of electronic properties related to... | Dr. Hiroyuki Yamane | 2009/09/18 |
| 20th | Versatile Photon-Matter Interactions in Interdisciplinary... | Dr. Akira Saito | 2009/06/19 |
| 19th | Nanostructured functional dye assemblies through multiple... | Dr. Shiki Yagai | 2009/03/06 |
| 18th | The crystallographic structure of nanometer-thick pentacene... | Dr. Hiroyuki Yoshida | 2009/02/16 |
Computational Science Series
| 30th | Reactivity of valence band holes at the rutile TiO2/water... | Michiel Sprik | 2011/12/01 |
| 29th | Reactive force fields for hydrogen dissociation reaction on... | Yang Xiao | 2011/11/24 |
| 28th | DFT analysis of combined 3D NC-AFM and STM imaging of Cu(... | Milica Todorovic | 2011/11/15 |
| 27th | van der Waals density functional applied to adsorption... | Ikutaro Hamada | 2011/10/12 |
| 26th | Attosecond streaking of core lines of copper dihalides | JaeDong Lee | 2011/09/06 |
| 25th | Electronic structures and optical properties of complex... | Pilkyung Moon | 2010/05/13 |
| 24th | Cluster expansion:Theory, implementation and results | Monodeep Chakraborty | 2010/03/12 |
| 23th | k・p method resurrected in modern first-principles... | Tatsuya Shishidou | 2009/11/16 |
| 22th | First-Principles Study of X-ray Absorption Spectroscopy | Tamio Oguchi | 2009/11/16 |
| 21th | Spin-Orbit Entangled Electronic States in Ir-oxides | Jaejun Yu | 2009/07/23 |
JAIST Advanced Lecture Series
| 8th | Ontology-based Data Access | Frank Wolter | 2013/03/18 |
| 7th | COMPUTATION AS AGENCY | J. van Benthem | 2012/10/02 |
| 6th | Ontology-Based Data Access and Constraint Satisfaction | Frank Wolter | 2012/03/13 |
| 5th | Logic, Information, Evidence, and Knowledge | Johan van Benthem | 2011/10/18 |
| 4th | Craig Interpolation and Theory Decomposition | Prof. Frank Wolter | 2010/09/21 - 2010/09/22 |
| 3th | Games meet Computation | Prof.Johan van Benthem | 2010/05/10 |
| 2th | From Pure Logic to Ontology Engineering | Prof. Frank Wolter | 2009/04/07 - 2009/04/10 |
| 1th | From Computation to Intelligent Interaction, New Trends in... | Prof.Johan van Benthem | 2009/04/03 |