Vergangene Veranstaltungen

Treffer 1 - 444 von 444 Ergebnissen

Seitenweise anzeigen

Blättern

Sie sind auf Seite:1-444

Datum

Veranstaltung
30.05.2017

#Jodel – made in Aachen
17.05.2022

*** CANCELLED *** UnRAVeL-Ringvorlesung: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
01.07.2019

[Helle Köpfe] Abschlussveranstaltung
04.06.2018

[Helle Köpfe] Abschlussveranstaltung
03.07.2017

[Helle Köpfe] Abschlussveranstaltung
20.05.2019

[Helle Köpfe] Die Nadel im Heuhaufen
23.04.2018

[Helle Köpfe] Die Nadel im Heuhaufen
29.05.2017

[Helle Köpfe] Die Nadel im Heuhaufen
03.06.2019

[Helle Köpfe] Ein Tag im FabLab
14.05.2018

[Helle Köpfe] Ein Tag im FabLab
19.06.2017

[Helle Köpfe] Ein Tag im FabLab
24.06.2019

[Helle Köpfe] Kara, der programmierbare Marienkäfer
28.05.2018

[Helle Köpfe] Kara, der programmierbare Marienkäfer
26.06.2017

[Helle Köpfe] Kara, der programmierbare Marienkäfer
27.05.2019

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

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

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

[Helle Köpfe] Spielend Programmieren lernen mit ScratchJR
07.05.2018

[Helle Köpfe] Spielend Programmieren lernen mit ScratchJR
12.06.2017

[Helle Köpfe] Spielend Programmieren lernen mit ScratchJR
06.05.2019

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

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

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

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

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

[Helle Köpfe] Wie funktioniert das Internet?
21.02.2018 - 21.02.2018

1. Aachen Maker Meetup am i10
21.03.2018 - 21.03.2018

2. Aachen Maker Meetup am i10
25.01.2018

3. Aachener Usability-Meetup am i10
11.04.2018

Aachen Machine Learning Meetup
18.12.2019 - 18.12.2019

Aachen Maker Meetup – 10 Jahre Fab Lab Aachen
15.01.2020 - 15.01.2020

Aachen Maker Meetup – Precious Plastic
17.07.2019 - 17.07.2019

Aachen Maker Meetup und Dorkbot feiern 10-jähriges Jubiläum
15.12.2021

Aachen Maker Meetup: FlowIO Platform Präsentation
26.03.2020

ABGESAGT - Girls Day 2020
23.03.2020

ABGESAGT - Informatik-Oberseminar: A Framework for the Vectorization of Molecular Dynamics Kernels
03.07.2017

Abschlussveranstaltung der „Hellen Köpfe in der Informatik“
25.05.2023

Artificial Intelligence Colloquium: Robots Learning Through Interaction
20.03.2017 - 28.03.2017

Blockvorlesung Prof. Nagl über Software Architectures
24.06.2019 - 26.06.2019

Call for Participation: International Conference on Process Mining (ICPM 2019)
24.05.2017

Cyberkriminelle und ihre Tricks
27.06.2018 - 27.06.2018

Das Connected Vehicle als Bestandteil eines neuen IoT-Ökosystems
10.11.2017 - 10.11.2017

Der deutsche Meister 2018 steht schon fest!? - Vortrag von Prof. Katoen bei der RWTH-Wissenschaftsnacht
29.11.2023

Der Traum von denkenden Maschinen: Wie Künstliche Intelligenz die Welt verändert
22.04.2021

Digitaler Girls' Day 2021
10.05.2023

Ein Käfer für die Windenergie: Kleinwindenergieanlagen als demokratischer Baustein der Energiewende
19.05.2022 - 19.05.2022

Ein Klick RWTH (online) - Auf eigene Faust die RWTH Aachen erkunden
08.10.2018

Einführungsveranstaltung des Studiengangs „Data Science“
05.10.2017

Einführungsveranstaltung Master Informatik
01.12.2017 - 01.12.2017

Energieeffiziente Algorithmen
18.10.2023

Energiewende: Aus der Praxis: Fotovoltaik und Wärmepumpen für Bestandshäuser
01.10.2018 - 04.10.2018

Erstsemester-Einführung Bachelor Informatik
09.04.2018

Erstsemester-Einführung Bachelor Informatik
05.10.2018

Erstsemester-Einführung Master Informatik
09.04.2018 - 09.04.2018

Erstsemester-Einführung Master Informatik
18.04.2017

Fachspezifische Einführung für Erstsemester im Bachelor-Studiengang
18.04.2017

Fachspezifische Einführung für Erstsemester im Master-Studiengang
28.09.2022

Fachspezifische Einführungsveranstaltung für Austauschstudierende
01.04.2019

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

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

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

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Data Science
10.10.2022

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Data Science
09.10.2023

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Informatik
10.10.2022

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Informatik
09.10.2023

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Media Informatics
07.10.2022

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Media Informatics
09.10.2023

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Software Systems Engineering
06.10.2022

