Journées GEOCAL-LAC

15 - 17 mars 2010

UNSA - Laboratoire J.A. Dieudonné


Accueil

Les groupes de travail LAC (Logique, Algèbre et Calcul) et GEOCAL (Géométrie du calcul) du GDR Informatique Mathématique organisent leur réunion annuelle 2010 en commun à l'Université de Nice - Sophia Antipolis du 15 au 17 mars 2010.

Lieu

Les exposés se dérouleront dans la salle de conférences du Laboratoire J.A. Dieudonné, noté W sur le plan:

plan.jpg

Les déjeuners pourront être pris au restaurant administratif.

Access Internet

Access Internet sera possible a travers un reseau sans fil. Les donnees d'access seront distribuées pendant le rencontre.

Comment y aller ?

à partir de la gare SNCF (15min)

  1. sortir de la gare
  2. tourner à gauche et suivre la rue pendant 500m jusqu'au carrefour, où se trouve aussi l'arret de tram
  3. prendre le tram en direction "Las Planas" (monter) (billet 1 euro)
  4. descendre a l'arret "Valrose"
  5. traverser la place (perpendiculaire au ligne de tram) et continuer dans cette direction pendant 500m

à partir de l'aeroport (50min)

  1. prendre le bus n. 23 (billet 1 euro)
  2. descendre a l'arret "Vallot"
  3. suivre les panneaux vers la fac (500m)
ou
  1. prendre le bus n. 98 jusqu'a la gare SNCF (billet 4 euros)
  2. suivre les indications "a partir de la gare" (le billet est valable pour le tram aussi)
Un taxi de l'aeroport a la fac coute environ 35 euros et prend 20 min.

transport public a Nice "Ligne d'Azur"

Programme

Le programme: (pdf) (txt)

Hôtels

Des hôtels avec lesquels le labo travaille. Mentionner l'université pour avoir des prix avantageux.

Inscription

L'inscription se fait sur le SITE D'INSCRIPTION.

En cas de problème avec l'inscription, vous pouvez vous rendre à Angelique Guitard (éffacer protection spam).

Voici la liste des participants.

Liens

Sur les groupes de travail

LAC

Le groupe de travail LAC (/Logique, Algèbre et Calcul/) a pour but de fédérer des chercheurs français travaillant sur les interactions entre les systèmes calculatoires dont la théorie est issue de l'algèbre, comme les systèmes de réécriture de premier ordre ou les automates d'arbres, et ceux dont la base provient plutôt d'un système logique (intuitionniste, classique, linéaire) comme le lambda-calcul ou les réseaux de preuve/interaction sans oublier les formalismes informatiques issus de la théorie des catégories. Notre but est d'une part, d'exploiter le transfert de techniques entre ces formalismes, et d'autre part, d'étudier la possibilité de faire coexister ces approches dans un cadre homogène qui intègrent plusieurs paradigmes. Les thèmes pourraient se regrouper en (i) fondements, (ii) techniques et (iii) applications et implémentations.

Geocal

La problématique générale du groupe de travail GEOCAL (/Géométrie du calcul/) est de trouver au sein de la logique et des mathématiques des outils permettant la modélisation abstraite des programmes. Un exemple spectaculaire du succès de cette approche est l'invention de la logique linéaire issue d'une part de l'isomorphisme de Curry - Howard établissant la correspondance entre les déductions formelles en logique intuitionniste et le lambda-calcul typé, et d'autre part de la modélisation du lambda-calcul par des espaces présentant des analogies fortes avec les espaces vectoriels.

Informations pratiques

Plan de Nice interactive

Nice (activer JavaScript)

Plan du Campus Valrose

Campus Valrose interactive (activer JavaScript)

Organisateurs

Les organisateurs: Pour toute question, n'hésitez pas à envoyer un email à Julianna Zsidó (éffacer protection spam).

Valid HTML 4.01 Transitional