Horizon Omega
@horizonomega.org
📤 27
📥 12
📝 38
Advancing AI safety through collaboration, research, and education
https://www.horizonomega.org/
Discussion on Canada's AI for All strategy ​Join us for a structured open discussion of the strategy and how well it addresses safety, oversight, and the public interest in Canada. Tue Jun 9, 7PM, at Ω Labs RSVP:
luma.com/bpt4xvd1
loading . . .
Discussion on Canada's AI for All strategy · Luma
Canada has released its national AI strategy, "AI for All," anchored in three principles: trust, opportunity, and sovereignty. Join us for a structured open…
https://luma.com/bpt4xvd1
17 days ago
0
1
1
AI Control Hackathon, by HΩ x HackOS ​A one-week hackathon on AI control: limiting the harm an untrusted AI system can cause while it operates, even when it tries to subvert the controls around it. Thu Jun 11 to Jun 18, with a talk from Henri Lemoine (EquiStamp, Mila) Register:
luma.com/ab2xlas3
loading . . .
AI Control Hackathon · Luma
AI Control Hackathon A one-week AI safety hackathon on AI control: limiting the harm an untrusted AI system can cause while it operates, even when it tries to…
https://luma.com/ab2xlas3
20 days ago
1
1
1
AI Governance in 2026: What’s going on, why it’s a mess, and why it’s going to get messier By
@scasper.bsky.social
, AI safety researcher, incoming asst. prof. of Public Policy at Harvard Kennedy School, Berkman Klein fellow, MIT PhD Wednesday June 17, 7PM, at Ω Labs and online
luma.com/yssznx7y
loading . . .
AI Governance in 2026: What’s going on, why it’s a mess, and why it’s going to get messier · Luma
Emerging technologies are always hard to govern, especially when their onset is crammed into a few intense years. With AI, policymakers, thus far, have…
https://luma.com/yssznx7y
21 days ago
0
4
1
Upcoming AI Welfare Seminar: Measuring Machine Consciousness by Cameron Berg, Founder and Director of Reciprocal Research Tuesday June 16, 1PM Eastern
luma.com/kcdncrut
loading . . .
Measuring Machine Consciousness – Cameron Berg · Zoom · Luma
Measuring Machine Consciousness Presentation by Cameron Berg, Founder and Director of Reciprocal Research, Research Affiliate at Eleos AI, and Research Fellow…
https://luma.com/kcdncrut
26 days ago
2
2
1
Next Steps for AI Welfare Research by
@jeffsebo.bsky.social
, Director of the Center for Mind, Ethics, and Policy, New York University Our 1st edition of the AI Welfare Seminars: presentations on AI welfare, consciousness and moral status. Tuesday, May 19, 1PM EDT, on Zoom RSVP
luma.com/sc15vlr8
loading . . .
Next Steps for AI Welfare Research – Jeff Sebo · Zoom · Luma
Next Steps for AI Welfare Research By Jeff Sebo, Associate Professor of Environmental Studies, Director of the Center for Environmental and Animal Protection,…
https://luma.com/sc15vlr8
about 1 month ago
1
4
2
We are opening Ω Labs, a cowork, event, and meeting space for the AI safety and governance community of Montréal. Nous ouvrons Ω Labs, un espace pour le cotravail, les événements, et les rencontres pour la communauté montréalaise de sûreté et gouvernance de l'IA.
loading . . .
Ω Labs is open in Montréal
Find more info on labs.horizonomega.org
https://horizonomega.substack.com/p/labs-is-open-in-montreal
about 2 months ago
0
3
1
The Secure Program Synthesis Hackathon Montréal edition at Ω Labs Friday May 22 6pm to Sunday At the intersection of program synthesis, formal methods, security. Tracks: Spec Elicitation, Spec Validation, Spec-Driven Development, Adversarial Robustness for ITPs and proof tools
luma.com/4q2fnc39
loading . . .
The Secure Program Synthesis Hackathon · Luma
The Montréal node of the Secure Program Synthesis Hackathon, a weekend research sprint at Ω Labs, organized with Apart Research and Atlas Computing. Build a…
https://luma.com/4q2fnc39
about 2 months ago
0
3
2
Guaranteed Safe AI Seminars, May 2026: Formal Guarantees for Frontier AI Gagandeep Singh – Assistant Professor at UIUC, develops formal certification, monitoring, and synthesis methods for frontier AI systems Thursday, May 14, 1PM EDT RSVP:
luma.com/euzt6ey7
loading . . .
Formal Guarantees for Frontier AI · Zoom · Luma
Formal Guarantees for Frontier AI Gagandeep Singh – Assistant Professor at UIUC, develops formal certification, monitoring, and synthesis methods for frontier…
https://luma.com/euzt6ey7
about 2 months ago
1
3
1
AI Safety Papers We Love, a new reading group in Montréal. First edition on Wed May 6 18:30 at Ω Labs: Multi-Agent Risks from Advanced AI, Hammond et al (2025), presented by Orpheus.
luma.com/dnz5hly3
loading . . .
AI Safety Papers We Love #1: Multi-Agent Risks from Advanced AI · Luma
AI Safety Papers We Love, a biweekly reading group: we pick papers we appreciate about AI safety, broadly construed (technical alignment, governance,…
https://luma.com/dnz5hly3
2 months ago
0
2
1
Guaranteed Safe AI Seminars, April 2026: Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber – PhD Candidate, Institute of Information Security and Dependability (KASTEL), Karlsruhe Institute of Technology Thursday, April 9, 1 PM EDT RSVP:
luma.com/920d2h7p
loading . . .
Provably Safe Neural Network Controllers via Differential Dynamic Logic · Zoom · Luma
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber – PhD Candidate, Institute of Information Security and Dependability…
https://luma.com/920d2h7p
3 months ago
2
3
2
reposted by
Horizon Omega
Montréal AI safety, ethics, and governance
4 months ago
Montréal AI safety, ethics, and governance newsletter, March 2026 edition - Intl. AI Safety Report: risk mgmt still voluntary - 5 Montréal AI safety events this month - CIFAR puts $1M toward alignment research - Local papers on interpretability & hallucinations
aisafetymontreal.org/newsletter/2...
loading . . .
March 2026 - Montréal AI safety, ethics, governance
AI Control hackathon with Apart and Redwood, Mila youth safety hackathon, and five events in Montréal. Bengio chairs the second International AI Safety Report. Six new papers from Mila, McGill, and Ud...
https://aisafetymontreal.org/newsletter/2026-03-march/
0
7
3
Guaranteed Safe AI Seminars, March 2026: Benchmarks for AI-assisted Formal Verification By Theodore Ehrenborg, AI Safety researcher at the Beneficial AI Foundation and PIBBSS Thursday, March 12, 1PM EST
luma.com/nk8ce7so
loading . . .
Benchmarks for AI-assisted Formal Verification · Zoom · Luma
Benchmarks for AI-assisted Formal Verification Theodore Ehrenborg – AI Safety researcher at the Beneficial AI Foundation and PIBBSS LLMs have shown promise at…
https://luma.com/nk8ce7so
4 months ago
0
1
1
Montréal AI safety event, Tuesday March 3rd, 7 PM: When Is a Human Actually “Overseeing” an AI System? By
@shalalehrismani.bsky.social
postdoc at McGill+Mila, working on system safety, HCI, and the societal impact of AI, and executive director of the Open Roboethics Institute.
luma.com/7kugvplz
loading . . .
When Is a Human Actually “Overseeing” an AI System? · Luma
Présentation par Shalaleh Rismani, postdoctoral researcher at McGill and Mila, working at the intersection of system safety, human-computer interaction, and…
https://luma.com/7kugvplz
4 months ago
0
3
1
Montréal AI safety event, Tuesday Feb 24, 7 PM: Rights Balancing: How the Future Rights of AI Workers will also Protect Human Rights By Jonathan Simon assist. prof. at Philosophy UdeM and Heather Alexander, human rights lawyer. Co-founders of
@futureofcit.bsky.social
.
luma.com/hcrp5nmu
loading . . .
Rights Balancing: How the Future Rights of AI Workers will also Protect Human Rights · Luma
Rights Balancing: How the Future Rights of AI Workers will also Protect Human Rights Talk by Heather Alexander and Jonathan Simon, co-founders of Future of…
https://luma.com/hcrp5nmu
4 months ago
0
3
2
Montréal AI safety event, Tuesday Feb 17, 7 PM: What hackers talk about when they talk about AI: Early-stage diffusion of a cybercrime innovation ​Talk by Benoît Dupont, Chair in Cyber-resilience, Human-Centric Cybersecurity Partnership director, and Criminology prof at UdeM.
luma.com/gifbf18i
loading . . .
What hackers talk about when they talk about AI: Early-stage diffusion of a cybercrime innovation · Luma
What hackers talk about when they talk about AI: Early-stage diffusion of a cybercrime innovation Talk by Benoît Dupont, Canada Research Chair in…
https://luma.com/gifbf18i
5 months ago
0
1
1
For the Montréal AI safety community: let's meet on some Fridays for coworking + bouldering, starting this week. Pour la communauté montréalaise de la sûreté de l'IA : retrouvons-nous certains vendredis pour du coworking et de l’escalade de bloc, commençant cette semaine.
luma.com/8nztwanh
loading . . .
AI Safety Coworking & Bouldering · Luma
EN Working on something related to AI safety or governance (e.g. research, engineering, policy)? Join us for a coworking & bouldering session. We meet at…
https://luma.com/8nztwanh
5 months ago
0
2
1
Lancement de l'infolettre Montréal AI safety, ethics, governance. Mensuelle, sur les événements, opportunités, politique et recherche. Launching the Montréal AI safety, ethics, governance newsletter. Monthly on events, opportunities, policy, research.
newsletter.aisafetymontreal.org/fevrier-2026/
loading . . .
Février 2026
Français (English follows) Cette infolettre mensuelle détaille les progrès récents et les événements à venir en sûreté, éthique et gouvernance de l'IA à Montréal. Événements à venir AI Plural...
https://newsletter.aisafetymontreal.org/fevrier-2026/
5 months ago
0
3
2
Montréal AI safety event, Tuesday Feb 3, 7 PM: AI Pluralism: What Models Do, Who Decides, and Why It Matters Talk by Rashid Mushkani, AI & Urban Studies PhD Candidate @ University of Montréal and Mila
luma.com/azd9irwp
loading . . .
AI Pluralism: What Models Do, Who Decides, and Why It Matters · Luma
AI Pluralism: What Models Do, Who Decides, and Why It Matters A talk by Rashid Mushkani, AI & Urban Studies PhD Candidate @ University of Montréal and Mila AI…
https://luma.com/azd9irwp
5 months ago
0
4
2
The Technical AI Governance Challenge A weekend build-sprint to create verifiable AI safety compliance tools: compute/hardware tracking, privacy-preserving proofs, risk monitoring, and cross-border verification. Montréal edition, Fri Jan 30 eve to Sun afternoon RSVP:
luma.com/yyrdzld4
loading . . .
The Technical AI Governance Challenge · Luma
This is the Montréal edition of the global The Technical AI Governance Challenge, which is described below. The hackathon will occur Friday evening to Sunday…
https://luma.com/yyrdzld4
5 months ago
0
3
1
Montréal AI safety event, Tuesday Jan 27, 7 PM: Living with Digital Surveillance in China A presentation by
@arianeollier.bsky.social
, Prof and Canada Research Chair in Digital Regulation at Work at ESG-UQAM
luma.com/5vtq60el
loading . . .
Living with Digital Surveillance in China · Luma
EN A presentation by Ariane Ollier-Malaterre: Digital surveillance is a daily and all-encompassing reality of life in China. This book explores how Chinese…
https://luma.com/5vtq60el
5 months ago
0
4
2
AI Manipulation Hackathon (Montréal edition, Friday evening to to Sunday midday) Build benchmarks, detection + mitigations against deception/sycophancy/sandbagging/dark patterns. $2000 prizes + possible Apart Fellowship + Paris workshop slot. RSVP:
luma.com/mf69p5pi
loading . . .
AI Manipulation Hackathon · Luma
This is the Montréal edition of the AI Manipulation Hackathon. Friday evening to Sunday midday. RSVP here and on the official page to be admissible. Location…
https://luma.com/mf69p5pi
6 months ago
1
2
1
HΩ's year in review In 2025, we produced the Guaranteed Safe AI Seminars, cultivated the Montréal AI safety community, realized the Limits to Control workshop, and more. We are also moving from a volunteer org to one with more capacity. Onward to 2026!
horizonomega.substack.com/p/h-2025-rev...
loading . . .
HΩ 2025 Review
What is HΩ?
https://horizonomega.substack.com/p/h-2025-review
6 months ago
0
3
1
Montréal event, Tuesday December 16, 7 PM: Can AI systems be conscious? How could we know? And why does it matter? A presentation by
@joaquimstreicher.bsky.social
, Ph.D. candidate in Neuroscience and co-founder of Montréal Initiative for Consciousness science (MONIC)
luma.com/paky3mih
loading . . .
Can AI systems be conscious? How could we know? And why does it matter? · Luma
EN Joaquim Streicher, Ph.D. candidate in Neuroscience and co-founder of Montreal Initiative for Consciousness science (MONIC) will give the following…
https://luma.com/paky3mih
7 months ago
0
4
1
Montréal event, Tuesday December 2, 7 PM: Veracity in the Age of Persuasive AI – a presentation by Taylor Lynn Curtis, researcher on misinformation at Mila.
luma.com/mmuqltzq
loading . . .
Veracity in the Age of Persuasive AI · Luma
EN Veracity in the Age of Persuasive AI A presentation by Taylor Lynn Curtis, researcher on misinformation at Mila. This presentation addresses the growing…
https://luma.com/mmuqltzq
7 months ago
0
1
1
Guaranteed Safe AI Seminars, December 2025: Safe Learning Under Irreversible Dynamics via Asking for Help Benjamin Plaut – Postdoc at CHAI studying guaranteed safe AI Thursday, December 11, 1 PM EST
luma.com/wcww6xpl
loading . . .
Safe Learning Under Irreversible Dynamics via Asking for Help – Benjamin Plaut · Zoom · Luma
Safe Learning Under Irreversible Dynamics via Asking for Help Benjamin Plaut – Postdoc at CHAI studying guaranteed-safe AI Most online learning algorithms with…
https://luma.com/wcww6xpl
7 months ago
1
2
1
"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...
loading . . .
When AI met AR – Clark Barrett
YouTube video by Horizon Omega
https://www.youtube.com/watch?v=AxASkEW8gYE
7 months ago
0
1
1
Our work, purpose, mission are now more clearly expressed as we updated our website.
www.horizonomega.org
loading . . .
HΩ
Reducing risks from AI through collaboration, research, and education
https://www.horizonomega.org/
9 months ago
0
3
1
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
loading . . .
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…
https://lu.ma/6zpndj0w
11 months ago
2
2
1
reposted by
Horizon Omega
Orpheus Lummis
12 months ago
New community hub listing AI safety efforts and meetups in Montréal ! Browse the directory & get involved. 👉
aisafetymontreal.org
loading . . .
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.
https://aisafetymontreal.org
1
1
1
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
loading . . .
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…
https://lu.ma/yldjxmej
about 1 year ago
2
2
1
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-...
loading . . .
Limits to Control Workshop
Intro Can we keep enough control over AI?
https://horizonomega.substack.com/p/limits-to-control-workshop
about 1 year ago
0
4
2
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
loading . . .
Virtual AI Safety Unconference
VAISU
https://vaisu.ai
over 2 years ago
0
5
4
AI Safety Events Tracker, March 2024 edition. Newsletter listing upcoming events and open calls related to AI safety.
aisafetyeventstracker.substack.com/p/ai-safety-...
over 2 years ago
0
6
1
you reached the end!!
feeds!
log in