Fachspezifische Einführungsveranstaltung für Studierende des M.Sc. Software Systems Engineering
02.10.2023

Fachspezifische Erstsemester-Einführungsveranstaltung für Bachelor-Studierende
04.10.2022

Fachspezifische Erstsemester-Einführungsveranstaltung für Bachelor-Studierende
01.10.2019

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

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

Festkolloquium für Prof. Jarke
12.04.2017

Gastvortrag: "Weaving with Stopping Times" von Florin Ciucu (University of Warwick, UK)
04.11.2020

Gastvortrag: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
07.10.2020

Gastvortrag: Guy Van den Broeck: From Probabilistic Circuits to Probabilistic Programs and Back
23.09.2020

Gastvortrag: Jan Hoffmann: Raising Expectations: Automating Expected Cost Analysis with Types
18.11.2020

Gastvortrag: Krishnendu Chatterjee
02.12.2020

Gastvortrag: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
13.01.2021

Gastvortrag: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
21.10.2020

Gastvortrag: Michael Schaub: Learning from signals on graphs with unobserved edges
12.05.2021

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
03.11.2017 - 05.11.2017

Geometry Lab
28.04.2022 - 28.04.2022

Girls‘ Day
12.05.2017 - 13.05.2017

Hack mit – Hackathon mit 3M, Capgemini und Zalando!
13.04.2018 - 14.04.2018

Hackathon der e.GO Mobile AG
07.12.2022 - 07.12.2022

Hast du etwas erfunden? Computerimplementierte Erfindungsmeldungen, Patente und was vorab zu berücksichtigen ist.
09.05.2019

IEEE Xplore Seminar der Universitätsbibliothek
09.11.2022

IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH)
18.04.2023 - 18.04.2023

Informatik Oberseminar: An Approach for Global and Local Data Lifecycle Management with Provenance and Persistent
18.08.2023

Informatik Oberseminar: A Sustainable Research & Development Ecosystem for Computer-Supported Collaborative Learning with Interactive Tabletop Displays
12.10.2023

Informatik Oberseminar: Automated Termination Analysis of C Programs
04.05.2023

Informatik Oberseminar: Automatic Test Case Generation for PLC Software
23.01.2023

Informatik Oberseminar: Beyond the rigid interfaces of super-optimized building-block libraries. Our experiences in Chemometrics
15.02.2022

Informatik Oberseminar: BlackBox Toolkit: Intelligent Assistance to UI Design
04.10.2022

Informatik Oberseminar: Boolean-logic Driven Markov Processes - Explained. Analysed. Verified.
20.10.2023

Informatik Oberseminar: Demystifying and Adjusting the Promises of Blockchain-based Data Management in the Permissionless Setting
10.03.2023

Informatik Oberseminar: Descriptive Complexity of Learning
09.05.2022

Informatik Oberseminar: Discrete Tangent and Adjoint Sensitivity Analysis for Discontinuous Solutions of Hyperbolic Conservation Laws
10.08.2022

Informatik Oberseminar: Dynamic Fault Trees: Semantics, Analysis and Applications
12.04.2023

Informatik Oberseminar: Extending Game-Based Anti-Phishing Education using Personalization
06.10.2022

Informatik Oberseminar: Facility Location on Graphs
14.09.2023

Informatik Oberseminar: Fahrassistenz für Elektrorollstühle
13.11.2023

Informatik Oberseminar: Going Offline — Delays, Reservations and Predictions in Online Computation
23.06.2023

Informatik Oberseminar: Gradient-Free Optimization of Artificial and Biological Networks using Learning to Learn
26.08.2022

Informatik Oberseminar: Graph Exploration with Advice (and Online Crossing Minimization)
01.07.2022

Informatik Oberseminar: Improving Functionality, Efficiency, and Trustworthiness of Secure Communication on an Internet diversified by Mobile Devices and the Internet of Things
28.06.2022

Informatik Oberseminar: Interpreting Black-Box Machine Learning Models with Decision Rules and Knowledge Graph Reasoning
12.07.2023

Informatik Oberseminar: Limitations of Choiceless Computation
23.03.2022

Informatik Oberseminar: Linnea: A Compiler for Mapping Linear Algebra Problems onto High-Performance Kernel Libraries
17.06.2022

Informatik Oberseminar: Lowering the Barriers to Hypothesis-Driven Data Science
08.04.2022

Informatik Oberseminar: Lowering the Barriers to Hypothesis-Driven Data Science
11.11.2022

Informatik Oberseminar: Model-driven Development, Deployment, and Analysis of Internet of Things Applications
22.06.2022

Informatik Oberseminar: Modellbasierte Methode für automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes
07.07.2023

Informatik Oberseminar: Monotonicity in Markov Models
15.03.2023

Informatik Oberseminar: Neural Hidden Markov Model for Machine Translation
07.02.2022

Informatik Oberseminar: Neural Machine Translation for Low-Resource Scenarios
07.06.2022

Informatik Oberseminar: Neural Network based Modeling and Architectures for Automatic Speech Recognition and Machine Translation
24.11.2022

