CiE (Comp utability in Europe) is a European association of mathematicians, logicians, computer scientists, ph ilosophers, physicists and others interested in ne w developments in computability and their underlyi ng significance for the real world.
\nThe CiE conferences serve as an interdisciplinary foru m for research in all aspects of computability, fo undations of computer science, logic, and theoreti cal computer science, as well as the interplay of these areas with practical issues in computer scie nce and with other disciplines such as biology, ma thematics, philosophy, or physics. Computability i n Europe 2025 "Crossroads of Computability an d Logic: Insights, Inspirations, and Innovations&q uot; will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Com putability program.
\nThe Pro gram Committee cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceeding s of CiE 2025. Papers submitted to the conference proceedings should represent original work, not si multaneously submitted to another journal or confe rence with formal proceedings. The Program Committ ee will rigorously review and select submitted pap ers. Accepted papers will be published as a procee dings volume in the Lecture Notes in Computer Scie nce (LNCS) series from Springer-Verlag.
\nContinuing the tradition of past CiE conferences, we also invite researchers to present informal pre sentations of their recent work. Informal presenta tions will not be published in the LNCS conference proceedings. Results presented as informal presen tations at CiE 2025 may appear or may have appeare d in other conferences with formal proceedings and /or in journals.
\n