D’un point de vue purement touristique, cette ville écossaise est résolument splendide et mérite les louanges qu’on en fait ici et là. La proximité de la nature est particulièrement appréciable : le siège d’Arthur en est un exemple frappant. En peu de temps (une heure de marche), on passe du centre-ville à un lieu duquel on domine toute la région. On a alors une vue à 360° des plus enchanteresses. `
Dans les pubs, le soir, l’ambiance est tranquille, reposante. Si on excepte l’accent - très marqué - des autochtones, les Ecossais me sont apparus comme des gens sympathiques et chaleureux. Bref, je reviens conquis.

La conférence CAV nous a réservé quelques surprises : par exemple, je ne m’attendais pas à ce que les systèmes temporisés soient si peu présents dans les exposés présentés pour l’occasion. Cette année, la majorité des résultats avancés concernait la vérification automatique de programmes informatiques, par des analyses discrètes. Problèmes de satisfiabilité SAT, solveurs associés, bounded model checking, .. étaient au coeur des préoccupations.

Si cette conférence n’a pas inspiré d’idées directement applicables à mon thème de recherche actuel, elle m’a toutefois permis d’élargir ma culture générale en terme de vérification (ce qui pourrait être utile pour de futures recherches).
Plus encore, ce que j’apprécie dans les conférences, ce sont toutes les rencontres qu’on y fait. On en apprend plus sur le fonctionnement dans d’autres laboratoires, sur les échanges que la communauté scientifique entretient, on découvre des parcours atypiques, on croise des références dans notre domaine de recherche, des chercheurs brillants - jeunes et moins jeunes. On mesure tout le chemin qui nous sépare de ces personnes et on a envie de marcher sur leurs traces. C’est tout à la fois une leçon d’humilité et une incitation à viser plus haut. L’émulation, il n’y a que ça de vrai.

Ce séjour à Edimbourg, c’était aussi pour moi l’occasion de mon premier exposé dans un workshop international. Si la présentation s’est passée sans problème majeur, je ne suis que moyennement satisfait de ma prestation. Je ne pense pas avoir enthousiasmé les foules. D’une part, parce que l’objet de notre étude dénotait un peu par rapport au reste de la conférence et du workshop. D’autre part, à cause de certaines maladresses de présentation dont je suis responsable. J’ai encore beaucoup de progrès à faire pour réussir des exposés en anglais clairs, attractifs et agréables à suivre. En tout cas, cette expérience aura été riche en enseignements. Cette mise en situation “réelle” me permet de mieux percevoir ce que je dois améliorer dans la structure de mon propos, dans mes transparents, dans la présentation générale.

J’ai du pain sur la planche.

Pour finir, quelques autres photos souvenirs de ce voyage.
- quelques vues depuis le siège d’Arthur et de la promenade que nous avons faite ;
- rien de tel qu’un plat indien pour se remplir l’estomac après s’être dépensé ;
- les petits déjeuners offraient un choix certain, placé notamment sous le signe du commerce équitable ;
- il est loin le temps du stress irraisonné avant les khôlles en prépa ; avant ma présentation, j’étais relativement serein ;
- dans les pubs, un certain nombre de jeux est mis à disposition ;
- les cheveux longs, ça permet de jouer avec le vent : avant / après ;

A notre arrivée, nous avons pu constater que, si la ville était bien aux couleurs des manifestations altermondialistes, le coeur d’Edimbourg n’était pas aussi agité que certains medias voulaient le faire croire. Les premiers jours, le temps n’était pas des plus enthousiasmants. Heureusement, la situation s’est améliorée par la suite.

L’Appleton Tower, bâtiment dans lequel se tiennent les conférences, n’est certainement pas le plus bel édifice de la ville. La conférence elle-même est intéressante et plutôt bien organisée, même si les déjeuners sont assez “particuliers” : quand nous arrivons, les desserts sont déjà disposés sur la table, en un certain nombre, et il faut s’arranger avec son voisin pour savoir qui obtiendra le cheesecake ou la mousse au chocolat (sur une table de 20 personnes, il n’y a que dix cheesecakes ; le reste des convives doit prendre à la place un fruit ou du fromage). Les pauses-café sont, elles, généreuses en bons petits gâteaux et muffins.

Nous profitons des soirées pour faire du tourisme, nous balader dans le parc de Princes Steet, découvrir les spécificités du coin (à l’image des “bancs mémoriaux), profiter de la beauté de certains paysages, sillonner Princes Street, baigner dans l’atmosphère typique des pubs.

Cette après-midi, la conférence se terminant à 15h30, nous devrions aller visiter le siège du Roi Arthur. De nouvelles photos devraient donc être mises en ligne lors de mon retour en France.

Illustration sur mes recherches actuelles. Je vous rassure, je ne rentrerai pas dans les détails. Je mentionnerai juste l’objet de mes travaux actuels, pour les quelques lecteurs qui sont familiers avec cette thématique : il s’agit de trouver une traduction structurelle efficace qui permette de passer d’un réseau de Petri évoluant en temps continu à un réseau doté d’une sémantique discrète.

Fin février, j’étais arrivé à un modèle théoriquement satisfaisant, mais présentant de nombreux défauts dès qu’il s’agissait de l’implanter informatiquement parlant. Pendant plusieurs jours, j’ai tenté de sortir de l’impasse dans laquelle il me semblait être arrivé, mais rien n’y faisait.
Alors, aux alentours du 10 mars, j’ai décidé de repenser complètement le modèle que j’avais conçu. Grâce à quelques discussions avec mes “chefs”, j’ai eu deux idées importantes qui m’ont permis de créer un modèle répondant à nos attentes. L’implantation informatique n’a pas posé de soucis majeurs, les résultats sont plutôt satisfaisants. Et j’ai complètement laissé de côté le premier modèle auquel j’étais parvenu.

Cette semaine, j’ai essayé d’étendre mon modèle à des cas encore plus généraux. Je me suis trouvé face à de nouveaux obstacles. Je les ai pris un par un et ai tenté de les contourner. Pour un problème en particulier, j’ai réussi à trouver une solution qui, si elle n’est pas forcément encore très efficace, a le mérite de répondre à la question posée. Par analogie, je me suis rendu compte que la méthode déployée dans ce cadre aurait pu me servir à répondre au problème auquel je m’étais heurté deux mois auparavant. Alors j’ai repris le cahier contenant mes recherches de février. J’ai gribouillé. Et j’ai finalement trouvé comment débloquer cette situation qui me paraissait, il n’y a pas si longtemps, définitivement compromise.

Fort des discussions que j’ai pu avoir avec mes collèges, des tentatives avortées, des papiers lus ici et là sur des thèmes connexes, j’ai réussi à lever l’aporie à laquelle je pensais être arrivé en février. Cela a été une surprise. Il y a un mois et demi, j’avais beau me creuser la tête, rien ne venait. Et c’est aujourd’hui, après avoir emprunté une toute autre voie, que j’ai finalement fait sauter le verrou. Un cheminement d’idée typique de la recherche. Voilà le genre de latitude qu’un industriel ne laissera que rarement à ses salariés : alors que la mondialisation, le durcissement de la concurrence et la course à la rentabilité sont désormais les maîtres mots du jeu économique, comment un chef d’entreprise pourrait-il laisser certains de ses employés travailler sur des thématiques aux résultats si imprévisibles ?

Un exemple parmi tant d’autres, qui illustre bien le fait que la recherche fondamentale ne peut pas se laisser absorber par le monde industriel, à l’heure où Alain Trautman (Sauvons la Recherche) et Edouard Bézin sont de nouveau reçus par Jean-Pierre Raffarin concernant la future loi d’orientation et de programmation de la recherche. Vous savez, cette fameuse loi qui était sensée être votée, au plus tard, fin 2004 …