#verifythis
LightNews LightNews
confcav.bsky.social
📢 VerifyThis 2025 - Call for Problems

Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition
& submission process:
www.pm.inf.ethz.ch/research/ver...
January 14, 2025 at 4:31 AM
jcenzo.bsky.social
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
February 24, 2025 at 10:44 PM
dentarthurdent68.bsky.social
#ThanksTrump #Thanksmaga
#VerifyThis🖕
youtu.be/2zWmcMcajQI?...
Lawrence: You can be guilty of using child pornography and Trump will pardon you for Jan. 6
YouTube video by MSNBC
youtu.be
January 23, 2025 at 6:30 AM
etapsconf.bsky.social
Congratulations to the winners of the VerifyThis Competition!
April 13, 2026 at 11:43 AM
jcenzo.bsky.social
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
jcenzo.bsky.social Jenna DiVincenzo @jcenzo.bsky.social · Feb 24
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
March 29, 2025 at 8:34 PM
jcenzo.bsky.social
Thomas Wies (NYU) and I are organizing the 2025 edition of the VerifyThis competition and we are currently looking for interesting academic or industry verification problems. The deadline for submission is Feb. 7. See the call for problems for more information: www.pm.inf.ethz.ch/research/ver....
January 10, 2025 at 12:53 AM
rudyromeiro.bsky.social
www.threads.net/@verifythis/...
VERIFY (@verifythis) on Threads
Here's how much Americans can expect to spend on Thanksgiving dinner this year, on average: https://www.verifythis.com/article/news/verify/money-verify/average-2024-thanksgiving-meal-cheaper-than-last...
www.threads.net
November 23, 2024 at 6:32 AM
seraphinahelene.bsky.social
I looked up doxing as a federal crime and it seems he may have committed a crime. Verifythis. com cited a few different sources but included law.justia.com/codes/us/202...

States that it is a crime to dox protected persons & lists:
"The federal law applies to the following individuals and their
February 15, 2025 at 4:17 AM
pamelasunshine.bsky.social
www.threads.net/@verifythis/...
VERIFY (@verifythis) on Threads
In late December, Donald Trump suggested the United States should retake control of the Panama Canal in his second term. He claims Panama is imposing “ridiculous” fees on ships passing through this vi...
www.threads.net
December 27, 2024 at 11:34 PM
bellison22.bsky.social
@verifythis
👇👇👇👇👇
After the election, a viral social post warned that some of the personal data shared on apps that track menstrual cycles and pregnancy could potentially be used against people seeking an abortion in the United States.

Google search period-tracking apps if covered by HIPAA.
November 12, 2024 at 2:44 PM
tickle-b.bsky.social
VERIFY (@verifythis) on Threads
We can VERIFY, the U.S. does not have any authority over the Panama Canal. The waterway, which was built by the U.S. in the early 1900s, opened in 1914 and remained under U.S. government control until...
www.threads.net
January 7, 2025 at 10:01 PM
jcenzo.bsky.social
Note, the participation page on the VerifyThis website is not completely up to date. It should be by the end of the week, but we wanted to get the call for participation out since the early registration deadline is only a few days away!
February 24, 2025 at 10:44 PM
etapsconf.bsky.social
1 more sleep until ETAPS!

Kicking off tomorrow with workshops on learning in verification, reproducibility in research, trusted automated decision making and day 1 of the VerifyThis competition.
May 2, 2025 at 6:41 PM
etapsconf.bsky.social
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until April 1. For more info see http://verifythis.ethz.ch.1/3
March 31, 2025 at 2:16 PM
wiccantexan.bsky.social
#PresidentialPardon cannot be revoked by the incoming administration. #verifythis #biden
No, presidential pardons cannot be revoked once finalized
After President Biden pardoned his son, Hunter, some VERIFY readers asked if Donald Trump could undo that pardon. Here’s why he can’t.
www.kens5.com
December 5, 2024 at 12:45 PM
etapsconf.bsky.social
Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition and submission process, see the call for problems:

www.pm.inf.ethz.ch/research/ver...
January 12, 2025 at 8:35 PM
drkamleigh.bsky.social
Just ended my meta verification. Time to stop putting 💵 in this guy’s pocket.

#verifythis
#bluesky
that 's all folks is written on a red and blue background
ALT: that 's all folks is written on a red and blue background
media.tenor.com
January 7, 2025 at 10:23 PM
vivacia.bsky.social
I mean... no lies detected 🤷‍♀️
A screenshot of a 13News Now - WVEC Facebook VerifyThis post. The image shows a reward poster offering up to $10,000 for information regarding a homicide, attached to a pole on a busy sidewalk. The poster features images of a suspect and a description of the incident. A headline below reads, "No, the McDonald’s worker who identified Luigi Mangione won’t automatically get paid the $60K..." In the comments section, a user named Paul Richardson writes, “So they’re denying the claim. How health insurance of them.”
December 14, 2024 at 11:20 PM
etapsconf.bsky.social
Students may apply for a travel grant at forms.gle/oPiFv11dX8G1... by April 8. 3/3
VerifyThis 2025 Travel Grant Application Form
The competition has funds for a limited number of travel grants for students. A grant covers the incurred travel and accommodation costs up to a limit of $750. We are particularly keen to increase di...
forms.gle
March 31, 2025 at 2:16 PM
dr-henry-killinger.bsky.social
When Bluesky asks you to verify because you live in a 3rd world dystopian hellscape of a state because the government wants everyone to be miserable. Any way proton is running a deal. protonvpn.com/pricing

#protonvpn #verifythis #freetheinternet #vpn #ohiosucks #texassucks #floridasucks
a man is wearing a scarf around his neck and says `` the audacity ! ''
ALT: a man is wearing a scarf around his neck and says `` the audacity ! ''
media.tenor.com
December 1, 2025 at 12:07 AM
jcenzo.bsky.social
If you are interested in participating in the competition, you can find initial participation information on the VerifyThis website: www.pm.inf.ethz.ch/research/ver.... More information will be added to the website as we get closer to the competition date on May 3-4.
January 10, 2025 at 12:53 AM
dentarthurdent68.bsky.social
So much for @bsky.app @skywatch.blue @moderation.bsky.app

#VerifyThis
January 24, 2025 at 9:07 PM
dentarthurdent68.bsky.social
@skywatch.blue @moderation.bsky.app

#VerifyThis🖕
January 21, 2025 at 11:18 PM
jr3597.bsky.social
Via @VerifyThis "After DHS revoked previous guidance for immigration enforcement, we VERIFY if ICE agents can now enter schools, churches and hospitals."

www.verifythis.com/article/news...

OP: x.com/VerifyThis/status/1884111674170380329?t=cObNSw5glRq_zIrG-Z7RQA&s=19
Can ICE now raid churches, schools and hospitals? What we can VERIFY
After DHS revoked previous guidance for immigration enforcement, we VERIFY if ICE agents can now enter schools, churches and hospitals.
www.verifythis.com
January 28, 2025 at 5:48 AM