| Related sites for http://www.cs.man.ac.uk/~kung-kiu/lopstr/ |
| D_Front_End_for_GCC For GCC 3.3.x, 3.4.x versions supporting FreeBSD, Linux, Mac OS X, Cygwin. Description, build instructions, downloads, links, contact. [Open source] | | Exotica Amiga exotic music archive, including players and editors for many different formats. | | Emagic Featuring the Logic series, several virtual instruments and hardware accessories. Products description, support area, company information and news. | | Universal_Solutions,_Inc_ Full-service information technology consulting firm providing business, support, and acquisition solutions. | | ANIMATORsoft Creator of Mini-Keyboard, Calc! and Calc Plus! software for Palm OS. | | Twister_Software Retailer selling Microsoft and other name brand computer business software including Adobe, Corel, and Symantec at wholesale. Purchase online or by telephone. | | Arena_Maxtronic,_Inc_ Manufacturer of RAID solutions sold under the Arena model name. | | Camel_Backup Backup over the Internet to automatically protect essential data from loss. Fully automated online data storage and backup facilities. Secure off-site data protection available when you need it most. | | Planet_X_Mail Offers safelist and newsletter hosting services. | | Rising_Edge_Technologies High performance data recorders and network attached optical archive appliances. | | ConTeXt_Development_Portal Bugs and feature requests collector. | | Multi_Layer_Routing Integration of Layer 2 and Layer 3. | | Mozilla_Quality Quality Assurance and testing blog for Mozilla Firefox and Thunderbird. | | Angel_Eyes Offers tributes, holidays, friendship, birthdays, and sentiments. Features cards of the week. | | AptiQuiz Test management software, to create, manage and administer tests. [Windows 95/98/ME/NT/2000/XP] | | Hazel__Shopping_Cart_Software CGI application written in C which runs on most Unix variants, and NT. Has free 30 day trial. | | von_Allmen_Marketing_Agency Graphic design, multimedia, and scripting services. | | Secure_BGP_-_S-BGP_Projectpage Overview with draft papers and presentation with a clear outlook. | | Text2Web_Pro Is a tool to convert text documents to HTML format. It incorporates integrated clipboard support for Web authors, who want to include snippets of text (formatted or unformatted) into their Web pages. | | JSPOlympus JSP news, articles, white papers, tutorials, free available books and other books. |
|
LOPSTR Home Page  LOPSTR International Symposium on Logic-based Program Synthesis and Transformation  Future Conferences LOPSTR06 LOPSTR 06will be held on 12-14 July 2006, in Venice, Italy.The PC Chair is German Puebla. History LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since.Its original title wasInternational Workshop on Logic ProgramSynthesis and Transformation, and the workshop was intended to focuson logic programs. The title was changed to International Workshop onLogic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002. Aim The aim of LOPSTR is to stimulate and promote international research and collaboration on logic-based program development. The main focus used to be on the Logic Programming paradigm, but now the workshop is open to contributions in logic-based program development in any paradigm.Modus OperandiLOPSTR aims to be a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is intended to provide useful feedback to authors on theirpreliminary research. Formal proceedings are produced only after the symposium, in order that authors can incorporate thisfeedback in the published papers.The symposium is normally run as follows: Authors submit extended abstracts (8 pages) describing work in progress. Promising abstracts relevant to the scope of LOPSTR are selected for presentation at the symposium. At the symposium, only informal pre-proceedings of the selected abstracts are available (usually in the form of a technical report). After the symposium, authors of the best abstracts are invited tosubmit full papers. These are reviewed, and accepted papers thenform the formal (fully refereed) proceedings of the symposium,currently published inthe Lecture Notes inComputer Science series, by Springer-Verlag. Steering Committee In 2002, a steering committee was set up. The current steeringcommittee consists of the following:Kung-Kiu Lau Manchester, UKAlberto Pettorossi Rome, ItalyMichaelLeuschel Düsseldorf, GermanyMauriceBruynooghe Leuven, BelgiumSandroEtalle Twente, the NetherlandsPatriciaHill Leeds, UKGermanPuebla Madrid, Spain Past Conferences Venues LOPSTR 91 and 92 were held in Manchester, UK.LOPSTR 93 in Louvain-la-Neuve, Belgium.LOPSTR 94 in Pisa, Italy (with META 94).LOPSTR 95 in Arnhem, the Netherlands (with PLILP 95).LOPSTR 96 in Stockholm, Sweden (with ILP 96).LOPSTR 97 in Leuven, Belgium (with ICLP 97).LOPSTR 98 inManchester, UK (with JICSLP 98).LOPSTR 99 in Venice, Italy (with SAS 99).LOPSTR 00 in London, UK (as part of CL2000).LOPSTR 01 in Paphos, Cyprus (with ICLP 01 and CP 01).LOPSTR 02 in Madrid,Spain (with SAS 02andAGP 02).LOPSTR 03 inUppsala, Sweden (as part of PLI 03)LOPSTR 04 in Verona,Italy (with SAS 2004,PEPM 2004and PPDP 2004)LOPSTR05in London, UK (with SAS2005). Proceedings LOPSTR 91 T.P. Clement and K.-K. Lau, editors, Logic Program Synthesis and Transformation, Springer-Verlag, 1992. Workshops in Computing series. ISBN 3-540-19742-7. Free copies available from Kung-Kiu Lau. LOPSTR 92 K.-K. Lau and T.P. Clement, editors, Logic Program Synthesis and Transformation, Springer-Verlag, 1993. Workshops in Computing series. ISBN 3-540-19806-7. Free copies available from Kung-Kiu Lau. LOPSTR 93 Y. Deville, editor, Logic Program Synthesis and Transformation, Springer-Verlag, 1994. Workshops in Computing series. ISBN 3-540-19864-4. LOPSTR 94 L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation - Meta Programming in Logic, Lecture Notes in Computer Science 883, Springer-Verlag, 1994. ISBN 3-540-58792-6. LOPSTR 95 M. Proietti, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1048, Springer-Verlag, 1996. ISBN 3-540-60939-3. A few free copies available from Maurizio Proietti(proietti@iasi.rm.cnr.it). LOPSTR 96 J. Gallagher, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1207, Springer-Verlag, 1997. ISBN 3-540-62718-9 LOPSTR 97 N.E. Fuchs, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1463, Springer-Verlag, 1998. ISBN 3-540-65074-1 LOPSTR 98P. Flener, editor, Logic-based ProgramSynthesis and Transformation, Lecture Notes in ComputerScience 1559, Springer-Verlag, 1999. ISBN 3-540-465765-7. LOPSTR 99A. Bossi, editor, Logic-based ProgramSynthesis and Transformation, Lecture Notes in ComputerScience 1817, Springer-Verlag, 2000. ISBN 3-540-67628-7. LOPSTR 00K.-K. Lau, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2042,Springer-Verlag, 2001. ISBN 3-540-42127-0. Free copies available from Kung-Kiu Lau (kung-kiu@cs.man.ac.uk). LOPSTR 01A. Pettorossi, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2372, Springer, 2002. ISBN 3-540-43915-3. LOPSTR 02M. Leuschel, editor,Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2664, Springer, 2002. ISBN 3-540-40438-4. LOPSTR 03M. Bruynooghe, editor,Logic Based Program Synthesis and Transformation: 13th International Symposium,Lecture Notes in Computer Science 3018, Springer, 2004.ISBN 3-540-22174-3. Sponsorship LOPSTR 91 and 92 were sponsored by the Association for Logic Programming (ALP) and ALP UK. LOPSTR 93 by Compulog Net, the ESPRIT Network of Excellence in Computational Logic, and the BelgianNational Fund for Scientific Research. LOPSTR 94 by Compulog Net. LOPSTR 95 by Compulog Net, ALP, Royal DutchAcademy of Sciences, The Netherlands Computer Science Research Foundation, National Research Council of Italy, and Universiteit Utrecht. LOPSTR 96 by Compulog Net. LOPSTR 97 by Compulog Net and the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR 98 by ALP, Compulog Net, and Prolog Development Center (Denmark). LOPSTR 99 by ALP, Compulog Net, CNR, Ca' Foscari University of Venice.LOPSTR 00 (as part of CL2000) by ALP and Compulog Net.LOPSTR 01 by ALP, CoLogNET, IFCoLog, IASI Institute of the National Research Council of Italy, University of Roma Tor Vergata, Italy. LOPSTR 02 by ALP. LOPSTR 00 LOPSTR 00 was the Program Development stream of CL 2000, the First International Conference on Computational Logic, Monday 24th July to Friday 28thJuly, 2000, Imperial College, London, UK.CL is a new conference series (sponsored by ALP and Compulog Net) to replace the ICLP and JICSLP series from 2000 onwards. LOPSTR joined CL 2000 under the following terms: CL would provide a general call for papers (and in some cases, extended abstracts) for all streams, including the Program Development (PD) stream, and would refer authors to the stream CFPs for all the details. LOPSTR would provide a detailed CFP for extended abstracts and full papers on PD, and the LOPSTR PC would handle all PD submissions to CL. At CL: all accepted PD full papers and abstracts would be presented in the PD stream. PD full papers would appear in CL proceedings. PD abstracts would appear in informal LOPSTR pre-proceedings. After CL, LOPSTR would invite abstract authors to submit full papers for the post-proceedings. This decision was reached after an email debateamong the LOPSTR community. Tenth Anniversary To mark LOPSTR's tenth anniversary, an edited volume of papers that represent a decade of research advances was published: Program Development in Computational Logic: A Decade of ResearchAdvances in Logic-based Program DevelopmentM. Bruynooghe and K.-K. Lau, editors, Lecture Notes in Computer Science 3049,Springer-Verlag, 2004. ISBN 3-540-22152-2. Discussions Automated Software Engineering and Logic Programming At the post-JICSLP98 workshop on AutomatedSoftware Engineering and Logic Programming, participants from boththe LOPSTR and ASE communities discussed the key issues that theyshould address in order to foster a concerted effort. A record of the meeting can be found here. IFCoLog Membership In January 2000, the LOPSTR community agreed that LOPSTR should join IFCoLog, withKung-Kiu Lau as LOPSTR's IFCoLog's representative. Theemail discussion can be found here. Name Change and Steering Committee In 2002, a name change and the setting up of a steering committeewere discussed and agreed by the LOPSTR community. The discussionis archived here. AcknowledgementsThanks to the following for their comments on and/or help withinformation for this page: Bern Martens (Leuven), Norbert Fuchs(Zurich), Pierre Flener (Uppsala), Annalisa Bossi (Venice), MaurizioProietti (Rome), German Puebla (Madrid), Alberto Pettorossi (Rome),Maurice Bruynooghe (Leuven).Kung-Kiu LauSchool of Computer ScienceThe Universityof ManchesterManchester M13 9PLUnited KingdomPhone: +44 161 275 5716Fax: +44 161 275 6204 Email: |
|
