International Symposium on Mathematical Foundations of Computer Science
La conférence International Symposium on Mathematical Foundations of Computer Science (abrégé en MFCS) est une conférence scientifique dans le domaine de l’informatique théorique.
International Symposium on Mathematical Foundations of Computer Science (MFCS) | |
Type | Conférence académique |
---|---|
Création | 1972 |
Localisation | en Europe de l'Est jusqu'en 2012, puis en Europe |
Date | annuelle |
Site web | variable |
Thèmes et organisation
Les thèmes de la conférence couvrent tout le spectre de l'informatique théorique, et notamment:
- Théorie algorithmique des jeux • Théorie algorithmique de l’apprentissage (Algorithmic learning theory) • Algorithmes et structures de données (y compris séquentiels, parallèles, distribués, randomisés, graphes, réseaux, on-line, paramétrés, d'approximation, d'optimisation) • Théorie des automates et des langages formels • Bio-informatique • Combinatoire des mots, des arbres et d'autres structures • Complexité informatique (structurelle et modèle) • Géométrie algorithmique • Raisonnement assisté par ordinateur • Concurrency theory • Cryptographie et sûreté informatique • Bases de données et systèmes à base de connaissances • Méthodes formelles et développement de programmes • Fondement du calcul • Logique, algèbre et catégories en informatique • Informatique mobile • Modèles de calcul • Réseaux • Calcul parallèle et distribué • calcul quantique • Sémantique et vérification de programmes • Aspects théorique de l'intelligence artificielle • Types en informatique
Les contributions sont, comme d'usage dans ces conférences, évaluées par des pairs.
Pour la 41e conférence de 2016[1], 195 articles ont été proposés, dont 84 ont été acceptés, soit 43 %, venant de près de 40 pays. Chaque proposition a été examinée par trois rapporteurs, l’évaluation a duré près de sept semaines.
Comme il est d'usage, un certain nombre de conférenciers sont invités pour des communications plénières. En 2016, cinq conférences invitées ont été données.
Un Steering Committee (comitĂ© de surveillance) veille au maintien des orientations de la confĂ©rence. Depuis 2012, il est prĂ©sidĂ© par AntonĂn KuÄŤera.
Un best paper award et un best student paper award sont décernés chaque année.
En 2014, le classement établi par Microsoft classe la conférence 14e dans sa liste[2].
Historique
MFCS a lieu chaque année depuis 1972, habituellement au début de l’automne. Jusqu'en 2012, les conférences avaient lieu dans l'est de l'Europe, en alternance dans une ville de Pologne, Tchécoslovaquie, Tchéquie et Slovaquie. Depuis 2013, les lieux de la conférence s'étendent à toute l'Europe.
De 1974 à 2015, les communications acceptées étaient publiées par Springer dans la collection Lecture Notes in Computer Science. Depuis 2016, les actes sont publiées par le Leibniz-Zentrum für Informatik.
Les conférences récentes sont :
Notes et références
- Préface aux actes du 41e MFCS, Cracovie.
- (de) « Microsoft Academic's conference field ratings » (consulté le ).
Articles liés
Liens externes
- Actes du colloque de 1984 Ă 2007.
- MFCS sur le serveur DBLP.
- Leibniz International Proceedings in Informatics, page d'accueil.