Skip to main content

Dear users and visitors,


this website has been migrated to a new one hosted by EURO.

Please, visit our new website for updated contents:

Soon this website will be not available anymore.


VeRoLog team


VeRoLog Conference 2014 Early registration deadline.

Dear Friends,

this is to remind you that the dealine for the early registration for the Verolog 2014 conference expires on April 30, 2014...

further details can be found at the conference website!

Don't miss this excellent opportunity to join the VeRoLog community and to enjoy the fantastic work done by the orgnizing team !

The winners of the Verolog Doctoral Dissertation Prize and of the Verolog Solver Challenge will be announced at the opening ceremony !

I Look forward to see you in Oslo !