Lastest News!!

Program Ready!!

The program for FoIKS 2018 is now ready! Please, consult it here

Accepted Papers

The list of accepted papers for FoIKS 2018 has been decided. Please see list

****Extended Deadlines****

The new dates are final. Last chance to submit to FoIKS 2018!

Abstract submission deadline (EXTENDED): December 11, 2017
Paper submission deadline (EXTENDED): December 18, 2017
Author notification (EXTENDED): February 19, 2018
Camera-ready paper due (EXTENDED): March 5, 2018

Read more …

New Scientific Sponsorship

 Vienna Center for Logic and Algorithms 


Read more …

New Scientific Sponsorship


The Association for Logic Programming is a new sponsor for FoIKS 2018

Read more …

New Scientific Sponsorship

FoIKS is now an EATCS Sponsored Event

Read more …

Important dates!

Abstract submission deadline:  November 24, 2017

Paper submission deadline:  December 01, 2017

Author notification: February 02, 2018

Camera-ready paper due: February 16, 2018

FoIKS 2018 Symposium: May 14-18, 2018