[Symposium] MAR 13–14, 2027

Computational Ethics & Logic 2027

Name: Computational Ethics & Logic 2027
Start: 2027-03-13T09:00:00.000Z
End: 2027-03-13T17:00:00.000Z
Location: North Campus Auditorium

The third edition of our symposium on logic in autonomous agents. Registration is open now; the call for papers closes 30 November 2026.

Add to calendar

Dates

13–14 March 2027

Venue

North Campus Auditorium

Technology Square, Cambridge, MA

Call for papers

Closes 30 November 2026

Registration

Reserve your place

Registration includes both symposium days, the poster reception, and access to recordings after the event.

Places

Provisional programme

Day 1 — 13 March 2027

Opening keynote on logic and accountability in autonomous agents
Paper session: formal specification of agent obligations
Paper session: runtime verification of tool-using models
Evening poster session and reception

Day 2 — 14 March 2027

Invited talk: verification for safety-critical autonomy
Paper session: accountability, auditing, and provenance
Panel discussion with industry partners
Closing remarks and best-paper announcement

The programme is provisional and will be finalised once the call for papers closes.