Horizon Omega
@horizonomega.org
Advancing AI safety through collaboration, research, and education
https://www.horizonomega.org/
https://www.horizonomega.org/
"When AI met Automated Reasoning"
by Clark Barrett, director of the Stanford Center for Automated Reasoning and co-director of the Stanford Center for AI Safety.
The event occurred today on the Guaranteed Safe AI Seminars.
The recording is now available: www.youtube.com/watch?v=AxAS...
by Clark Barrett, director of the Stanford Center for Automated Reasoning and co-director of the Stanford Center for AI Safety.
The event occurred today on the Guaranteed Safe AI Seminars.
The recording is now available: www.youtube.com/watch?v=AxAS...
When AI met AR – Clark Barrett
YouTube video by Horizon Omega
www.youtube.com
November 13, 2025 at 10:00 PM
"When AI met Automated Reasoning"
by Clark Barrett, director of the Stanford Center for Automated Reasoning and co-director of the Stanford Center for AI Safety.
The event occurred today on the Guaranteed Safe AI Seminars.
The recording is now available: www.youtube.com/watch?v=AxAS...
by Clark Barrett, director of the Stanford Center for Automated Reasoning and co-director of the Stanford Center for AI Safety.
The event occurred today on the Guaranteed Safe AI Seminars.
The recording is now available: www.youtube.com/watch?v=AxAS...
Our work, purpose, mission are now more clearly expressed as we updated our website.
www.horizonomega.org
www.horizonomega.org
HΩ
Reducing risks from AI through collaboration, research, and education
www.horizonomega.org
October 7, 2025 at 4:56 PM
Our work, purpose, mission are now more clearly expressed as we updated our website.
www.horizonomega.org
www.horizonomega.org
Guaranteed Safe AI Seminars, August 2025 edition:
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs – GasStationManager · Zoom · Luma
Towards Safe and Hallucination-Free Coding AIs
GasStationManager – Independent Researcher
Modern LLM-based AIs have exhibited great coding abilities, and have…
lu.ma
July 22, 2025 at 12:21 PM
Guaranteed Safe AI Seminars, August 2025 edition:
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Reposted by Horizon Omega
New community hub listing AI safety efforts and meetups in Montréal !
Browse the directory & get involved.
👉 aisafetymontreal.org
Browse the directory & get involved.
👉 aisafetymontreal.org
AI Safety Montréal – Community Directory
Comprehensive directory of AI safety, ethics, and governance organizations in Montréal. Connect with research institutes, student groups, and meetups.
aisafetymontreal.org
July 4, 2025 at 1:50 PM
New community hub listing AI safety efforts and meetups in Montréal !
Browse the directory & get involved.
👉 aisafetymontreal.org
Browse the directory & get involved.
👉 aisafetymontreal.org
You are invited to the July 2025 edition of the Guaranteed Safe AI Seminars. It will be on July 10, 13:00 EDT.
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming – Tan Zhi Xuan
lu.ma/yldjxmej
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming – Tan Zhi Xuan
lu.ma/yldjxmej
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming – Tan Zhi Xuan · Zoom · Luma
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming
Tan Zhi Xuan - Incoming Assistant Professor in the National University…
lu.ma
June 2, 2025 at 12:16 PM
You are invited to the July 2025 edition of the Guaranteed Safe AI Seminars. It will be on July 10, 13:00 EDT.
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming – Tan Zhi Xuan
lu.ma/yldjxmej
Engineering Rational Cooperative AI via Inverse Planning and Probabilistic Programming – Tan Zhi Xuan
lu.ma/yldjxmej
Limits to Control Workshop
June 11-13, Louisville, KY
The workshop aims to explore theoretical and practical limits of controlling increasingly autonomous AI. The 3 days of sessions are to identify controllability boundaries, key research directions, ...
horizonomega.substack.com/p/limits-to-...
June 11-13, Louisville, KY
The workshop aims to explore theoretical and practical limits of controlling increasingly autonomous AI. The 3 days of sessions are to identify controllability boundaries, key research directions, ...
horizonomega.substack.com/p/limits-to-...
Limits to Control Workshop
Intro Can we keep enough control over AI?
horizonomega.substack.com
May 18, 2025 at 4:16 PM
Limits to Control Workshop
June 11-13, Louisville, KY
The workshop aims to explore theoretical and practical limits of controlling increasingly autonomous AI. The 3 days of sessions are to identify controllability boundaries, key research directions, ...
horizonomega.substack.com/p/limits-to-...
June 11-13, Louisville, KY
The workshop aims to explore theoretical and practical limits of controlling increasingly autonomous AI. The 3 days of sessions are to identify controllability boundaries, key research directions, ...
horizonomega.substack.com/p/limits-to-...
Announcing the Virtual AI Safety Unconference 2024
May 23rd to May 26th 2024. Online, participate from anywhere.
A research event aiming to facilitate collaboration and progress towards problems of AI risk, featuring participant-driven activities, discussions, and talks.
vaisu.ai
– VAISU team
May 23rd to May 26th 2024. Online, participate from anywhere.
A research event aiming to facilitate collaboration and progress towards problems of AI risk, featuring participant-driven activities, discussions, and talks.
vaisu.ai
– VAISU team
Virtual AI Safety Unconference
VAISU
vaisu.ai
March 13, 2024 at 2:01 PM
Announcing the Virtual AI Safety Unconference 2024
May 23rd to May 26th 2024. Online, participate from anywhere.
A research event aiming to facilitate collaboration and progress towards problems of AI risk, featuring participant-driven activities, discussions, and talks.
vaisu.ai
– VAISU team
May 23rd to May 26th 2024. Online, participate from anywhere.
A research event aiming to facilitate collaboration and progress towards problems of AI risk, featuring participant-driven activities, discussions, and talks.
vaisu.ai
– VAISU team
AI Safety Events Tracker, March 2024 edition.
Newsletter listing upcoming events and open calls related to AI safety.
aisafetyeventstracker.substack.com/p/ai-safety-...
Newsletter listing upcoming events and open calls related to AI safety.
aisafetyeventstracker.substack.com/p/ai-safety-...
March 10, 2024 at 6:01 PM
AI Safety Events Tracker, March 2024 edition.
Newsletter listing upcoming events and open calls related to AI safety.
aisafetyeventstracker.substack.com/p/ai-safety-...
Newsletter listing upcoming events and open calls related to AI safety.
aisafetyeventstracker.substack.com/p/ai-safety-...