ActivitiesActivities

Research visit of Prof. Rosalie Iemhoff, Utrecht University, and Prof. Sebastiaan Terwijn, University Nijmegen, NetherlandsResearch visit of Prof. Rosalie Iemhoff, Utrecht University, and Prof. Sebastiaan Terwijn, University Nijmegen, Netherlands
Sun, 2012/11/04 - Fri, 2012/11/16

Prof. Iemhoff is an expert in proof theory and intuitionistic logic, Prof. Terwijn an expert in complexity theory. Both will visit the JAIST on invitation of Norbert Preining for common research work.

Research visit of Prof. Melvin Fitting, CUNY, USAResearch visit of Prof. Melvin Fitting, CUNY, USA
Wed, 2012/10/31 - Fri, 2012/11/02

Prof. Melvin Fitting will visit the JAIST on invitation of Hiroakira Ono.

Russian - JAIST research seminar on first order intermediate logicsRussian - JAIST research seminar on first order intermediate logics
Wed, 2012/10/03 - Fri, 2012/10/05

Several researchers from Russia plus some other researchers will visit the JAIST for a three day intensive workshop on First Order Intermediate Logics.

Program:
=== October 3rd: 13:00 -- 16:00 ====

Valentin Shehtman: A survey on axiomatizability/definability in first order intermediate logics

--- Discussions and Break ---

Hiroakira Ono: Notes on interpolation theorems of intermediate predicate logics

=== October 4th: 9:00 -- 16:00 ====

Matthias Baaz: Interpolation theorem

--- Discussions and Break

Logic, Algebra and Truth Degrees 2012Logic, Algebra and Truth Degrees 2012
Mon, 2012/09/10 - Fri, 2012/09/14

The third meeting in the series Logic, Algebra and Truth Degrees will be held on 10-14 September 2012 in Kanazawa, Japan. Former meetings in this series have been in Siena, 2008 and Prague, 2010.

The web page of the conference is http://www.jaist.ac.jp/rcis/latd12/

Research visit of Prof. Florian Frommlet, Medical University of Vienna, AustriaResearch visit of Prof. Florian Frommlet, Medical University of Vienna, Austria
Wed, 2012/08/15 - Fri, 2012/08/24

Prof. Frommlet is an expert in bioinformatics and medical statistics with several high class publications. The current research stay is in preparation for a cooperation on "Multivalued Logic Regression". He will visit the JAIST on invitation of Norbert Preining.

Research visit of Prof. John Plaice, University of New South Wales, AustraliaResearch visit of Prof. John Plaice, University of New South Wales, Australia
Mon, 2012/03/12 - Fri, 2012/03/16

Prof. Plaice is an expert in higher order functional programming as well as in multilingual typography. In the former area he developed Cartesian programming, while in the later he is known for the creation of Omega, the first Unicode extension of TeX. He will visit the JAIST on invitation of Norbert Preining.

Research visit of Prof. Frank Wolter, Univ. of Liverpool, Guest Prof. of JAISTResearch visit of Prof. Frank Wolter, Univ. of Liverpool, Guest Prof. of JAIST
Sun, 2012/03/11 - Wed, 2012/03/14

Prof. Wolter has been visiting the JAIST as Guest Professor since many years, giving a series of lectures on logic targetted at all levels. He will visit the JAIST on invitation of Hiroakira Ono.

生物物質科学フォーラム生物物質科学フォーラム
Fri, 2012/03/09 - Sat, 2012/03/10

生物物質科学フォーラム
場所：北陸先端科学技術大学院大学　マテリアルサイエンスIV棟８階　中セミナー室
日時：2012年3月9日（金）13:30 ～ 10日（土）15:30

カーボンアロイ触媒検討会「カーボンアロイの物理と化学」カーボンアロイ触媒検討会「カーボンアロイの物理と化学」
Wed, 2012/03/07

2012-3-7 09：30－15：30　M4講義室

Asian Workshop on Philosophical LogicAsian Workshop on Philosophical Logic
Wed, 2012/02/15 - Fri, 2012/02/17

A workshop bringing together logicians and philosophers from Asian countries at the JAIST. Please see the workshop webpage http://www.jaist.ac.jp/rcis/awpl for details and program.

Research visit of Prof. Matthias Baaz, Vienna University of Technology, AustriaResearch visit of Prof. Matthias Baaz, Vienna University of Technology, Austria
Tue, 2012/02/14 - Tue, 2012/02/28

