Difference between revisions of "CSL 2016"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
|has program chair=Laurent Regnier, Jean-Marc Talbot | |has program chair=Laurent Regnier, Jean-Marc Talbot | ||
|has workshop chair=Luigi Santocanale | |has workshop chair=Luigi Santocanale | ||
| + | |has Keynote speaker=Libor Barto, Agata Ciabattoni, Anca Muscholl, Alexandra Silva | ||
|Submitted papers=97 | |Submitted papers=97 | ||
|Accepted papers=37 | |Accepted papers=37 | ||
| Line 56: | Line 57: | ||
==Submissions== | ==Submissions== | ||
| + | |||
| + | |||
| + | |||
==Important Dates== | ==Important Dates== | ||
*Abstract submission deadline : April 8, 2012 (AoE)<br> | *Abstract submission deadline : April 8, 2012 (AoE)<br> | ||
Revision as of 10:45, 27 August 2021
| CSL 2016 | |
|---|---|
25th EACSL Annual Conference on Computer Science Logic
| |
| Ordinal | 25 |
| Event in series | CSL |
| Dates | 2016/08/29 (iCal) - 2016/09/01 |
| Presence | presence |
| Homepage: | http://csl16.lif.univ-mrs.fr/ |
| Location | |
| Location: | Marseille, France |
| Important dates | |
| Abstracts: | 2016/04/08 |
| Papers: | 2016/04/15 |
| Submissions: | 2016/07/03 |
| Notification: | 2016/06/11 |
| Papers: | Submitted 97 / Accepted 37 (38.1 %) |
| Committees | |
| General chairs: | Laurent Regnier, Jean-Marc Talbot |
| PC chairs: | Laurent Regnier, Jean-Marc Talbot |
| Workshop chairs: | Luigi Santocanale |
| Keynote speaker: | Libor Barto, Agata Ciabattoni, Anca Muscholl, Alexandra Silva |
| Table of Contents | |
,
The 25th EACSL Annual Conference on Computer Science Logic (CSL) 2016
Topics
Suggested 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
Important Dates
- Abstract submission deadline : April 8, 2012 (AoE)
- Paper submission deadline: April 15, 2016 (AoE)
- Author notification: June 11, 2016
- Final version deadline: July 3, 2016 (AoE)
- Early registration deadline: August 14, 2016 (local time, GMT+2)
- Conference: August 29–September 1, 2016
- Workshops: August 28, September 2 and September 3, 2016