Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Attendees of the CSL 2009 conference gathered in Coimbra, Portugal, to explore the intricate intersections of computer science and logic. Presented here are the proceedings of this pivotal event, highlighting the latest advancements and research breakthroughs from prominent scholars in the field. The discussions ranged from foundational theories to practical applications, demonstrating the depth and breadth of contemporary computer science logic.

Contributors Erich Grädel and Reinhard Kähle compiled a selection of papers that reflect the conference's robust participation and the vibrant community of researchers dedicated to this domain. These contributions showcase innovative methodologies and theoretical frameworks, revealing the ongoing evolution of logical systems and their implications for computer science.

The proceedings serve not only as a record of the event but also as a valuable resource for ongoing research and development in the field. By bringing together a diverse array of perspectives and findings, this publication supports the continuous dialogue and collaboration that fuels advancements in computer science logic.