The National Institute of Informatics (NII) possess this gorgeous seminar house in Karuizawa. It was built on land donated by Dr. Hiroshi Inose, the first director general of NII. According to the website of NII, Dr Inose's idea was to create an ideal place for interdisciplinary and international discussions.

Invited Talk at Systems Resilience Workshop in Karuizawa: Resilience in the mammalian circadian clock

I have been invited to give a talk at a workshop of the Transdisciplinary Research Integration Center Systems Resilience project at the International Seminar House for Advanced Studies in Karuizawa (in the Nagano prefecture).

Since the 2011 Tōhoku earthquake and tsunami, resilience is a key research topic in Japan. What lies behind this notion? Without going into the details that the community addresses in the papers on this topic, this is roughly the capacity of a system to absorb sudden changes in the (social, environmental, medical, …) environment while maintaining its key features. This concept is of interest in a wide range of sectors: in the societal domain (ensure the proper functioning of a city or a country when the devastating earthquake), in psychology (to recover from a traumatic event), etc.

I took the opportunity of this workshop to present some thoughts of a joint project with researchers from University of Nice about the circadian rhythm, that appears to be a very resilient biological system that discrete approaches can help to analyze.

This talk was part of my activity as JSPS invited researcher at Inoue Lab, National Institute of Informatics (Tokyo).

Details

  • Title: Resilience in the mammalian circadian clock
  • Place: Karuizawa, International Seminar House for Advanced Studies
  • Date: 2014/09/01
  • Duration: 20 minutes
  • Attendance: 20+ persons (researchers, PhD students)
View on Kobe from the Rokkodai campus of Kobe University

Invited Talk at 5th CSPSAT2 meeting in Kobe University: Challenges of model-checking of hybrid systems

I have been invited to give a talk at the 5th CSPSAT2 meeting in Kobe University on the challenges of model-checking and its connection with Constraint Satisfaction Problem and Boolean satisfiability. This was really enriching to give such a presentation to an audience expert with CSP and SAT approaches. This raised many interesting questions, especially with regard to the applicability of these methods to large-scale industrial cases studies.

This talk was part of my activity as JSPS invited researcher at Inoue Lab, National Institute of Informatics (Tokyo).

Details

  • Place: Kobe, Kobe University, Rokko campus
  • Date: 2014/08/21
  • Duration: 1 hour
  • Attendance: 20+ persons (researchers, PhD students)