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

  • Armin Biere (Member)

Activity: Membership/FunctionProgram committee

Description

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.
Period02 Sept 201904 Sept 2019
Event titleForum on specification and Design Languages (FDL 2019)
Event typeConference
LocationSouthampton, United KingdomShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence