AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Principles of Verification and Model Checking - Detailseite

Grunddaten
Veranstaltungsart Übung Veranstaltungsnummer 3313090
Semester SoSe 2025 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache englisch
Belegungsfristen - Eine Belegung ist online erforderlich Zentrale Abmeldefrist    01.02.2025 - 30.09.2025    aktuell
Zentrale Nachfrist    14.04.2025 - 16.04.2025   
Zentrale Frist    01.02.2025 - 09.04.2025   
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mi. 15:00 bis 17:00 wöch 0313 (Hörsaal)
Stockwerk: EG

alttext alttext 		RudCh26-Modul 1 Erwin-Schrödinger-Zentrum - Rudower Chaussee 26 (RUD26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Stietel findet statt     80
Gruppe 1:
Wechseln zu: jetzt belegen / abmelden


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Stietel, Olivier
Studiengänge
Abschluss Studiengang LP Semester
Master of Education (BS)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (ISG)  Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Master of Education (ISG)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Master of Science  Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )     -  
Master of Science  Wirtschaftsinformatik Hauptfach ( Vertiefung: kein LA; POVersion: 2016 )     -  
Programmstudium-o.Abschl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstudium-o.Abschl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abschl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Recitation for the lecture Principles of Verification and Model Checking
Bemerkung

The course will be fully in English.

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2025 gefunden:

Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin