在国内怎么翻国外app

Welcome to my home page! My name is Tomer Libal and I am an assistant professor of Computer Science in the American University of Paris

Here you will find information and resources about my work, such as drafts of publications, links to my courses and some slides of my talks

• 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)