Hi Clark, I'd also like to participate in the group.
--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/9ED2060B-6570-4CCC-A5B7-636E2B90CF7E%40m4x.org.
--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAFOm5sTmR7U6ki%2BgWtjyx0OFmAorS_oJFEhQ%2B-EKiaOF8KiLuw%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAFOm5sTmR7U6ki%2BgWtjyx0OFmAorS_oJFEhQ%2B-EKiaOF8KiLuw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAO63et%3DrZ3WmowGa9yLEGFauPH_Sfaf1qxE8BoyyPoAHirKH2g%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAGqSYv0oY798upf%2BQBVHSO%2BFvxK4wPUV3axDt41k%3D3q4TNLHMQ%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAGqSYv0oY798upf%2BQBVHSO%2BFvxK4wPUV3axDt41k%3D3q4TNLHMQ%40mail.gmail.com.
me too
--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/9bf51077-6986-4293-aeb9-bfa1d56467c1n%40googlegroups.com.
Well now I feel a bit left out replying just to Clark last week.
It would definitely be interesting to see how a system like Vampire could fit into this landscape. We would also be a customer of SMT proofs, in the sense that we currently have a proof step in our proofs that says “Z3 says so, if you don’t believe us go ask them”. As of earlier today we can also say “This is the SMT-LIB problem we gave Z3” but that’s about it.
At the PDAR workshop at CADE we also discussed proofs within the context of parallel/distributed solves and it would be great if this aspect was incorporated into the discussion.
Cheers, Giles
To view this discussion on the web visit
https://groups.google.com/d/msgid/smt-lib/BYAPR21MB12085F8435EAE47C0E156F8AC3F69%40BYAPR21MB1208.namprd21.prod.outlook.com.
Hi Cesare,
Sorry for not being clearer. Yes, I’d like to join. I emailed Clark last week before replying to the list got very popular :)
Cheers, Giles
(A somewhat interesting but irrelevant point about what “reply to this email” means, I guess the default reply-to being set to the group should be a hint but I have an automatic aversion to replying to mailing lists for seemingly admin things… an aversion I am apparently avoiding now)
To view this discussion on the web visit
https://groups.google.com/d/msgid/smt-lib/4b08c5a8-f170-4903-a6c5-97ae16273fa9n%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/CAFOm5sTmR7U6ki%2BgWtjyx0OFmAorS_oJFEhQ%2B-EKiaOF8KiLuw%40mail.gmail.com.
Dear member of the SMT community,
Thanks to all who have expressed their interest in joining a working group on SMT proofs. A mailing list was created a few months ago for the group:
While the the mailing list has been dormant for a while, there has been a flurry of activities on proof production and checking in several SMT groups, and a number of conversations have been started among members of these groups.
In an effort to move these conversations to the list and push the goals of the working group, Haniel Barbosa has kindly agreed to lead the working group.
He will follow up soon with some initial proposals on how to move forward.
Best,
Cesare,
also for Clark and Pascal
PS: If you are not in the working group yet and would like to join it, please send an email to Haniel (hbar...@dcc.ufmg.br) and he will add you to the mailing list.
--