Dear all,
this is a reminder for Jürgen Giesl's talk with the title "Proving Termination with Dependency Pairs" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below
--- Abstract ---
Until 2000, techniques for automated termination analysis were mainly studied in the areas of logic programming
and term rewrite systems (TRSs). However, the power of the available methods and tools was quite limited. In
particular, the techniques were not modular and thus, they often failed when applying them to larger programs.
Therefore, from 1996 onwards, we started to develop the so-called dependency pair technique to overcome these
drawbacks. This technique then evolved into a general framework for modular termination proofs of term rewrite
systems and is nowadays used in essentially all termination provers for term rewriting. By applying the dependency
pair framework for TRSs as a backend, we also developed techniques for the automated termination analysis of
many different programming languages, such as Java, Haskell, or Prolog.
While notions like positive almost-sure termination originated in the TRS community, until recently there was hardly
any technique available to analyze the termination behavior of probabilistic TRSs (PTRSs).
Therefore, in very recent work we started to adapt the dependency pair framework to the probabilistic setting in
order to analyze almost-sure termination of PTRSs as well.
All these techniques are implemented in our tool AProVE.
----------------
Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL.
This years topic is "Biggest Milestones - Research at Its Peak", UnRAVeL professors will present the most important milestone of their respective research.
All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2023 and engage in discussions with researchers and doctoral students.
The next talk after today will not take place until June 15th. Then, Britta Peis is going to give a talk with the title "Ascending Auctions and Matroids" We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee