Advancing AI safety through collaboration, research, and education https://www.horizonomega.org/https://bsky.app/profile/horizonomega.orghttps://bsky.app/profile/horizonomega.org/post/3mlve7hir4k2kNext 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 https://luma.com/sc15vlr815 May 2026 12:42 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mlve7hir4k2khttps://bsky.app/profile/horizonomega.org/post/3mlecxzcpwc2bWe 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. https://horizonomega.substack.com/p/labs-is-open-in-montreal08 May 2026 18:04 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mlecxzcpwc2bhttps://bsky.app/profile/horizonomega.org/post/3mlaeslk6as2jThe 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 https://luma.com/4q2fnc3907 May 2026 04:27 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mlaeslk6as2jhttps://bsky.app/profile/horizonomega.org/post/3mkukt3usds2xGuaranteed 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 https://luma.com/euzt6ey702 May 2026 11:42 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mkukt3usds2xhttps://bsky.app/profile/horizonomega.org/post/3mkbnyrf43k2oAI 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 https://luma.com/dnz5hly324 Apr 2026 23:19 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mkbnyrf43k2ohttps://bsky.app/profile/horizonomega.org/post/3mhqoros7qs2vGuaranteed 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 https://luma.com/920d2h7p23 Mar 2026 18:27 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mhqoros7qs2vhttps://bsky.app/profile/horizonomega.org/post/3mfjq5uehxs2rGuaranteed 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 https://luma.com/nk8ce7so23 Feb 2026 13:12 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mfjq5uehxs2rhttps://bsky.app/profile/horizonomega.org/post/3mfhxjplyu222Montré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 https://luma.com/7kugvplz22 Feb 2026 20:19 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mfhxjplyu222https://bsky.app/profile/horizonomega.org/post/3mf6osujfsk2dMontré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 https://luma.com/hcrp5nmu19 Feb 2026 03:49 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mf6osujfsk2dhttps://bsky.app/profile/horizonomega.org/post/3mdyda2dsvk2iMontré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 https://luma.com/gifbf18i03 Feb 2026 21:41 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mdyda2dsvk2ihttps://bsky.app/profile/horizonomega.org/post/3mdyczoamu22iFor 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 https://luma.com/8nztwanh03 Feb 2026 21:37 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mdyczoamu22ihttps://bsky.app/profile/horizonomega.org/post/3mdv3v3vggc2bLancement 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/ https://newsletter.aisafetymontreal.org/fevrier-2026/02 Feb 2026 14:51 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mdv3v3vggc2bhttps://bsky.app/profile/horizonomega.org/post/3mdaup2zars2aMontré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 https://luma.com/azd9irwp25 Jan 2026 13:49 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mdaup2zars2ahttps://bsky.app/profile/horizonomega.org/post/3md4e4zgj6k2tThe 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 https://luma.com/yyrdzld423 Jan 2026 18:42 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3md4e4zgj6k2thttps://bsky.app/profile/horizonomega.org/post/3mcs2taetts2rMontré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 https://luma.com/5vtq60el19 Jan 2026 16:29 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mcs2taetts2rhttps://bsky.app/profile/horizonomega.org/post/3mblysyxyf22pAI 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 https://luma.com/mf69p5pi04 Jan 2026 13:12 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3mblysyxyf22phttps://bsky.app/profile/horizonomega.org/post/3maoevts7kk2aHΩ'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! https://horizonomega.substack.com/p/h-2025-review23 Dec 2025 18:28 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3maoevts7kk2ahttps://bsky.app/profile/horizonomega.org/post/3m73zriashc2wMontré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 https://luma.com/paky3mih03 Dec 2025 17:56 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3m73zriashc2whttps://bsky.app/profile/horizonomega.org/post/3m6xjouho7s2qMontré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 https://luma.com/mmuqltzq01 Dec 2025 22:58 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3m6xjouho7s2qhttps://bsky.app/profile/horizonomega.org/post/3m6i2g5me7c2jGuaranteed 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 https://luma.com/wcww6xpl25 Nov 2025 19:14 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3m6i2g5me7c2jhttps://bsky.app/profile/horizonomega.org/post/3m5k62stwa22u"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: https://www.youtube.com/watch?v=AxASkEW8gYE13 Nov 2025 22:00 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3m5k62stwa22uhttps://bsky.app/profile/horizonomega.org/post/3m2mltzyui22wOur work, purpose, mission are now more clearly expressed as we updated our website. www.horizonomega.org https://www.horizonomega.org/07 Oct 2025 16:56 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3m2mltzyui22whttps://bsky.app/profile/horizonomega.org/post/3lukillywsk24Guaranteed 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 https://lu.ma/6zpndj0w22 Jul 2025 12:21 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3lukillywsk24https://bsky.app/profile/horizonomega.org/post/3lqmqykkwck2mYou 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 https://lu.ma/yldjxmej02 Jun 2025 12:16 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3lqmqykkwck2mhttps://bsky.app/profile/horizonomega.org/post/3lphheoh5l424Limits 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, ... https://horizonomega.substack.com/p/limits-to-control-workshop18 May 2025 16:16 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3lphheoh5l424https://bsky.app/profile/horizonomega.org/post/3knlgvfibcm2rAnnouncing 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 https://vaisu.ai13 Mar 2024 14:01 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3knlgvfibcm2rhttps://bsky.app/profile/horizonomega.org/post/3knecup5man2uAI Safety Events Tracker, March 2024 edition. Newsletter listing upcoming events and open calls related to AI safety. https://aisafetyeventstracker.substack.com/p/ai-safety-events-tracker-march-202410 Mar 2024 18:01 +0000at://did:plc:iofyvdnhthbohl7vl6kpwngr/app.bsky.feed.post/3knecup5man2u