Vergangene Veranstaltungen

Treffer 1 - 429 von 429 Ergebnissen

Seitenweise anzeigen

Blättern

Sie sind auf Seite:1-429

Datum

Veranstaltung
22.09.2023

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

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

Informatik Oberseminar: Fahrassistenz für Elektrorollstühle
05.09.2023

Informatik Oberseminar: Verification of Multi-Objective Markov Models
23.08.2023

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

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

Informatik Oberseminar: Pattern-based Abstractions for Parallel Programs
13.07.2023

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

Informatik Oberseminar: Limitations of Choiceless Computation
07.07.2023

Informatik Oberseminar: Monotonicity in Markov Models
05.07.2023

Studienstart Informatik zum nächsten Wintersemester 23/24
04.07.2023

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

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

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

Informationsveranstaltung zur neuen Master PO
23.06.2023

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

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

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

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

Women in AI Aachen, Kickoff Event
14.06.2023

Was bedeutet ChatGPT?
25.05.2023

Artificial Intelligence Colloquium: Robots Learning Through Interaction
25.05.2023

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

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

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

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

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

Informatik Oberseminar: Automatic Test Case Generation for PLC Software
04.05.2023

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

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

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

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

Informatik Oberseminar: Quad Mesh Layout Structure Optimization
13.04.2023

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

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

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

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

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

Informatik Oberseminar: Neural Hidden Markov Model for Machine Translation
10.03.2023

Informatik Oberseminar: Descriptive Complexity of Learning
06.03.2023

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

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

Informatik Oberseminar: Beyond the rigid interfaces of super-optimized building-block libraries. Our experiences in Chemometrics
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”
16.01.2023 - 16.01.2023

Studieninformationstag 2023
12.01.2023

Informatik Oberseminar: Synthesizing FDIR Recovery Strategies for Space Systems
07.12.2022 - 07.12.2022

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

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

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

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

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

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

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

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

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

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

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

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

Informatik Oberseminar: Facility Location on Graphs
06.10.2022

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

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

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

Fachspezifische Einführungsveranstaltung für Austauschstudierende
08.09.2022 - 10.09.2022

Wir feiern 50 Jahre Informatik an der RWTH Aachen
26.08.2022

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

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

Informatik Oberseminar: Systematic Composition of Language Components in MontiCore
05.07.2022

UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
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
28.06.2022

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

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

Langer Abend der Studienberatung
22.06.2022

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

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

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

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

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

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

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

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

RWTH Master's Open Day
19.05.2022 - 19.05.2022

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

Vortrag: Zum Studium nach Deutschland? (online)
17.05.2022

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

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

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

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

Vortrag und Diskussion: Energiewende mit Biofuels
03.05.2022

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

Girls‘ Day
26.04.2022

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

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

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

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

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

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

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

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

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

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

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

SiT 2022 (Studieninformationstag)
12.01.2022 - 12.01.2022

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

Aachen Maker Meetup: FlowIO Platform Präsentation
13.12.2021

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

Informatik-Oberseminar: Global Derivatives
03.12.2021 - 03.12.2021

Tag der Informatik 2021
03.12.2021

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

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

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

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

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

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

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

Informatik-Oberseminar: Video Object Segmentation and Tracking
23.09.2021

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

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

Informatik-Oberseminar: Selfishness in Strategic Resource Allocation Problems
26.08.2021

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

Informatik-Oberseminar: The Theory of Infinite Probabilistic Databases
16.08.2021

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

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

Informatik-Oberseminar: Reasoning about Dependence and Independence: Teams and Multiteams
22.07.2021

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

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

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

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

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

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

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

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

Sommerfest 2021
24.06.2021

UnRAVeL-Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics
21.06.2021

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

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

RWTH Master's Open Day
17.06.2021

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

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

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

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

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

Online-Infotermin „Informatik studieren an der RWTH“
26.05.2021

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

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

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

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

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
06.05.2021

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

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

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

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

Digitaler Girls' Day 2021
15.04.2021

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

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

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

Informatik-Kolloquium: Operational Planning for Mobile Medical Units
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
18.02.2021 - 18.02.2021

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

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

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

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

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

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

Informatik-Oberseminar: Learned Embeddings for Geometric Data
13.01.2021

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

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

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

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

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

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

Tag der Informatik 2020
02.12.2020

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

PromotionsCafé: Scientific publishing is hacked
18.11.2020

Gastvortrag: Krishnendu Chatterjee
16.11.2020

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

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

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

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

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

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

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

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

Informatik-Oberseminar: Alignment Models for Recurrent Neural Networks
07.10.2020

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

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

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

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

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

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

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

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

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

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

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

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

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

Sommerfest der Informatik 2020 (abgesagt/verschoben)
09.06.2020

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

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

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

ABGESAGT - Girls Day 2020
23.03.2020

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

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

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

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

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

Informatik-Oberseminar: Parameter Synthesis in Markov Models
11.02.2020

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

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

PromotionsCafé: Minderheiten in Sozialen Netzwerken
15.01.2020 - 15.01.2020

Aachen Maker Meetup – Precious Plastic
15.01.2020

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

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

Informatik-Kolloquium: Data Science for Networks
18.12.2019 - 18.12.2019

Aachen Maker Meetup – 10 Jahre Fab Lab Aachen
17.12.2019

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

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

Tag der Informatik 2019
02.12.2019

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

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

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

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

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

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

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

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

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

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

