Atlas home || Conferences | Abstracts | about Atlas
Host: Waseda University
Homepage: http://www.ueda.info.waseda.ac.jp/flops2001/
Email: flops2001@wi.uni-muenster.de
Deadline for abstracts: September 29, 2000
Description:
The Fifth International Symposium on Functional and Logic Programming solicits original papers in all areas
of functional and logic programming, including (but not limited to):
Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing
Foundations: semantics, rewrite systems and narrowing, type theory, proof systems
Implementation: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism
Applications: case studies, real-world applications, graphical user interfaces, internet applications, database connection, formal methods and model checking
Date received: September 20, 2000
© 2008 Atlas Conferences Inc.