Head of Group

Prof. Dr. Daniel Neider

Uhlhornsweg, A3 2-202a


Ingrid Ahlhorn

+49 (0)441 798 2426

Uhlhornsweg, A3 2-208
26129 Oldenburg

Prof. Dr. Daniel Neider

Prof. Dr. Daniel Neider

Press releases with mentions

Department of Computing Science  (» Postal address)

Recent Talks and Tutorials

  • (Horn-)ICE Learning: An Inductive Approach to Deductive Software Verification. Invited talk, June 2021, RWTH Aachen University, Germany
  • Logic and Learning: Formal Guarantees for Trustworthy Intelligent Systems. Invited talk, November 2020, University of Oldenburg, Germany
  • Learning Correctness Proofs of Software. Invited talk, January 2020, University of Liverpool, UK
  • Combining Deductive and Inductive Reasoning in Formal Methods. Invited talk, October 2019, University of California, Los Angeles, USA
  • Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS, October 2019, Porto, Portugal
  • Deductive Verification, the Inductive Way. Invited tutorial at the ForMaL Spring School on Formal Methods and Machine Learning, June 2019, ENS Paris-Saclay, France
  • Formal Verification Meets Machine Learning. Invited talk, March 2019, University of Bochum, Germany
  • Learning Linear Temporal Properties. Invited talk, Complexity, Algorithms, Automata and Logic Meet, January 2019, Chennai Mathematical Institute, India
  • Horn-ICE Learning for Synthesizing Invariants and Contracts. OOPSLA, November 2018, Boston, MA, USA
  • Learning Linear Temporal Properties. Invited talk, Highlights of Logic, Games and Automata, September 2018, Berlin, Germany
  • A Tutorial on Automata Learning. Invited tutorial at MOVEP '18 Summer School, July 2018, ENS Paris-Saclay, France
  • Machine Learning Meets Formal Methods. Invited talk, June 2018, Saarland University, Germany
  • Invariant Synthesis for Incomplete Verification Engines. TACAS, April 2018, Thessaloniki, Greece
  • Logic and Learning. Invited talk, February 2018, University of Kaiserslautern, Germany
(Changed: 10 May 2022)