January 2020: A summary paper ("highlight paper") about the
was accepted for presentation at
in Santiago de Compostela, Spain.
September 2019: I was invited to join the "AI and Science" track at the KI-Camp (December 2019) and as an invited speaker at PhDs in Logic XII (April 2020), both in Berlin.
August 2019: Leo-III won the LTB division of this year's CASC! Also, Leo-III ranked second place in the CASC's THF division. See also the news article (Luxemburger Wort) and the UL press release.
July 2019: Our new album, Adoramus Te, is now available at Spotify, Amazon, and iTunes. See also some of our tracks at YouTube.
March 2019: An independent, large evaluation study identifies Leo-III as the worlds leading higher-order automated theorem prover: See arXiv:1903.02539.
January 2019: A research profile (self-portrayal) about my recent work was published by the it - Information Technology journal: See doi:10.1515/itit-2019-0001.
December 2018: Together with Claudia Schon (U Koblenz), I was appointed Speaker (Sprecher) of the special interest group on deduction systems (Fachgruppe Deduktionssysteme) of the German Informatics Society (Gesellschaft für Informatik (GI)). Thanks for the trust!
September 2018: I was awarded a Junior-Fellowship of the German Gesellschaft für Informatik (GI) at this year's #INFORMATIK2018 (September 26, 2018, in Berlin). See also the official press release (german).
Feburary 27-29, 2020:
Internationales Rechtsinformatik Symposion (IRIS 2020), Salzburg, Austria. (participant)
March 22-27, 2020: 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, France.
April 6-9 2020: Zhejiang Conferences on Logics in Artificial Intelligence (ZJULogAI 2020), Hangzhou, China. (Co-organizer)
April 6-9 2020: 6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China.
April 27-29, 2020: PhDs in Logic XII, Berlin, Germany. (Invited Speaker)
May 9-13, 2020: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), Auckland, New Zealand. (PC member)
May 22, 2020: 14th International Workshop on the Implementation of Logics (IWIL 2020), Alicante, Spain. (PC member)
May 22-27, 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Alicante, Spain.
June 8-12, 2020: 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain. (participant)
June 29 - July 2, 2020: 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France.
June 29, 2020: 7th Workshop on Practical Aspects of Automated Reasoning (PAAR 2020), Paris, France. (PC member)
July 11 - 17, 2020: 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Yokohama, Japan. (PC member)
July 26 - 31, 2020: 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy.
July 30 - August 2, 2020: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020), Munich, Germany.
This is the personal homepage of Alexander Steen. I am a post-doctoral researcher at the Faculty of Science, Technology and Medicine (FSTM) of the University of Luxembourg. I'm working on the automated theorem prover Leo-III, a reasoning system for classical higher-order logic (HOL) and further expressive, non-classical logics (including higher-order modal logics and deontic logics). My ORCID ID is 0000-0001-8781-9462.
My current research interests include theory and practice of higher-order reasoning, including efficient data structures for higher-order theorem provers, and related implementation techniques. Furthermore, I'm interested in practical aspects and applications of logics and formal methods in computer science, mathematics and philosophy. Also, I like functional programming (e.g. in Haskell).
In my freetime, I'm a bass singer in a choir for classical music of various periods and singer in a Schola Cantorum (Vokalschola), see "Links" section.
I completed the advanced training certificate for unversity teaching (Hochschuldidaktisches Lehrzertifikat) of Freie Universität Berlin (Support für die Lehre).
Only showing the latest six teaching activities. » show complete list
Interested in writing a bachelors or masters thesis in the context of automated theorem proving? Feel free to contact me via e-mail.