MFCS 2019 Konferenz in Aachen
31.07.2019

PromotionsCafé: Meine erste Steuererklärung
17.07.2019 - 17.07.2019

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

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

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

PromotionsCafé: Geschlecht und Transition
05.07.2019

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

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

Ringvorlesung: Applications of Privacy-Preserving Protocols
03.07.2019

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

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

[Helle Köpfe] Abschlussveranstaltung
27.06.2019

Ringvorlesung: How to Win Games that Never End?
27.06.2019

Informatik-Oberseminar: Uncertainty-Aware Perceptual Robot Learning
27.06.2019

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

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

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

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

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

Vortrag: „Die digitale Metamorphose: Wechselspiel Technik, Wirtschaft, Gesellschaft“
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
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
12.07.2018 - 12.07.2018

Ringvorlesung: How to Win Games that Never End?
11.07.2018

Vorstellung der Anwendungsfächer durch die Fachstudienberater 2018
05.07.2018 - 05.07.2018

Ringvorlesung: Probabilistic Robotics
03.07.2018

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

Ringvorlesung: Probabilistic Hybrid Systems
27.06.2018 - 27.06.2018

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

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

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
14.06.2018 - 14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
08.06.2018 - 08.06.2018

Process Science and Data Science: A Match Made in Heaven!
08.06.2018 - 08.06.2018

Sommerfest der Informatik 2018
07.06.2018 - 07.06.2018

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

[Helle Köpfe] Abschlussveranstaltung
28.05.2018

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

Ringvorlesung: Programs That Every Now and Then Flip Coins
14.05.2018

[Helle Köpfe] Ein Tag im FabLab
14.05.2018

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

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

Ringvorlesung: Logic and Languages
30.04.2018

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

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

Ringvorlesung: Dynamic Network Flows
23.04.2018

[Helle Köpfe] Die Nadel im Heuhaufen
23.04.2018

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

Ringvorlesung: Computing on Encrypted Data
16.04.2018

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

Hackathon der e.GO Mobile AG
12.04.2018 - 12.04.2018

Ringvorlesung: Competitive Analysis of Online Algorithms
11.04.2018

Aachen Machine Learning Meetup
10.04.2018 - 10.04.2018

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

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

Erstsemester-Einführung Bachelor Informatik
09.04.2018 - 09.04.2018

Erstsemester-Einführung Master Informatik
21.03.2018 - 21.03.2018

2. Aachen Maker Meetup am i10
21.02.2018 - 21.02.2018

1. Aachen Maker Meetup am i10
21.02.2018

Informatik-Oberseminar: Privacy-Preserving Electronic Bartering
07.02.2018 - 07.02.2018

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

3. Aachener Usability-Meetup am i10
19.01.2018

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

Sprachverarbeitung und Maschinelles Lernen
17.01.2018

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

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

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

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

Informatik-Kolloqium: QUIC - A New Internet Transport
10.12.2017 - 10.12.2017

Tag der offenen Tür im InfoSphere 2017
08.12.2017

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

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

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

Energieeffiziente Algorithmen
01.12.2017

Tag der Informatik 2017
30.11.2017

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

Interesse wecken für MINT-Fächer
24.11.2017 - 24.11.2017

Festkolloquium für Prof. Jarke
16.11.2017

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

Neue Netze für die Digitale Transformation
15.11.2017

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

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

Informatik-Oberseminar: About Treedepth and Related Notions
06.11.2017

Informatik-Oberseminar: Operation-Based Model Recommenders
03.11.2017 - 05.11.2017

Geometry Lab
27.10.2017

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

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

Informatik-Kolloquium: The Subset Sum Game Revisited
16.10.2017

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

Einführungsveranstaltung Master Informatik
18.09.2017

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

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

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

Vorstellung der Anwendungsfächer durch die Fachschaft 2017
13.07.2017

Vorstellung der Anwendungsfächer durch die Fachstudienberater 2017
10.07.2017

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

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

Informatik-Oberseminar: Industrial Applications of Probabilistic Model Checking
03.07.2017

[Helle Köpfe] Abschlussveranstaltung
03.07.2017

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

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

Maschinelles Lernen – aktuelle Fortschritte
23.06.2017 - 23.06.2017

Sommerfest der Informatik 2017
19.06.2017

[Helle Köpfe] Ein Tag im FabLab
14.06.2017

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

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

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

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

#Jodel – made in Aachen
29.05.2017

[Helle Köpfe] Die Nadel im Heuhaufen
29.05.2017

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

Cyberkriminelle und ihre Tricks
24.05.2017

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

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

Informatik-Oberseminar: Domain Adaptation for Statistical Machine Translation
18.05.2017 - 18.05.2017

Kolloquium: Modeling and Simulating Software Architectures – The Palladio Approach
17.05.2017

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

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

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

Hack mit – Hackathon mit 3M, Capgemini und Zalando!
12.05.2017

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

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

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

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

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

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

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

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

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

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

Vorkurs Informatik
20.03.2017 - 28.03.2017

Blockvorlesung Prof. Nagl über Software Architectures

Blättern

Sie sind auf Seite:1-429

h1

h2

h3

h4

h5

h6

Sie sind hier:

Vergangene Veranstaltungen

Treffer 1 - 429 von 429 Ergebnissen

Blättern

Blättern

Footer

RWTH

Kontakt und Lagepläne

Einrichtungen

Service