Events

• 11 Aug 2022 » 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING (PC)
• 04 Jul 2022 » 2nd Workshop on Privacy in the Cloud/Edge/IoT World (PC)
• 09 May 2022 » 4th International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (PC)
• 01 Sep 2021 » Joe Tannoury has created a tutorial about BDD, VueJS and Cypress as part of his internship in the university of Luxembourg (Supervisor)
• 01 Sep 2021 » Dale and my paper "Functions-as-constructors Higher-order Unification, Extended Pattern Unification" was accepted for publication in the "Annals of Mathematics and Artificial Intelligence" (Author)
• 13 Jul 2021 » Entrepreneurship Summer School in the London Business School has started (Student)
• 11 Jul 2021 » Digital rights in Smart Cities Legal Hackathon (Jury)
• 02 Jun 2021 » I am being interviewed by the Luxembourg Legal Hackers community. Feel free to join us!
• 01 Jun 2021 » The legAI App website is live!
• 03 May 2021 » Tereza and mine paper "Towards Transparent Legal Formalization" was accepted for publication in Post Proceedings of the "3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems" (Author)
• 01 Feb 2021 » Zofia's semester project on using first-order reasoning for normative texts (tutor)
• 01 Feb 2021 » Laurent' semester project on applying behavior driven development to VueJS frontend development (tutor)
• 01 Feb 2021 » Alex' semester project on applying behavior driven development to VueJS frontend development (tutor)
• 01 Feb 2021 » Abdelhamid's PhD thesis on legal knowledge bases and reasoning (minor supervisor)
• 28 Jan 2021 » The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (PC member)
• 01 Jan 2021 » Lisha's PhD thesis on GDPR ontologies for business processes (minor supervisor)
• 13 Nov 2020 » My Proof-of-concept icomplâi project was accepted by FNR for funding for 24 months (PI)
• 27 Oct 2020 » The 28th International Conference on Automated Deduction (PC member)
• 18 Mar 2020 » My PathFinder PaCT project was accepted by FNR for funding (PI)
• 01 Mar 2020 » My NAI tutorial in ReMeP 2019 is online
• 27 Feb 2020 » The NAI Suite has won the best paper award in IRIS 2020
• 20 Feb 2020 » The 7th Workshop on Practical Aspects of Automated Reasoning (PC member)
• 16 Feb 2020 » The 29th International Joint Conference on Artificial Intelligence (PC member)
• 15 Feb 2020 » A Meta-level Annotation Language for Legal Texts in CLAR 2020
• 15 Feb 2020 » Towards an Executable Methodology for the Formalization of Legal Texts in CLAR 2020
• 01 Jan 2020 » Visiting the ICR group in the University of Luxembourg during 2020
• 01 Jan 2020 » Towards Automating Inconsistency Checking of Legal Texts in IRIS 20
• 01 Jan 2020 » NAI - Towards Transparent and Usable Semi-Automated Legal Analysis in IRIS 20
• 11 Dec 2019 » The NAI Suite – Drafting and Reasoning over Legal Texts in JURIX 2019
• 24 Sep 2019 » Tutorials - ReMeP 2019 -RESEARCH MEETS PRACTICE conference
• 03 Sep 2019 » The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (PC member)
• 21 Jun 2019 » Tutorial – Automated Deduction with Legal Texts in ICAIL 2019
• 16 Jun 2019 » Automated Reasoning in Normative Detachment Structures with Ideal Conditions in ICAIL 2019
• 16 Jun 2019 » NAI – The Normative Reasoner in ICAIL 2019
• 26 Mar 2019 » A general proof certification framework for modal logic in the Journal of Mathematical Structures in Computer Scienc
• 18 Jul 2018 » A Simple Semi-automated Proof Assistant for First-order Modal Logics in ARQNL 2018
• 13 Jul 2018 » Implementing a Proof Assistant using Focusing and Logic Programming in UITP 2018
• 15 Jan 2018 » SOFTWARE ENGINEERING (CS3053) (Instructor)
• 15 Jan 2018 » INTRO TO COMPUTER PROGRAMMING II (CS1050) (Instructor)
• 11 Dec 2017 » 'Determinism in the Certification of UNSAT Proofs' with Xaviera Steele (published in EPTCS 262)
• 23 Sep 2017 » Fifth Workshop on Proof eXchange for Theorem Proving (PC member)
• 10 Sep 2017 » Deduction Beyond First-Order Logic - Dagstuhl Seminar (Invitee)
• 01 Sep 2017 » INTRO TO WEB AUTHORING (CS1005) (Instructor)
• 01 Sep 2017 » FUNDAMENTAL METHODS OF DATA SCIENCE (CS2091) (Instructor)
• 01 Sep 2017 » WEB APPLICATIONS (CS3051) (Instructor)
• 13 Feb 2017 » A certifier for the trace SAT fomat (Supervising Xaviera Steele)
• 01 Feb 2017 » A type checker for F* (Supervising Keith Cannon)
• 15 Jan 2017 » 44th ACM SIGPLAN Symposium on Principles of Programming Languages (AEC member)
• 01 Sep 2016 » INTRO TO WEB AUTHORING (CS1005) (Instructor)
• 01 Sep 2016 » SOFTWARE ENGINEERING (CS3053) (Instructor)
• 01 Sep 2016 » DATABASE APPLICATIONS (CS3068) (Instructor)
• 11 Feb 2016 » EMCL 2016 Student Workshop (Invited talk)