Informatik Oberseminar: Neural Sequence-to-Sequence Modeling for Language and Speech Translation
21.10.2022

Informatik Oberseminar: Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
18.08.2023

Informatik Oberseminar: Pattern-based Abstractions for Parallel Programs
04.02.2022

Informatik Oberseminar: PEGAM – a Personalized Gamification design Model for programming language e-courses
16.06.2023

Informatik Oberseminar: Phishing Prevention: A Multi-Layered Approach
06.03.2023

Informatik Oberseminar: Policy Iteration for Value Set Analysis of PLC Programs
21.11.2022 - 21.11.2022

Informatik Oberseminar: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based-Program Verification
17.04.2023

Informatik Oberseminar: Quad Mesh Layout Structure Optimization
01.12.2023

Informatik Oberseminar: Reactive Runtimes for Parallel Programming Models on Shared, Distributed, and Heterogeneous Memory Systems
22.09.2023

Informatik Oberseminar: Secure Collaborations for the Industrial Internet of Things
30.01.2023

Informatik Oberseminar: Skill Generalisation and Experience Acquisition for Predicting and Avoiding Execution Failures
30.06.2023

Informatik Oberseminar: Synchronization-Based Cooperative Trajectory Planning of Networked Vehicles
12.01.2023

Informatik Oberseminar: Synthesizing FDIR Recovery Strategies for Space Systems
12.07.2022

Informatik Oberseminar: Systematic Composition of Language Components in MontiCore
19.05.2023

Informatik Oberseminar: Systematic Derivation of Feature-driven and Risk-based Test Strategies for Automotive Applications
04.07.2023

Informatik Oberseminar: Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem
24.05.2023

Informatik Oberseminar: Tailored Evolutionary Operators for the Multi-Objective Spanning Tree Problem
28.11.2022

Informatik Oberseminar: The Impact of Tangible Interaction Techniques on Higher Cognitive Processes
20.09.2023

Informatik Oberseminar: Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
05.09.2023

Informatik Oberseminar: Verification of Multi-Objective Markov Models
21.09.2020

Informatik studieren an der RWTH – Informations-Veranstaltung für Studienbeginner
27.06.2022

Informatik studieren an der RWTH - Online-Infotermin für Zukünftige und Interessierte
08.05.2019

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

Informatik-Kolloqium: My VM is Faster (and Safer) than your Container: The Road towards Practical Unikernels
14.12.2017

Informatik-Kolloqium: QUIC - A New Internet Transport
14.05.2018

Informatik-Kolloquium: Adaptive Execution Environments from Many-Core Systems to Edge-Computing
09.04.2019

Informatik-Kolloquium: AI for Good
08.01.2020

Informatik-Kolloquium: Data Science for Networks
12.05.2017

Informatik-Kolloquium: File I/O in the Era of Large Scale Data Analytics
13.12.2018

Informatik-Kolloquium: Future Internet Protocols
27.10.2017

Informatik-Kolloquium: How Touch and Smell Can Turn Virtual Technology into Real Excitement
15.05.2017

Informatik-Kolloquium: Isoefficiency in Practice: Configuring and Understanding the Performance of Task-based Applications
01.12.2021

Informatik-Kolloquium: Learning with Graphs: From Theory to Applications
20.12.2017

Informatik-Kolloquium: On Specifications for Verification of Automated Production Systems
14.12.2018

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

Informatik-Kolloquium: Operational Planning for Mobile Medical Units
19.01.2018

Informatik-Kolloquium: Optimal Control and Motion Planning with Structure-Exploiting Motion Primitives
05.07.2019

Informatik-Kolloquium: Power Consumption in Parallel and Distributed Simulations
02.05.2017

Informatik-Kolloquium: Soft Interactive Surfaces for Tangible and Wearable User Interfaces
17.01.2018

Informatik-Kolloquium: Supercomputational Neuroscience: understanding neural computation through high performance simulation
15.11.2018

Informatik-Kolloquium: The Internet: Opportunities and Challenges
16.10.2017

Informatik-Kolloquium: The Subset Sum Game Revisited
21.10.2019

Informatik-Kolloquium: TrustChain: Trust Management in Blockchain and IoT supported Supply Chains
16.08.2021

Informatik-Oberseminar: 3D Scene Understanding on Point Clouds
12.02.2019

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

Informatik-Oberseminar: A Decomposition-Compatible Canonization Framework for the Graph Isomorphism Problem
06.08.2018

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

Informatik-Oberseminar: A Framework for the Vectorization of Molecular Dynamics Kernels
10.08.2017

Informatik-Oberseminar: A Real-time Capable, Open-Source-based Platform for Off-the-Shelf Embedded Devices
10.11.2017

Informatik-Oberseminar: About Treedepth and Related Notions
22.11.2018

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

Informatik-Oberseminar: Adaptable Code Generation of Consistent and Customizable Data-Centric Applications with MontiDEx
24.06.2019

