AIRIM Program

16:30-18:30 Sunday 3.09.2017. Chair: Roussanka Loukanova
16:30-16:55 Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
Authors: Cezary Kaliszyk and Karol Pąk
16:55-17:20 Formalization of the Algebra of Nominative Data in Mizar
Authors: Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov
17:20-17:35 Formalization of Pell`s Equations in the Mizar System
Authors: Marcin Acewicz and Karol Pąk
17:35-17:50 Introducing Euclidean Relations to Mizar
Authors: Adam Naumowicz and Artur Kornilowicz
17:50-18:15 Is there a computable upper bound on the heights of rational solutions of a Diophantine equation with a finite number of solutions?
Author: Jerzy Małopolski, Krzysztof Molenda, Agnieszka Peszek, Maciej Sporysz, Apoloniusz Tyszka
18:15-18:30 Modeling value-based reasoning for autonomous agents
Author: Tomasz Zurek and Michail Mokkas

 

Important dates

  • Call for event proposals: November 02, 2016
  • Call for dissemination event proposals: January 10, 2017
  • Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
  • Position paper submission: May 31, 2017
  • Authors notification: June 21, 2017
  • Final paper submission and registration: June 28, 2017
  • Final deadline for discounted fee: August 01, 2017
  • Conference dates: September 3-6, 2017

FedCSIS is organized by