Table des matières du bulletin 63

Éditorial

Compte rendu de l'assemblée générale

• Rapport moral
• Rapport financier
• élections au Conseil d'Administration

Prix de thèse 2009

• Du temps de la musique vers la musique du temps
• Analyse Statique par interprétation abstraite de systèmes hybrides
• Modalités de ressource et contrôle en logique tensorielle
• Liste des candidats au Prix de thèse 2009

Annonce Prix de thèse Gilles Kahn 2010

Congrès Specif 2010

• C'est quoi, au fond, l'informatique ?
• Interface et Interactions
• Enjeux et perspectives pour le logiciel libre
• Intelligence Artificielle : Contour, évolutions et tendances
• Table ronde: Quelles compétences pour quels métiers
• Atelier Prise en compte des métiers dans la formation
• Atelier Relations entre compétences et fondements
• Les à-coté du congrès

L'informatique à Tours

En direct du CNU, Qualifications 2010 de la section 27 du CNU

Procès verbal de la session d'automne 2009 de la section 07 du CoNRS

Les machines à computer, Alan Turing

Les Masters en Informatique, entretien avec E. Grégoire et J. Vauzeilles

Interstices, Chercheurs, sortez vos plumes !

• Annonces
• Événements planifiés
• Informations pratiques sur des URL intéressantes
• Livres proposés à Specif

Les Printemps Pédagogiques de Specif mercredi 2 juin 2010 à Paris

Fonctionnement de l'association

• Calendrier des réunions
• Compte-rendu du CA du 10 décembre 2009
• Compte rendu du CA du 15 janvier 2010
• Compte-rendu du CA du 4 Février 2010
• Bulletin d'adhésion
• Les correspondants Specif en 2010

---