Hinweis: Die aktuelle OOP-Konferenz finden Sie
hier!
SIGS DATACOM Fachinformationen für IT-Professionals
English
Kontakt
Newsletter
SOFTWARE MEETS BUSINESS:
Die Konferenz für Software-Architektur
05. - 09. Februar 2018, München
Programm
Konferenzprogramm
Keynotes
Freies Programm
Expo
Expo Guide (PDF)
Sponsoren- & Ausstellerliste
Sponsor werden
Service
Kontakt
Location
Rückblick
Presse
Code of Conduct
Tickets
Preise
Student Program
Sie befinden sich hier:
OOP 2018
/
Programm
/
Konferenzprogramm
Mein Zeitplan
Programm
Konferenzprogramm
Conference Guide (PDF)
Konferenzprogramm (PDF)
Speaker
Tracks
Programmkomitee
Keynotes
Freies Programm
Konferenzprogramm
Track: Formal Methods & Emergent Technologies
Dienstag
06.Februar
Session/Time/Track
Title/Speaker/Raum
Di 2.1
09:00 - 10:30
Formal Methods & Emergent Technologies
Formale Methoden in der Praxis: SMT Solver und Model Checker
Markus Völter
,
Daniel Ratiu
Di 2.2
14:00 - 14:45
Formal Methods & Emergent Technologies
Experiences from Applying Formal Verification on the Siemens SIMATIC S7-400H Firmware Using SPIN
Andreas Ulrich
Di 2.3
16:15 - 17:15
Formal Methods & Emergent Technologies
No Silver Bullets – Cybersecurity in the Cognitive Era
Azzeddine Ramrami
Di 2.4
17:45 - 18:45
Formal Methods & Emergent Technologies
Turbocharge your design process with Functional Programming
Michael Sperber
Zurück
Sponsoren der OOP 2018
Goldsponsor
Goldsponsor
Goldsponsor
Goldsponsor
Goldsponsor
Silbersponsor
Silbersponsor
Silbersponsor
Silbersponsor
Silbersponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Bronzesponsor
Partner
Partner
Partner
Partner
Partner
Partner