<html aria-label="message body"><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>(Sorry for cross-posting)</div><div><br></div><div>We are proposing two subjects for a Master internship and/or a PhD, at IRIT (Toulouse, France) under the supervision of Leila Amgoud and Jean-Guy Mailly, in the field of formal argumentation. Please share these subjects with potential interns or PhD candidates, ideally with some background in logic or symbolic AI.</div><div>- Equivalence of Argumentation Semantics (<a href="https://www.irit.fr/aidal/wp-content/uploads/2025/10/PhD_Subject_Equivalence-Semantics.pdf">https://www.irit.fr/aidal/wp-content/uploads/2025/10/PhD_Subject_Equivalence-Semantics.pdf</a>)</div><div>- Axiomatic Study of Arguments Relationships (<a href="https://www.irit.fr/aidal/wp-content/uploads/2025/10/PhD_Subject_Axiomatic-Study-of-Arguments-Relationships.pdf">https://www.irit.fr/aidal/wp-content/uploads/2025/10/PhD_Subject_Axiomatic-Study-of-Arguments-Relationships.pdf</a>)</div><div><br></div><div>Feel free to contact us for more details (<a href="mailto:leila.amgoud@irit.fr">leila.amgoud@irit.fr</a>; <a href="mailto:jean-guy.mailly@irit.fr">jean-guy.mailly@irit.fr</a>).</div><div><br></div></body></html>