[TYPES/announce] Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)

demis@dimi.uniud.it demis at dimi.uniud.it
Wed Feb 27 12:22:23 EST 2008


===================================================================

          Preliminary Call For Papers
              	     
              	  WFLP 2008
              	  
    17th International Workshop on Functional
        and (Constraint) Logic Programming
         

          Siena, Italy, July 3-4, 2008
          http://wflp08.dimi.uniud.it/
          
             co-located with WWV'08
           http://wwv08.dimi.uniud.it/
            
===================================================================

IMPORTANT DATES

Abstract Submission      April 20, 2008
Full Paper Submission    April 27, 2008
Acceptance Notification  May 27, 2008
Camera Ready             June 11, 2008
Workshop                 July 3-4, 2008

SCOPE

The Workshop on Functional and  (Constraint) Logic Programming aims
at  bringing  together    researchers  interested   in   functional
programming,  (constraint) logic programming,     as well  as   the
integration of the two paradigms. It promotes the cross-fertilizing
exchange of  ideas  and experiences among  researchers and students
from the   different  communities interested   in the  foundations,
applications,     and   combinations   of high-level,   declarative
programming languages and related areas.

The previous WFLP editions are: 
WFLP 2007  (Paris, France),  WFLP 2006 (Madrid, Spain),  WCFLP 2005 
(Tallinn, Estonia),     WFLP 2004   (Aachen, Germany),    WFLP 2003 
(Valencia,   Spain), WFLP 2002   (Grado, Italy),   WFLP 2001 (Kiel, 
Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France),
WFLP'98  (Bad Honnef,  Germany),   WFLP'97 (Schwarzenberg, Germany), 
WFLP'96  (Marburg,  Germany),    WFLP'95   (Schwarzenberg, Germany),
WFLP'94   (Schwarzenberg, Germany), WFLP'93   (Rattenberg, Germany),
and WFLP'92 (Karlsruhe, Germany).

LOCATION

WFLP'08 will be held in July in the convention centre of the
University of Siena, Italy: http://www.unisi.it/santachiara/

The workshop will be co-located with WWV'08:
http://wwv08.dimi.uniud.it/

WORKSHOP VENUE

Siena is one of the nicest city in Italy. The historical centre is
situated  on   top of a   hill and   is made of beautiful medieval 
buildings   and   churches,   all surrounded by ancient walls. The 
countryside of Siena is worldwide famous for its beauty. The Palio 
of Siena is probably the most famous historical fair in Italy. The 
most   important event of it is a horse race  of medieval origins, 
which is held  in the afternoon of July 2nd  in 'Piazza del Campo' 
in the centre of Siena. For more information, please visit
http://www.comune.siena.it/

TOPICS


WFLP'08 solicits papers in all areas of functional and (constraint)
logic programming, including but not limited to:

* Foundations:  formal     semantics,  rewriting and    narrowing,
constraint solving, dynamics, type theory
* Language Design:  modules    and  type systems,   multi-paradigm
languages, concurrency and distribution, objects
* Implementation: abstract machines, parallelism, compile-time and
run-time optimizations, interfacing with external languages

* Transformation    and       Analysis:  abstract  interpretation,
specialization, partial evaluation,  program     transformation,
meta-programming
* Software  Engineering:    design       patterns,  specification,
verification and validation, debugging, test generation
* Integration of Paradigms: integration of declarative programming
with  other  paradigms   such  as  imperative,  object-oriented,
concurrent, and real-time programming
* Applications: declarative programming in education and industry,
domain-specific languages, visual/graphical  user    interfaces,
embedded systems, WWW applications, knowledge representation and
machine   learning,    deductive databases, advanced programming
environments and tools

SUBMISSIONS and PROCEEDINGS


Authors  are invited to  submit papers of  at most 15 pages (pdf or
postscript formats) presenting  original,  not previously published
works. Submission categories include regular research papers, short
papers (not more than 8 pages) describing on-going work, and
system descriptions.  Papers should be submitted electronically via
the web-based submission  site http://www.easychair.org/WFLP2008/

Preliminary proceedings will be available at the workshop. Selected
authors  will be invited to submit  a full version  of their papers
after  the workshop. These submissions will   pass through a second
round of reviewing. Publication   of the  accepted contributions in 
the   Elsevier  series Electronic   Notes   in Theoretical Computer 
Science (ENTCS) is envisaged.

PROGRAMME CHAIR

Moreno Falaschi       University of Siena, Italy

ORGANIZING COMMITTEE

Michele Baggi         University of Siena, Italy
Demis Ballis          University of Udine, Italy
Elisa Tiezzi (chair)  University of Siena, Italy

====================================================================



More information about the Types-announce mailing list