Visits

2016

Mar 20 - Mar 31: Gergei Bana visits Mitsuhiro Okada in Tokyo.

May 16 - Jun 3: Yusuke Kawamoto visits Kostas Chatzikolakis and Catuscia Palamidessi, and also Gergei Bana and Hubert Common in Paris.

July 5 - Aug 9: Gergei Bana visits Mitsuhiro Okada in Tokyo.

Sep 16 - Sep 20: Yusuke Kawamoto visits Kostas Chatzikolakis and Catuscia Palamidessi in Paris.

Sep 21 - Sep 21: Yusuke Kawamoto visits Thomas Given-Wilson and Fabrizio Biondi in Rennes.

Oct 16 - November 22: Gergei Bana visits Mitsuhiro Okada in Tokyo.

Nov 4 - Nov 16: Mitsuhiro Okada visits Lyon.

Nov 14 - Nov 25: Yusuke Kawamoto visits Kostas Chatzikolakis and Catuscia Palamidessi in Paris.

2017

Feb 27 - Mar 3:: Yusuke Kawamoto has discussions with Thomas Given-Wilson, Fabrizio Biondi, Louis-Marie Traonouez, and Axel Legay at Inria Rennes.

Mar 29:: Tachio Terauchi and Yusuke Kawamoto have a meeting at JAIST.

Apr 15 - May 9:: Gergei Bana visits Mitsuhiro Okada in Tokyo.

April 24 – 26:: Mitsuhiro Okada organizes the Third French-Japanese Meeting on Cybersecurity in Keio University in Tokyo. In the framework of this Meeting, a Session on our LOGIS/AYAME program is orgenized where several Japanese and French members present their results.

May:: Okada visits the French collaboraters’ group on logic in May. His presentation at a Cerisy Conference contained the work of the LOGIS/AYAME project.

Jun 6 to Jun 9:: Yusuke Kawamoto visits LIX to discuss with Catuscia Palamidessi and Konstantinos Chatzikokolakis.

Jul 31 - Aug 31:: Gergei Bana visits Mitsuhiro Okada in Tokyo.

Nov 24 to 30:: Yusuke Kawamoto visits LIX to discuss with Catuscia Palamidessi and Konstantinos Chatzikokolakis.

Nov 28:: A discussion meeting takes place between the French team and the Japanese team in Paris.

2018

March 18 - 27: Yusuke Kawamoto visits LIX, Discussion on variants of information leakage games.

May 14: Yusuke Kawamoto and Takao Murakami visit LIX. Discussion on plans for collaborations on game-theoretic approaches and statistical approaches to information leakage.

May 14-21: Mitsuhiro Okada visited France for French-Japanese AYAME team's Formal Method Session and WG reports session and and for AI-security-ethics session, Concluding Discussion session co-presenter, the and research collaboration activities of our subgroup

May 15 - 18: 4th Franco-Japanese Workshop on Cybersecurity, Polytech Annecy-Chambery. LOGIS has a strong presence at the workshop. Mitsuhiro Okada, Tachio Terauchi, Yusuke Kawamoto and Takao Murakami travel from Japan to attend the workshop. Gergei Bana, Catuscia Palamidessi and Kostas Chatzikokolakis also attend. All LOGIS members give talks: keynote talk by Terauchi, panel participation by Okada, technical talks by Kawamoto, Murakami, Palamidessi and Chatzikokolakis.

June 1-24: Gergei Bana visited Mitsuhiro Okada at Keio University

November 27 - December 7: Yusuke Kawamoto, LIX, Discussion on plans for collaborations on game-theoretic and statistical approaches to information leakage.

December 3 - December 7: Takao Murakami, LIX, Discussion on plans for collaborations on statistical approach to information leakage.