<div dir="ltr"><div><div>2nd Workshop on Formal Ethical Agents and Robots</div><div>================================================</div><div><br></div><div>Website:<span class="gmail-Apple-converted-space"> </span><a href="https://fearworkshop.github.io" target="_blank">https://fearworkshop.github.io</a></div><div>Submission Website:<span class="gmail-Apple-converted-space"> </span><a href="https://openreview.net/group?id=FEAR/2025/Workshop" target="_blank">https://openreview.net/group?id=FEAR/2025/Workshop</a></div><div><br></div><div>Recent advances in artificial intelligence have led to a range of concerns about the ethical impact of the technology. This includes concerns about the day-to-day behaviour of robotic systems that will interact with humans in workplaces, homes and hospitals. One of the themes of these concerns is the need for such systems to take ethics into account when reasoning. This has generated new interest in how we can specify, implement and validate ethical reasoning. The aim of this workshop will be to look at formal approaches to these questions.</div><div><br></div><div>This free workshop will be held, stand-alone, on the 4th November 2025 at the University of Manchester, UK.  We intend to run a tutorial on Machine Ethics on the 3rd November, the details of which are still being finalised.</div><div><br></div><div>We welcome submissions on:</div><div><br></div><div>* Logics for morality and ethics</div><div>* Knowledge representation of ethical theories and ethically salient information</div><div>* Computational modelling of morality and ethics</div><div>* Specification of ethical reasoning and behaviour</div><div>* Verification of ethical reasoning and behaviour</div><div>* Formal modelling of ethical accountability</div><div><br></div><div>Submission Information:</div><div><br></div><div>We will accept three types of paper prepared using the EPTCS LaTeX style.</div><div><br></div><div>1. Regular papers describing completed research (up to 16 pages in length).</div><div>2. Short papers describing work-in-progress or directions for future work (up to 8 pages in length).</div><div>3. Abstracts providing a high-level description of some research published (or submitted/intended for publication) elsewhere (up to 2 pages in length).</div><div><br></div><div>Papers should be submitted using OpenReview (<span class="gmail-Apple-converted-space"> </span><a href="https://openreview.net/group?id=FEAR/2025/Workshop" target="_blank">https://openreview.net/group?id=FEAR/2025/Workshop</a><span class="gmail-Apple-converted-space"> </span>).  The paper type should be included as part of the paper title.  Reviews will be single-blind.  Please note that OpenReview can take up to two weeks to approve a new profile registration that does not contain an institution email address. </div><div><br></div><div>We intend to host informal workshop proceedings on OpenReview.</div><div><br></div><div>Important Dates:</div><div><br></div><div>Submission Deadline: Thursday 7th August, 11:59 UTC-0</div><div>Notification: Thursday 11th September</div><div>Workshop: 4th November 2025</div></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">I understand that my working hours may not coincide with yours. Please do not feel obliged to respond until your normal working hours.</span></div><div dir="ltr"><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">-------------------------------</span></div><div dir="ltr"><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">Dr. Vivek Nallur</span><br style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small"><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">Assistant Professor</span><br style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small"><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">Phone +353 (1)716 2475</span><br style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small"><span style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small">Computer Science, Room B2.03</span><br style="color:rgb(0,0,0);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:small"><font size="2" face="Calibri, Arial, Helvetica, sans-serif" color="#000000">University College Dublin</font><div><font size="2" face="Calibri, Arial, Helvetica, sans-serif" color="#000000">Belfield, Dublin - 4,</font></div><div><font size="2" face="Calibri, Arial, Helvetica, sans-serif" color="#000000">Ireland</font></div><div>Co-PI (with Graham Finlay) IRC COALESCE Grant COTHROM (Computing Thoughtful Rules for Migrants)</div></div></div></div></div>