Au Japon pour un séminaire de recherche

Je suis arrivé à Tokyo au Japon avec mon collègue Marc Frappier pour participer cette semaine à un séminaire de recherche sur les théories de domaine dans le cadre des méthodes formelles, puis à une journée thématique sur B au National Institute of Informatics (NII). Ce sera l’occasion de rencontrer des chercheurs dans cette thématique et dans cette méthode formelle, cela correspond parfaitement à mes sujets de recherche du moment. Je vais profiter de la journée de dimanche pour essayer de récupérer les 13h50 de vol et les 14h de décalage horaire entre Montréal et Tokyo…