Lastest News!!

LNCS 10833 is now available online

You can find information about it here or access the online version here

 

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 …