FDL 2019: Forum on Specification & Design Languages Southampton, UK, September 2-4, 2019 |
Conference website | http://fdl-conference.org |
Submission link | https://easychair.org/conferences/?conf=fdl2019 |
Abstract registration deadline | May 3, 2019 |
Submission deadline | May 10, 2019 |
FDL is a well-established international forum to exchange experiences and promote new trends in the application of languages, their associated design methods, and tools for the design of electronic systems. Electronic systems of interest to FDL include (but are not limited to) those that are used in Internet of Things (IoT), Cyber-Physical Systems (CPS), mixed criticality embedded systems, embedded systems for high-performance computing, automated driving and driver assistance, real-time systems, reconfigurable and secure computing.
FDL stimulates scientific and controversial discussions within and in-between scientific topics as described below. The program structure includes original research sessions, tutorials, panels, and technical discussions. “Wild and Crazy Ideas” and work in progress are welcome.
We welcome authors to submit manuscripts on topics including, but not limited to:
- Languages and formalisms in the design, test, verification, and simulation of electronic systems.
- Requirements and property specifications, models of computations, automata, networks, model- and component-based design.
- Platform modeling and abstraction, and system-level design languages.
- Synchronous and functional languages for reactive and concurrent systems.
- System design involving modern approaches such as machine learning and its verification, as well as modern computing architectures such as energy-efficient and high-performance computing, accelerators including GPUs and FPGAs, and IoT applications.
- Languages and compilers for multi/many-core and heterogeneous architectures.
- Formal methods and languages for model development and verification
- Languages in model-based design of intelligent systems and machine learning
- High-level hardware and software synthesis, virtual prototyping, and design space exploration.
Submission Guidelines
We invite full research papers, for oral presentation, which cover novel and complete research work supported by experimental results. We also invite short papers, for interactive presentations/posters, which may include "wild and crazy ideas", work in progress, case studies or industrial experience reports.
Authors should submit papers in double column, IEEE format as PDF through the submission system. A full research paper has a maximum of 8 pages, short papers may have up to 4 pages. Submitted papers must be anonymous (double blind), must describe original unpublished work, and must not be under consideration for publication elsewhere. Full research papers may be accepted as short papers.
Conference proceedings will be published in electronic form with an ISSN and an ISBN number and made available on IEEE Xplore.
In addition, an edited collection of extended versions of selected best papers will be published as a book by Springer.
Accepted papers must be presented by one of the authors. A full registration for each paper is required prior to the final paper version deadline.
Committees
Program Committee
- Akramul Azim, University of Ontario Institute of Technology, CA
- Alain Girault, INRIA Grenoble Rhône-Alpes, FR
- Alessandro, Cimatti, Fondazione Bruno Kessler, IT
- Alper Sen, Bogazici University, TR
- Ana Lucia Varbanescu, Univ. of Amsterdam, NL
- Andrea Calimera, Politecnico di Torino, IT
- Armin Biere, Johannes-Kepler-University Linz, AT
- Ashraf Salem, Mentor Graphics, EG
- Avi Ziv, IBM, IL
- Christian Haubelt, University of Rostock, DE
- Christoph Grimm, TU Kaiserslautern, DE
- Daniel Grosse, University of Bremen, D
- David Broman, KTH, SE
- Davide Quaglia, Verona University, IT
- Dionisio De Niz, Carnegie Mellon University, US
- Dumitru Potop-Butucaru, INRIA Rocquencourt, FR
- Franco Fummi, University of Verona, IT
- Frederic Mallet, Universite Nice Sophia-Antipolis, FR
- Friedrich Gretz, Bosch, DE
- Graziano Pravadelli, University of Verona, IT
- Hiren Patel, University of Waterloo, CA
- Hiroshi Saito, Aizu University, JP
- Julio Medina, Universidad de Cantabria, ES
- Kenshu Seto, Tokyo City University, JP
- Kim Gruettner, OFFIS, DE
- Klaus Schneider, Technical University Kaiserslautern, DE
- Laurence Pierre, Université de Grenoble, FR
- Maher Fakih, OFFIS, DE
- Marc Pouzet, École Normale Supérieure, FR
- Marco Roveri, Fondazione Bruno Kessler, IT
- Marie-Minerve Louerat, UPMC, FR
- Martin Radetzki, University of Stuttgart, DE
- Michael Mendler, Bamberg University, DE
- Nicola Bombieri, University of Verona, IT
- Olivier Sentieys, IRISA, FR
- Pablo Sanchez, University of Cantabria, ES
- Peter Wilson, Bath University, UK
- Philippe Coussy, Universit‚ de Bretagne-Sud, Lab-STICC, FR
- Reinhard von Hanxleden, Christian-Albrechts-Universität zu Kiel, DE
- Robert De Simone, INRIA, FR
- Sander Stuijk, Eindhoven University of Technology, NL
- Sara Vinco, Politecnico di Torino, IT
- Selma Saidi, TU Hamburg-Harburg, Germany, DE
- Seyed-Hosein Attarzadeh-Niaki, Shahid Beheshti University, IR
- Shiyan Hu, Michigan Technological University, US
- Stephen Edwards, Columbia University, US
- Terrence Mak, University of Southampton, UK
- Tiziano Villa, Universita' di Verona, IT
- Tom Kazmierski, University of Southampton, UK
- Ylies Falcone, Univ. Grenoble Alpes, FR
Organizing committee
- General Chair: Tom J Kazmierski | Univ. of Southampton
- Program Chair: Reinhard von Hanxleden | Kiel Univ.
- Program Co-Chair and Local Chair: Terrence Mak | Univ. of Southampton
- Special Session Chair: Daniel Grosse | Univ. of Bremen
- Finance Chair: Franco Fummi | Univ. of Verona
- Web Chair: Florenc Demrozi | Univ. of Verona
- Panel/Tutorial Chair: Carna Zivkovic | TU Kaiserslautern
- Publication Chair: Basel Halak | Univ. of Southampton
Invited Speakers
- David Broman | KTH Royal Institute of Technology
- Stephen Edwards | Columbia University
- Marc Pouzet | École Normale Supérieure
Venue
The conference will be held in Southampton, UK.
Contact
All questions about submissions should be emailed to the organizers at fdl2019(at)easychair.org.