Prof. Baaz is known for contributions in many fields of logics and computer science, intuitionisitc logc, proof theory, many-valued logic, juridical logic, just to name a few. He will visit the JAIST on invitation of Norbert Preining.

3rd Kanazawa U-JAIST joint meeting on computational science3rd Kanazawa U-JAIST joint meeting on computational science
Wed, 2011/12/21

The 3rd Kanazawa U-JAIST joint meeting on computational science will be held on December 21st, 2011 9:50 – 17:45, at the JAIST, K1・K2 Lecture Room (1st floor of KS lecture building).

AttachmentSize
Poster of the joint meeting2.82 MB
マッチングセミナー「次世代電池」―固体高分子型燃料電池のカソード触媒としてのカーボンアロイ触媒の開発/寺倉清之特別招聘教授マッチングセミナー「次世代電池」―固体高分子型燃料電池のカソード触媒としてのカーボンアロイ触媒の開発/寺倉清之特別招聘教授
Thu, 2011/11/17

日　　時：平成２３年１１月１７日（木）１３時３０分～１７時３０分

開催場所：ホテル日航金沢３F　孔雀の間
　　　　　石川県金沢市本町２－１５－１　TEL:076-234-111

展 示 物：固体高分子型燃料電池のカソード触媒としてのカーボンアロイ触媒の開発

展 示 者：先端融合領域研究院　寺倉清之特別招聘教授

AttachmentSize
jaist・i-birdマッチングセミナー「次世代電池」（表）.pdf711.45 KB
jaist・i-birdマッチングセミナー「次世代電池」（裏）.pdf394.22 KB
Research visit of Prof. Michel Parigot, CNRS, Paris, FranceResearch visit of Prof. Michel Parigot, CNRS, Paris, France
Sun, 2011/11/06 - Sun, 2011/11/13

Prof. Parigot is an expert in proof theory, lambda calculus, computational logic. He will visit the JAIST on invitation of Norbert Preining.

Teaching at School of Computer Software, Tianjin University, ChinaTeaching at School of Computer Software, Tianjin University, China
Wed, 2011/10/26 - Fri, 2011/10/28

Ono Hiroakira is teaching a course on "Logic in Computer Science" at the Tianjin University on invitation of the School of Computer Software.

AttachmentSize
Announce-Prof_Ono_Jaist.pdf161.52 KB
Research visit of Prof. Olivier Danvy, University of Aarhus, Denmark.Research visit of Prof. Olivier Danvy, University of Aarhus, Denmark.
Sun, 2011/09/25 - Wed, 2011/10/05

Prof. Danvy is an expert on higher order computation and functional programming and is visiting the JAIST on invitations of Rene Vestergaard.

Teaching at the Seventh International Tbilisi Summer School in Logic and LanguageTeaching at the Seventh International Tbilisi Summer School in Logic and Language
Mon, 2011/09/19 - Fri, 2011/09/23

For the seventh time the Kurt Gödel Society in cooperation with the French CNRS-GNSF project "Structural and computational properties of logical structures" organized the International Tbilisi Summer School in Logic and Language. This year Ono Hiroakira and Preining Norbert were invited to give a series of lectures on sub-structural logics and Kripke frames, respectively.
Please see http://www.logic.at/tbilisi11/ for details.

Research visit of Prof. Arnold Beckmann, Swansea University, Wales, UKResearch visit of Prof. Arnold Beckmann, Swansea University, Wales, UK
Thu, 2011/07/28 - Sat, 2011/08/06

Prof. Beckmann is an expert in Mathematical Logic and Computational Complexity Theory and is visiting the JAIST on invitation of Norbert Preining.

Seminar day at Ozaki LabSeminar day at Ozaki Lab
Tue, 2011/07/12

A series of informal seminars in the Ozaki laboratory will be given as follows:

Time: 13:30-15:00
Room: Ozaki's office

Schedule:
13:30-14:00
Sathya Subramanyan
A first principle quest for new multiferroics by chemical ordering

14:00-14:30
Masayuki Toyoda
Toward order-N implementation of hybrid functional methods

14:30-14:40 Break

14:40-15:00
Taisuke Ozaki
A report on "Summer Program on Electronic Structure Analysis and Computation"

2nd Kanazawa University - JAIST joint meeting on computational Science2nd Kanazawa University - JAIST joint meeting on computational Science
Thu, 2011/02/17