[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
SMT 2021 Call for
Participation
19th International Workshop on Satisfiability Modulo Theories
(SMT 2021)
July 18-19, 2021, Online
8am -- 12:45pm PDT
Affiliated with CAV 2021
http://smt-workshop.cs.uiowa.edu/2021/index.shtml
Registration:
https://regmaster.com/2021conf/CAV21/register.php
Early Registration till July 9: 75$/10$ (students); Regular
Registration: 125$/15$ (students)
================================================================================================================================================
We are pleased to invite you to participate in the SMT 2021 workshop.
Determining the satisfiability of first-order formulas modulo background
theories, known as Satisfiability Modulo Theories (SMT), has proved to be an
enabling technology for verification, synthesis, test generation, compiler
optimization, scheduling, and other areas. The aim of the annual SMT workshop
is to bring together researchers and users of SMT tools and techniques.
This year, we have an exciting and versatile program, which includes the
following sessions:
Sunday, July 18
1. Invited Talk by Guy Katz (Hebrew University): Using SMT and
Abstraction-Refinement for Neural Network Verification
2. Theory of SMT
3. Proofs and Interpolation
4. Boosting SMT Solving
5. SMT Competition 2021: Report
Monday, July 19
1. Invited Talk by Karem Sakallah (University of Michigan): AVR:
Word-Level Verification by Equality Abstraction of Data State
2. SMT Applications
3. SMT-LIB and API (Technical Session)
4. SMT-LIB and Business Meeting
Program details appear at http://smt-workshop.cs.uiowa.edu/2021/program.shtml
Talks will be live and will include Q&A.
Program Chairs:
- Aina Niemetz (Stanford University)
- Alexander Nadel (Intel)
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
