Looking for SMT-COMP volunteers

24 views
Skip to first unread message

Clark Barrett

unread,
Nov 23, 2024, 11:02:55 AM11/23/24
to SMT-LIB, smt...@googlegroups.com
Hi all,

We are looking for one more volunteer to help organize the 2025 SMT competition.  This is an opportunity to help shape the focus of SMT solver developers, to develop a strong knowledge of solvers and solver-related tools, and to build connections in and provide an important service to the community.

If you are interested or know someone who is, please respond to me directly.

Best,

Clark Barrett
(for the SMT steering committee)

Reply all
Reply to author
Forward
0 new messages