Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Forum on specification and Design Languages (FDL 2019) (Veranstaltung)

  • Armin Biere (Mitglied)

Aktivität: Mitgliedschaft/FunktionProgramm-Komitee

Beschreibung

Welcome to the 2019 Forum on Specification and Design Languages (FDL)! FDL is an international forum to exchange ideas, experiences and promote new trends in the application of languages, their associated design methods, and tools for the design of electronic systems. The three day technical program hopes to stimulate scientific discussions within and in between scientific topics that cover the mentioned topic areas. We are delighted to have three keynote talks this year. The first keynote by Prof. David Broman from the KTH Royal Institute of Technology, Stockholm, will be on designing efficient heterogeneous domain-specific languages and compilers. The second keynote by Stephen A. Edwards from Columbia University, New York, will argue that language design is LEGO Design and library design. The third keynote, by Marc Pouzet, from École Normale Supérieure, Paris, will be on SCADE, a formal language for embedded critical software development. In addition, FDL has organized two tutorials; Maria Poveda and Alba Fernandez Izquierdo, both from Universidad Politécnica de Madrid, will cover integrating ontological development with software engineering trends, and Daniela Genius from Sorbonne Université - LIP6, Paris, will present the TTool AMS extension. FDL received a total of 37 submissions, of which 18 (49%) were selected for inclusion in the IEEE proceedings, consisting of 15 full papers and 3 short papers. Each of these submissions received an average of 3.8 reviews per paper by the members of the program committee. These presentations form six sessions in addition to the three keynotes, two tutorials, and two panels.
Zeitraum02 Sep. 201904 Sep. 2019
EreignistitelForum on specification and Design Languages (FDL 2019)
VeranstaltungstypKonferenz
OrtSouthampton, Großbritannien/Vereinigtes KönigreichAuf Karte anzeigen

Wissenschaftszweige

  • 202006 Computer Hardware
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence