Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Weitere Informationen

Vergangene Veranstaltungen

Treffer 251 - 300 von 429 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
17.06.2019

[Helle Köpfe] Spielend Programmieren lernen mit ScratchJR
07.06.2019 - 07.06.2019

Sommerfest der Informatik 2019
06.06.2019

Ringvorlesung: Competitive Analysis of Online Algorithms
03.06.2019

[Helle Köpfe] Ein Tag im FabLab
29.05.2019

Vortrag von Frau Dr. Judith Michael: Model-based Assistance and Information Systems
27.05.2019

[Helle Köpfe] Rechnen mit Nullen und Einsen
27.05.2019

Informatik-Oberseminar: New Results on Probabilistic Verification: Automata, Logic and Satisfiability
23.05.2019

Ringvorlesung: Automatic Train Protection und Control Systems
23.05.2019

Informatik-Oberseminar: Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
20.05.2019

[Helle Köpfe] Die Nadel im Heuhaufen
17.05.2019

Informatik-Oberseminar: Scaling Up Learning Analytics in Blended Learning Scenarios
16.05.2019

Ringvorlesung: Static and Dynamic Network flows under Uncertainties
13.05.2019

[Helle Köpfe] Wie funktioniert das Internet?
09.05.2019

Ringvorlesung: Uncertainty in Databases
09.05.2019

IEEE Xplore Seminar der Universitätsbibliothek
08.05.2019

Informatik-Kolloqium – Dr. Michael Picheny: “Speech Recognition: What's Left?”
07.05.2019

Zusatzvortrag von Dr. Michael Picheny: “Recent Speech, Video, and Multimodal Research at IBM”
06.05.2019

Prof. Lakemeyer spricht über „Künstliche Intelligenz: Chancen und Risiken“
06.05.2019

[Helle Köpfe] Warum kann man eine CD zerkratzen?
02.05.2019

Ringvorlesung: Logics of Dependence and Independence
18.04.2019

Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
11.04.2019

Ringvorlesung: Termination and Complexity Analysis for Programs
11.04.2019

Informatik-Oberseminar: Verification of Embedded Software Models by Combining Abstract Interpretation, Symbolic Execution and Stability Analysis
09.04.2019

Informatik-Kolloquium: AI for Good
04.04.2019

Ringvorlesung: Programs That Every Now and Then Flip Coins
03.04.2019 - 03.04.2019

Vortrag von Prof. Radermacher: „Klima, Technik, Zukunft – was kommt auf uns zu?“
02.04.2019

Vorstellung der Wahlpflichtfächer für Bachelor- und Master-Studierende der Informatik
01.04.2019

Fachspezifische Einführungsveranstaltung für Master-Studierende der Informatik
01.04.2019

Fachspezifische Erstsemester-Einführungsveranstaltung für Bachelor-Studierende der Informatik
01.04.2019

Fachspezifische Einführungsveranstaltung für Master-Studierende der Data Science
27.02.2019

PromotionsCafé: Strategische Finanzplanung
26.02.2019

Informatik-Oberseminar: Ubiquitous Intermodal Travel Assistance
12.02.2019

Informatik-Oberseminar: 3D Shape Analysis based on Feature Curve Networks
08.02.2019

Informatik-Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
08.02.2019

Informatik-Oberseminar: Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
05.02.2019

Informatik-Oberseminar: Entwicklung eines Referenzmodells für Mobilitätsplattformen
28.01.2019

Informatik-Oberseminar: Symbolic Execution and Program Synthesis: A General Methodology for Software Veriﬁcation
24.01.2019

Informatik-Oberseminar: Choiceless Computation and Logic
18.01.2019

Informatik-Oberseminar: SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions
20.12.2018

Informatik-Oberseminar: Strategies in Infinite Games: Structured Reactive Programs and Transducers over Infinite Alphabets
19.12.2018

Informatik-Oberseminar: Synthesis of Transducers from Relations on Finite Words and Trees
14.12.2018

Informatik-Oberseminar: On Solving Real-algebraic Formulas in a Satisfiability-modulo-theories Framework
14.12.2018

Informatik-Kolloquium: Open Carrier Interfaces as an Enabler for Edge-Supported Services
13.12.2018

Informatik-Kolloquium: Future Internet Protocols
11.12.2018

Informatik-Oberseminar: Automated Complexity Analysis of Rewrite Systems
07.12.2018

Tag der Informatik 2018
07.12.2018

Informatik-Oberseminar: Discrete Adjoint Optimization with OpenFOAM
03.12.2018

Informatik-Oberseminar: The Probabilistic Model Checker Storm – Symbolic Methods for Probabilistic Model Checking
28.11.2018

Kino: THE CLEANERS
28.11.2018

Informatik-Oberseminar: Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specific language NESTML

Blättern

RWTH

Kontakt und Lagepläne

Einrichtungen

Service