BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2580-2246@fb-ki.gi.de
CLASS: PUBLIC
SUMMARY:27th International Workshop on Functional and (Constraint) Logic Pr
 ogramming
DESCRIPTION:Important Dates --- EXTENDED DEADLINES ---\n\nPaper submission:
  June 24, 2019\n\nNotification of acceptance: July 15, 2019\n\nCamera-ready
  papers: August 5, 2019\n\nEarly registration: August 12, 2019\n\nOnline Re
 gistration: September 2, 2019\n\nWorkshop: September 9-13, 2019\n\nThe inte
 rnational Workshop on Functional and (constraint) Logic\n\nProgramming (WFL
 P) aims at bringing together researchers, students, and\n\npractitioners in
 terested in functional programming, logic programming,\n\nand their integra
 tion. WFLP has a reputation for being a lively and\n\nfriendly forum, and i
 t is open for presenting and discussing work in\n\nprogress, technical cont
 ributions, experience reports, experiments,\n\nreviews, and system descript
 ions.\n\nThe 27th International Workshop on Functional and (Constraint) Log
 ic\n\nProgramming (WFLP 2019) will be held at the Brandenburgische\n\nTechn
 ische Universität Cottbus Germany. Previous WFLP editions were\n\nWFLP 2018
  (Frankfurt am Main, Germany), WFLP 2017 (Würzburg, Germany),\n\nWFLP 2016 
 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013\n\n(Kiel, Ge
 rmany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark),\n\nWFLP 201
 0 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena,\n\nItaly
 ), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP\n\n2005 (Tal
 linn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003\n\n(Valencia, Spain)
 , WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany),\n\nWFLP 2000 (Benica
 ssim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad\n\nHonnef, Germany),
  WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg,\n\nGermany), WFLP'95 (
 Schwarzenberg, Germany), WFLP'94 (Schwarzenberg,\n\nGermany), WFLP'93 (Ratt
 enberg, Germany), and WFLP'92 (Karlsruhe, Germany).\n\n\n\nWFLP 2019 will b
 e part of DECLARE 2019 and hence be co-located\n\nwith INAP 2019 (Internati
 onal Conference on Applications\n\nof Declarative Programming and Knowledge
  Management),\n\nWLP 2019 (Workshop on (Constraint) Logic Programming), and
 \n\nQPLogic 2019 (Quantum and Probability Logic).\n\n\n\nTopics\n\n\n\nThe 
 topics of interest cover all aspects of functional and logic\n\nprogramming
 . They include (but are not limited to):\n\n\n\n* Functional programming\n\
 n\n\n* Logic programming\n\n\n\n* Constraint programming\n\n\n\n* Deductive
  databases, data mining\n\n\n\n* Extensions of declarative languages, objec
 ts\n\n\n\n* Multi-paradigm declarative programming\n\n\n\n* Foundations, se
 mantics, non-monotonic reasoning, dynamics\n\n\n\n* Parallelism, concurrenc
 y\n\n\n\n* Program analysis, abstract interpretation\n\n\n\n* Program and m
 odel manipulation\n\n\n\n* Program transformation, partial evaluation, meta
 -programming\n\n\n\n* Specification,\n\n\n\n* Verification\n\n\n\n* Debuggi
 ng\n\n\n\n* Testing\n\n\n\n* Knowledge representation, machine learning\n\n
 \n\n* Interaction of declarative programming with other formalisms\n\n\n\n*
  Implementation of declarative languages\n\n\n\n* Advanced programming envi
 ronments and tools\n\n\n\n* Software techniques for declarative programming
 \n\n\n\n* Applications\n\n\n\nThe primary focus is on new and original rese
 arch results, but\n\nsubmissions describing innovative products, prototypes
  under development,\n\napplication systems, or interesting experiments (e.g
 ., benchmarks) are\n\nalso encouraged. Survey papers that present some aspe
 cts of the above\n\ntopics from a new perspective, and experience reports a
 re also welcome.\n\n\n\nPapers must be written and presented in English. Wo
 rk that already\n\nappeared in unpublished or informally published workshop
  proceedings may\n\nbe submitted (please contact the PC chair in case of qu
 estions).
LOCATION:Brandenburgische Technische Universität Cottbus - Senftenberg
DTSTAMP:20190619T113848Z
DTSTART:20190908T220000Z
DTEND:20190913T210000Z
END:VEVENT
END:VCALENDAR
