Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)

Javier Esparza, Pierre Fraignaud, Anca Muscholl, Sergio Rajsbaum, Michael Wagner
2018 Dagstuhl Reports  
The Dagstuhl Seminar "Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance" took place May 22-25, 2018. Its goal was to strengthen the interaction between researchers from formal methods and from distributed computing, and help the two communities to better identify common research challenges.
doi:10.4230/dagrep.8.5.60 dblp:journals/dagstuhl-reports/EsparzaFMR18 fatcat:72a6n5b32bd7rh7bgl4fb64fmy