Dear all,

this is a reminder for Erika Ábrahám's talk with the title "Building Bridges between Symbolic Computation and Satisfiability Checking" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below

------ The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems. More recent developments in the area of Satisfiability Checking started to tackle similar problems but with different algorithmic and technological solutions.

Though both communities have made remarkable progress in the last decades, they need to be further strengthened to tackle practical problems of ever increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to address prevailing problems having a direct effect on our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation is able to deal with large mathematical problems far beyond the scope of pencil and paper solutions.

Until recently, the two communities have been largely disjoint and unaware of the achievements of one another, despite there being strong reasons for them to discuss and collaborate, since they share many central interests. Researchers from these two communities rarely interacted, and also their tools lack common, mutual interfaces for unifying their strengths.

As said, until recently... ------

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.

Next week, Martin Grohe is going to give a talk with the title "The Quest for a Logic Capturing PTIME"

We are looking forward to seeing you at the lectures. Kind regards, Jan-Christoph for the organisation committee