CSL 2012

Deadlines

2012-06-11

2012-04-02

2012-04-09

2012-04-09

2 Apr 2012

Abstract

9 Apr 2012

Paper

9 Apr 2012

Submission

11 Jun 2012

Notification

organization

European Association for Computer Science Logic

Metrics

Submitted Papers

80

Accepted Papers

35

Venue

IUT de Sénart-Fontainebleau, Fontainebleau, Île-de-France, France

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":48.39825885,"lon":2.6861165470955486,"icon":""}],"imageoverlays":null}

The 26th International Workshop on Computer Science Logic (CSL) 2012

Topics

Topics of interest include (but are not limited to):

• 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

Submissions

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.

Submitted papers must be in English and provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a 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 program committee.

The submission is in two stages. Abstract submissions are due before April 2, 2012. Full paper submissions must be done before April 9, 2012. 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 journal by March 26, 2012. Papers authored or coauthored by members of the Programme Committee are not allowed.

Important Dates

Abstract submission : April, 2nd 2012
Paper Submission : April, 9th 2012
Paper Notification : June, 11th 2012
Paper final version : June, 29th 2012
Conference : September, 3th-6th 2012