@proceedings{DBLP:conf/csl/2016,
  editor    = {Jean{-}Marc Talbot and
               Laurent Regnier},
  title     = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
               August 29 - September 1, 2016, Marseille, France},
  series    = {LIPIcs},
  volume    = {62},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-022-4},
  isbn      = {978-3-95977-022-4},
  timestamp = {Wed, 27 Sep 2017 13:54:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hHtrMijb6emeLSQ2v","bibbaseid":"talbot-regnier-25theacslannualconferenceoncomputersciencelogiccsl2016august29september12016marseillefrance-2016","downloads":0,"creationDate":"2018-05-03T13:50:05.551Z","title":"25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France","author_short":null,"year":2016,"bibtype":"proceedings","biburl":"https://dblp.org/pid/173/5330.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Jean-Marc"],"propositions":[],"lastnames":["Talbot"],"suffixes":[]},{"firstnames":["Laurent"],"propositions":[],"lastnames":["Regnier"],"suffixes":[]}],"title":"25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France","series":"LIPIcs","volume":"62","publisher":"Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik","year":"2016","url":"http://www.dagstuhl.de/dagpub/978-3-95977-022-4","isbn":"978-3-95977-022-4","timestamp":"Wed, 27 Sep 2017 13:54:28 +0200","biburl":"https://dblp.org/rec/bib/conf/csl/2016","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/csl/2016,\n editor = {Jean{-}Marc Talbot and\n Laurent Regnier},\n title = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,\n August 29 - September 1, 2016, Marseille, France},\n series = {LIPIcs},\n volume = {62},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},\n year = {2016},\n url = {http://www.dagstuhl.de/dagpub/978-3-95977-022-4},\n isbn = {978-3-95977-022-4},\n timestamp = {Wed, 27 Sep 2017 13:54:28 +0200},\n biburl = {https://dblp.org/rec/bib/conf/csl/2016},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Talbot, J.","Regnier, L."],"key":"DBLP:conf/csl/2016","id":"DBLP:conf/csl/2016","bibbaseid":"talbot-regnier-25theacslannualconferenceoncomputersciencelogiccsl2016august29september12016marseillefrance-2016","role":"editor","urls":{"Paper":"http://www.dagstuhl.de/dagpub/978-3-95977-022-4"},"downloads":0},"search_terms":["25th","eacsl","annual","conference","computer","science","logic","csl","2016","august","september","2016","marseille","france"],"keywords":[],"authorIDs":[],"dataSources":["zoWzabJg7S2SGcmrG"]}