EDITORIAL

Welcome to the sixth issue of the CoLogNET newsletter, the official newsletter of the Network of Excellence of Computational Logic. This issue includes different and interesting contributions. You will come across reports on European programs, as well as on recent and upcoming meetings in the areas of logic and natural language processing, logic and multi-agent systems, formal methods, and many others.

Of particular interest is the article on TRain, a worldwide research effort aimed at developing a theory about the Railway Domain. Finally, the newsletter provides calendar information about upcoming events related to the network.

Marinos Georgiades and Antonis Kakas.