Zur Navigation
Zum Inhalt
Zum Footer
Deutsch
English
Login
Conference
Welcome
Recordings
Schedule
Self-organized Sessions
Lightning Talks
Wiki
Recent changes (Wiki)
Exchanges
Assemblies
Projects
Badges
my congress
My Schedule
My Badges
Visitors
Tickets
Venue
Network
Bulletin Board
FAQ
User Profile dbscoach
Deutsch
English
Login
User Profile dbscoach
dbscoach
Events
18:00
Day 3
Trustworthy Systems Meetup (security&correctness proofs in practical systems)
trustworthy-systems
sel4
formal-methods
security-guarantees
