JOINT MEETING OF
AND
M. Baaz, S. Szeider, M. Vardi, H. Veith
L. Aceto, M. Bezem, A. Dawar (president), R. Kahle, B. Loewe, M. Lohrey, J. Makowsky, D. Niwinski, L. Ong, S. Ronchi della Rocca, H. Veith, G. Winskel
M. Abadi, L. Aceto, R. Alur, P. Beame, M. P. Bonacina, P. Bouyer-Decitre, K. Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernández, M. Grohe, O. Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, V. Lipovac, D. Miller, M. Mislove, G. Moser, A. Murawski, L. Ong (chair), A. Scedrov, D. Shmoys, M. Valeriote
CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.
The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.
Trade-off Analysis Meets Probabilistic Model Checking
Abstract Interpretation: Past, Present and Future
Computer-checked mathematics: a formal proof of the Odd Order theorem
Understanding Biology through Logic
The following workshops are affiliated with CSL-LICS 2014
CL&C | Fifth International Workshop on Classical Logic and Computation |
DCM | 10th International Workshop on Developments in Computational Models |
DTP | Dependently-Typed Programming |
GSB | Workshop on Gentzen Systems and Beyond 3 |
LCC | Workshop on Logic and Comptuational Complexity |
LINEARITY | 3rd International Workshop on Linearity |
LOLA | 5th Workshop on Syntax and Semantics of Low-Level Languages |
LSB | 5th International Workshop on Logic and Systems Biology |
PC | FLoC Workshop on Proof Complexity |
SD | 3rd Workshop on Structures and Deduction |
AISS | Algorithmics of Infinite State Systems 2014 |
APPA | All about Proofs, Proofs for All |
CICLOPS-WLPE | International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 |
FCS-FCC | Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography |
HOPA | Higher Order Program Analysis |
LFMTP | 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice |
NLCS | Second Workshop on Natural Language and Computer Science |
PCCR | 2nd Workshop on the Parameterized Complexity of Computational Reasoning |
PSC | Proof, Structure and Computation |
The joint meeting is sponsored by the European Association for Computer Science Logic, the IEEE Technical Committee on Mathematical Foundations of Computation, and by the ACM SIGLOG in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.