FRIDA 2016: Call for abstracts
CALL FOR ABSTRACTS
3rd Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2016)
Satellite workshop of NETYS'16
May 16-17, 2016 | Marrakech, Morocco | http://forsyte.at/events/frida2016/
In the last decades, formal methods were proven to be useful for the verification of many hardware and software systems. For distributed algorithms, the applications of formal methods was limited: formal methods have been used for finding bugs in distributed algorithms, and to a much smaller extent formal methods were used in computer-aided verification of simple distributed algorithms. However, to verify more involved distributed algorithms, one cannot easily apply existing verification tools. To be eventually able to do this, an interdisciplinary effort from the concerned fields of formal methods, logic in computer science, and distributed algorithm theory is required.
The topics of interest include but are not limited to:
* models for concurrent and distributed algorithms
* theory of distributed algorithms
* design and verification of fault-tolerant algorithms
* benchmarking of distributed algorithms
* (parameterized) model checking
* proof assistants and theorem proving
* integration of different verification techniques
* formal techniques for synthesis
* automated code generation for distributed systems
* run-time verification of distributed systems
* performance analysis of distributed systems based on formal methods
* analysis of probabilistic and real-time distributed systems
FORMAT
This two-day workshop will include long and short talks, presentations of position papers, including work-in-progress and published work, and discussion periods. We are planning to collect the abstracts and the presentations for publication on the workshop site.
IMPORTANT DATES
Abstract submission deadline: March 18, 2016
Acceptance notification: April 1, 2016
Workshop dates: May 16-17, 2016
SUBMISSION INSTRUCTIONS
We seek submissions reporting on theory, applications, case studies or open questions at the interface of formal methods and distributed algorithms. Contributions may range from extended abstracts of one or two pages to full papers of twenty pages, in Easychair format, and should be submitted as pdf files. Presentation of papers published elsewhere is acceptable and encouraged. There will be no formal workshop proceedings -- therefore, the work will be considered "unpublished". However, accepted contributions will be made accessible from the Workshop Web page.
The submission link: https://easychair.org/conferences/?conf=frida2016
ORGANIZATION
Swen Jacobs (Saarland University)
Igor Konnov (TU Wien)
Stephan Merz (INRIA Nancy & LORIA)
Josef Widder (TU Wien)