Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• 5 – 31 March 2015: Prakash Saivasan (CMI) visits LSV to work with Paul Gastin on nested words for higher-order pushdown systems

• 19 May – 6 June 2015: S. Krishna and S. Akshay visit LSV to work with Paul Gastin on split-width techniques for the analysis of timed systems.

• 10 June – 4 July 2015: K. Narayan Kumar (CMI) visit France to pursue several collaborations: with Paul Gastin (LSV) on bounded time-stamping for message passing systems, with Ahmed Bouajjani (LIAFA) on analysis of multi-pushdown systems, and with Pascal Weil (LaBRI) on bounded reachability analysis for shared memory systems.

Internships

• Georgios Christodoulis

  • Date: May 2015 - Jul 2015

  • Institution: National University Athens (Greece)

  • Supervisor: Stefan Haar

• Sougata Bose

  • Date: May 2015 - Jul 2015

  • Institution: CMI (India)

  • Supervisor: Benedikt Bollig and Paul Gastin

Visits to International Teams

Short stays abroad

• In July 2015, Serge Haddad visited U of Turin, Italy, for a research cooperation with Prof. Giuliana Franceschinis.

• Stefan Haar visited Newcastle University (UK), TU of Eindhoven (NL) and University of Luxemburg for short visits.

• 29 November – 20 December 2015: Paul Gastin (LSV) visits S. Krishna and S. Akshay (IIT Bombay) to work on tree automata techniques for timed-systems.