3rd Workshop on Formal Approaches for Advanced Computing Systems
Workshop in-person 9th to 10th September 2019 Paris, France Website: http://faacs.di.unimi.it Contact person: Matteo Camilli Goal of the workshop is to foster integration between formal methods and software architecture promoting new synergies between the two communities in order to stimulate researchers to share novel ideas, techniques, and lessons learned. Deadline for abstracts/proposals: 31st May 2019 Check the event website for more details. View all events from this organizer. |