Accueil🇫🇷Chercher

International Workshop on Descriptional Complexity of Formal Systems

La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels.

International Workshop on Descriptional Complexity of Formal Systems (DCFS)
Type Conférence académique
Création 1999
Localisation villes variées
Date annuelle
Site web http://www.informatik.uni-giessen.de/dcfs/

Les contributions proposées sont évaluées par les pairs, comme il est d'usage dans ces conférences; les communications acceptées sont publiées, depuis 2011, dans la série des Lecture Notes in Computer Science (en) de Springer. Dès les premières conférences, des versions détaillées de certaines contributions paraissent dans des journaux scientifiques spécialisés, comme International Journal of Foundations of Computer Science, Journal of Automata, Languages and Combinatorics, Theoretical Computer Science ou encore Information and Computation.

Dans sa forme actuelle, la conférence DCFS résulte de la fusion, en 2002, de deux autres workshop, à savoir DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) et FDSR (Formal Descriptions and Software Reliability). Le workshop DCFS se tient fréquemment aux mêmes lieux et dates que d'autres conférences internationales sur les mêmes thèmes, comme ICALP, DLT ou CIAA.

Thèmes des conférences

Les sujets abordés concernent notamment :

  • Mesures de complexitĂ© descriptive des automates finis, de grammaires et de langages, et de systèmes reliĂ©s.
  • Compromis entre complexitĂ© descriptive et les modes opĂ©ratoires.
  • ComplexitĂ© des circuits (en) des fonctions boolĂ©ennes et mesures similaires.
  • Concision de description d'objets finis.
  • ComplexitĂ© d'Ă©tats d'automates finis.
  • ComplexitĂ© de description dans des environnements Ă  ressources ou structures limitĂ©es.
  • ComplexitĂ© structurelle (en).
  • ComplexitĂ© descriptive de systèmes formels en pratique, comme fiabilitĂ© des logiciels, test de logiciel et matĂ©riel, modĂ©lisation de langues naturelles.
  • Aspects de complexitĂ© descriptive d'architectures motivĂ©es par la biologie et des modèles de calculs non conventionnels.
  • ComplexitĂ© de Kolmogorov et complexitĂ© descriptive.

Les sujets de la conférence recouvrent ceux énumérés par le Working Group 1.2 du International Federation for Information Processing sur la complexité descriptive.

Historique du workshop

Les premières conférences (DCAGRS et FSDR) sont les suivantes :

DCAGRS

  • 1er DCAGRS 1999, Magdeburg (Allemagne)
  • 2e DCAGRS 2000, London (Ontario)
  • 3e DCAGRS 2001, Vienne (Autriche)

FSDR

Depuis 2002, les conférences ont lieu sous leur nouveau nom :

DCFS

Depuis 2006, le Steering Committee de DCFS est présidé par Giovanni Pighizzini.

Impact

À titre d’exemple, le workshop DCFS 2016 comportait quatre conférences invités et 13 articles réguliers. Il a eu 21 propositions de communications, soumises par 47 auteurs de 15 pays différents. Le taux d’acceptation est de 60 % environ.

Références

  • JĂĽrgen Dassow: 10 Years DCFS ConfĂ©rence au 11e DCFS Ă  Magdebourg (Allemagne), 2009.
  • Markus Holzer et Martin Kutrib, « Descriptional Complexity — An Introductory Survey », dans Carlos MartĂ­n-Vide (Ă©diteur), Scientific Applications of Language Methods, vol. 2, Imperial College Press, coll. « Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory », (ISBN 978-1-84816-544-1, lire en ligne), p. 1–58
  • Ian McQuillan, Giovanni Pighizzini, Ian McQuillan (dir.) et Giovanni Pighizzini (dir.), « Preface », Electronic Proceedings in Theoretical Computer Science, vol. 31,‎ (DOI 10.4204/EPTCS.31, arXiv 1008.1270)
  • Andreas Malcher, « Report on DCFS 2012 », Bulletin of the EATCS, no 108,‎ , p. 168-169 (lire en ligne)
  • Ian McQuillan, « Report on DCFS 2009 », Bulletin of the EATCS, no 99,‎ , p. 185-187 (lire en ligne)
  • Bianca Truthe, « Report on DCFS 2008 », Bulletin of the EATCS, no 96,‎ , p. 160-161 (lire en ligne)

Liens externes

Articles liés

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.