[Haskell] LOPSTR'04 final call for extended abstracts
LOPSTR 2004 Verona, Italy, August 26-28, 2004 http://www.sci.univr.it/~lopstr04 FINAL CALL FOR EXTENDED ABSTRACTS DEADLINE (EXTENDED, FIRM): May 17, 2004 The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development, and the workshop is open to contributions in logic-based program development in any language paradigm. Starting this year, LOPSTR will put extra emphasis to the field of verification; in fact LOPSTR will also incorporate the VCL (verification in computational logic) workshop series. LOPSTR'04 will be held at the University of Verona http://www.univr.it co-located with SAS 2004 http://www.sci.univr.it/~sas04, the International Static Analysis Symposium, PEPM 2004 http://www.sci.univr.it/~pepm04 - ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation, and PPDP 2004 http://www.sci.univr.it/~ppdp04 - 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming. Past workshops were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), Madrid, Spain (2002), Uppsala, Sweden (2003). Since 1994 the proceedings have been published in the LNCS series of Springer-Verlag. LOPSTR also 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 also intended to provide useful feedback to authors on their preliminary research. Formal proceedings of the workshop are produced only after the workshop, so that authors can incorporate this feedback in the published papers. Scope of the Workshop We solicit extended abstracts and full papers (DEADLINE FOR FULL PAPER HAS PASSED). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. The following is a non-exhaustive list of topics: * specification * synthesis * verification * transformation * specialisation * analysis * optimisation * composition * reuse * applications and tools * proofs as programs * component-based software development * agent-based software development * software architectures * design patterns and frameworks * program refinement and logics for refinement Submission Guidelines Authors can either submit extended abstracts (short papers) describing work in progress or they can choose to submit full papers (DEADLINE FOR FULL PAPER HAS PASSED). Contributions should be written in English and should be submitted electronically in Postscript or PDF format at http://profs.sci.univr.it/~lopstr04/index.html. Authors are also asked to send the title and abstract of their submission three days before the deadline to [EMAIL PROTECTED] Prospective authors who have difficulties for the electronic submission may contact the chairman at [EMAIL PROTECTED] Extended abstracts should not exceed 6 pages in llncs format and may describe work in progress. Promising abstracts relevant to the scope of LOPSTR will be selected for presentation at the workshop. The submission deadline for extended abstract is May 17, 2004 (extended, strict). Full papers ... deadline for full papers has passed. Accepted papers and abstracts will be collected in informal pre-proceedings which will be available at the workshop. After the workshop, authors of extended abstract which are judged mature for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures, and accepted papers will be published in the final collection of papers (together with the accepted full papers) which is expected to be published in the Lecture Notes in Computer Science series by Springer-Verlag. All the full papers accepted before the workshop will automatically appear in that book as well; there will be no additional refereeing (although authors will be given a chance to revise their paper, if they so wish, based upon the feedback from the LOPSTR event). Program Committee * Gilles Barthe (France) * Annalisa Bossi (Italy) * Maurice Bruynooghe (Belgium) * Francisco Bueno (Spain) * Giorgio Delzanno (Italy) * Tom Ellman (USA) * Sandro Etalle (The Netherlands) program chair * Norbert Fuchs (Switzerland) * Gopal Gupta (USA) * Patricia M. Hill (UK) * Kung-Kiu Lau (UK) * Fabio Martinelli (Italy) * Alberto Pettorossi (Italy) * Andreas Podelski (Germany) * C.R. Ramakrishnan (USA) * Abhik Roychoudhury (Singapore) * Wim Vanhoof (Belgium) * German Vidal (Spain) Important dates * submission
[Haskell] LOPSTR'04 call for papers (extended deadlines!)
) * Sandro Etalle (The Netherlands) program chair * Norbert Fuchs (Switzerland) * Gopal Gupta (USA) * Patricia M. Hill (UK) * Kung-Kiu Lau (UK) * Fabio Martinelli (Italy) * Alberto Pettorossi (Italy) * Andreas Podelski (Germany) * C.R. Ramakrishnan (USA) * Abhik Roychoudhury (Singapore) * Wim Vanhoof (Belgium) * German Vidal (Spain) Important dates * submission deadline for full papers: May 7, 2004 (extended, strict) * submission deadline for extended abstracts: May 17, 2004 (extended, strict) * Notification: June 6 * Camera-ready: June 16 Sponsor Lopstr 2004 is sponsored by the Association for Logic Programming (ALP) http::/www.cwi.nl/projects/alp ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
[Haskell] LOPSTR'04 call for papers (extended deadlines!)
LOPSTR 2004 Verona, Italy, August 26-28, 2004 http://www.sci.univr.it/~lopstr04 CALL FOR PAPERS ***EXTENDED DEADLINE*** The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development, and the workshop is open to contributions in logic-based program development in any language paradigm. Starting this year, LOPSTR will put extra emphasis to the field of verification; in fact LOPSTR will also incorporate the VCL (verification in computational logic) workshop series. LOPSTR'04 will be held at the University of Verona http://www.univr.it co-located with SAS 2004 http://www.sci.univr.it/~sas04, the International Static Analysis Symposium, PEPM 2004 http://www.sci.univr.it/~pepm04 - ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation, and PPDP 2004 http://www.sci.univr.it/~ppdp04 - 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming. Past workshops were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), Madrid, Spain (2002), Uppsala, Sweden (2003). Since 1994 the proceedings have been published in the LNCS series of Springer-Verlag. LOPSTR also 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 also intended to provide useful feedback to authors on their preliminary research. Formal proceedings of the workshop are produced only after the workshop, so that authors can incorporate this feedback in the published papers. Scope of the Workshop We solicit extended abstracts and full papers. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. The following is a non-exhaustive list of topics: * specification * synthesis * verification * transformation * specialisation * analysis * optimisation * composition * reuse * applications and tools * proofs as programs * component-based software development * agent-based software development * software architectures * design patterns and frameworks * program refinement and logics for refinement Submission Guidelines Authors can either submit extended abstracts (short papers) describing work in progress or they can choose to submit full papers. Contributions should be written in English and should be submitted electronically in Postscript or PDF format at http://profs.sci.univr.it/~lopstr04/index.html. Authors are also asked to send the title and abstract of their submission three days before the deadline to [EMAIL PROTECTED] Prospective authors who have difficulties for the electronic submission may contact the chairman at [EMAIL PROTECTED] Extended abstracts should not exceed 6 pages in llncs format and may describe work in progress. Promising abstracts relevant to the scope of LOPSTR will be selected for presentation at the workshop. The submission deadline for extended abstract is May 17, 2004 (extended, strict). Full papers should not exceed 16 pages (including references) in llncs format. These papers will be judged using ordinary conference quality criteria and accepted papers will have to be presented at the workshop and will automatically appear in the pre-proceedings as well as in the final collection of papers, published in the LNCS series. The submission deadline for full papers is May 7, 2004 (extended, strict). Accepted papers and abstracts will be collected in informal pre-proceedings which will be available at the workshop. After the workshop, authors of extended abstract which are judged mature for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures, and accepted papers will be published in the final collection of papers (together with the accepted full papers) which is expected to be published in the Lecture Notes in Computer Science series by Springer-Verlag. All the full papers accepted before the workshop will automatically appear in that book as well; there will be no additional refereeing (although authors will be given a chance to revise their paper, if they so wish, based upon the feedback from the LOPSTR event). Program Committee * Annalisa Bossi (Italy) * Gilles Barthe (France) * Francisco Bueno (Spain) * Maurice Bruynooghe (Belgium) * Giorgio Delzanno (Italy) * Sandro Etalle (The Netherlands) program chair * Tom Ellman (USA) * Patricia M. Hill (UK) * Norbert Fuchs (Switzerland
TPLP Special Issue on Verification
TPLP Special Issue on Specification, Analysis and Verification of Reactive Systems http://www.cs.utwente.nl/~etalle/specialissue.html Motivations and Goals The huge increase in interconnectivity we have witnessed in the last decade has boosted the development of systems which are often large-scale, distributed, time-critical, and possibly acting in an unreliable or malicious environment. Furthermore, software and hardware components are often mobile, and have to interact with a potentially arbitrary number of other entities. These systems require solid formal techniques for their specification, analysis and verification. In this respect, computational logic plays an increasingly important role. Concerning the specification aspect, one can think for instance at the specification, in temporal logic, of a communication protocol. Such specification offers the advantage that one can reason about it using formal methods, and at the same time it is often easily executable by rewriting it into a logic-based programming language. In addition, Computational logic plays a fundamental role by providing formal methods for proving system's correctness and tools - e.g. using techniques like constraint programming and theorem proving - for verifying their properties. This special issue is inspired to the ICLP workshops on Specification, Analysis and Verification of Emerging technologies (SAVE) that took place during iclp 2001 and iclp 2002. Nevertheless, submission is open to everyone. TOPICS The topics of interest include but are not limited to: * Specification languages and rapid prototyping: * Logic programming and its extensions * First-order, constructive, modal and temporal logic * Constraints * Type theory * Analysis: * Abstract interpretation * Program analysis and transformation * Validation: * Simulation and testing * Deductive methods * Model checking * Theorem proving The preferred issues include, but are not limited to: * Security: e.g. specification and verification of security protocols. * Mobility: specification and verification of mobile code. * Interaction, coordination, negotiation, communication and exchange on the Web. * Open and Parametrized Systems. SUBMISSIONS: Only electronic submission can be accepted. Please send your contribution in pdf or PostScript format to [EMAIL PROTECTED] DATES: Deadline for submission: November 15, 2003 Notification: May 1, 2003 Revised paper due: October 1, 2004 Publication: 2005 Authors of submitted papers are encouraged to post their articles at CoRR, thereby helping timely distribution of the scientific works. EDITORS - Giorgio Delzanno, University of Genova, Italy, http://www.disi.unige.it/person/DelzannoG/ - Sandro Etalle, University of Twente and CWI Amsterdam, the Netherlands, http://www.cs.utwente.nl/~etalle/ - Maurizio Gabbrielli, University of Bologna, Italy, http://www.cs.unibo.it/~gabbri/ ABOUT TPLP Theory and Practice of Logic Programming (TPLP, see http://uk.cambridge.org/journals/tlp/ and http://www.cwi.nl/projects/alp/TPLP/index.html) is published by the Cambridge University Press (http://uk.cambridge.org/), and is the sole official journal of the Association for Logic Programming (http://www.cwi.nl/projects/alp). ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
SAVE02 call for papers
FloC 2002 workshop SAVE 2002 Workshop on Specification, Analysis and Validation for Emerging Technologies Copenhagen , Denmark, July 27, 2002 CALL FOR PAPERS SUBMISSION DEADLINE: APRIL 27, 2002 ^^ TOPICS * Specification languages and rapid prototyping: * Logic programming and its extensions * First-order, constructive, modal and temporal logic * Constraints * Type theory * Analysis: * Abstract interpretation * Program analysis and transformation * Validation: * Simulation and testing * Deductive methods * Model checking * Theorem proving The preferred issues include, but are not limited to: * Mobility: specification and verification of mobile code. * Security: e.g. specification and verification of security protocols. * Interaction, coordination, negotiation, communication and exchange on the Web. * Open and Parametrized Systems. PUBLICATION The proceedings of the workshop will be published as technical report. We are planning a journal special issue: a selection of the workshop papers will be invited for submitting a full version to it. MOTIVATIONS AND GOALS The huge increase in interconnectivity we have witnessed in the last decade has boosted the development of systems which are often large-scale, distributed, time-critical, and possibly acting in an unreliable or malicious environment. Furthermore, software and hardware components are often mobile, and have to interact with a potentially arbitrary number of other entities. These systems require solid formal techniques for their verification and analysis. In this respect, computational logic plays an increasingly important role, both providing formal methods for proving system's correctness and tools - e.g. using techniques like constraint programming and theorem proving - for verifying their properties. In addition, computational logic is gaining importance as tool for the specification of these systems. For instance, one can think at the specification, in a form of temporal logic, of a communication protocol. Such specification offers the advantage that one can reason about it using formal methods, and at the same time it is often easily executable by rewriting it into a logic-based programming language. The first edition of SAVE 2001 took place as a one-day satellite event of ICLP/CP 2001 in Paphos, Cyprus. The technical program consisted of an invited talk and seven paper presentations covering problems related to security, real time systems, simulation and performance evaluation, and general purpose verification techniques (all papers are available on line in the here). The aim of this new edition is to bring together researchers interested in the use of computational logic as a tool for the specification, analysis and validation of systems, with particular emphasis on (but not restricted to) emerging technologies like World Wide Web and e-commerce, (protocols for) smart cards and mobile telephony, wireless technology, control and real-time systems, open and distributed systems. IMPORTANT DATES * Deadline for submissions: April 27, 2002 * Notification: May 27, 2002 * Final papers due: June 24, 2002 * Workshop date: July 27, 2002 PROGRAM COMMITTEE Alessandro Armando DIST, University of Genova, Italy Radhia Cousot, Ecole Polytecnique, France Thierry Massart, U. Libre de Brussels, Belgium Catuscia Palamidessi, Penn State University, USA Frank Pfenning, Carnegie Mellon University, USA Andreas Podelski Max-Planck-Institut, Germany Sriram Rajamani, Microsoft Research, USA Jean-Francois Raskin, U. Libre Brussels, Belgium INSTRUCTION FOR AUTHORS Please send your submission as a (uuencoded, gzipped, if possible) Postscript or PDF file to: [EMAIL PROTECTED] The paper must not exceed 15 pages, and must contain a cover page with: title, name and addresses of the authors, abstract and keywords. Please prepare the manuscript using LaTex article style, single column, 12.2cm x 19.3cm text area. The proceedings will be published in electronic format. A printed version will be distributed to all participants of the workshop. WORKSHOP ORGANISERS/PC CHAIRS * Giorgio Delzanno - Dipartimento di Informatica e Scienze * dell'Informazione - Universita' di Genova. e-mail: [EMAIL PROTECTED] * Sandro Etalle - Department of Computer Science- University of Twente and CWI. e-mail: [EMAIL PROTECTED] * Maurizio Gabbrielli - University of Bologna, Italy e-mail: [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
International Summer School on Computational Logic
C A L L F O RP A R T I C I P A T I O N NEW! deadline for early registration: June 1, 2000 ~~ International Summer School on Computational Logic ISCL 2000 Maratea (Italy), September 3-8 http://www.cs.unimaas.nl/~etalle/school2000/index.html AIM The school is addressed to young researchers and PhD students, as well as to university and industry researchers. Its main goal is to give the participants an insight of some relevant research lines in Computational Logic. PROGRAMME The school consists of six lectures on different topics, including theoretical foundations and practical perspectives. Each lecture covers one topic from basic notions to more advanced issues. PhD students may ask to have a proficiency final exam at the end of the school. The lecturers and the topics are the following: - Moreno Falaschi (University of Udine, Italy). Optimization of declarative languages. - Thom Fruehwirth (LMU Munich, Germany). Constraint Programming and Reasoning. - Peter Lee (Carnegie Mellon University, USA). Proof Carrying Code. - Dale Miller (The Pennsylvania State University, USA). A Logic for Reasoning about Logic Specifications. - Paul Tarau (University of North Texas, USA). Logic Programming based Internet Technologies. - Frits Vaandrager (University of Nijmegen, The Netherlands). Verification of timed and hybrid systems. LOCATION The lectures will be given in the congress center of Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away from Maratea. The hotel is in a beautiful position in front of the sea, with a swimming pool, a lift to its private beach, cinema-club and many other facilities. Maratea is an ancient city on the Gulf of Policastro, founded during the Greek period. It is the only portion of Lucania on the Tyrrhenian sea, situated in one of the most beautiful parts of the Italian southern coast. REGISTRATION The registration fee covers proceedings, full board, refreshments and social events. There is no deadline for late registration, however the number of participants is limited and application requests will be served on a FIFO basis. Early registration (before May 15th) - double room: 800 Eur - single room: 900 Eur Late registration (after May 15th) - double room: 900 Eur - single room: 1000 Eur Limited funds will be available for grants. To apply for a grant please contact one of the organizers. Details over the registration procedure will soon be available at the school home page. SPONSORS * ALP - The Association for Logic Programming. http://www.cwi.nl/projects/alp/ * COMPULOG Net - The European Network in Computational Logic. http://www.compulog.org/ * GULP - The Italian association for Logic Programming. http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html * CYBERTEC. http://www.cybertec.it. TENTATIVE SCHEDULE Lectures are planned to start on Sunday early morning and to end on Friday morning before 12:00. FURTHER INFORMATION For further informations, please see http://www.cs.unimaas.nl/~etalle/school2000/index.html or contact the School Organizers: Sandro Etalle (University of Maastricht) [EMAIL PROTECTED] Maurizio Gabbrielli (University of Udine) [EMAIL PROTECTED]
International Summer School on Computational Logic
S E C O N D C A L L F O RP A R T I C I P A T I O N ~~ International Summer School on Computational Logic ISCL 2000 Maratea (Italy), September 3-8 http://www.cs.unimaas.nl/~etalle/school2000/index.html AIM The school is addressed to young researchers and PhD students, as well as to university and industry researchers. Its main goal is to give the participants an insight of some relevant research lines in Computational Logic. PROGRAMME The school consists of six lectures on different topics, including theoretical foundations and practical perspectives. Each lecture covers one topic from basic notions to more advanced issues. PhD students may ask to have a proficiency final exam at the end of the school. The lecturers and the topics are the following: - Moreno Falaschi (University of Udine, Italy). Optimization of declarative languages. - Thom Fruehwirth (LMU Munich, Germany). Constraint Programming. - Peter Lee (Carnegie Mellon University, USA). Proof Carrying Code. - Dale Miller (The Pennsylvania State University, USA). A Logic for Reasoning about Logic Specifications. - Paul Tarau (University of North Texas, USA). Logic Programming based Internet Technologies. - Frits Vaandrager (University of Nijmegen, The Netherlands). Verification of timed and hybrid systems. LOCATION The lectures will be given in the congress center of Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away from Maratea. The hotel is in a beautiful position in front of the sea, with a swimming pool, a lift to its private beach, cinema-club and many other facilities. Maratea is an ancient city on the Gulf of Policastro, founded during the Greek period. It is the only portion of Lucania on the Tyrrhenian sea, situated in one of the most beautiful parts of the Italian southern coast. REGISTRATION The registration fee covers proceedings, full board, refreshments and social events. There is no deadline for late registration, however the number of participants is limited and application requests will be served on a FIFO basis. Early registration (before May 15th) - double room: 800 Eur - single room: 900 Eur Late registration (after May 15th) - double room: 900 Eur - single room: 1000 Eur Limited funds will be available for grants. To apply for a grant please contact one of the organizers. Details over the registration procedure will soon be available at the school home page. SPONSORS * ALP - The Association for Logic Programming. http://www.cwi.nl/projects/alp/ * COMPULOG Net - The European Network in Computational Logic. http://www.compulog.org/ * GULP - The Italian association for Logic Programming. http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html * CYBERTEC. http://www.cybertec.it. FURTHER INFORMATION For further informations, please see http://www.cs.unimaas.nl/~etalle/school2000/index.html or contact the School Organizers: Sandro Etalle (University of Maastricht) [EMAIL PROTECTED] Maurizio Gabbrielli (University of Udine) [EMAIL PROTECTED]
International Summer School on Computational Logic
F I R S T C A L L F O RP A R T I C I P A T I O N ~~ International Summer School on Computational Logic ISCL 2000 Maratea (Italy), September 3-8 http://www.cs.unimaas.nl/~etalle/school2000/index.html AIM The school is addressed to young researchers and PhD students, as well as to university and industry researchers. Its main goal is to give the participants an insight of some relevant research lines in Computational Logic. PROGRAMME The school consists of six lectures on different topics, including theoretical foundations and practical perspectives. Each lecture covers one topic from basic notions to more advanced issues. PhD students may ask to have a proficiency final exam at the end of the school. The lecturers and the topics are the following: - Moreno Falaschi (University of Udine, Italy). Optimization of declarative languages. - Thom Fruehwirth (LMU Munich, Germany). Constraint Programming. - Peter Lee (Carnegie Mellon University, USA). Proof Carrying Code. - Dale Miller (The Pennsylvania State University, USA). A Logic for Reasoning about Logic Specifications. - Paul Tarau (University of North Texas, USA). Logic Programming based Internet Technologies. - Frits Vaandrager (University of Nijmegen, The Netherlands). Verification of timed and hybrid systems. LOCATION The lectures will be given in the congress center of Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away from Maratea. The hotel is in a beautiful position in front of the sea, with a swimming pool, a lift to its private beach, cinema-club and many other facilities. Maratea is an ancient city on the Gulf of Policastro, founded during the Greek period. It is the only portion of Lucania on the Tyrrhenian sea, situated in one of the most beautiful parts of the Italian southern coast. REGISTRATION The registration fee covers proceedings, full board, refreshments and social events. There is no deadline for late registration, however the number of participants is limited and application requests will be served on a FIFO basis. Early registration (before May 15th) - double room: 800 Eur - single room: 900 Eur Late registration (after May 15th) - double room: 900 Eur - single room: 1000 Eur Limited funds will be available for grants. To apply for a grant please contact one of the organizers. Details over the registration procedure will soon be available at the school home page. SPONSORS * ALP - The Association for Logic Programming. http://www.cwi.nl/projects/alp/ * COMPULOG Net - The European Network in Computational Logic. http://www.compulog.org/ * GULP - The Italian association for Logic Programming. http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html * CYBERTEC. http://www.cybertec.it. FURTHER INFORMATION For further informations, please see http://www.cs.unimaas.nl/~etalle/school2000/index.html or contact the School Organizers: Sandro Etalle (University of Maastricht) [EMAIL PROTECTED] Maurizio Gabbrielli (University of Udine) [EMAIL PROTECTED]