L´École de Printemps d´Informatique Théorique
est une institution dans le domaine de l´informatique théorique
en France. L´école s´est développée sous
la houlette de Maurice Nivat. Dans ses 33 ans d´existence elle a couvert
un large spectre des thèmes porteurs en informatique théorique
et elle représente maintenant le lieu de recontre par excellence pour
les nouvelles générations de chercheurs du domaine.
Le spectre très
large des domaines que cette école récurrente propose lui
donne un rôle prépondérant pour les diffuser vers l´ensemble
de la communauté scientifique. Son comité de pilotage s´appuie
sur la richesse de l´informatique théorique pour renouveler
chaque année les thématiques présentées, ce qui
permet de réaliser des écoles innovantes et variées.
Un chercheur peut ainsi suivre chaque année l´école et
en retirer un profit permanent, à la fois pour sa culture et ses relations
scientifiques.
La diversité
des thèmes est attestée par les écoles passées :
théorie et applications de la concurrence (2004), algorithmique distribuée
(2003), sémantique des langages de programmation (2002), arithmétique
des ordinateurs (2001), pavages (2000), codage et cryptographie (1999),
algèbres max-plus et applications en informatique et automatique
(1998), logique et informatique (1996), géométrie et topologie
discrète (1995), séries formelles partiellement commutatives
(1990), automates sur les mots infinis (1984), etc.