Computational Ethics & Logic 2027
The third edition of our symposium on logic in autonomous agents. Registration is open now; the call for papers closes 30 November 2026.
North Campus Auditorium
Add to calendar[Updates]
News & Events
Announcements, upcoming symposia, and highlights from the Institute for Computational Synthesis.
Featured Event
Computational Ethics & Logic 2027
The third edition of our symposium on logic in autonomous agents. Registration is open now; the call for papers closes 30 November 2026.
MAR 13–14, 2027
North Campus Auditorium
Registration
Sign in to register.
Upcoming Events
Winter Seminar: Neuromorphic Computing at the Edge
Invited speakers from Intel, IBM, and leading European labs present recent advances in edge AI hardware, including results from the centre's analog testbed.
Room 402, Building 42
Add to calendarOpen Lab Day 2026
Tours of the neuromorphic testbed and verification lab, plus a poster session from graduate students and a Q&A for prospective PhD applicants.
Building 42, Ground Floor
Add to calendarWinter Seminar Registration
Seats for the Winter Seminar on 27 August 2026 are limited to the capacity of Room 402. Members save 20%.
Latest News
Call for papers opens for Computational Ethics & Logic 2027
Submissions on logic, accountability, and autonomous agents are invited until 30 November 2026, with the symposium held 13–14 March 2027.
Centre secures ARC Linkage funding for verified autonomy
A four-year award supports formal guarantees for autonomous fleets, jointly with two industry partners and the robotics group.
Auditable Agent Protocols wins Distinguished Paper at IEEE S&P 2026
The runtime verification framework for tool-using language models was recognised among the top submissions in Oakland.
Annual General Meeting 2026: director's report and board elections
Members confirmed the 2026–2029 research plan and elected two new advisory board members at the meeting held on 21 May.
Analog neuromorphic testbed opens to external collaborators
The centre's spiking-hardware facility is now bookable by partner labs following the ISCA 2026 results on energy-proportional transformers.
Recordings published from Computational Ethics & Logic 2026
Keynotes and workshop sessions from the 14–15 March symposium are now available to members and registered attendees.
Professor Sarah Jenkins awarded Turing Research Fellowship
The fellowship recognizes her sustained contributions to safe autonomous systems and multi-agent coordination.
New partnership announced with DeepScale Computing Lab
The collaboration will focus on energy-efficient training algorithms for sparse neural networks.