Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Narayan K. Kumar and Madhavan Mukund from the Chennai mathematical institute visited Dostribcom in april (1 week each) to continue working on session models in web services, and to launch new research on robustness in distributed systems.

Danilo Ardagna visited Distribcom in October 2012

Prof. Michele Pinna (niv. Cagliari) visited DistribCom from Sept. 1 to Sept. 30.

Andrzej Wasowski visited Distribcom in February 2012 Jan Kretiensky visited Distribcom in September 2012

Internships

Guillaume Aucher supervised the internship of Himani Rajora (IIT, Delhi, India) entitled “Distances between Kripke models”.

Axel Legay supervised the internship of Alessio Colombu (Trento), Hoa Lee (Trento), and Fabrizio Biondi (ITU Copenhagen).

Visits to International Teams

Guillaume Aucher has visited Thomas Bolander (DTU, Copenhagen) the last week of August 2012. The collaboration was very fruitful and has resulted in significant results related to epistemic planning (DEL) (to be submitted).

Guillaume Aucher visited Leon van der Torre at the university of Luxembourg in November 2012. This visit was scheduled at the same time Samir Chopra and Guido Boella were in Luxembourg. Guido Boella is specialist of law and computer science and Samir Chopra is a logician who recently published a book on law and autonomous agents together with the jurist Laurence White. The visit was very instructive and profitable.

Guillaume Aucher was invited (his travel and accommodation expenses have been reimbursed) by Sonja Smets and Alexandru Baltag at the University of Amsterdam the last week of September 2012 to give two seminars at the ILLC and to work in collaboration with them.

Guillaume Aucher was an invited speaker of the workshop "dynamics in logic II" (Lille, March 2012).

Loïc Hélouët spent 10 days in march 2012 at the Chennai Mathematical Institute to pursue collaboration on verification of session models.

Axel Legay was invited researcher at Namur University multiple times. He was also an invited researcher at ITU Copenhagen.

Eric Fabre visited MIT (LIDS) from June 16 to June 20.