Emma Ahrens

Emma Ahrens

Interested in formal methods, computer science, discrete mathemathics, philosophical questions, ski touring, and many other (outdoor) sports.

Talks and Presentations

Weakest Precondition Reasoning and Its Generalizations

March 05, 2026, Joint Workshop with Christina Gehnen, 13º Taller Argentino de Fundamentos para el Análisis y la Construcción Automática de Software (FACAS) via MISSION Project, Villa General Paz, Argentina

Download Slides | More Infos

A Framework for Online Optimization

January 27, 2026, Workshop Talk, MOVES Annual Workshop Söllerhaus 2025, Söllerhaus, Kleinwalsertal, Austria

More Infos

A Framework for Online Optimization

November 26, 2025, Seminar Talk, UnRAVeL Bi-Weekly Meeting, Research Training Group UnRAVeL, RWTH Aachen University, Aachen, Germany

More Infos

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems

September 26, 2025, Workshop Talk, IFIP Working Group 2.2 - Formal Description of Programming Concepts, Aachen, Germany

Related Publication | Download Slides | More Infos

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems

July 16, 2025, Conference Talk, FSCD 2025 - International Conference on Formal Structures for Computation and Deduction, Birmingham, UK

Related Publication | Download Slides | More Infos

UnRAVeL - UNcertainty and Randomness in Algorithms, VErification, and Logic

June 16, 2025, Conference Talk, Joint Meeting of the German Computer Science Research Training Groups 2025, Schloss Dagstuhl, Germany

More Infos

A Framework for Online Optimization

April 03, 2025, Workshop Talk, ROCKS Workshop 2025 – Eindhoven University of Technology, Eindhoven, The Netherlands

More Infos

Weighted Rewriting

January 28, 2025, Workshop Talk, MOVES Annual Workshop Söllerhaus 2025, Söllerhaus, Kleinwalsertal, Austria

More Infos

Introducing Weighted Programming: A Generalization of Probabilistic Programming

April 03, 2024, Seminar Talk, UnRAVeL Bi‑Weekly Talk Series, Research Training Group UnRAVeL, RWTH Aachen University, Aachen, Germany

Download Slides | More Infos

Flows over Time or How should we deliver the drinks?

January 17, 2024, Lightning Talk, Lightning Math Night, Department of Mathematics, RWTH Aachen University, RWTH Aachen University, Aachen, Germany

Download Slides | More Infos

Literature Research

October 16, 2023, Lecture, Combinatorial Optimisation in Scientific Practise, Aachen, Germany

More Infos

Flows over Time and their Applications

September 06, 2023, Retreat Talk, SFB 1481 Sparsity and Singular Structures - Annual Retreat 2023, RWTH Aachen University, Aachen, Germany

Related Publication | More Infos

Modification of the Ford-Fulkerson Algorithm for Temporally Repeated Flows or How can we engage as few workers as possible?

August 30, 2023, Conference Talk, GOR 2023 – Annual Conference of the German Operations Research Society, Universität Hamburg, Germany

Related Publication | More Infos

Entwicklung einer Strategie zur Zusammenarbeit zwischen den verschiedenen Standorten von CAMMP

June 30, 2023, Workshop, CAMMP Schülerlabor Retreat Heidelberg, Heidelberg, Germany

More Infos