Since 2005, in cooperation with the International Kurt Gödel Society the centre publishes the Journal of Logic, Language, and Computation. Details can be found on the journal web page.