Skip to main content

An Introduction to Fixpoint Equation Systems

Seminar by Thomas Neele (RHUL)

  • Date 07 Apr 2021
  • Time 3.00pm-4.00pm
  • Category Seminar

An Introduction to Fixpoint Equation Systems

Abstract: In the field of formal methods, parity games are a popular formalism for encoding various kinds of decision problems. An equally expressive notion are Boolean equation systems: a sequence of equations over Boolean variables augmented with fixpoints. In this talk, I will introduce fixpoint equation systems (a generalisation of Boolean equation systems), some of the underlying theory and sketch several possible applications. Fixpoint equation systems have potential as a unifying formalism that generalises many existing formalisms.

neele-pic.jpg (2)

Related topics

Explore Royal Holloway

Get help paying for your studies at Royal Holloway through a range of scholarships and bursaries.

There are lots of exciting ways to get involved at Royal Holloway. Discover new interests and enjoy existing ones

Heading to university is exciting. Finding the right place to live will get you off to a good start

Whether you need support with your health or practical advice on budgeting or finding part-time work, we can help

Discover more about our 21 departments and schools

Find out why Royal Holloway is in the top 25% of UK universities for research rated ‘world-leading’ or ‘internationally excellent’

They say the two most important days of your life are the day you were born, and the day you find out why

Discover world-class research at Royal Holloway

Discover more about who we are today, and our vision for the future

Royal Holloway began as two pioneering colleges for the education of women in the 19th century, and their spirit lives on today

We’ve played a role in thousands of careers, some of them particularly remarkable

Find about our decision-making processes and the people who lead and manage Royal Holloway today