Description

Ce workshop ouvert est consacré à la programmation synchrone, sous tous ses aspects : conception de langage, compilation et génération de code, vérification formelle, analyse statique, test, environnements de programmation, plate-formes d’exécution, sémantiques concurrentes, ordonnancement, méthodologies de modélisation, etc. C’est le rendez-vous annuel et incontournable de la communauté Programmation Synchrone. Il a vocation à être un forum ouvert où étudiants, chercheurs et ingénieur peuvent présenter leurs travaux et échanger sur de nouvelles directions de recherche.

Les langages de programmation synchrones ont été introduits dans les années 1980 pour la programmation des systèmes embarqués critiques. Ce sont des systèmes réactif dont les calculs son cadencés par des horloges logiques. Malgré leur caractère concurrent, ils sont déterministes par construction. La principale force de l’approche synchrone est sa sémantique mathématique rigoureuse, qui offre aux ingénieurs la possibilité de garantir la correction de leurs programmes.

Le workshop SYNCHRON est organisée pour être ouvert, c’est-à-dire que chaque participant, y compris les étudiants, sont incités a présenter leurs travaux. Ne soyez pas timides ! Vous êtes invités à proposer une présentation. Merci de donner un titre et un résumé lors de votre inscription.

Dates importantes

Le workshop SYNCHRON 2017 aura lieu du lundi 27 novembre 2017 au vendredi 1er décembre 2017.

Lieu

Le workshop SYNCHRON 2017 se tiendra au centre de conférence du centre Inria – Rennes Bretagne Atlantique, sur le campus de Beaulieu à Rennes, France. La ville de Rennes, métropole régionale, cité de caractère, est une des grandes villes universitaires de France.

Les informations pratiques pour venir à Rennes (avion, train, bus, métro) peuvent être consultées ici.

Rennes bénéficie de nombreux hôtels (utilisez notre outil de recherche favori). Nous vous conseillons de réserver un hôtel à proximité des transports publics, et en particulier, des lignes de bus C4 et C6 qu’ils desservent directement le campus de Beaulieu.

Le banquet se tiendra le soir du mercredi 29 novembre et sera précédé d’une visite guidée du centre historique de Rennes.

Inscription

L’inscription au workshop comprend:

• la participation aux sessions,
• déjeuners et pauses,
• une réception de bienvenue (vin & fromage) le lundi 27 novembre,
• un événement social (visite de Rennes suivie d’un dîner de gala) le mercredi 29,
• all conference materials.

	Droits d’inscription
	Anticipée	Standard
	jusqu’au 12 novembre 2017	à partir du 13 novembre 2017
Regulier	425,00€	475,00€
Étudiant	325,00€	375,00€

• Ticket supplémentaire pour l’événement social, le mercredi 29 novembre: €60
• Les étudiants doivent fournir, à l’inscription, une copie de leur carte d’étudiant, ou de tout autre document justificatif.
• Sont acceptés les paiements par cartes de crédit, virements bancaires et bons de commandes (uniquement pour les chercheurs et universitaires français).
• Politique d’annulation: les demandes d’annulation doivent être envoyées par écrit à SYNCHRON 2017 secretariat. Les annulations arrivées avant le 15 novembre 2017 donneront droit à remboursement, moins 100€ de frais de dossier. Les annulations reçues après cette date ne donneront pas droit à remboursement. Aucun remboursement ne sera possible en cas de non participation. Les annulations par téléphone ne sont pas acceptées. Les remboursements auront lieu après le workshop.
• NB: Inria a mandaté VERT.COM pour l’organisation de SYNCHRON 2017. Ce dernier est par conséquent autorisé à percevoir les droits d’inscription au nom d’Inria.