RCIS | Research Center for Integrated Science

2012-02-09, 15:15-17:15

31th Logic Seminar

Yutaka Miyazaki

Osaka University of Economics and Law

2012-02-23 (Thu), 15:30-17:00

38th Multi-dimension Seminar

Matthias Baaz

Vienna University of Technology

2012-03-15 15:00-17:00

33th Logic Seminar

John Plaice

Associate Professor
School of Computer Science and Engineering
The University of New South Wales
Sydney NSW 2052 Australia


33th	Higher-order Multidimensional Programming	John Plaice	2012/03/15
31th	Unification problems in weakly transitive modal logics	Yutaka Miyazaki	2012/02/09
30th	Vagueness and Revision Theory	Conrad Asmus	2012/02/02


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


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


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


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

言語