RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
WFLP'03
12th Int'l Workshop on Functional and (Constraint) Logic Programming
Valencia, Spain, June 12-13, 2003


ABSTRACTS OF INVITED TALKS

Automated Analysis of Security Protocols
Michael Rusinowitch (LORIA, INRIA - Lorraine, France)


On Integrating Rules into the Semantic Web
Jan Maluszynski (Linköping University, Sweden)
                                                                                                                                                                                                               


Last update May 2003 # sescobar@dsic.upv.es