Informatik-Oberseminar: Adaptierung des Zeitverhaltens nicht-echtzeitfähiger Software für den Einsatz in zeitheterogenen Netzwerken
08.02.2019

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

Informatik-Oberseminar: Advancing Neural Language Modeling in Automatic Speech Recognition
29.10.2018

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

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

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

Informatik-Oberseminar: Alignment and Localization in Fine-Grained Image Recognition
08.10.2020

Informatik-Oberseminar: Alignment Models for Recurrent Neural Networks
06.07.2020

Informatik-Oberseminar: Alignment-Based Neural Networks for Machine Translation
22.07.2020

Informatik-Oberseminar: An Exploration of Alignment Concepts to Bridge the Gap between Phrase-based and Neural Machine Translation
05.07.2017

Informatik-Oberseminar: Analyzing Memory Accesses for Performance and Correctness of Parallel Programs
23.05.2019

Informatik-Oberseminar: Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
11.12.2018

Informatik-Oberseminar: Automated Complexity Analysis of Rewrite Systems
05.07.2019

Informatik-Oberseminar: Automated Optimization of Discrete Event Simulations without Knowing the Model
09.01.2020

Informatik-Oberseminar: Automated Reasoning and Randomization in Separation Logic
21.07.2020

Informatik-Oberseminar: Automatic Sign Language Recognition: From Video Corpora to Gloss Sentences
22.11.2021 - 22.11.2021

Informatik-Oberseminar: Autonomous Agents for the World Wide Lab Artificial Intelligence in the Manufacturing Industry
13.09.2018

Informatik-Oberseminar: Behavior-Based Architecture Conformance Checking
24.01.2019

Informatik-Oberseminar: Choiceless Computation and Logic
10.07.2017

Informatik-Oberseminar: Citing attractive papers: a model for citation networks
10.02.2021

Informatik-Oberseminar: Combinatorial Robustness Testing based on Error-Constraints
12.03.2020

Informatik-Oberseminar: Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems
13.07.2020

Informatik-Oberseminar: Data Integration and Metadata Management in Data Lakes
14.08.2020

Informatik-Oberseminar: Data-Driven Deep Modeling and Training for Automatic Speech Recognition
03.12.2021

Informatik-Oberseminar: Deep Visual Human Sensing with Application in Robotics
14.06.2017

Informatik-Oberseminar: Design and Evaluation of an Ultra-Reliable Low-Latency Wireless Network Protocol
08.12.2017

Informatik-Oberseminar: Designing Digital Services with Cryptographic Guarantees for Data Security and Privacy
21.02.2020

Informatik-Oberseminar: DeskVR: Seamless Integration of Virtual Reality into Desk-based Data Analysis Workflows
03.07.2018

Informatik-Oberseminar: Detection and Analysis of Overlapping Community Structures for Modelling and Prediction in Complex Networks
24.05.2017

Informatik-Oberseminar: Detection of Traffic Initiated by Mobile Malware Targeting Android Devices in 3GPP Networks
18.02.2021

Informatik-Oberseminar: Determinization and Ambiguity of Classical and Probabilistic Büchi Automata
28.06.2021

Informatik-Oberseminar: Development of a Framework for E-Assessment on Students’ Devices
08.05.2020

Informatik-Oberseminar: DevOpsUse: Community-Driven Continuous Innovation of Web Information Infrastructures
27.04.2018

Informatik-Oberseminar: Differentiation of Numerical Simulations with Embedded Nonlinear Systems and Integrals
07.12.2018

Informatik-Oberseminar: Discrete Adjoint Optimization with OpenFOAM
07.12.2020

Informatik-Oberseminar: Discriminative Feature Modeling for Statistical Speech Recognition
19.05.2017

Informatik-Oberseminar: Domain Adaptation for Statistical Machine Translation
13.12.2021

Informatik-Oberseminar: Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
17.12.2020

Informatik-Oberseminar: Embedding of Real-World Complexity Modeling in Adaptive Supply Chain Systems Engineering
30.06.2020

Informatik-Oberseminar: End-to-End-Integration von komplementären Mobilitätsdienstleistungen durch unternehmensübergreifende Anbieterkooperation
25.06.2018

Informatik-Oberseminar: Engineering Web Community Information Systems via Near Real-Time Collaborative Modeling Support
05.02.2019

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

Informatik-Oberseminar: Extended Model Predictive Control Software Framework for Real-Time Local Management of Complex Energy Systems
19.02.2021

Informatik-Oberseminar: Feature Tracking for Space-Filling Structures
11.02.2020

Informatik-Oberseminar: Feature-aware and feature-driven editing of 3D surface meshes
10.12.2019

Informatik-Oberseminar: Fragments of Existential Second-Order Logic and Logics with Team Semantics
13.12.2021

Informatik-Oberseminar: Global Derivatives
05.05.2021

Informatik-Oberseminar: Ground Surface Pattern Recognition for Enhanced Navigation
21.06.2021

Informatik-Oberseminar: Hardware-in-the-Loop Testing of Industrial Automation Systems Using PLC Languages
05.10.2018

