ÉCOLE
JEUNES CHERCHEURS
en PROGRAMMATION
2011
Spécification de logiciels
Analyse et preuve de programmes
Sécurité logicielle
Du 22 au 27 juin : Hébergement et cours au Manoir de la Vicomté à Dinard.
Du 28 juin au 1er juillet : Hébergement dans des hôtels du centre-ville de Rennes et cours à l'INRIA/IRISA, campus de Beaulieu.
-
Dinard
Situé à 200 m de la mer, sur la commune de Dinard, station balnéaire réputée, dans le quartier résidentiel dit de la Vicomté, le Manoir est à 3 km du centre ville, et à 10 kilomètres de la gare TGV de Saint-Malo, en franchissant le barrage de la Rance.
De la Pointe du Grouin, près de Cancale, au Cap Fréhel, près d'Erquy, s'étend la Côte d'Émeraude. Le Manoir est au centre d'un environnement exceptionnel : entre le Mont Saint-Michel et le Cap Fréhel, sans oublier le pays de Rance et Dinan, permettant de découvrir pleinement ou partiellement cette région.
Manoir de la Vicomté
6 avenue Georges Pian
35800 Dinard
tél. 02 99 46 12 59
fax 02 99 16 02 69
manoir.vicomte@wanadoo.fr
Des navettes seront mises en place entre la gare de Saint-Malo et le Manoir de la Vicomté/Dinard le mardi 21 juin à 22h00 (arrivée du TGV 8095 à 21h48).
Ainsi que le lundi 27 juin entre le Manoir de la Vicomté-Dinard et Rennes centre ville.
(Horaires communiqués ultérieurement).En dehors des navettes, plusieurs solutions s'offrent à vous:
Prendre un taxi de la gare de St-Malo;
Par la route. Se rendre à Rennes. En y arrivant, prendre la rocade Est puis Nord si vous venez de Paris ou la rocade Ouest si vous venez du Sud ou de l'Ouest. Prendre la sortie « Dinan/Dinard/Saint Malo », située au Nord, Nord-Ouest, de la ville et suivre la D137 jusqu'à la rocade de Saint-Malo. Prendre alors la direction de Dinard par la D168. Passer sur le barrage de la Rance. Prendre à droite au feu« Dinard par la côte ». Juste avant le panneau « Dinard » à l'entrée de la ville, suivre « La Vicomté », à droite. Le manoir est alors à 300 mètres sur votre gauche.
-
Rennes
Rennes est à 350 kilomètres à l’ouest de Paris. Le moyen le plus simple pour se rendre à Rennes est d’utiliser le train : une liaison rapide TGV (2 heures de trajet et un train toutes les heures) avec la capitale, des liaisons fréquentes avec l’ensemble du territoire. Il existe aussi de nombreux TGV en provenance directe de l’aéroport Roissy - Charles de Gaulle. Le campus est à moins de 10 minutes de la gare en taxi et à moins de 20 minutes en métro et bus.
Rennes dispose par ailleurs d’un aéroport international à environ 10 km du centre ville. Des liaisons aériennes vers les principales grandes villes françaises y sont assurées quotidiennement. plan de rennes
Aller sur le campus de Beaulieu :
Le campus scientifique de Rennes est très pratique d’accès : il est desservi de façon régulière par les transports en commun (un bus toutes les 7 minutes en heures de pointe). Il est aussi à moins de 5 minutes en voiture du centre ville.
plan du campus
Se rendre à l'EJCP 2011 :
Les cours auront lieu à l'INRIA/IRISA :
Accès :
Par la route : En venant de Paris par la voie expresse, prendre la sortie vers Rennes-Centre, puis suivre le fléchage "Campus de Beaulieu". Le campus universitaire est à droite à l'entrée de l'agglomération.
En venant du centre-ville, prendre les quais, direction Cesson-Sévigné/Laval. Le campus est à quelques kilomètres sur la gauche.Sur le Campus, l'Inria/Irisa occupe le premier bâtiment sur la gauche de l'accueil de l'université.
Les transports en commun :
en train
Rennes est relié par TGV à Paris, Lille et Lyon.
Consultation horaires trains SNCF
en avion
L'aéroport de Rennes Saint-Jacques est relié quotidiennement à 22 villes françaises et européennes.
Prendre un taxi jusqu'à l'Irisa coûte environ 20 €en journée.
Pour rejoindre en bus le campus depuis l'aéroport, voir ci-dessous.
en bus
Les plans du réseau, les horaires et votre itinéraire sur mesure !De la gare :
-> sortie Nord, remonter à pied l'avenue J. Janvier jusqu'à la Vilaine. Tournez à gauche (Quai E. Zola) : l'arrêt des bus n° 6, 16 ou 40ex est à 20 mètres juste à côté des musées de Bretagne et des Beaux-Arts (arrêt "Pasteur/Musée").
-> ou prendre le métro, station "Gares" (direction "J.F. Kennedy"), descendre à l'arrêt "République". Prendre le bus 6, 16 ou 40ex.
-> Descendre à l'arrêt "Tournebride"Ligne 6 : un bus toutes les 10 à 20 minutes selon les périodes, durée du trajet : 10 mn environ
Lignes 4 : un bus toutes les 7 à 10 minutes, durée du trajet : 10 mn environ
Ligne 40ex ("express") : un bus toutes les 6 à 12 minutes, en heures de pointe uniquement, durée du trajet : 7 mn environ.-> La ligne 41ex relie directement la gare au campus de Beaulieu en semaine, avec des horaires calés sur les trains régionaux (durée du trajet : 12 mn environ).
-> La ligne 30 relie le campus de Villejean à celui de Beaulieu (arrêt "Restaurant universitaire")De l'aéroport :
-> La ligne de bus n° 57 relie St-Jacques au centre de Rennes en journée (de 6h15 à 20h30). Les arrêts "Pommerais" ou "Abbé Grimault" sont à 400 mètres environ de l'aéroport dans le bourg de St-Jacques : un bus toutes les 10 à 15 mn, durée du trajet : un peu moins de 20 mn.
Changer à "République" pour le bus n°6, 16 ou 40ex. (voir ci-dessus).
-> La ligne 33b relie directement St-Jacques au campus de Beaulieu via les quartiers sud de Rennes ; monter aux arrêts "Pommerais" ou "Abbé Grimault", descendre à "Restau. U.", puis traverser le campus à pied.Prix du ticket de bus à l'unité : 1,10€.
Les informations ci-dessus sont données sous réserve. Pour toute information sur le métro et les bus rennais consultez le site Web de la Star, ou appelez InfoStar au 02 99 79 37 37.
La ville de Rennes
DINARD
du 22 au 27 juin 
RENNES
du 28 juin au 1er juillet
www.ejcp2011.inria.fr
