Skip to content Skip to navigation

CENTAUR Annual Meeting 2022

July 13, 2022 (All day)

Day 2: CENTAUR

REGISTER

 

AGENDA

8:30am - 8:50am

Breakfast and Registration

   

8:50am - 9:00am

Opening Remarks

Clark Barrett

Director of Centaur

Session I

9:00am - 9:20am

On the surprising usefulness of proofs

Clark Barrett

Faculty

9:20am - 9:40am

Scalable assurance via formal and verifiable security contracts

Caroline Trippel

Faculty

9:40am - 10:00am

Coffee break

   

Session II

10:00am - 10:20am

cvc5: a versatile and industrial-strength SMT solver

Mathias Preiner

Research scientist

10:20am - 10:40am

TBD

TBD

TBD

10:40 11:00am

Reasoning about finite fields

Alex Ozdemir

Phd student

11:00am - 11:20am

Coffee break

   

Session III

11:20am-11:40am

Murxla: an API fuzzer for SMT solvers

Aina Niemetz

Research scientist

11:40am-12:00pm

Lightning talks

   

12:00pm - 1:40pm

Lunch and poster session

   

Session IV

1:40pm - 2:00pm

Pono: An SMT-based model checker

Florian Lonsing

Research scientist

2:00pm - 3:00pm

Automated reasoning: challenges and opportunities

Industry Panel

 

3:00pm - 3:30pm

Coffee break

   

Session V

3:30pm - 3:50pm

Parallel SMT solving

Amalee Wilson

PhD student

3:50 - 4:10pm

Reasoning about strings

Andres Noetzli

Postdoctoral scholar

4:10pm - 4:30pm

Reasoning about sequences

Yoni Zohar

Faculty at Bar-Ilan University

4:30pm - 4:35pm

Closing remarks

Clark Barrett

Director of Centaur