↓ Skip to Main Content
Press
Contact
Search for:
ARiSE Society
RiSE Network
About the Network
SHiNE Organization and Subprojects
Members
Principal Investigators
Postdocs
PhD Students
RiSE Fellows
World Collaborations Map
News
All News
Press Coverage
Events
Seminar
Calendar
Publications
Jobs
Workshop
Winter School
Home
›
Events
›
Joint Alpine Verification Meeting and RiSE Meeting
Joint Alpine Verification Meeting and RiSE Meeting
Posted on
May 27, 2013
by
ayrat
More details at
https://es.fbk.eu/unit_events/alpine-verification-meeting-2013
.
‹
Seminar on Formal Verification of Distributed Algorithms, 1-5 April, Dagstuhl, Germany
ICE Workshop at DisCoTec 2013
›
Posted in
Events
,
News