1 (Tue) – 2 (Wed) April, 2014
Kanazawa, Japan

About This Workshop

Commemorating the 40th anniversary of the twin town relationship between Kanazawa and Nancy, we organise the first JAIST-LORIA workshop. The workshop aims at bringing together researchers of both institutes to foster a cooperative relationship in research and education.


The workshop takes place at the next venue:

Shiinoki Geihinkan (Shiinoki Cultural Complex)
2-1-1 Hirosaka, Kanazawa, Ishikawa, Japan
Shiinoki Geihinkan
which is located in the famous sightseeing spot of Kanazawa, including Kenrokuen (Six Attributes Garden), Kanazawa Castle, 21st Century Museum of Contemporary Art, etc... See Kanazawa Tourist Information Guide for more places (in particular, home → tour guide → 01).
Kenrokuen Kanazawa Castle 21st Century Museum


April 1


Toward Affective Speech-to-Speech Translation System
Masato Akagi (JAIST)

Using Multi-Modeling and Co-Simulation for the Design and Assessment of Complex Systems
Laurent Ciarletta (LORIA)


Image Processing and Interactive Systems
Atsuo Yoshitaka (JAIST)

I will introduce some research topics which our research group have studied. The topics include image processing with gaze detection, photo/video shooting assistance based on cinematography or composition, and video summarization.

Augmented Human
Didier Fass (LORIA)


Presentation of the Japanese-French Laboratory for Informatics
Philippe Codognet (JFLI)

Constructive Mathematics, Mathematical Logic, and Theory of Computation
Hajime Ishihara (JAIST)

I will give an introduction to major research areas of our research group: Constructive Mathematics (functional analysis, topological spaces, set theory and reverse mathematics), Mathematical Logic (proof theory of intuitionistic logic and model theory of substructural logic), and Theory of Computation (computational complexity, and lambda calculus and type theory).


Computational Logic & Computational Linguistics
Philippe De Groote (LORIA)

The Challenge of Computer Go
Simon Viennot (JAIST)

18:30 –
Waraiya   1-6-16 Katamachi, Kanazawa   map
6,000 JPY (including drinks)

April 2

Logic, Graphs, and Complexity
Yijia Chen (SJTU)

In this talk, I will give a very brief description of my research, which is in the borderline between finite model theory, structural graph theory, and complexity theory. In particular, I will present a number of results connecting those areas, including logic for PTIME and optimal algorithms, graph algorithms using logic methods, etc. Moreover, I will discuss some ongoing work.

Implicit Computational Complexity at Work, logspace, ptime, nptime, pspace
Guillaume Bonfante (LORIA)


Theory of Distributed Computing, Robot Computing
François Bonnet

Popularity-based Caching in Content-Centric Networking
Thomas Silverston (LORIA)


Algebraic Specification with CafeOBJ
Norbert Preining (JAIST)

I will give a short introduction to the Algebraic Specification / CafeOBJ Group at JAIST, followed by an example from my own research on fairness and lockout-freeness of QLock protocoll. I will also touch some of my other research areas in many-valued and intermediate logics.

How To Recover Malware Assembly Codes?
Jean-Yves Marion (LORIA)

Bridging the Chasm Between Theory and Practice of Multi-Robot Systems
Xavier Defago (JAIST)

SMT on Arithmetic and Its Applications
Mizuhito Ogawa (JAIST)

Satisfiability Modulo Theories
Pascal Fontaine (LORIA)


17:30 ?
Nancy-Kanazawa Meeting


Researchers who showed interest in the event (to be added more):


Masato Akagi
Acoustic Information Processing
auditory phonetics, audio information processing, speech recognition
François Bonnet
Distributed Computing
theory of distributed computing, robot computing
Jianwu Dang
Biological Information Processing
speech generation, speech synthesis/recognition, audio information processing
Xavier Defago
Dependable System
fault-tolerant distributed system
Nao Hirokawa
Software Verification
term rewriting, complexity analysis, confluence
Hiroyuki Iida
Entertainment Informatics
computers and games
Hajime Ishihara
Mathematical Logic
constructional mathematics, computation theory, mathematical logic
Mizuhito Ogawa
Software Verification
program analysis, software conversion, combinatorial theory
Norbert Preining
many-value logics, proof theory, semantics, Gödel logics, algebraic specification
Tachio Terauchi
Software Verification
interpolation, SMT solver, software model checking
Hirokazu Tanaka
Biological Information Processing
computational neuroscience, motor control, functional neuroimaging, biological signal processing, human psychophysics
Masashi Unoki
Acoustic Information Processing
modeling of auditory system, computational auditory scene analysis, speech signal processing
Simon Viennot
Game Theory
game tree search, machine learning, combinatorial game theory
Atsuo Yoshitaka
Image Information Processing
multimedia retrieval, human-centric information processing, real world oriented interface
See also Staff and Laboratories at JAIST.


Guillaume Bonfante
Implicit Computation Complexity and Computer Virology
complexity, logic, model of computation, term rewriting, malware, dynamic analyses
Laurent Ciarletta
Using Multi-Modeling and Co-simulation for the Design and Assessment of Complex Systems (Pervasive Computing, UAS, Smart*...*, CPS, etc.)
multi-modeling, co-simulation, smart space, smart grid, smart city, cyber physical systems, networking, dynamic networks, wireless sensor and actuator networks, UAV/UGV
Didier Fass
Augmented human
human systems integration, human machine symbiosis, theoretical biology, interaction design, cyber health systems, human in-the-loop safety critical systems
Pascal Fontaine
Satisfiability Modulo Theories
automated reasoning, propositional logic, first-order logic
Philippe De Groote
Computational Logic & Computational Linguistics
lambda calculus, type-theory, proof-theory, natural language syntax and semantics
Jean-Yves Marion
Implicit Computation Complexity and Computer Virology
complexity, logic, model of computation, term rewriting, malware, dynamic analyses
Slim Ouni
Multimodal Speech: Speech as articulatory, acoustic and visual object
articulatory modeling, acoustic modeling, audiovisual speech synthesis, speech recognition, source separation, speech production, speech perception, articulatory phonetic
Thomas Silverston
Future Internet
information-centric networks, software-defined networking, internet of things, crowdsourcing services
See also Research Teams at LORIA.


Yijia Chen


Philippe Codognet

Access to Kanazawa

from Tokyo Narita Airport to Kanazawa Station:

Please take a limousine bus to Haneda Airport (HND), fly to Komatsu Airport (KMQ), and then take an airport bus (time table) to Kanazawa. Note that there are also direct flights between Narita and Komatsu (but not many).

from Kansai International Airport to Kanazawa Station:

Please take a suitable train (type "Kansai Airport" in "From" and "Kanazawa" in "To"). Since trains are going frequently, you can simply take the next one. You must change trains at Shin-Osaka. For general information, please see this website. The site describes how to get to Fukui (a city between Shin-Osaka and Kanazawa) in great detail, including instructions for buying tickets and changing trains.

from Kanazawa Station to Venue and Hotels around Venue:

The easiest way is to go by taxi (approx 1,000 yen) from the station.

Hotels in Kanazawa

We recommend to stay at a hotel in the center of the city (Katamachi or Korinbou) rather than one around Kanazawa Station. Here we list a few hotels (4,000 – 10,000 JPY). You may find many other hotels at: Rakuten Travel

Organising Committee