Difference between revisions of "CSL 2011"
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (8 intermediate revisions by one other user not shown) | |||
| Line 7: | Line 7: | ||
|Start date=2011/09/12 | |Start date=2011/09/12 | ||
|End date=2011/09/15 | |End date=2011/09/15 | ||
| + | |Submission deadline=2011/04/03 | ||
|Homepage=https://www.eacsl.org/csl11/ | |Homepage=https://www.eacsl.org/csl11/ | ||
|DblpConferenceId=csl/csl2011 | |DblpConferenceId=csl/csl2011 | ||
| Line 12: | Line 13: | ||
|Country=Norway | |Country=Norway | ||
|presence=presence | |presence=presence | ||
| + | |Abstract deadline=2011/03/27 | ||
| + | |Paper deadline=2011/04/03 | ||
| + | |Notification=2011/05/30 | ||
| + | |Submitting link=http://www.easychair.org/conferences/?conf=csl2011 | ||
| + | |has general chair=Isolde Adler | ||
| + | |has program chair=Marc Bezem | ||
| + | |Submitted papers=91 | ||
| + | |Accepted papers=37 | ||
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol12-csl2011-complete.pdf | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol12-csl2011-complete.pdf | ||
| + | |has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2011.i | ||
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007 | |has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 25th International Workshop on Computer Science Logic (CSL) 2011 | The 25th International Workshop on Computer Science Logic (CSL) 2011 | ||
| + | |||
| + | |||
| + | ==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 | ||
| + | *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 foundations of programming paradigms | ||
| + | *logical aspects of quantum computing | ||
| + | *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.<br> | ||
| + | Papers are to be submitted through EasyChair: http://www.easychair.org/conferences/?conf=csl2011.<br> | ||
| + | |||
| + | 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 intro-duction which is directed at all members of the program committee. Submission is in two phases with dates as given below. 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 19, 2011. Papers authored or coauthored by members of the PC are not allowed. | ||
| + | |||
| + | |||
| + | ==Important Dates== | ||
| + | Submission of title and abstract: March 27, 2011<br> | ||
| + | Submission of full paper: April 3, 2011<br> | ||
| + | Notification: May 30, 2011<br> | ||
| + | Final paper due: June 17, 2011<br> | ||
| + | Conference: September 12-15, 2011 | ||
Latest revision as of 20:21, 1 April 2022
| CSL 2011 | |
|---|---|
25th International Workshop on Computer Science Logic
| |
| Ordinal | 25 |
| Event in series | CSL |
| Dates | 2011/09/12 (iCal) - 2011/09/15 |
| Presence | presence |
| Homepage: | https://www.eacsl.org/csl11/ |
| Submitting link: | http://www.easychair.org/conferences/?conf=csl2011 |
| Location | |
| Location: | Bergen, Norway |
| Important dates | |
| Abstracts: | 2011/03/27 |
| Papers: | 2011/04/03 |
| Submissions: | 2011/04/03 |
| Notification: | 2011/05/30 |
| Papers: | Submitted 91 / Accepted 37 (40.7 %) |
| Committees | |
| General chairs: | Isolde Adler |
| PC chairs: | Marc Bezem |
| Table of Contents | |
,
The 25th International Workshop on Computer Science Logic (CSL) 2011
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
- 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 foundations of programming paradigms
- logical aspects of quantum computing
- 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: http://www.easychair.org/conferences/?conf=csl2011.
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 intro-duction which is directed at all members of the program committee. Submission is in two phases with dates as given below. 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 19, 2011. Papers authored or coauthored by members of the PC are not allowed.
Important Dates
Submission of title and abstract: March 27, 2011
Submission of full paper: April 3, 2011
Notification: May 30, 2011
Final paper due: June 17, 2011
Conference: September 12-15, 2011