[mercury-users] PADL'01: 3rd Int'l Symposium

Gopal Gupta gupta at herbrand.utdallas.edu
Thu Feb 15 11:24:34 AEDT 2001



   [Please note that the deadline for early registration,
    is tomorrow. However, the deadline for early registration 
    rate has been extended until Feb. 20th, a firm deadline.

    Apologies for multiple copies.]


		  Call for Participation

	Practical Aspects of Declarative Languages:
		Third International Symposium

	     Mar 11-12, 2001, Las Vegas, NV, USA
	        http://seclab.cs.sunysb.edu/padl

We would like to invite you to the 3rd international symposium
on practical aspects of declarative languages in Las Vegas, Nevada,
USA. The papers that have been accepted deal with an exciting array
of applications (ranging from the Internet, visual tracking, to 
the space shuttle) and implementations (constraint systems, 
parallelism, etc.). In addition, there are three invited speakers
 Joe Armstrong (Blue Tail Systems), David S. Warren 
(SUNY Stonybrook) and Raghu Ramakrishnan (Univ. of Wisconsin), all
of whom have been intimately involved in implementation and 
applications of declarative languages. PADL'01 is going to
be a very exciting event that should not be missed. PADL'01
is being held in Las Vegas, Nevada, one of the world's most 
popular destination for entertainment 
(http://travel.yahoo.com/t/North_America/United_States/Nevada/Las_Vegas/). 

Deadline for early registration is Feb 15th. Deadline for making
hotel booking is Feb. 9th. Please visit the PADL'01 website for
registration information: http://seclab.cs.sunysb.edu/padl


					I.V. Ramakrishnan (PC Chair)
					Gopal Gupta (Arrangements)

List of accepted papers:

>From subject directories to subject meta-directories 
via declarative programming
	Antonio Brogi, Gianluca Caruso 

Frappe: Functional Reactive Programming in Java, 
	Antony Courtney 

Logic Programming Techniques for Dynamic VRML Web Content Generation, 
	Anima Gupta and Paul Tarau 

Spatio-Temporal Annotated Constraint Logic Programming 
	Alessandra Raffaeta, Thom Fruhwirth 

A Model Checker for Value-Passing Mu-Calculus using Logic Programming
	C.R. Ramakrishnan 

tuProlog: A light-weight Prolog for Internet applications and infrastructures 
	Enrico Denti, Andrea Omicini, Alessandro Ricci 

Construction and Optimization of a Parallel Engine for 
Answer Set Programming 
	Enrico Pontelli, Omar El-Khatib 

Soft Constraints for Security Protocol Analysis: Confidentiality 
	Giampaolo Bella, Stefano Bistarelli 

Specifying Authentication Protocols Using Rewriting and Strategies 
	Horatiu Cirstea 

Soundcheck for SQL, 
	Hendrik Decker 

FVision: A Declarative Language for Visual Tracking 
	John Peterson, Paul Hudak, Alastair Reid, Greg Hager 

Programming Goal-driven Web Sites with an Agent Logic Language 
	Baldoni M., Baroglio C., Chiarotto A., Patti V. 

High-Level Server Side Web Scripting in Curry 
	Michael Hanus 

Design and Implementation of the High-level Specifiation 
Language CSP(LP) in Prolog
	Michael Leuschel 

An A-Prolog decision support system for the space shuttle 
	M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, M. Barry 

A Meta-Heuristic for Subset Problems 
	Pierre Flener, Brahim Hnich, Zeynep Kiziltan 

Compiling High-Level Type Constructors in Constraint Programming 
	Pierre Flener, Brahim Hnich, Zeynep Kiziltan 

A Novel Implementation of the Extended Andorra Model 
	Ricardo Lopes; Fernando Silva; Vítor Santos Costa 

Secure Deductive Databases 
	Steve Barker 

Constraint Database Models Characterizing Timed Bisimilarity 
	Supratik Mukhopadhyay, Andreas Podelski 

A Most Specific Method Finding Algorithm for 
Reflection Based Dynamic Prolog-to-Java Interfaces 
	Satyam Tyagi, Paul Tarau

Interoperability between Bioinformatics Tools: A Logic
Programming Approach
	J. Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, 
		Desh Ranjan, and Brook Milligan

State Generation in the PARMC Model Checker
	Owen Kaser       
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list