AIRIM Program

16:40-18:20 Monday 10.09.2018. Chair: Roussanka Loukanova
Combining the Syntactic and Semantic Representations of Mizar Proofs. Authors: Karol Pąk
Modelling Legal Interpretation in Structured Argumentation Framework. Authors: Tomasz Zurek, Michał Araszkiewicz
Adaptive Supervisor: Method of Reinforcement Learning Fault Elimination by Application of Supervised Learning. Authors: Mateusz Krzysztoń
Inference rules for OWL-P in N3Logic. Authors: Dominik Tomaszuk
Mizar Set Comprehension in Isabelle Framework. Authors: Karol Pąk


Important dates

  • Call for event proposals: November 14, 2017
  • Call for dissemination event proposals: February 28, 2018
  • Paper submission (strict deadline): May 15 2018 23:59:59 pm HST
  • Position paper submission: June 12, 2018
  • Authors notification: June 24, 2018
  • Final paper submission and registration: July 23, 2018
  • Final deadline for discounted fee: August 01, 2018
  • Conference dates: September 9-12, 2018

FedCSIS is organized by


Under auspices of

Minister of Science and Higher Education
Jarosław Gowin

Minister of Digital Affairs
Anna Streżyńska

Mayor of Poznań
Jacek Jaśkowiak

The National Center for Research and Development