From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8180 Path: news.gmane.org!not-for-mail From: Andrzej Murawski Newsgroups: gmane.science.mathematics.categories Subject: CSL-LICS 2014 (online registration closes on June 30) Date: Sun, 29 Jun 2014 11:57:17 +0100 Message-ID: Reply-To: Andrzej Murawski NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: ger.gmane.org 1404109343 15934 80.91.229.3 (30 Jun 2014 06:22:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 30 Jun 2014 06:22:23 +0000 (UTC) To: , , Original-X-From: majordomo@mlist.mta.ca Mon Jun 30 08:22:16 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X1Uym-0008Op-H0 for gsmc-categories@m.gmane.org; Mon, 30 Jun 2014 08:22:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:45724) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1X1UyJ-0002yR-CU; Mon, 30 Jun 2014 03:21:47 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1X1UyK-0000Qr-M3 for categories-list@mlist.mta.ca; Mon, 30 Jun 2014 03:21:48 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8180 Archived-At: CALL FOR PARTICIPATION JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) AND the Twenty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) July 14-18, 2014, Vienna, Austria http://vsl2014.at/csl-lics/ http://lii.rwth-aachen.de/lics/csl-lics14/ Online Registration Deadline: Monday 30th June 2014 http://vsl2014.at/registration/ 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 have one program committee, one program, and one proceedings. INVITED SPEAKERS Christel Baier (TU Dresden) Patrick Cousot (ENS Paris and NYU) INVITED TUTORIAL SPEAKERS Assia Mahboubi (INRIA Saclay) Jasmin Fisher (MSR Cambridge) PROGRAM http://www.easychair.org/smart-program/VSL2014/CSLLICS-program.html AFFILIATED WORKSHOPS Workshop Block 1 (July 12-13) CL&C 5th International Workshop on Classical Logic and Computation DCM 10th Int'l 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 Int'l 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 2nd Workshop on Natural Language and Computer Science PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning PSC Proof, Structure and Computation AWARDS The Kleene Award for Best Student Paper will be given for the best student paper(s), as judged by the program committee. The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann, will be presented during the joint meeting. The LICS Test-of-Time Award 2014 will be presented during the joint meeting. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]