News

Conférence STACS 2018
,

Conférence STACS 2018

La 35è édition de STACS est maintenant terminée. Cette conférence internationale, co-organisée par le GREYC et le LITIS (co-chairs: Brigitte Vallée et Rolf Neidermeier), s’est tenue à Caen du 28 février au 3 mars. Ses thèmes sont ceux de l’informatique mathématique (classification ACM 2012: Mathematics of computing; Theory of Computation).

Nous tenions à remercier une dernière fois les contributeurs financiers, et en particulier la Fédération Norm@Stic.

Voici un petit bilan chiffré:

  • 183 articles ont été soumis, dont 54 acceptés et présentés, soit un taux d’acceptation de 30%
  • chaque article a fait l’objet de 3 rapports. Au total, 554 rapports ont été rédigés, dont 390 par des membres extérieurs au comité de programme
  • il y eu 96 participants enregistrés à la conférence, répartis en 18 pays (30 français) de tous les continents sauf l’Afrique et l’Antarctique.

En dehors des 54 articles présentés, dont les thèmes ont été très variés (calculabilité, complexité, algorithmique, théorie des langages, logique, vérification, preuves automatiques, et bien d’autres !), ont été donnés:

  • un tutoriel par Bruno Salvy -Lyon-: Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation
  • trois exposés invités:
    • Meena Mahajan -Chennai-: Lower bounds techniques for QBF proof systems
    • Damien Pous -Lyon-: On the positive calculus of relations with transitive closure
    • Gerhard Woeginger -Aachen-: The open shop scheduling problem

Les proceedings de la conférence sont publiés sous un mode « libre »: gratuité de publication et de consultation, les auteurs restent propriétaires de leurs droits. Ils sont disponibles sous ce lien.

Parmi les 54 travaux présentés, 8 à 10 seront sélectionnés pour être publiés dans une édition spéciale de la revue Theory of Computing Systems dédiée à STACS 2018.

L’édition STACS 2019 aura lieu à Berlin, du 13 au 16 mars.

Merci encore à Norm@Stic pour son soutien financier!

Le comité d’organisation

Leave a Comment

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Vous pouvez utiliser ces balises et attributs HTML : <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>