************************* PLEASE NOTE ************************ PADL'99 NOW PHYSICALLY CO-LOCATED WITH POPL'99 Please note that the venue of PADL'99 has changed FROM Las Cruces, New Mexico, TO San Antonio, Texas. PADL'99 is now physically co-located with ACM POPL'99; PADL'99 will be held in the same hotel as POPL'99, in the two days just before POPL'99. ************************************************************** ------------------------------------------------------------------ First International Workshop on Practical Aspects of Declarative Languages (PADL'99) Menger Hotel, San Antonio, Texas Jan. 18-19, 1999, http://www.cs.nmsu.edu/~complog/conferences/padl99 Sponsored by COMPULOG AMERICAS and the Association for Logic Programming _______________ In Cooperation with ACM SIGPLAN Declarative languages have traditionally been regarded by the mainstream computing community as too impractical to be put to practical use. At the same time, traditional conferences devoted to declarative languages do not have issues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results & techniques related to declarative languages. The goal of PADL'99 is to bring together researchers, practitioners and implementors of declarative languages to discuss practical issues and implications of their research results. Thus, papers dealing with practical applications of newly discovered results and techniques in logic, constraint, and functional programming are invited. Papers dealing with practical applications of theoretical results, new implementation techni- ques, or innovative applications are particularly welcome. Position papers as well as papers that present work-in-progress are also welcome. 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 30th. 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 October 10th. Camera ready copies will be due by November 10th. Proceedings will be published as Lecture Notes in Computer Science by Springer Verlag. Address for Submission: Gopal Gupta Department of Computer Science Science Hall, Stewart Street, New Mexico State University Ph: +1 (505) 646 6236 Las Cruces, NM 88003-0001 Fax: +1 (505) 646 1002 complog@cs.nmsu.edu Program Committee: M. Carlsson, Swedish Institute of Computer Science (Sweden) T. Chikayama, University of Tokyo (Japan) B. Demoen, Katholieke Universitat Leuven (Belgium) H. Gill, DARPA (USA) G. Gupta (Chair), New Mexico State University (USA) M. Hermenegildo, Universidad Politecnica de Madrid (Spain) B. Jayaraman, SUNY Buffalo (USA) N. Jones, DIKU (Denmark) R. Kieburtz, Oregon Graduate Institute (USA) M. Martelli, University of Genova (Italy) S. Peyton Jones, University of Glasgow (UK) E. Pontelli, New Mexico State University (USA) I.V. Ramakrishnan, SUNY Stony Brook (USA) D. Schmidt, Kansas State University (USA) V. Santos Costa, Universida do Porto (Portugal) P. van Hentenryck, Brown University (USA) D. S. Warren, SUNY Stonybrook (USA) P. Wadler, Bell Labs, Lucent Technologies (USA) Contact for More Information: Gopal Gupta Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science Web: http://www.cs.nmsu.edu/lldap/ Box 30001, Dept. CS email: gupta@nmsu.edu New Mexico State University Ph: +1 (505) 646 6236 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'99}} \\ $ \ $ \\ {\large\bf First International Workshop on } \\ {\large\bf Practical Aspects of Declarative Languages } \\ $ \ $ \\ {Menger Hotel,} \\ {San Antonio, Texas, 18 - 19 January 1999}\\ {http://www.cs.nmsu.edu/$\sim$complog}\\ {In Cooperation with {\em ACM SIGPLAN}}\\ \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} M. Carlsson& Sweden\\ T. Chikayama& Japan\\ B. Demoen& Belgium\\ H. Gill& USA\\ G. Gupta& USA\\ M. Hermenegildo& Spain\\ B. Jayaraman& USA\\ N. Jones& Denmark\\ R. Kieburtz& USA\\ M. Martelli& Italy\\ S. Peyton Jones& UK\\ E. Pontelli& USA \\ I.V. Ramakrishnan& USA\\ D. Schmidt& USA\\ V. Santos Costa & Portugal\\ P. van Hentenryck& USA \\ D. S. Warren& USA\\ P. Wadler& USA\\ \end{tabular} \\ % {\center\bf {Program Chair}} \\ \begin{tabular}{l} Gopal Gupta \\\end{tabular} % % {\center\bf{Important Dates}}\\ \begin{tabular}{ll} Paper Submission: & 8/30/98\\ Notification: & 10/10/98\\ Camera-ready: & 11/10/98 \end{tabular} {\center\bf{Contact Address}}\\ \begin{tabular}{l} Gopal Gupta\\ Department of Computer Science\\ Science Hall, Stewart Street\\ New Mexico State University \\ Las Cruces, NM 88003-0001\\ Ph: +1 (505) 646 6236\\ email: complog@cs.nmsu.edu \end{tabular} } \ $\; \;$ \ \parbox{4.5in}{ \setlength{\parindent}{0.5cm} \setlength{\baselineskip}{14pt} \noindent Declarative languages have traditionally been regarded by the mainstream computing community as too impractical to be put to practical use. At the same time, traditional conferences devoted to declarative languages do not have issues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of {PADL'99} is to bring together researchers, practitioners and implementors of declarative languages to discuss practical issues and implications of their research results. Thus, papers dealing with practical applications of newly discovered results and techniques in logic, functional, and constraint programming are invited. 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. \smallskip \noindent Scope of PADL includes, but is not limited to: \begin{list}{$\bullet$}{\setlength{\topsep}{1pt}\setlength{\parsep}{0pt}\setlength{\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 30th}. 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 {October 10th}. Camera ready copies will be due by {November 10th}. The proceedings will be published by Springer Verlag (LNCS). } \vfill \begin{center} \underline{\hspace{16cm}} \smallskip Sponsored by {\bf {COMPULOG AMERICAS}} and the {\bf {Association for Logic Programming} }. In Cooperation with ACM SIGPLAN. \end{center} \end{document}