AIRIM Program

16:40-18:20 Monday 10.09.2018. Chair: Roussanka Loukanova
16:40-17:05
Combining the Syntactic and Semantic Representations of Mizar Proofs. Authors: Karol Pąk
17:05-17:30
Modelling Legal Interpretation in Structured Argumentation Framework. Authors: Tomasz Zurek, Michał Araszkiewicz
17:30-17:45
Adaptive Supervisor: Method of Reinforcement Learning Fault Elimination by Application of Supervised Learning. Authors: Mateusz Krzysztoń
17:45-18:00
Inference rules for OWL-P in N3Logic. Authors: Dominik Tomaszuk
18:00-18:15
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