Campus Event Calendar: Pascal Fontaine (05/21/2025 in E1 4/024)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Around Congruence Closure

Pascal Fontaine

University of Liège

Talk

AG 1, AG 2, INET, AG 4, AG 5, D6, SWS, RG1

Public Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Wednesday, 21 May 2025

10:00

60 Minutes

E1 4

024

Saarbrücken

Abstract

In this talk, we review the basic congruence closure algorithm at the core of many SMT solvers. We will explain its good complexity, and the various features that makes it a nice SMT reasoning engine. We will also discuss some of its extensions, as well as current and future research around this algorithm.

Contact

Jennifer Müller

+49 681 9325 2900

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Jennifer Müller, 05/20/2025 09:12 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis