Events
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
Events
Invited talks
| Invited Speaker | Title | Date | Time | Venue |
Dr. Verena Klös, Technical University of Berlin | Safe, Intelligent and Explainable Self-adaptive Systems | 02 July 2021 | 09:00 | Onlineformat |
| Prof. Dr. Gleifer Vaz Alves, Federal University of Technology in Paraná, Brazil | 11 June 2021 | 15:00 | Onlineformat | |
| Prof. Dr. Wolfgang Reisig | HERAKLIT. How to model reliable big systems. | 05 February 2021 | 13:00 | Onlineformat |
Prof. Dr. Krzysztof R. Apt | 03 September 2020 | 11:00 | Onlineformat | |
| Jun.-Prof. Dr.-Ing. Christoph Sommer from University of Paderborn | Cooperative Mobile Systems – Wireless Networks vs. Extreme Topology Dynamics | 03 March 2020 | 14:00 | A03 2-209 |
Prof. Dr. Gregor v. Bochmann, University of Ottawa, Canada | Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers | 12 June 2019 | 16:00 | A5 2-229 |
| Prof. Dr. Joel Greenyer, Universität Hannover | Scenario-based Modeling of Dynamic Topology System with ScenarioTools and SMLK | 7 June 2019 | 10:15 | F02, OFFIS |
| Prof. Dr. Andre Platzer, Carnegie Mellon University, USA | Safe AI and Cyber-Physical Systems | 24 April 2019 | 10:45 | F02, OFFIS |
| Uli Fahrenberg, LIX | Energy Automata, Energy Functions, Kleene Algebra | 31 January 2019 | 16.15 | F02, OFFIS |
Dr. Maria Rimini-Döring, Robert Bosch GmbH | Invented for life: Megatrends and Technology Innovation at Bosch | 7 December 2018 | 11:30 | F02, OFFIS |
Prof. Dr. Javier Esparza, TU München | Black Ninjas in the Dark: Analyzing Population Protocols | 12 November 2018 | 11:00 | A3 2-209 |
Prof. Dr. Thomas Weise, Hefei University | Automating Scientific Work in Optimization | 24 October 2018 | 13:30 | SCARE Common Room (A2 2-222) |
Dr. Karin Quaas, Uni Leipzig | On the Containment Problem for Unambiguous Register Automata | 11 September 2018 | 16:00 | A3 2-209 |
Adrián Puerto Aubel | Elementary Net Systems | 4 September 2018 | 16:00 | SCARE Common Room (A2 2-222) |
Prof. Dr. Krzsyztof R. Apt | Tutorial Lecture on Games | 20 August 2018 | 14:00 | A3 2-209 |
| Prof. Dr. Krzsyztof R. Apt | Self-Stabilization Through the Lens of Game Theory | 20 August 2018 | 11:00 | BIS Saal |
| Prof. Dr. Viorica Sofronie-Stokkermans | Automated Reasoning in Complex Theories and Applications to Verification | 2 July 2018 | 14:00 | BIS Saal |
| Prof. Dr. Radu Grosu, TU Wien | Explainable Recurrent Neural Networks: Modeling, Learning & Verification | 8 June 2018 | 14:00 | BIS Saal |
| Prof. Lucia Pomello | Modular system development composing Petri nets by morphisms | 19 April 2018 | 14:00 | SCARE Common Room (A2 2-222) |
| Prof. Dr. Gregor v. Bochmann | Internet Security – research projects exploring different issues | 27 February 2018 | 16:00 | SCARE Common Room (A2 2-222) |
| Dr. Stefano Tonetta, IT | SMT-Based Satisfiability of Temporal Logic | 25 October 2017 | 13:30 | Hotel Jagdhaus Eiden, Bad Zwischenahn |
| Prof. Raymond Devillers, BE | Factorisation of Transition Systems | 16 May 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| Dr. Sven Linker, UK | Investigating Parametric Influence for Discrete Synchronisation Protocols using Quantitative Model Checking | 2 May 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| Ass.-Prof. Dr. Paolo Zuliani, UK | Probabilistic Bounded Reachability for Uncertain Hybrid Systems | 25 April 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| Ass.-Prof. Dr. Sergiy Bogomolov, AU | Scalable Static Hybridization Methods for Analysis of Nonlinear Systems | 13 December 2016 | 11:00 | SCARE Common Room (A2 2-222) |
| Prof. Barbara König, D | Termination of Graph Rewriting | 21 October 2016 | 10:15 | SCARE Common Room (A2 2-222) |
| PD Dr. habil. Sibylle Fröschle, D | Security in Cyber-Physical Systems | 30 September 2016 | 9:00 | Hotel Zum Zollhaus, Rastede |
| Jun.-Prof. Oliver Kramer, D | Genetic Algorithms and Machine Learning | 28 September 2016 | 13:30 | Hotel Zum Zollhaus, Rastede |
| Prof. Andre Platzer, USA | A Uniform Substitution Calculus for Differential Dynamic Logic. or: How I Learned to Stop Instantiating and Love the Substitution | 7 July 2016 | 16:15 | OFFIS F02 |
| Dr. Henning Butz, D | How to Conquer the Safety Issues of Highly Automated Systems | 4 July 2016 | 16:00 | OFFIS F02 |
| Dr. Sven Linker, UK | (Semi-)Automation of Diagrammatic Theorem-proving with Consideration of Readability | 8 April 2016 | 14:00 | SCARE Common Room (A2 2-222) |
| Dr. Ralf Wimmer, D | Probabilistic Counterexamples (Joint AVACS & SCARE Autumn School) | 2 October 2015 | 11:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Dr. Sven Schewe, UK | Synthesis (Joint AVACS & SCARE Autumn School) | 2 October 2015 | 09:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Dr. Paolo Marin, D | Precision of BlackBox Verification Techniques: Hardness and Technology (Joint AVACS & SCARE Autumn School) | 1 October 2015 | 17:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Dr. David Parker, UK | Probabilistic Model Checking and Controller Synthesis (Joint AVACS & SCARE Autumn School) | 1 October 2015 | 15:30 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Dr. Thomas Sturm, D | Quantifier Elimination (Joint AVACS & SCARE Autumn School) | 1 October 2015 | 13:30 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
Prof. André Platzer, USA | Logical Foundations of Cyber-Physical Systems (Joint AVACS & SCARE Autumn School) | 1 October 2015 | 11:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Prof. Goran Frehse, F | Model Checking of Hybrid Systems (Joint AVACS & SCARE Autumn School) | 1 October 2015 | 09:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Mani Swaminathan, MSc, D | "Design meets Verification" for Real-Time and Probabilistic Systems (Joint AVACS & SCARE Autumn School) | 30 September 2015 | 17:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Dr. Andrey Rybalchenko, UK | Horn Constraints for Verification and Synthesis (Joint AVACS & SCARE Autumn School) | 30 September 2015 | 15:30 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Prof. Kim G. Larsen, DK | Real Time Model Checking, Performance Evaluation, Synthesis and Optimization (Joint AVACS & SCARE Autumn School) | 30 September 2015 | 11:00 | Uni Haarentor Campus (A14 Hörsaalzentrum) |
| Prof. Jonathan Bowen, UK | How to get your scientific paper published | 10 September 2015 | 16:00 | SCARE Common Room (A2 2-222) |
| Prof. Krzysztof Apt, NL | Social Network Games | 7 September 2015 | 16:00 | SCARE Common Room (A2 2-222) |
| Dr. Kamila Barylska, PL | 30 June 2015 | 16:00 | SCARE Common Room (A2 2-222) | |
| Dr. Stephanie Kemper, D | A Visual Logic for the Description of Highway Traffic Scenarios | 17 June 2015 | 11:00 | SCARE Common Room (A2 2-222) |
Dr. Łukasz Mikulski, PL | 16 June 2015 | 16:00 | SCARE Common Room (A2 2-222) | |
Prof. Michael R. Hansen, DK | Intensive Course and Practical Exercises on Functional Programming | 19 February 2015 | 14:00 | SCARE Common Room (A2 2-222) |
| Prof. Michael R. Hansen, DK | Experience with implementing a model-checking algorithm based on Presburger Arithmetic | 18 February 2015 | 14:00 | SCARE Common Room (A2 2-222) |
| Dr. Thomas Hujsa, F | Contribution to the Study of Weighted Petri Nets | 10 February 2015 | 16:00 | SCARE Common Room (A2 2-222) |
Dr. Martin Zimmermann, D | 21 October 2014 | 16:00 | SCARE Common Room (A2 2-222) | |
Prof. Dr. Egon Börger, IT | 07 October 2014 | 14:00 | SCARE Common Room (A2 2-222) | |
Prof. Frank S. de Boer, NL | 29 July 2014 | 16:00 | SCARE Common Room (A2 2-222) | |
| Prof. N. Ramadan, F | Interval Methods with applications in Robotics and Hybrid Systems | 22 July 2014 | 16:00
| SCARE Common Room (A2 2-222) |
Prof. Dr. Heike Wehrheim, D | 01 July 2014 | 16:00 | SCARE Common Room (A2 2-222) | |
| Prof. Dr. Rüdiger Ehlers, D | Resilience to Intermittent Assumption Violations in Reactive Synthesis | 24 June 2014 | 16:00 | OFFIS (room D21) |
| Prof. Dr. Elisabeth Pelz, F | Small Universal Petri Nets | 27 March 2014 | 14:15 | Uni Haarentor Campus (A5 1-160) |
| Prof. Joost-Pieter Katoen, D | 26 February 2014 | 16:15 | The BIS Lecture Hall within the library building at Uhlhornsweg 49-55 | |
| Prof. Gregor v. Bochmann, CA | Some Important Concepts Related to State Machine Modeling | 22 October 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| Prof. Dr. Krzysztof R. Apt, NL | Common Knowledge in Email Exchanges | 19 August 2013 | 16:15 | OFFIS, Conference Room F02 |
| Dr. Shuling Wang, CN | 02 July 2013 | 14:00 | OFFIS (room D21) | |
| Prof. Javier Esparza, D | Parameterized Verification of Asynchronous Shared-Memory Systems | 3 June 2013 | 16:15 | OFFIS (room F02) |
| Dipl. Inform. Thorsten Arendt, D | A Tool-supported Model Quality Assurance Process Based on Metrics, Smells, and Refactorings | 30 May 2013 | 12:15 | SCARE Common Room (A2 2-222) |
| Prof. Dr. Gabriele Taentzer, D | Specifying and Recognizing model changes based on Edit Operations | 30 May 2013 | 10:15 | SCARE Common Room (A2 2-222) |
| Prof. Dr. Martin Gogolla, D | Towards Model-Based Engineering with the Object Constraint Language | 29 May 2013 | 13:15 | Uni Haarentor Campus (A3 2-209) |
| Prof. Stefan Hallerstede, DK | 22 May 2013 | 10:15 | Uni Haarentor Campus (A3 2-209) | |
| Prof. Arend Rensink, NL | 20 February 2013 | 10:00 | Uni Haarentor Campus (A3 2-209) | |
| Prof. Barbara König, D | Graph Specification Languages and Applications to the Verification of Graph Transformation Systems | 19 February 2013 | 10:00 | Uni Haarentor Campus (A3 2-209) |
| Prof. David Basin, CH | 14 December 2012 | 10:15 | Uni Haarentor Campus (A14 1-11 |
SCARE workshops
| Event | Speakers | Date | Time | Venue |
| Internal Colloquium | Manuel Gieseking: Correctness of Local Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis | 25 November 2020 | 16:00 | Video |
| Defense | Peilin Zhang: Improving End-to-end Quality of Service in Low-power Wireless Sensor Networks | 05 June 2020 | 15:30 | A3 2-209 |
| Defense | Nils-Steffen Worzyk: Adversarials-1: Detecting Adversarial Inputs with Internal Attacks | 13 May 2020 | 11:30 | Onlineformat |
| Defense | Almuth Meier: Prediction-Based Nature-Inspired Dynamic Optimization | 20 April 2020 | 14:15 | OFFiS-Gebäude F02 |
| Defense | Heinrich Ody: Monitoring of Traffic Manoeuvres with Imprecise Information | 27 March 2020 | 15:30 | A03 2-209 |
| Defense | Maike Schwammberger: Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoevres in Urban Traffic | 20 March 2020 | 10:00 | A14 1-111 |
| SCARE Annual Workshop | Program | 28 - 30 October 2019 | 10:00 | Wilhelmshaven |
| Defense | Peter Nazier Mosaad: Handling Delay Differential Equations in Automatic Verification | 21 October 2019 | 13:00 | A2 2-209 |
| Internal Colloquium | Nils Worzyk: Adversarial Inputs and How to Threat Them | 25 February 2019 | 16:30 | OFFiS-Gebäude F02 |
| Internal Colloquium | Almuth Meier: Prediction-based Dynamic Evolutionary Optimization | 25 February 2019 | 15:00 | OFFiS-Gebäude F02 |
| Internal Colloquium | Maike Schwammberger: Communicating Controllers for Life and Safe Car Manoeuvres on Freeways and in Urban Traffic | 26 November 2018 | 16:15 | OFFIS-Gebäude F02 |
| Defense | Uli Schlachter: Petri Net Synthesis and Modal Specifications | 12 November 2018 | 14:00 | OFFIS-Gebäude, F02 |
| SCARE Annual Workshop 2018 | Program | 10 - 12 October 2018 | 10:00 | Garrel |
| Defense | Evgeny Erofeev: Characterisation of a Class of Petri Net Solvable Transition Systems | 20 April 2018 | 14:30 | OFFIS-Gebäude, Raum D21 |
| SCARE Annual Workshop 2017 | Program - Group Photo | 25 - 27 October 2017 | 09:00 | Bad Zwischenahn |
| Internal Colloquium | Christoph Peuser: Graph Transformation Games for Modeling Adverse Conditions | 3 July 2017 | 14:00 | SCARE Common Room (A02 2-222) |
| Defense | Saifullah Khan: Geometry-Predicting Communication Protocols for Car2X Applications | 18 May 2017 | 11:00 | OFFIS-Gebäude, Raum D21 |
| Defense | Yang Gao: Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) | 26 April 2017 | 9:00 | OFFIS-Gebäude, Raum F02 |
| Internal Colloquium | Heinrich Ody: Model Checking of Controllers for Traffic Manoeuvres with Imperfect Information | 7 February 2017 | 16:00 | A3 2-209 |
| Defense | Mohamed Abdelaal: Enabling Energy-Efficient Wireless Sensing with Improved Service Quality | 4 November 2016 | 14:00 | A5 1-159 |
| Internal Colloquium | Evgeny Erofeev: Characterisation of sequences synthesisable with Petri nets | 31 October 2016 | 16:00 | OFFIS F02 |
| Defense | Björn Engelmann: Techniques for the Verification of Dynamically Typed Programs | 26 October 2016 | 14:15 | A3 2-209 |
| Defense | Nils Erik Flick: Proving correctness of graph programs relative to recursively nested conditions | 21 October 2016 | 14:15 | A14 0-031 |
| SCARE Annual Workshop 2016 | Program - Group Photo | 28-30 September 2016 | 09:00 | Rastede |
| Defense | Hendrik Radke: A Theory of HR* Graph Conditions and their Application to Meta-Modeling | 18 March 2016 | 14:00 | BIS Lecture Hall |
| Internal Colloquium | Saifullah Khan: Geometry Predicting Communication Protocols for Car2X Applications | 7 March 2016 | 14:30 | OFFIS F02 |
| Internal Colloquium | Yang Gao: Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) | 29 February 2016 | 16:00 | OFFIS F02 |
| Internal Colloquium | Björn Engelmann: Modular Verification of Dynamically-Typed Object-Oriented Programs | 27 November 2015 | 13:00 | SCARE Common Room (A2 2-222) |
| Blockseminar | SCARE Doctorands: Guidance for Scientific Work | 18 November 2015 | 9:30 | SCARE Common Room (A2 2-222) |
| SCARE Annual Workshop 2015 | Program - Group Photo | 6-8 October 2015 | 09:00 | Cuxhaven |
| Internal Colloquium | Nils Erik Flick: Correctness of Structure-Changing Systems under Adverse Conditions | 3 August 2015 | 16:15 | SCARE Common Room (A2 2-222) |
| Internal Colloquium | Mohamed Abdelaal: Decentralised Energy Conservation Techniques for Wireless Sensor Networks | 16 March 2015 | 16:00 | A5 0-054, Campus Haarentor |
| Defense | Christian Kuka | 2 March 2015 | 11:00 | A3, Raum 2-209 |
| SCARE Annual Workshop 2014 | Program - Group Photo | 13-15 October 2014 | 09:00 | Worpswede |
| SCARE meeting | Björn Engelmann, Nils Erik Flick, Gao Yang, Christoph Peuser, and Heinrich Ody | 13 June 2014 | 14:15 | Uni Haarentor Campus (A3 2-214) |
| SCARE Annual Workshop 2013 | Program - Group Photo | 11-13 September 2013 | 09:00 | Cloppenburg |
| SCARE Kick-off Workshop 2012 | Program | 13 December 2012 | 14:00 | SCARE Common Room (A2 2-222) |
SCARE seminars
| Event | Speakers | Date | Time | Venue |
| SCARE Monthly Seminar | Okan Özkan | 11 June 2021 | 14:00 | Video |
| SCARE Monthly Seminar | Maike Schwammberger | 24 September 2020 | 9:00 | Video |
| SCARE Monthly Seminar | Mehrdad Poorhosseini | 24 August 2020 | 14:00 | Video |
| SCARE Monthly Seminar | Okan Özkan | 17 July 2020 | 15:00 | Video |
| SCARE Monthly Seminar | Erzana Berani Abdelwahab | 14 August 2019 | 16:00 | A5 2-229 |
| SCARE Monthly Seminar | Nick Würdemann | 6 June 2019 | 15:30 | A5 2-229 |
| SCARE Monthly Seminar | Farzaneh Moradkhani | 5 May 2019 | 16:00 | A5 2-229 |
| SCARE Monthly Seminar | Stephan Adolf | 27 March 2019 | 16:00 | A5 2-229 |
| SCARE Monthly Seminar | Philip Mirbach | 30 January 2019 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Maike Schwammberger | 22 May 2018 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Almuth Meier | 17 April 2018 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Christoph Peuser, Nils Worzyk | 20 February 2018 | 16:15 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Welcome meeting for new PhD students | 30 January 2018 | 16:00 | A3 2-209 |
| SCARE Monthly Seminar | Prof. Dr. Ernst-Rüdiger Olderog and Maike Schwammberger | 28 November 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Uli Schlachter, Heinrich Ody | 29 August 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Awais Usman | 7 March 2017 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Peter Nazier Mosaad | 20 December 2016 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly seminar | Heinrich Ody | 18 October 2016 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly seminar | Evgeny Erofeev | 20 September 2016 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly seminar | Thomas Strathmann | 7 June 2016 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Nils Erik Flick , Heinrich Ody | 19 January 2016 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Björn Engelmann | 26 May 2015 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Peilin Zhang, Md Habibur Rahman | 24 March 2015 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | C. Kuka, Z. Oskenbayeva | 06 January 2015 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Christian Kuka and Nils Erik Flick | 26 August 2014 | 14:00 | SCARE Common Room (A2 2-222) |
SCARE Monthly Seminar | Nils Erik Flick and Evgeny Erofeev | 29 July 2014 | 17:00 | SCARE Common Room (A2 2-222) |
SCARE Monthly Seminar | Björn Engelmann, Nils Erik Flick, Gao Yang, Christoph Peuser, and Heinrich Ody | 10 June 2014 | 16:00 | Uni Haarentor Campus (A4 2-225) |
| SCARE Monthly Seminar | Björn Engelman | 20 May 2014 | 16:00 | SCARE Common Room (A2 2-222) |
SCARE Monthly Seminar | Yang Gao and Mohamed Abdelaal | 08 April 2014 | 16:00 | SCARE Common Room (A2 2-222) |
SCARE Monthly Seminar | Nils Erik Flick | 18 February 2014 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Saifullah Khan | 07 January 2014 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Dilshod Rahmatov, Christoph Peuser, and Heinrich Ody | 17 December 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Björn Engelmann | 03 December 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Organizational | 02 July 2013 | 16:00 | SCARE Common Room (A2 2-222) |
SCARE Monthly Seminar | Prof. Dr. Ernst-Rüdiger Olderog, Mohamed Abdelaal, and Christian Kuka | 21 May 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Prof. Dr. Eike Best and Mohamed Abdelaal | 23 April 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Björn Engelmann and Hendrik Radke | 19 March 2013 | 16:00 | SCARE Common Room (A2 2-222) |
| SCARE Monthly Seminar | Dilshod Rahmatov, Thomas Strathmann, and Nils Erik Flick | 29 January 2013 | 16:00 | SCARE Common Room (A2 2-222) |