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 2016 conference abstract submission deadline is approaching !!!

deadline is January 6th, 2016

see all details at

In Nantes also the next verolog solver challenge organized with ORTEC will be announced... don't miss it !!!

Happy new year