CSL 2006

CSL 2006
20th International Workshop on Computer Science Logic
Ordinal	20
Event in series	CSL
Dates	2006/09/25 (iCal) - 2006/09/29
Presence	presence
Homepage:	http://www.inf.u-szeged.hu/~csl06/
Location
Location:	Szeged, Hungary
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","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":46.2546312,"lon":20.1486016,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2006/04/24
Papers:	Submitted 108 / Accepted 37 (34.3 %)
Table of Contents

,

The 20th International Workshop on Computer Science Logic (CSL) 2006

Topics

Suggested topics of interest include:

• automated deduction and interactive theorem proving
• constructive mathematics and type theory
• equational logic and term rewriting
• automata and formal logics
• modal and temporal logic
• model checking
• logical aspects of computational complexity
• finite model theory
• computational proof theory
• logic programming and constraints
• lambda calculus and combinatory logic
• categorical logic and topological semantics
• domain theory
• database theory
• specification
• extraction and transformation of programs
• logical foundations of programming paradigms
• verification of security protocols
• linear logic
• higher-order logic
• nonmonotonic reasoning
• logics and type systems for biology

Important Dates

Title & abstract: 24 April, 2006
Full paper: 1 May, 2006
Notification: 12 June, 2006
Final papers: 3 July, 2006