Informatik-Oberseminar: IC3 Software Model Checking
18.02.2021 - 18.02.2021

Informatik-Oberseminar: Impact of Technological Support on the Workload of Software Prototyping
02.07.2019

Informatik-Oberseminar: Improving Content and Service Distribution beyond Infrastructure Upgrades
12.09.2019

Informatik-Oberseminar: Improving the Quality of Enterprise Architecture Models: Processes and Techniques
19.11.2018

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

Informatik-Oberseminar: Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
04.07.2017

Informatik-Oberseminar: Industrial Applications of Probabilistic Model Checking
04.10.2021

Informatik-Oberseminar: InfoBiTS: Informatische Bildung für Technikferne Seniorinnen und Senioren
26.05.2021

Informatik-Oberseminar: Interaction Techniques for Mid-Air Pen Input in Handheld Augmented Reality
15.07.2019

Informatik-Oberseminar: Interactive Data Annotation for Virtual Reality Applications
13.11.2020

Informatik-Oberseminar: Investigations on Neural Networks, Discriminative Training Criteria and Error Bounds
21.01.2021

Informatik-Oberseminar: Learned Embeddings for Geometric Data
15.12.2020

Informatik-Oberseminar: Learning and Decision Making in Closed Loop Simulations of Plastic Spiking Neural Networks
23.09.2021

Informatik-Oberseminar: Learning on Graphs with Logic and Neural Networks
21.12.2020 - 21.12.2020

Informatik-Oberseminar: Learning-based Visual Scene and Person Understanding for Mobile Robotics
17.05.2017

Informatik-Oberseminar: Maximum Entropy Models for Sequences: Scaling up from Tagging to Translation
14.08.2020

Informatik-Oberseminar: Measuring the Evolution of the Internet in the Age of Giants
29.07.2021

Informatik-Oberseminar: Methods for Immersive Visual Analysis of Structural Brain Data
14.12.2017

Informatik-Oberseminar: Modal Sound Synthesis for Interactive Virtual Environments
10.02.2021

Informatik-Oberseminar: Model Analyses Based on Semantic Differencing and Automatic Model Repair
27.09.2018

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

Informatik-Oberseminar: Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems
27.07.2017

Informatik-Oberseminar: Modellbasierte Unterstützung der Software Evolution im industriellen Kontext
22.07.2021

Informatik-Oberseminar: Modular Techniques and Interfaces for Data Race Detection in Multi-Paradigm Parallel Programming
11.09.2018

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

Informatik-Oberseminar: Multi-object Tracking and Person Analysis from Mobile Robot Platforms
07.12.2017

Informatik-Oberseminar: NESTML - die domänenspezifische Sprache für den NEST-Simulator neuronaler Netzwerke
27.05.2019

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

Informatik-Oberseminar: Object Discovery, Interactive and 3D Segmentation for Large-Scale Computer Vision Tasks
14.12.2018

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

Informatik-Oberseminar: On the Benefits of Cooperation for Dependable Wireless Communications
06.11.2017

Informatik-Oberseminar: Operation-Based Model Recommenders
13.02.2020

Informatik-Oberseminar: Parameter Synthesis in Markov Models
02.06.2017

Informatik-Oberseminar: Parametrization Based Quad Meshing in Practical Applications
30.11.2017

Informatik-Oberseminar: Performance Modeling and Prediction for Dense Linear Algebra
16.03.2020

Informatik-Oberseminar: Power and Limits of the Weisfeiler-Leman Algorithm
29.10.2018

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

Informatik-Oberseminar: Privacy-Preserving Electronic Bartering
18.09.2017

Informatik-Oberseminar: Productivity and Software Development Effort Estimation in High-Performance Computing
19.04.2017

Informatik-Oberseminar: Progress in Decoding for Large Vocabulary Continuous Speech Recognition
23.07.2021

Informatik-Oberseminar: Reasoning about Dependence and Independence: Teams and Multiteams
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.07.2021 - 20.07.2021

Informatik-Oberseminar: Scaffolding Decentralized Community Information Systems for Lifelong Learning Communities
15.06.2021 - 15.06.2021

Informatik-Oberseminar: Scalable Real-Time Ride-Sharing with Meeting Points for Flexible On-Demand Public Transportation
17.05.2019

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

Informatik-Oberseminar: Search and Training with Joint Translation and Reordering Models for Statistical Machine Translation
23.04.2018

Informatik-Oberseminar: Selfishness and Uncertainty - Algorithmic Approaches in Truthful Mechanism Design
06.09.2021

Informatik-Oberseminar: Selfishness in Strategic Resource Allocation Problems
25.09.2019

Informatik-Oberseminar: State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems
19.10.2017

Informatik-Oberseminar: Static Analysis of Pointer Programs using Graph Grammar-Guided Abstraction
01.08.2018

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

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

Informatik-Oberseminar: Structural Plasticity as a Connectivity Generation and Optimization Algorithm in Neural Networks
27.09.2018

