Add to ORKGComputer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL started as a series of international workshops on Computer Science Logic, and became at its sixth meeting the Annual Conference of the EACSL. The 26th annual EACSL conference Computer Science Logic (CSL 2017) was held in Stockholm from August 20 to August 24, 2017. CSL 2017 was organised jointly by members of the Departments of Philosophy and of Mathematics and Stockholm University, and of the Department of Theoretical Computer Science at KTH Royal Institute of Technology
International audienceThis volume contains the proceedings of the Tenth International Workshop on Fi...
Ouvrage (éditeur).Proceedings of 4th International Conference, LACl'2001, Le Croisic, France
Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Comput...
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Scien...
none2siThis special issue of ACM Transactions on Computational Logic is devoted to papers first pres...
Computational linguistics studies natural language in its various manifestations from a computationa...
Refereed proceedings of the 22nd International Conference on Computer Science Logic. Bertinoro, Ital...
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by th...
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
Our aim is to discuss what, when and, how deep logic should be taught in the computer science educat...
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is...
Computational linguistics studies natural language in its various manifestations from a computationa...
ESSLLI 2008 is organized by the Universität Hamburg under the auspices of the Association for Logic...
In the summer of 2014, Vienna hosted the largest scientific conference in the history of logic. The ...
International audienceThis volume contains the proceedings of the Tenth International Workshop on Fi...
Ouvrage (éditeur).Proceedings of 4th International Conference, LACl'2001, Le Croisic, France
Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Comput...
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Scien...
none2siThis special issue of ACM Transactions on Computational Logic is devoted to papers first pres...
Computational linguistics studies natural language in its various manifestations from a computationa...
Refereed proceedings of the 22nd International Conference on Computer Science Logic. Bertinoro, Ital...
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by th...
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...
These are the proceedings of the Logic Colloquium 2006, which was held July 27–August 2 at the Radbo...
Our aim is to discuss what, when and, how deep logic should be taught in the computer science educat...
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is...
Computational linguistics studies natural language in its various manifestations from a computationa...
ESSLLI 2008 is organized by the Universität Hamburg under the auspices of the Association for Logic...
In the summer of 2014, Vienna hosted the largest scientific conference in the history of logic. The ...
International audienceThis volume contains the proceedings of the Tenth International Workshop on Fi...
Ouvrage (éditeur).Proceedings of 4th International Conference, LACl'2001, Le Croisic, France
Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Comput...