From michael@mpi-sb.mpg.de Thu May 5 08:46:46 EDT 1994 Article: 4437 of comp.lang.functional Xref: economic.mess.cs.cmu.edu comp.lang.prolog:10391 comp.lang.functional:4437 comp.ai:22009 comp.constraints:121 Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!xlink.net!sbusol.rz.uni-sb.de!mpi-sb.mpg.de!michael From: michael@mpi-sb.mpg.de (Michael Hanus) Newsgroups: comp.lang.prolog,comp.lang.functional,comp.ai,comp.constraints Subject: Workshop "Integration of Declarative Paradigms" Date: 5 May 1994 09:05:52 GMT Organization: Max-Planck-Institut fuer Informatik Lines: 175 Distribution: world Message-ID: <2qactgINNrks@sbusol.rz.uni-sb.de> NNTP-Posting-Host: mpii02000.ag2.mpi-sb.mpg.de Call for Participation -------------------------------------------------------------------------- ICLP'94 Post-Conference Workshop on INTEGRATION OF DECLARATIVE PARADIGMS Saturday, June 18, 1994 Santa Margherita Ligure, Italy -------------------------------------------------------------------------- The interest on the integration of declarative paradigms and, in particular, the integration of functional and logic programming, has been spurred anew, especially for what concerns efficient implementation. The aim of this workshop is to bring together researchers from different communities as well as to give the logic programming community an idea of recent advances in the area. Topics of the workshop are: language features, semantics, execution principles, implementation issues w.r.t. logic programming and constraints, types, functions, and concurrency. Organizers: Hassan Ait-Kaci (Simon Fraser University, Canada) Michael Hanus (MPI Saarbruecken, Germany) Juan Jose Moreno Navarro (Universidad Politecnica Madrid, Spain) Contact: Juan Jose Moreno Navarro Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo s/n Boadilla del Monte 28660 Madrid, Spain Phone: +34 1 336 74 58 / Fax: +34 1 336 74 12 e-mail: jjmoreno@fi.upm.es -------------------------------------------------------------------------- PROGRAM: -------- 9:00-10:30: Session 1: Logic Programming plus Constraints --------------------------------------------------------- * F-logic Programming and Terminological Constraints C. Rigotti, M.-S. Hacid, J.-F. Boulicaut (Lab. d'Ingenierie des Systemes d'Information, France) * A Layer Architecture for the Integration of Rules, Inheritance, and Constraints A. Abecker, H. Wache (DFKI, Kaiserslautern, Germany) * Semantics of Constraint Logic Programming with Optimization K. Marriot (Monash University, Australia) P.J. Stuckey (University of Melbourne, Australia) 11:00-12:00: Session 2: Extension of Type Systems for Declarative Languages --------------------------------------------------------------------------- * Logic Programming with Constructor-based Type Constraints H.-J. Goltz (GMD-FIRST Berlin, Germany) * A Typed Functional Language Based on Sequent Calculus Mark Tarver (Univ. of Leeds, United Kingdom) 14:00-15:30: Session 3: Implementation of Integrated Languages -------------------------------------------------------------- * The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms M.M.T. Chakravarty (TU Berlin, Germany) H.C.R. Lock (IBM Heidelberg, Germany) * A Snapshot of the LPG Language D. Bert, R. Echahed (IMAG-LGI, Grenoble, France) * Efficient Integration of Declarative Paradigms into Symbolic Computation Systems G. Grivas (ETH Zurich, Switzerland) 16:00-17:30: Session 4: Declarative Programming plus Concurrency ---------------------------------------------------------------- * Implementation Issues of a Distributed Real-Time Logic Language M. Diaz, B. Rubio, J.M. Troya (Univ. de Malaga, Spain) * Compilation of Concurrent Declarative Languages Z.M. Ariola, B.C. Massey, M. Sami, E. Tick (University of Oregon, USA) * Distributed Declarative Systems as Parts of Cooperating Software Environments G. Czajkowski, A. Uszok, K. Zielinski (Univ. of Mining and Metallurgy, Krakow, Poland) 17:45-19:00: Panel discussion ----------------------------- -------------------------------------------------------------------------- WORKSHOP ORGANIZATION: ---------------------- The workshop will be held in conjunction with ICLP'94. ICLP'94 is the eleventh international conference on logic programming and is one of the two major annual international conferences reporting recent research results in logic programming. The technical program for the conference will include tutorials, invited lectures, and presentations of refereed papers and posters. For general information about attending ICLP'94 and this workshop (registration, accommodation), please contact the ICLP'94 conference secretariat: Piera Ponta Consorzio Genova Ricerche via dell'Acciaio 139 16152 Genova, Italy Email: ponta@infmge.ge.infn.it Phone: +39 10 6514000 Fax: +39 10 6512981, 6503801 REGISTRATION FEES: For people attending ICLP'94: 40 $ For people *not* attending ICLP'94: 80 $ The registration fee cover refreshments during coffee breaks and a copy of the proceedings. LOCATION: The workshop will be held at the Grand Hotel Miramare in Santa Margherita Ligure, a lovely small town near Genova (about 30 Km), renowned for the beautiful natural scenarios and the many tourist facilities. Santa Margherita is also the only access to the worldwide famous villages of Paraggi and Portofino, pearls of the Mediterranean Sea and marine natural park. Not far from Santa Margherita is also the pleasant resort area of ``Cinque Terre'', consisting of five picturesque villages on the rocky coast which can be reached by train or boat only. The Grand Hotel Miramare a classic-style building, conveniently situated at one end of the Santa Margherita gulf, with private beach, private garden, private swimming pool, and at a walking distance from Paraggi (Km. 2) and Portofino (Km. 4). TRAVEL INFORMATION: The Grand Hotel Miramare is in walking distance (20 minutes - 1/2 hour) from the Santa Margherita railway station. Santa Margherita is easily reachable by train or bus ( 1/2 hour) from Genova, in turn easily reachable by train, car and plane. The airoport of Genova is daily connected with London, Zurich, Munich, Bruxelles, Frankfurt, Rome and Naples. From the airport of Genova it is possible to reach the railways stations of Genova (Brignole and Principe) by bus. The cost of the ticket is Lit. 4000. -------------------------------------------------------------------------- -- Michael Hanus MPI Informatik eMail: michael@mpi-sb.mpg.de Im Stadtwald Phone: +49 681 302 5436 D-66123 Saarbruecken Fax: +49 681 302 5401 Germany