AIRIM Program

The program of AIRIM'16 has been changed by AAIA’16 organizers by reducing the initially allocated time of 30 minutes per talk to 25 minutes. This change was required in order to allocate enough time for presentations in other events organized within AAIA’16. Should you have any questions, please contact the AAIA’16 chair – Dr. Dominik Slezak – at

16:00-18:30 Sunday 11.09.2016. Chair: Christoph Schwarzweller
16:00-16;25 On algebraic hierarchies in mathematical repository of Mizar - Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
16:25-16:50 Tarski's geometry modelled in Mizar computerized proof assistant - Adam Grabowski
16:50-17:15 From Discourse Representation Structure to Event Semantics: A Simple Conversion? - Daniel Dakota and Sandra Kübler (Indiana University)
17:15-17:40 Modeling Co-Verbal Gesture Perception in Type Theory with Records - Andy Lücking (Goethe University Frankfurt)
17:40-18:05 A connectionist approach to abductive problems: employing a learning algorithm - Adam Kupś (Adam Mickiewicz University), Andrzej Gajda and Mariusz Urbański (Adam Mickiewicz University in Poznan, Institute of Psychology)
18:05-18:30 Modeling conflicts between legal rules - Tomasz Zurek (Maria Curie-Sklodowska University in Lublin)


Important dates

  • Call for event proposals: October 30, 2015
  • Call for dissemination event proposals: December 15, 2015
  • Paper submission (strict deadline): May 09 2016 23:59:59 pm HST
  • Position paper submission: May 30, 2016
  • Acceptance decision: June 13, 2016
  • Final version of paper submission: July 04, 2016
  • Final deadline for discounted fee: July 31, 2016
  • Conference dates: September 11-14, 2016

FedCSIS is organized by


Under auspices of

Minister of Science and Higher Education
Jarosław Gowin

Minister of Digital Affairs
Anna Streżyńska

Prezydent Miasta Gdyni
Wojciech Szczurek
Prezydent Miasta Gdańsk
Paweł Adamowicz

Rector of Gdansk University of Technology
prof. dr hab. inż. Henryk Krawczyk