the Twenty-Third EACSL Annual Conference on



the Twenty-Ninth Annual ACM/IEEE Symposium on


July 14–18, 2014, Vienna, Austria

Program Committee Chairs:

Program Committee:

Workshop Chairs:

Local Organization Committee:

Publicity Chairs:

FLoC Organization Committee

M. Baaz, S. Szeider, M. Vardi, H. Veith

EACSL Executive Committee

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

LICS Organizing Committee

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.

Invited Speakers

Invited Tutorial Speakers

Affiliated Workshops

The following workshops are affiliated with CSL-LICS 2014

Workshop Block 1 (July 12–13)

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

Workshop Block 2 (July 17–18)

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.

  • ACM
  • IEEE
  • ASL