Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Daniel Le Berre @dleberre@mastodon.social

12/14/2025, 2:37:46 PM

Public

I just noticed that all best (stiudent) papers awards and test of time awards from the SAT conferences are available from the SAT association web site:
https://www.satassociation.org/awards/

Awards

Distinguished Service Award 2025 The SAT Association conferred a Distinguished Service Award on Hans Kleine Büning in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT) and the SAT Association. 2023 The SAT Association conferred a Distinguished Service Award on John Franco in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT), the SAT association, and the Journal on Satisfiability, Boolean Modeling and Computation (JSAT).

localhost:1313 · The SAT Association

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/dleberre/statuses/115718426904158302 on your instance and quote it. (Note that quoting is not supported in Mastodon.)