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

Weitere Informationen

Vergangene Veranstaltungen

Treffer 251 - 300 von 408 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
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
22.11.2018

Informatik-Oberseminar: Accounting for Privacy in the Cloud Computing Landscape
19.11.2018

Informatik-Oberseminar: Improving the Reliability of Service Robots in the Presence of External Faults
19.11.2018 - 19.11.2018

Informationstour „Erfahrbares Lernen“ am 19. November in Aachen
15.11.2018

Informatik-Kolloquium: The Internet: Opportunities and Challenges
09.11.2018

Lehrstuhl Informatik 10 feiert 15-jähriges Bestehen
07.11.2018

Vortrag von Prof. Dr. Leif Kobbelt: Digitale Geometrie 4.0
29.10.2018

Informatik-Oberseminar: Agile Modellgetriebene Entwicklung von Software Security & Privacy
29.10.2018

Informatik-Oberseminar: Praxisorientierte Verwendung und Evaluierung synchroner Programmierung in reaktiven, eingebetteten Systemen
08.10.2018

Einführungsveranstaltung des Studiengangs „Data Science“
05.10.2018

Erstsemester-Einführung Master Informatik
05.10.2018

Vorstellung des Wahlpflicht-Programms für Bachelor-Studierende ab 4. Fachsemester und Master-Studierende
05.10.2018

Informatik-Oberseminar: IC3 Software Model Checking
01.10.2018 - 04.10.2018

Erstsemester-Einführung Bachelor Informatik
27.09.2018

Informatik-Oberseminar: Model-Based Reliability Analysis of Aerospace Systems
27.09.2018

Informatik-Oberseminar: Supported Navigation in Immersive Virtual Environments
13.09.2018

Informatik-Oberseminar: Behavior-Based Architecture Conformance Checking
11.09.2018

Informatik-Oberseminar: MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
08.08.2018 - 08.08.2018

PromotionsCafé: Going Abroad – Challenges and Experiences
06.08.2018

Informatik-Oberseminar: A Framework for the Successful Design and Deployment of Electronic Triage Systems
01.08.2018

Informatik-Oberseminar: Statistical Models for Hierarchical Phrase-based Machine Translation
19.07.2018

Vorstellung der Anwendungsfächer durch die Fachschaft 2018

Blättern

RWTH

Kontakt und Lagepläne

Einrichtungen

Service