Table des matières du Bulletin n°51 (Juin 2004)

Éditorial

Assemblée générale 22 janvier 2004 (Lille)

  • Rapport financier
  • Bilan des adhésions 2003
  • Rapport moral
  • Votes et renouvellement du CA
  • Prix de thèse 2004

Prix de thèse 2003

  • Vérification automatique des protocoles cryptographiques
  • Systèmes d'information logiques: un paradigme logico-contextuel pour interroger, naviguer et apprendre
  • Modèle électromécanique du cœur pour l'analyse d'image et la simulation
  • Les candidats au prix de thèse 2003

Laboratoire d'Informatique Fondamentale de Lille (L.I.F.L.), UMR CNRS 8022

Congrès Specif sur la recherche en informatique: Animation, Valorisation, Moyens, Évaluation, Lille, 21-22 janvier 2004

  • Les moyens consacrés à la recherche: deux exemples
  • A1: animation et organisation de la recherche par nos institutions
  • A2: Encouragement de la recherche, moyens financiers et humains
  • Expériences de transfert technologique
  • Les SAIC
  • A3: Evaluation de la recherche
  • A4: Valorisation et transfert
  • Conclusion des journées

En direct du CNU

  • Qualifications 2004 de la section 27 du CNU
  • Quelques statistiques sur les postes publiés
  • Analyse des recrutements par année de qualifications

Vers une maquette nationale de Licence d'Informatique pour le LMD

Compte-rendu de la journée des correspondants du 12 Mai 2004

Annonces

  • Congrès Specif 2005, Le salon du LMD à Clermont-Ferrand
  • Compte rendu des journées Automatique-Informatique du club EEA
  • Nouvelles de l'AFIT – AFIF
  • Rénovation en profondeur des programmes pédagogiques des IUT
  • Événements planifiés
  • Informations pratiques sur des URL intéressantes
  • Livres proposés à specif

Fonctionnement de l'association

  • Calendrier des réunions
  • CA du 23 Janvier 2004
  • CA du 4 Mars 2004
  • CA du 12 Mai 2004
  • Specif - Bulletin d'adhésion 2004
  • Les correspondants Specif au 1 mai 2004

Dernière mise à jour du site: 15/02/2011