Informatik-Oberseminar: Supported Navigation in Immersive Virtual Environments
28.01.2019

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

Informatik-Oberseminar: Symbolic Methods for Formal Verification of Industrial Control Software
22.11.2019

Informatik-Oberseminar: Syncpal: A Simple and Iterative Reconciliation Algorithm for File Synchronization
19.12.2018

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

Informatik-Oberseminar: The Power of Algorithmic Approaches to the Graph Isomorphism Problem
03.12.2018

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

Informatik-Oberseminar: The Theory of Infinite Probabilistic Databases
18.06.2021

Informatik-Oberseminar: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
29.09.2020

Informatik-Oberseminar: Towards Large Vocabulary Continuous Sign Language Recognition: From Artificial to Real-Life Tasks
16.10.2017

Informatik-Oberseminar: Transformation of Linearized Computational Graphs Driven by the Associativity of the Chain Rule
14.07.2021

Informatik-Oberseminar: Tree Automata with Constraints on Infinite Trees
16.11.2020

Informatik-Oberseminar: Two New Perspectives on Algorithmic Meta-Theorems
07.11.2019

Informatik-Oberseminar: Überwachung von SPS-Programmen zur Laufzeit mittels ereignisdiskreter Systeme
26.02.2019

Informatik-Oberseminar: Ubiquitous Intermodal Travel Assistance
27.06.2019

Informatik-Oberseminar: Uncertainty-Aware Perceptual Robot Learning
04.12.2017

Informatik-Oberseminar: Understanding the formation of wait states in one-sided communication
12.07.2019

Informatik-Oberseminar: Unsupervised Training with Applications in Natural Language Processing
10.11.2020

Informatik-Oberseminar: Unterstützung der SPS-Programmierung durch Statische Analyse während der Programmeingabe
10.03.2020

Informatik-Oberseminar: Use the Force: How Force Touch Improves Input on Handheld Touchscreens
11.04.2019

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

Informatik-Oberseminar: Video Object Segmentation and Tracking
27.06.2019

Informatik-Oberseminar: Vision-based Category-Agnostic Object Tracking for Mobile Robots and Intelligent Vehicles
09.06.2020

Informatik-Oberseminar: Visual Analysis of Multi-dimensional Metamodels for Manufacturing Processes
19.11.2018 - 19.11.2018

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

Informationsveranstaltung zur neuen Master PO
29.11.2017 - 29.11.2017

Interesse wecken für MINT-Fächer
28.11.2018

Kino: THE CLEANERS
16.11.2017

Kollaboratives Roboterrennen des Lehrstuhls Medieninformatik bricht das Eis beim AC²-Gründerwettbewerb
18.05.2017 - 18.05.2017

Kolloquium: Modeling and Simulating Software Architectures – The Palladio Approach
23.06.2022 - 23.06.2022

Langer Abend der Studienberatung
09.11.2018

Lehrstuhl Informatik 10 feiert 15-jähriges Bestehen
23.06.2017 - 23.06.2017

Maschinelles Lernen – aktuelle Fortschritte
26.08.2019 - 30.08.2019

MFCS 2019 Konferenz in Aachen
05.04.2023

Mobilität und Wasserstoff: Klimaneutrale Antriebstechnologien für jeden Anwendungsfall
15.11.2017 - 15.11.2017

Neue Netze für die Digitale Transformation
07.06.2021

Online-Infotermin „Informatik studieren an der RWTH“
08.06.2018 - 08.06.2018

Process Science and Data Science: A Match Made in Heaven!
06.05.2019

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

PromotionsCafé: Creating German Data Science Pizzas in a Responsible Way
17.05.2021

PromotionsCafé: Das Lesen der Anderen – User-Tracking auf Verlagsplattformen
09.07.2019

PromotionsCafé: Geschlecht und Transition
08.08.2018 - 08.08.2018

PromotionsCafé: Going Abroad – Challenges and Experiences
27.11.2023

PromotionsCAFÉ: Going Abroad for your next research visit or internship?
21.10.2020

PromotionsCafé: Gutes besser tun?! Eine kurze Einführung in den Effektiven Altruismus
26.08.2021

PromotionsCafé: How you can do what you really want – More personal freedom through financial independence
31.07.2019

PromotionsCafé: Meine erste Steuererklärung
22.01.2020

PromotionsCafé: Minderheiten in Sozialen Netzwerken
24.11.2022

PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung
15.04.2021

PromotionsCafé: Quo vadis, Doctor? – Wie geht es weiter nach der Promotion?
26.11.2020

PromotionsCafé: Scientific publishing is hacked
27.02.2019

PromotionsCafé: Strategische Finanzplanung
19.01.2022

PromotionsCAFÉ: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gründet!
07.02.2018 - 07.02.2018

PromotionsCafé: Toleranz für Vielfalt... Willkommen in der Realität!
03.05.2017 - 03.05.2017

PromotionsCafé: Weiter forschen nach der Promotion: An der Hochschule? Oder in einer Research-Abteilung?
04.07.2019

