About This Workshop
Commemorating the 40th anniversary of the twin town relationship between Kanazawa and Nancy, we organise the first JAISTLORIA workshop. The workshop aims at bringing together researchers of both institutes to foster a cooperative relationship in research and education.
Venue
The workshop takes place at the next venue: 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).Program
April 1
 10:0010:05
 opening
 10:0510:30
 Toward Affective SpeechtoSpeech Translation System
 Masato Akagi (JAIST)
 10:3010:55
 Using MultiModeling and CoSimulation for the Design and Assessment of Complex Systems
 Laurent Ciarletta (LORIA)
 break
 11:1011:35
 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.
 11:3512:00
 Augmented Human
 Didier Fass (LORIA)
 lunch
 13:3013:55
 Presentation of the JapaneseFrench Laboratory for Informatics
 Philippe Codognet (JFLI)
 13:5514:20
 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).
 break
 14:4015:05
 Computational Logic & Computational Linguistics
 Philippe De Groote (LORIA)
 15:0515:30
 The Challenge of Computer Go
 Simon Viennot (JAIST)
 18:30 –
 banquet
 Waraiya 1616 Katamachi, Kanazawa
map
6,000 JPY (including drinks)
April 2
 10:0010:25
 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.
 10:2510:50
 Implicit Computational Complexity at Work, logspace, ptime, nptime, pspace
 Guillaume Bonfante (LORIA)
 break
 11:1011:35
 Theory of Distributed Computing, Robot Computing
 François Bonnet
 11:3512:00
 Popularitybased Caching in ContentCentric Networking
 Thomas Silverston (LORIA)
 lunch
 13:3013:55
 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 lockoutfreeness of QLock protocoll. I will also touch some of my other research areas in manyvalued and intermediate logics.
 13:5514:20
 How To Recover Malware Assembly Codes?
 JeanYves Marion (LORIA)
 14:2014:45
 Bridging the Chasm Between Theory and Practice of MultiRobot Systems
 Xavier Defago (JAIST)
 break
 15:0515:30
 SMT on Arithmetic and Its Applications
 Mizuhito Ogawa (JAIST)
 15:3015:55
 Satisfiability Modulo Theories
 Pascal Fontaine (LORIA)
 15:5516:00
 closing
 17:30 ?
 NancyKanazawa Meeting
Participants
Researchers who showed interest in the event (to be added more):JAIST
 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
 faulttolerant 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
 Logic
 manyvalue 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, humancentric information processing, real world oriented interface
 ...
LORIA
 Guillaume Bonfante
 Implicit Computation Complexity and Computer Virology
 complexity, logic, model of computation, term rewriting, malware, dynamic analyses
 Laurent Ciarletta
 Using MultiModeling and Cosimulation for the Design and Assessment of Complex Systems (Pervasive Computing, UAS, Smart*...*, CPS, etc.)
 multimodeling, cosimulation, 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 intheloop safety critical systems
 Pascal Fontaine
 Satisfiability Modulo Theories
 automated reasoning, propositional logic, firstorder logic
 Philippe De Groote
 Computational Logic & Computational Linguistics
 lambda calculus, typetheory, prooftheory, natural language syntax and semantics
 JeanYves 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
 informationcentric networks, softwaredefined networking, internet of things, crowdsourcing services
SJTU
 Yijia Chen

JFLI
 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 ShinOsaka. For general information, please see this website. The site describes how to get to Fukui (a city between ShinOsaka 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). APA hotels (search at
www.expedia.com
with keywords ``Kanazawa Japan'')
 APA Hotel KanazawaKatamachi
 APA Hotel KanazawaChuou
 APA Villa Hotel KanazawaKatamachi
 Kanazawa Excel Hotel Tokyu
 Toyoko Inn Kanazawa Kenroku
 Hotel Econo
Organising Committee
 Guillaume Bonfante (LORIA)
 Xavier Defago (JAIST)
 Didier Fass (LORIA)
 Nao Hirokawa (JAIST)
 JeanYves Marion (LORIA)
 Mizuhito Ogawa (JAIST)
 Norbert Preining (JAIST)
Sponsors
tba