STACS 2004

21st Symposium on Theoretical Aspects of Computer Science
Le Corum, Montpellier, France
March 25-27, 2004


Home | Preliminary program
Registration | Accommodation | Travelling information
Contact | Sponsors | Français

Conférenciers invités

  • Erich Grädel (Aachen)
  • Claire Kenyon (LIX, Polytechnique)
  • Robin Thomas (Georgia Institute of Technology, Atlanta, USA)

Thématique de la conférence

STACS est une conférence internationale d'informatique théorique organisée alternativement en Allemagne et en France. Les thématiques scientifiques abordées lors de la conférence seront (entre autre, mais pas seulement):

  • Algorithmique et structure de données, comprenant les algorithmes parallèles et distribués, le calcul géométrique, la crytpographie, la théorie de l'apprentissage; 
  • Automates et langages formels;
  • Théorie de la complexité;
  • Aspects logiques de l'informatique comprenant: la sémantique, la spécification et la vérification de programmes, la réécriture et la déduction;
  • Nouveaux challenges tels que la théorie, les modèles et les algorithmes pour la bio-informatique, le calcul quantique, l'algorithnique pour les réseaux et réseaux mobiles.

Publication

Les auteurs dont les articles ont été sélectionnés sont invités à envoyer une version finale en anglais de 12 pages (incluant la page de titre, la bibliographie et toute autre annexe). L'article doit contenir une présentation succinte du problème et de ses motivations, un résumé des principaux résultats ainsi qu'une brève explication accessible à des lecteurs non-spécialistes mais ayant une culture informatique certaine.

La date de réception des versions finales est le 15 janvier 2004.

Les articles acceptés paraîtront dans un numéro de Lecture Notes in Computer Science (LNCS), Springer-Verlag.


Comité de programme

Comité d'organisation

  • Christophe Paul, Président
  • Céline Berger
  • Toufik Bennouass
  • Mohamed Bouklit
  • Christophe Crespelle
  • Fabien de Montgolfier
  • Fabien Mathieu