SF Bay ACM Chapter

TALK LOGISTICS:
Monday, April 20, 2026
6:30 registration, food, networking.
7:00 SFbayACM upcoming events, introduce the speaker
7:10 to 8:15 or 8:30 presentation
The Zoom and YouTube links will be provided here about 2-3 days before the event
SFbayACM will support a local audience at VRP in Mountain View

TALK DESCRIPTION:
Large language models (LLMs) often generate fluent but in-correct or unsupported statements, commonly referred to as hallucinations. We propose a hallucination detection frame-work ValidLLP4LLM based on a Labeled Logic Program (LLP) architecture that integrates multiple reasoning paradigms, including logic programming, argumentation, probabilistic inference, and abductive explanation. By enriching symbolic rules with semantic, epistemic, and contextual labels and applying discourse-aware weighting, the system prioritizes nucleus claims over peripheral statements during verification. Experiments on three benchmark datasets and a challenging clinical narrative dataset show that LLP consistently outperforms classical symbolic validators, achieving the highest detection accuracy when combined with discourse modeling. A human evaluation further demonstrates that logic-assisted explanations improve both hallucination detection ac-curacy and user trust. The results suggest that labeled symbolic reasoning with discourse awareness provides a robust and interpretable approach to LLM verification in safety-critical domains.

SPEAKER BIO:
Prof. Boris Galitsky has contributed linguistic and machine learning technologies to Silicon Valley startups as well as companies like eBay and Oracle for over 25 years. His information extraction and sentiment
analysis techniques assisted several acquisitions, such as Xoopit by Yahoo, Uptake by Groupon, Loglogic by Tibco, and Zvents by eBay. His security-related technologies of document analysis contributed to the acquisition of Elastica by Semantec.

As an architect of the Intelligent Bots project at Oracle, he developed a discourse analysis technique used for dialogue management and published in the book Developing Enterprise Chatbots. He also published a two-volume monograph, “AI for CRM”, based on his experience developing Oracle Digital Assistant. He is an Apache committer to OpenNLP, where he created OpenNLP. Similarity component, which is a basis for a semantically enriched search engine and chatbot development.

His exploration and formalization of human reasoning culminated in the book AQ1 Computational Autism broadly used by parents of children with autism spectrum disorder and rehabilitation personnel. His
focus on the medical domain led to another research monograph, “Artificial Intelligence for Healthcare Applications and Management”. He is a now a lead researcher at Moscow Institute for Physics and Technology, Russia
https://www.linkedin.com/in/boris-galitsky-342109204/

#ACM #SFbayACM #AI #GenAI #DataScience #LLM
#Hallucinations #LogicProgramming #NLP #Discourse #Benchmark

The Association of Computing Machinery http://www.acm.org/about-acm/about-the-acm-organization is the world’s largest computing society, handling Computer Science conferences and publications. The San Francisco Bay Area ACM is a local professional chapter, a non-profit 501c(3), founded in 1957. We hold two public presentations a month on (1) General Computing is on the third Wednesday of the month, and (2) Data Science SIG, on data mining, deep learning or big data on the 4th Mondays, and (3) Life science on the third Wednesday of a month. Among these Meetups, we recently emphasis Security & Social Modeling discussions, and AI in life science.

We are introducing more talks on Genetics and Medicine normally 30-80 people attending our talks since returning in-person meetings after the pandemic years.

See also our YouTube channel (https://www.youtube.com/user/sfbayacm) with OVER 240 past talks. And you can find our Security & Social Modeling talks on YouTube playlist: https://www.youtube.com/playlist?list=PL87GtQd0bfJyVsBgkL-TyNzZhsNOYK2v_ .

SEEKING SPEAKERS
In general, we are seeking speakers to book in advance. Talks could be like something you would see at a computing conference, an educational subject for experienced computing professionals. It is fine to err on the side of more technical, algorithmic or mathematical.
If you would like to submit a talk proposal, please provide the following:

• 2 available dates (General Computing and Life Science on 3rd Wednesdays) or (DS on 4th Mondays). We skip December for talks.
• speaker name, phone, email, LinkedIn (or picture)
• talk title
• talk description (include any desired links, related reading)
• speaker bio (include any desired links)

CALL FOR PRESENTATIONS IN general computing area as listed by ACM:
* internet of things
* cyber security
* information retrieval
* semantic web
* virtualization
* embedded and real time systems
* cryptography
* bitcoin & related block chain
* human computer interaction
* virtual reality
* large scale networks
* robotics
* quantum computing
* 5g or 6g wireless

And hot topics in Silicon Valley:
* startups, VC funding, how to pitch to VCs
* women or minorities in computing (to support)
* hiring or being hired
* science fair
* computing to support fusion, lab works for national projects
* major open source software
* Genetics
* Bio Info
* Medicines

Coordinating with professors from Stanford, we6 will introduce more speakers in Genetics, Bio Info and Medicine regularly on the 1st Tuesday. Available dates for Data Science: 12/2/2025, 1/26/2026
General computing:2/18, 3/18, 4/15, 5/20, 6/17/2026

We are open to accept proposals for 2026, please specify which months you will be available on either the 3rd Wednesday or the fourth Monday in 2026 with your abstract proposal.

CONTACT US
On the left side of the Meetup page, in the "Organizers:" box, there is a "Contact" button you can use for the submission, use "general computing", "LifeS", "S&S" or "DS SIG" talk at the beginning to propose your talk. You may send your proposal to Speakers@sfbayACM.net for multiple attentions as well.

SPONSORSHIP OPPORTUNITIES
You can also contact me (Greg Makowski) about sponsorship opportunities for our non-profit organization. We are run by unpaid volunteers. If you provide financial sponsorship, sponsor food or the video recording for a night or talk series, we can offer either
a) a "thank you for the donation letter with our 501c(3) non-profit tax ID" for your tax deduction
b) "thank the sponsor" time to address the event audience during the "upcoming events" period of one of our events (7:00 - 7:10)
c) opt-in registration information of the attendees
d) "thank the sponsor" branding on the video, posted on our YouTube video channel of our talks
e) a banner in our monthly email newsletter to 5,000 opt-in bay area computing professionals or a section of our print newsletter to members only
f) make a suggestion and we can see what we can do, constrained by our volunteer effort and non-profit status.

Thanks,
Liana Ye, Program Chair, and Greg Makowski, Business Development Lead and Data Science SIG Chair