DEADLINE EXTENSION
Due to several requests we have decided to extend the deadline for
submission to PADL'00 (see call for papers enclosed below) to August
20th, 1999.
- Vitor Santos Costa and Enrico Pontelli.
____________________________________________________
Our Apologies if you receive multiple copies of this message.
------------------------------------------------------------------
Second International Workshop on
Practical Aspects of Declarative Languages (PADL'00)
Boston, Massachusets
Jan. 17-18, 2000,
http://www.cs.nmsu.edu/~complog/conferences/padl00
(Co-located with POPL 2000)
Sponsored by COMPULOG AMERICAS
_______________
Declarative languages build on sound theoretical basis to provide
attractive frameworks for application development. Indeed, these
languages have been successfully applied to vastly different
real-world situations, ranging from data base management to active
networks to software engineering to decision support systems, to
mention a few examples.
The major strength of declarative languages lies in the way
work on efficient implementation has allowed programmers to take
advantage of their strong theorical foundations. In fact, new
developments in theory and implementation often open up new
application areas. On the other hand, as declarative languages are
applied to novel problems, a number of interesting research issues
arise. Well-known such questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications are both a cause for and benefit from
progress in the theory and implementation of declarative systems.
The PADL series of workshops aims at providing a forum where
researchers, practitioners, and implementors of declarative languages
may exchange ideas on current and novel application areas and on the
requirements for effective deployment of declarative systems. Thus, we
invite papers dealing with practical applications of newly discovered
results and techniques in logic, constraint, and functional
programming. Papers dealing with practical applications of theoretical
results, new implementation techniques, or innovative applications are
particularly welcome. Position papers as well as papers that present
work-in-progress are also welcome. PADL'00 builds on the success of
PADL'99, held in San Antonio, TX (the proceedings appeared as Springer
Verlag LNCS 1551).
Scope of PADL includes, but is not limited to:
1. Innovative Applications
2. Practical Applications of Theoretical Results
3. Declarative Languages and the Internet
4. Declarative Languages and Software Engineering
5. Declarative Languages and Software Enabled Control
6. Deductive Database Systems
7. Specification and Verification
8. Practical Experiences
9. Innovative Implementation/Compilation Techniques
(especially to support applications)
Submission of Papers:
Authors may submit an electronic copy of the full paper, in
English, to the email address below (preferred), or submit
six copies of the paper to the postal address below. The
paper should reach by Aug 9th. Papers must be no longer
than 15 pages, written in 12 point font and with single
spacing. Each copy of the submission must include on an
extra sheet:
1. the paper title and the names and affiliations of all
authors as they should appear in the advance program,
should the paper be accepted;
2. an abstract;
3. three to four keywords
4. contact information: postal address(es),
telephone number(s),
fax number(s) (if available),
email address(es).
Each paper will be reviewed. Authors will be notified of
acceptance/rejection by September 15th. Camera ready copies
will be due by October 1st. Proceedings will be published as
Lecture Notes in Computer Science by Springer Verlag.
Address for Submission:
Enrico Pontelli
Department of Computer Science
Science Hall, Stewart Street,
New Mexico State University Ph: +1 (505) 646 6239
Las Cruces, NM 88003-0001 Fax: +1 (505) 646 1002
[EMAIL PROTECTED]
Program Committee:
S. Debray, University of Arizona (USA)
B. Demoen, Katholieke Universiteit Leuven (Belgium)
I. Dutra, Federal University of Rio de Janeiro (Brasil)
C. Elliott, Microsoft (USA)
M. Fahndrich, Microsoft (USA)
M. Felleisen, Rice University (USA)
G. File, Universita' di Padova (Italy)
G. Gupta, New Mexico State University (USA)
C. Hankin, Imperial College (UK)
D. Hislop, U.S. Army Research Office (USA)
P. Hudak, Yale University (USA)
R. Kieburtz, Oregon Graduate Institute (USA)
P. Lopez-Garcia, Universidad Politecnica de Madrid (Spain)
L. Naish, University of Melbourne (Australia)
E. Pontelli, New Mexico State University (USA)
I.V. Ramakrishnan, SUNY Stonybrook (USA)
V. Santos Costa, Universidade do Porto (Portugal)
F. Silva, Universidade do Porto (Portugal)
P. Van Roy, Universite Catholique de Louvain (Belgium)
M. Wallace, Imperial College (UK)
M. Wand, Northeastern University (USA)
N-F. Zhou, Kyushu Institute of Technology (Japan)
Contact for More Information:
Enrico Pontelli
Laboratory for Logic, Databases, and Advanced Programming
Department of Computer Science Web:
http://www.cs.nmsu.edu/lldap/
Box 30001, Dept. CS email: [EMAIL PROTECTED]
New Mexico State University Ph: +1 (505) 646 6239
Las Cruces, NM 88003-0001 Fax: +1 (505) 646 1002
USA
----------------------------------------------------------------------------
-
LaTeX CFP
----------------------------------------------------------------------------
-
\documentstyle{article}
\setlength{\oddsidemargin}{-0.4in}
\setlength{\evensidemargin}{0in}
\setlength{\textwidth}{7.0in}
\setlength{\topmargin}{-0.2in}
\setlength{\headsep}{0.0in}
\setlength{\textheight}{24cm}
\pagestyle{empty}
\hbadness=10000
\begin{document}
\noindent
\begin{center}
\begin{minipage}[b]{0.55\textwidth}
\begin{center}
{\large {Call For Papers PADL'00}} \\
$ \ $ \\
{\large\bf Second International Workshop on } \\
{\large\bf Practical Aspects of Declarative Languages } \\
$ \ $ \\
{Boston, Massachusetts, 17 - 18 January 2000}\\
{http://www.cs.nmsu.edu/$\sim$complog/conferences/padl00}\\
\end{center}
\end{minipage}
\end{center}
\smallskip
\begin{center}
{\underline{\hspace{16cm}}}
\end{center}
\smallskip
\parbox{2.3in}{
\setlength{\baselineskip}{14pt}
{\center\bf {Program Committee}} \\
\noindent\begin{tabular}{ll}
S. Debray & (USA)\\
B. Demoen & (Belgium)\\
I. Dutra& (Brasil)\\
C. Elliott& (USA)\\
M. Fahndrich& (USA)\\
M. Felleisen& (USA)\\
G. File & (Italy)\\
G. Gupta& (USA)\\
C. Hankin& (UK)\\
D. Hislop& (USA)\\
P. Hudak& (USA)\\
R. Kieburtz& (USA)\\
P. Lopez-Garcia& (Spain)\\
L. Naish& (Australia)\\
E. Pontelli& (USA)\\
I.V. Ramakrishnan& (USA)\\
V. Santos Costa& (Portugal)\\
F. Silva& (Portugal)\\
P. Van Roy& (Belgium)\\
M. Wand& (USA)\\
M. Wallace & (UK)\\
N-F. Zhou& (Japan)
\end{tabular}
\\
%
{\center\bf {Program Chairs}} \\
\begin{tabular}{l}
Vitor Santos Costa\\
Enrico Pontelli \\\end{tabular}
%
%
{\center\bf{Important Dates}}\\
\begin{tabular}{ll}
Paper Submission: & 8/9/99\\
Notification: & 9/15/99\\
Camera-ready: & 10/1/99
\end{tabular}
{\center\bf{Contact Address}}\\
\begin{tabular}{l}
Enrico Pontelli\\
Department of Computer Science\\
Science Hall, Stewart Street\\
New Mexico State University \\
Las Cruces, NM 88003-0001\\
Ph: +1 (505) 646 6239\\
email: [EMAIL PROTECTED]
\end{tabular}
}
\ $\; \;$ \
\parbox{4.5in}{
\setlength{\parindent}{0.5cm}
\setlength{\baselineskip}{14pt}
\noindent
Declarative languages build on sound theoretical basis to provide
attractive frameworks for application development. Indeed, these
languages have been successfully applied to vastly different
real-world situations, ranging from data base management to active
networks to software engineering to decision support systems, to
mention a few examples.
The major strength of declarative languages lies in the way
work on efficient implementation has allowed programmers to take
advantage of their strong theorical foundations. In fact, new
developments in theory and implementation often open up new
application areas. On the other hand, as declarative languages are
applied to novel problems, a number of interesting research issues
arise. Well-known such questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications are both a cause for and benefit from
progress in the theory and implementation of declarative systems.
The PADL series of workshops aims at providing a forum where
researchers, practitioners, and implementors of declarative languages
may exchange ideas on current and novel application areas and on the
requirements for effective deployment of declarative systems. Thus, we
invite papers dealing with practical applications of newly discovered
results and techniques in logic, constraint, and functional
programming. Papers dealing with practical applications of theoretical
results, new implementation techniques, or innovative applications are
particularly welcome. Position papers as well as papers that present
work-in-progress are also welcome. PADL'00 builds on the success of
PADL'99, held in San Antonio, TX (the proceedings appeared as Springer
Verlag LNCS 1551).
\smallskip
\noindent
Scope of PADL includes, but is not limited to:
\begin{list}{$\bullet$}{\setlength{\topsep}{1pt}\setlength{\parsep}{0pt}\set
length{\itemsep}{1pt}\leftmargin=12pt}
\item Innovative Applications
\item Practical Applications of Theoretical Results
\item Declarative Languages and the Internet
\item Declarative Languages and Software Engineering
\item Declarative Languages and Software Enabled Control
\item Deductive Database Systems
\item Declarative Languages for Specification and Verification
\item Practical Experiences
\item Innovative Implementation/Compilation Techniques
% (especially to support applications)
\end{list}
\smallskip
\noindent
Authors may submit an electronic copy of the full paper, in
English, to the email address below (preferred), or submit
six copies of the paper to the postal address below. The
paper should reach by {Aug 20th}. Papers must be no longer
than 15 pages, written in 12 point font and with single
spacing. Each copy of the submission must include on an
extra sheet the paper title, authors and their affiliations,
contact information, an abstract, and three to four keywords.
Each paper will be reviewed.
Authors will be notified of
by {September 15th}. Camera ready copies
will be due by {October 1st}. The proceedings will be published
by Springer Verlag (LNCS).
}
\vfill
\begin{center}
\underline{\hspace{16cm}}
\smallskip
\end{center}
\end{document}
