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

---