�

Veranstaltungsarchiv

Treffer�1�-�50�von�168�Ergebnissen

Alle Eintr�ge anzeigen

Bl�ttern

�
�
�
�
�
Sie sind auf Seite:1-50
51-100
101-150
letzte Seite
n�chste Seite
�

Datum

Veranstaltung
30.07.2020

Good scientific practice: Course “good scientific practice”
28.07.2020

Gastvortrag: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
15.07.2020

Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
17.06.2020

Good scientific practice: Erika �brah�m: Behind the scenes: Review processes for publications
17.06.2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
09.06.2020

F�r interessierte UnRAVeL Mitglieder: Workshop „Gamification und Mixed Reality f�r Lehrende in den Ingenieurwissenschaften“
07.06.2020 - 10.06.2020

Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020
04.06.2020

F�r interessierte UnRAVeL Mitglieder: Workshop „Kollaborativ interdisziplin�r – Gestaltung effektiver interdisziplin�rer Zusammenarbeit“
03.06.2020

Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
27.05.2020

F�r interessierte UnRAVeL Mitglieder: Wege in der Wissenschaft - F�rderm�glichkeiten und Karrierewege in der Postdoc-Phase
20.05.2020

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic B�chi Automata
06.05.2020

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
21.04.2020 - 21.04.2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
20.04.2020 - 22.04.2020

Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms)
12.03.2020

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
11.03.2020 - 12.03.2020

Abgesagt: Special Event: Workshop zum Thema "Integer and Combinatorial Optimization"
09.03.2020

Abgesagt: F�r interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers
04.03.2020

F�r interessierte UnRAVeL Mitglieder: Workshop zum Projekt ROSI (Referenzimplementierung f�r offene szientometrische Indikatoren)
04.03.2020

Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away....
03.03.2020

Informatik Oberseminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
19.02.2020

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
18.02.2020

Gastvortrag: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
14.02.2020

Gastvortrag: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
13.02.2020

Informatik Oberseminar: Sebastian Junges: Parameter Synthesis in Markov Models
13.02.2020

Gastvortrag: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
29.01.2020

Bi-Weekly Talk: Peter Lindner
24.01.2020

Stammtisch
22.01.2020

PromotionsCaf� Minorities in Social Networks
07.01.2020

Gastvortrag: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
06.01.2020

Special Event: UnRAVeL Neujahrsempfang
18.12.2019

Special Event: Austauschbesuch der Studierenden aus Cachan
11.12.2019

Bi-Weekly Gastvortrag: Florian Schanzenb�cher: Feedback control for metro lines with a junction, based on a discrete event traffic model of the train dynamics
09.12.2019

Gastvortrag: An NLOG fragment of inclusion logic
05.12.2019

F�r interessierte UnRAVeL Mitglieder: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
27.11.2019

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
26.11.2019

Gastvortrag: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
20.11.2019

Gastvortrag: Prof. Lenore Zuck
13.11.2019

Stammtisch: Caf� & Bar Zuhause
13.11.2019

Bi-Weekly Talk: Till Hofmann
11.11.2019

Presentation for UnRAVeL application: Christoph Gr�ne
06.11.2019

F�r interessierte UnRAVeL Mitglieder: Vortrag von Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen f�r die Massen?“
30.10.2019

Bi-Weekly Talk: Bj�rn Tauer: Waiting for Trains: Complexity Results
29.10.2019

Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
23.10.2019

Special Event: Introduction to Category Theory Block Seminar
16.10.2019

Stammtisch: Caf� & Bar Zuhause
16.10.2019

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
02.10.2019

Bi-Weekly-Meeting - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
01.10.2019

Gastvortrag: Tom van Dijk: Tangles and Distractions in Parity Games
25.09.2019

Informatik-Oberseminar
18.09.2019

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time

Bl�ttern

�
�
�
�
�
Sie sind auf Seite:1-50
51-100
101-150
letzte Seite
n�chste Seite
�

h1

h2

h3

h4

h5

h6

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Fakult�ten und Einrichtungen

RWTH

Fakult�ten und Institute

Institut suchen:

Einrichtungen

Navigation

Auflistung verfeinern

Zeitraum

Veranstaltungsarchiv

Treffer�1�-�50�von�168�Ergebnissen

Footer

RWTH

Service

Soziale Medien

Einrichtungen

h1

h2

h3

h4

h5

h6

Sie sind hier:

Veranstaltungsarchiv

Treffer�1�-�50�von�168�Ergebnissen

Bl�ttern

Bl�ttern

Footer

RWTH

Service

Soziale Medien

Einrichtungen