Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together

Kulahcioglu Ozkan, B. (Participant)

Software Engineering

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period	4 Dec 2022 → 9 Dec 2022
Event type	Seminar
Location	Wadern, GermanyShow on map

Documents & Links

https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22492