Ringvorlesung: Applications of Privacy-Preserving Protocols
23.05.2019

Ringvorlesung: Automatic Train Protection und Control Systems
06.06.2019

Ringvorlesung: Competitive Analysis of Online Algorithms
12.04.2018 - 12.04.2018

Ringvorlesung: Competitive Analysis of Online Algorithms
19.04.2018 - 19.04.2018

Ringvorlesung: Computing on Encrypted Data
26.04.2018 - 26.04.2018

Ringvorlesung: Dynamic Network Flows
18.04.2019

Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
27.06.2019

Ringvorlesung: How to Win Games that Never End?
12.07.2018 - 12.07.2018

Ringvorlesung: How to Win Games that Never End?
03.05.2018 - 03.05.2018

Ringvorlesung: Logic and Languages
02.05.2019

Ringvorlesung: Logics of Dependence and Independence
28.06.2018 - 28.06.2018

Ringvorlesung: Probabilistic Hybrid Systems
05.07.2018 - 05.07.2018

Ringvorlesung: Probabilistic Robotics
04.04.2019

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

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

Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
16.05.2019

Ringvorlesung: Static and Dynamic Network flows under Uncertainties
11.04.2019

Ringvorlesung: Termination and Complexity Analysis for Programs
14.06.2018 - 14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
21.06.2018 - 21.06.2018

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
09.05.2019

Ringvorlesung: Uncertainty in Databases
03.07.2019

Rolf Windenberg als Prof. Bernd Wolfinger: „Rechtschreibreform: mathematisch/informatisch-orientiert“
20.05.2022

RWTH Master's Open Day
18.06.2021

RWTH Master's Open Day
17.01.2022

SiT 2022 (Studieninformationstag)
25.06.2021 - 25.06.2021

Sommerfest 2021
23.06.2017 - 23.06.2017

Sommerfest der Informatik 2017
08.06.2018 - 08.06.2018

Sommerfest der Informatik 2018
07.06.2019 - 07.06.2019

Sommerfest der Informatik 2019
26.06.2020 - 26.06.2020

Sommerfest der Informatik 2020 (abgesagt/verschoben)
17.01.2018 - 17.01.2018

Sprachverarbeitung und Maschinelles Lernen
16.01.2023 - 16.01.2023

Studieninformationstag 2023
05.07.2023

Studienstart Informatik zum nächsten Wintersemester 23/24
01.12.2017

Tag der Informatik 2017
07.12.2018

Tag der Informatik 2018
06.12.2019

Tag der Informatik 2019
04.12.2020

Tag der Informatik 2020
03.12.2021 - 03.12.2021

Tag der Informatik 2021
04.11.2023

Tag der Informatik: Ehrung der Absolventinnen und Absolventen mit Party
03.11.2023 - 03.11.2023

Tag der Informatik: Firmenkontaktmesse
10.12.2017 - 10.12.2017

Tag der offenen Tür im InfoSphere 2017
01.12.2021

UnRAVeL Gastvortrag: Jean-Francois Raskin: Algorithms for rational verification
24.11.2021

UnRAVeL Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
03.04.2023

UnRAVeL-Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity
15.06.2023

UnRAVeL-Ringvorlesung: Britta Peis: Ascending Auctions and Matroids
10.06.2021

UnRAVeL-Ringvorlesung: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
28.06.2022

UnRAVeL-Ringvorlesung: Britta Peis: Stackelberg Network Pricing Games
14.06.2022

UnRAVeL-Ringvorlesung: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
08.07.2021

UnRAVeL-Ringvorlesung: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
27.04.2023

UnRAVeL-Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
06.05.2021

UnRAVeL-Ringvorlesung: Christof Löding: Learning Automata for Infinite Words
29.06.2023

UnRAVeL-Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks
29.04.2021

UnRAVeL-Ringvorlesung: Erich Grädel: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence
13.04.2023

UnRAVeL-Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
15.04.2021

UnRAVeL-Ringvorlesung: Erika Ábrahám: Probabilistic Hyperproperties
24.05.2022

UnRAVeL-Ringvorlesung: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
22.06.2023

UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
05.07.2022

UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
24.06.2021

UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics
13.07.2023

UnRAVeL-Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!
01.07.2021

UnRAVeL-Ringvorlesung: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
03.05.2022

UnRAVeL-Ringvorlesung: Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
22.04.2021

UnRAVeL-Ringvorlesung: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
25.05.2023

UnRAVeL-Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs
10.05.2022

UnRAVeL-Ringvorlesung: Martin Grohe: Graph Representations Based on Homomorphisms
20.05.2021

UnRAVeL-Ringvorlesung: Martin Grohe: The Logic of Graph Neural Networks
20.04.2023

UnRAVeL-Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME
06.04.2023

UnRAVeL-Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges
19.04.2022

UnRAVeL-Ringvorlesung: Michael Schaub: Signal processing on graphs and complexes
26.04.2022

UnRAVeL-Ringvorlesung: Nils Nießen: Acceptance of Driverless Trains
11.05.2023

