posted by user: szymtor || 4867 views || tracked by 4 users: [display]

CSL 2015 : COMPUTER SCIENCE LOGIC

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Logic
 
Link: http://www.eacsl.org/
 
When Sep 7, 2015 - Sep 10, 2015
Where Berlin
Abstract Registration Due Apr 3, 2015
Submission Deadline Apr 10, 2015
Notification Due Jul 13, 2015
Categories    logic   automata   finite model theory
 

Call For Papers

AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computational proof theory
Bounded arithmetic and propositional proof complexity
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning

SUBMISSION
Authors are invited to submit papers of not more than 15 pages in LIPIcs style presenting work not previously published. Papers are to be submitted through Easychair. Follow this link to the submission page.

Submitted papers must be in English and must provide sufficient detail to allow the programme committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the programme committee.

The submission process is in two stages. Abstract submissions are due on 3 April 2015 (anywhere on earth). Full paper submissions must be done on or before 10 April 2015 (anywhere on earth). Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the Programme Committee are not allowed.

Related Resources

IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing
IEEE-Ei/Scopus-PRDM 2025   2025 6th International Conference on Pattern Recognition and Data Mining (PRDM 2025)
COMP 2025   OPEN COMPUTER SCIENCE
ICIST 2026   2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
EPSEE 2025   2025 4th International Conference on Advanced Electric Power System and Energy Engineering (EPSEE 2025)
SmartIoT 2025   The 9th IEEE International Conference on Smart Internet of Things
ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
IFAC World Congress '2026 SIMCA 2026   SYSTEM IDENTIFICATION for MANUFACTURING CONTROL APPLICATIONS