UnRAVeL-Ringvorlesung: Nils Nießen: Can Trains Be on Time?
17.06.2021

UnRAVeL-Ringvorlesung: Nils Nießen: Optimised Maintenance of Railway Infrastructure
04.05.2023

UnRAVeL-Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning
21.06.2022

UnRAVeL-Ringvorlesung: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
22.07.2021

UnRAVeL-Ringvorlesung: Ulrike Meyer: Malware Detection - A story on how a research topic evolved
29.03.2017 - 07.04.2017

Vorkurs Informatik
19.07.2017

Vorstellung der Anwendungsfächer durch die Fachschaft 2017
19.07.2018

Vorstellung der Anwendungsfächer durch die Fachschaft 2018
13.07.2017

Vorstellung der Anwendungsfächer durch die Fachstudienberater 2017
11.07.2018

Vorstellung der Anwendungsfächer durch die Fachstudienberater 2018
30.09.2019

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

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

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

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

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

Vortrag und Diskussion bei UnRAVeL: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
19.10.2022

Vortrag und Diskussion: Automotive. Was ändert sich? Wird Deutschland seine Rolle behalten?
04.05.2022 - 04.05.2022

Vortrag und Diskussion: Energiewende mit Biofuels
11.11.2020 - 11.11.2020

Vortrag von Dipl.-Ing. Jan-Peter Meyer-Kahlen und Dr. Michael Meyer: „5G-Mobilfunktechnologie“
29.01.2020

Vortrag von Dr. Bernd Heinrichs: „Mobility Goes Data“
26.01.2022 - 26.01.2022

Vortrag von Dr. Meier-Grüll: „Wieviel Platz braucht die Photovoltaik? Trends und Technologien, die Flächenkonkurrenzen vermeiden”
29.05.2019

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

Vortrag von Prof. Dr. Gries: „Textil? Textil. Textil! Warum die Textilindustrie ein Treiber für digitale Technologien war und noch ist”
19.05.2021 - 19.05.2021

Vortrag von Prof. Dr. Hermann Maurer: „Digitale Bücher stehen nicht nur in einer Bibliothek herum“
06.11.2019 - 06.11.2019

Vortrag von Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Masse?“
09.06.2021 - 09.06.2021

Vortrag von Prof. Dr. Juraj Hromkovič: „Informatik – die schwere Geburt eines neuen Schulfaches“
07.11.2018

Vortrag von Prof. Dr. Leif Kobbelt: Digitale Geometrie 4.0
12.01.2022 - 12.01.2022

Vortrag von Prof. Dr. Sauer: „Die Energiewende geht nicht ohne Batteriespeicher: Erreichtes und neue Trends”
15.01.2020

Vortrag von Prof. Dr. Thorsten Holz: „Proaktiver Kampf gegen Hacker“
28.10.2020 - 28.10.2020

Vortrag von Prof. Dr.-Ing. Max Christian Lemme: „Graphen, vom Wundermaterial zur Killer-App?“
23.08.2023

Vortrag von Prof. Fahl: „A Holistic Approach to Human Factors in Cybersecurity”
29.11.2023 - 29.11.2023

Vortrag von Prof. Hoos: „Der Traum von denkenden Maschinen: Wie Künstliche Intelligenz die Welt verändert”
03.04.2019 - 03.04.2019

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

Vortrag: „Die digitale Metamorphose: Wechselspiel Technik, Wirtschaft, Gesellschaft“
04.05.2022 - 04.05.2022

Vortrag: Die Welt des Studiums begreifen! Was heißt überhaupt studieren? (online)
24.04.2017

Vortrag: Event-Based Learning: From Process Discovery to Conformance Checking
08.06.2022 - 17.06.2022

Vortrag: Richtig bewerben für zulassungsbeschränkte Bachelorstudiengänge (online)
13.06.2017

Vortrag: Using High Performance Computing Infrastructure to enable the Research of the Indiana University Precision Health Initiative Grand Challenge
17.05.2022 - 17.05.2022

Vortrag: Zum Studium nach Deutschland? (online)
04.04.2022 - 04.04.2022

Vorträge und Diskussion: Energiewende mit grünem Wasserstoff
02.06.2022

Vorträge und Diskussion: Quantencomputer - Wie funktioniert er, was kann er, wie wird er programmiert?
24.06.2019 - 24.06.2019

Vorträge: „Software Engineering: Innovation meets Industry“
14.06.2023

Was bedeutet ChatGPT?
08.09.2022 - 10.09.2022

Wir feiern 50 Jahre Informatik an der RWTH Aachen
14.06.2023 - 14.06.2023

Women in AI Aachen, Kickoff Event
07.05.2019

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

Blättern

Sie sind auf Seite:1-444

h1

h2

h3

h4

h5

h6

Sie sind hier:

Vergangene Veranstaltungen

Treffer 1 - 444 von 444 Ergebnissen

Blättern

Blättern

Footer

RWTH

Kontakt und Lagepläne

Einrichtungen

Service