- Haskell - Haskell.org

7th ECOOP Workshop on Formal Techniques for Java-like Programs
by logozzo francesco 31 Mar '05

31 Mar '05

[ We apologize for multiple copies ] CALL FOR CONTRIBUTIONS FTfJP'2005 7th ECOOP Workshop on Formal Techniques for Java-like Programs http://www.cs.ru.nl/ftfjp/ Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: - specification techniques and interface specification languages - specification of software components and library packages - automated checking and verification of program properties, - verification logics, - language semantics, - type systems, - dynamic linking and loading, - security. Contributions (of up to 10 pages) are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions should not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We particularly welcome contributions that simply suggest good topics for discussion at the workshop, or raise issues that you feel deserve the attention of the research community. Contributions will be formally reviewed, for originality, relevance, focus of the workshop, and the potential to generate interesting discussions. The workshop is intended for around 20 participants. The workshop will be organized into four or more sessions, each initiated by a presentation of few related position papers by the respective participants, or the introduction of a topic by a single speaker, and followed by discussions. A special journal issue is planned to collect selected contributions as has been done for the previous FTfJP workshops. Contributions *must* be pdf format and must be accompanied by a plain-text abstract. They should be sent to Francesco Logozzo (Francesco.Logozzo(a)polytechnique.edu) by May 10, 2005. Important dates: submission of contributions May 10, 2005 notification June 10, 2005 workshop July 25 or 26, 2005 Program Committee: John Boyland, University of Winsconsin, USA Silvia Crafa, University of Padua, Italy Susan Eisenbach, Imperial College, UK Cormac Flanagan, University of California at Santa Cruz, USA John Hatcliff, Kansas State University, USA Joseph Kiniry, University College Dublin, Ireland Luigi Liquori, INRIA Sophia-Antipolis, France Francesco Logozzo, (co-chair) Ecole Polytechnique, France David Naumann, Stevens Institute of Technology, USA Jan Vitek, (co-chair) Purdue University, USA

1 0

Calling Haskell from (Objective-)C
by Thomas Davie 31 Mar '05

31 Mar '05

Hi, I'm attempting to call Haskell functions from Objective-C (a required parser is gonna come out much nicer in Haskell than in Objective-C). As far as I can make out HOC is the only way to do this (damn, knew I shouldn't have upgraded to GHC 6.4). Does anyone know of any other way to do something like this? Bob

2 1

LPAR-12 in Jamaica
by geoff＠cs.miami.edu 31 Mar '05

31 Mar '05

-------------------------------------------------------------------------- LPAR-12 Montego Bay, Jamaica http://www.lpar.net/2005 2nd-6th December 2005 Call For Papers The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12) will be held 2nd-6th December 2005, at the Wexford Hotel, Montego Bay, Jamaica. Submission of papers for presentation at the conference is now invited. Topics of interest include: + automated reasoning + propositional reasoning + interactive theorem proving + description logics + proof assistants + modal and temporal logics + proof planning + nonmonotonic reasoning + proof checking + constructive logic and type theory + rewriting and unification + lambda and combinatory calculi + software and hardware verification + logic programming + network and protocol verification + constraint programming + systems specification and synthesis + logical foundations of programming + model checking + computational interpretations of logic + proof-carrying code + logic and computational complexity + logic and databases + logic in artificial intelligence + reasoning over ontologies + knowledge representation and reasoning + reasoning for the semantic web + reasoning about actions Full and short papers are welcome. Full papers may be either regular papers containing new results, or experimental papers describing implementations or evaluations of systems. Short papers may describe work in progress or provide system descriptions. Submitted papers must be original, and not submitted concurrently to a journal or another conference. The full paper proceedings of LPAR-12 will be published by Springer-Verlag in the LNAI series. Authors of accepted full papers will be required to sign a form transferring copyright of their contribution to Springer-Verlag. The short paper proceedings of LPAR-12 will be published by the conference. Submission Instructions ----------------------- Papers must be prepared using the Springer-Verlag instructions for authors (http://www.springer.de/comp/lncs/authors.html) Papers may be up to 15 pages. If proofs do not fit in 15 pages, an appendix with proofs may be added. Short papers may be up to 5 pages. Papers must be submitted in plain postscript or PDF format, through the online submission system (http://www.easychair.org/LPAR-05/submit/) Dates and Deadlines: + Submission of full paper abstracts 11th July + Submission of full papers 18th July + Notification of acceptance of full papers 12th September + Camera ready versions of full papers due 3rd October + Submission of short papers 26th September + Notification of acceptance of short papers 24th October + Camera ready versions of short papers due 7th November Questions related to submission may be sent to the program chairs, Geoff Sutcliffe and Andrei Voronkov. -------------------------------------------------------------------------- Jamaica ... Land of LPAR and Reggae --------------------------------------------------------------------------

1 0

ICLP 2005: Call for Papers
by ICLP 2005 31 Mar '05

31 Mar '05

------------------------------------------- Apologies if you receive multiple copies ------------------------------------------- Preliminary Call for Papers ------------------------------------------------------------ Twenty first International Conference on Logic Programming ICLP'05 2-5 October, 2004 Sitges (Barcelona) Spain Co-located with the International Conference on Principles and Practice of Constraint Programming (CP'05) ------------------------------------------------------------ http://www.iiia.csic.es/iclp2005/ The Conference -------------- The 21st International Conference on Logic Programming will be held near Barcelona (Spain) from October 2nd to October 5th, 2005. ICLP'05 will be colocated with the International Conference on Principles and Practice of Constraint Programming (CP'05). Conference scope ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory Implementation Semantic Foundations Compilation Formalisms Memory Management Nonmonotonic Reasoning Virtual Machines Knowledge Representation Parallelism Environments Alternative Paradigms Program Analysis Constraint Logic Programming Program Transformation Abductive Logic Programming Validation and Verification Inductive Logic Programming Debugging, Profiling Answer Set Programming Language Issues Applications Concurrency Semantic Web Objects Software Engineering Coordination Web Tools Mobility Internet Agents Higher Order Artificial Intelligence Types Deductive Databases Modes Natural Language Programming Techniques Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. Papers ------- Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page (http://www.springer.de/comp/lncs/index.html) Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Industrial Papers ----------------- A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter,(up to) 10 pages papers. Posters ------- Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Doctoral Student Consortium --------------------------- The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. Publication ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. Sponsoring and prizes --------------------- The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper. Important dates --------------- POSTERS PAPERS Abstract submission deadline: 30 April Submission deadline: 1 June 6 May Notification of authors: 1 July 24 June Camera-ready copy due: 15 July 15 July Organization ------------ Conference Co-Chairs: Pedro Meseguer (IIIA-CSIC, Spain) Javier Larrosa (Technical University of Catalonia, Spain) Program Co-Chairs: Maurizio Gabbrielli (University of Bologna, Italy) Gopal Gupta (University of Texas at Dallas, USA) Workshop Chair: Hai-Feng Guo (University of Nebraska at Omaha, USA) Doctoral Consortium Chair: Enrico Pontelli (New Mexico State University, USA) Publicity Chair: Felip Manya (IIIA-CSIC, Spain) Program Committee: Roberto Bagnara University of Parma, Italy Maurice Bruynooghe KU Leuven, Belgium Giorgio Delzanno University of Genova, Italy Stefan Decker Digital Enterprise Research Institute, Ireland Thom Fruehwirth University of Ulm, Germany Maurizio Gabbrielli University of Bologna, Italy (Program Co-Chair) Gopal Gupta University of Texas at Dallas, USA (Program Co-Chair) Patricia Hill University of Leeds, UK Joxan Jaffar University of Singapore, Singapore Bharat Jayaraman SUNY Buffalo, USA Javier Larrosa Technical University of Catalonia, Spain (Conference Co-Chair) Michael Leuschel University of Dusseldorf, Germany Massimo Marchiori University of Venice, Italy and W3C, MIT, USA Pedro Meseguer IIIA-CSIC, Spain (Conference Co-Chair) Juan J. Moreno Navarro Technical University of Madrid, Spain Gopalan Nadathur University of Minnesota, USA Ilkka Niemela Helsinki U. of Tech. Finland Catuscia Palamidessi INRIA, France Enrico Pontelli New Mexico State Univeristy, USA I.V. Ramakrishnan SUNY Stony Brook, USA Vitor Santos Costa Federal U. of Rio de Janeiro, Brazil Harald Sondergaard University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Frank Valencia University of Uppsala, Sweden Contact addresses ----------------- Conference Chairs: Pedro Meseguer Javier Larrosa IIIA-CSIC Dep. LSI, UPC Campus UAB Jordi Girona 1-3 08193 Bellaterra, Spain 08034 Barcelona, Spain Program Co-chairs: iclp05-chairs(a)cs.unibo.it Maurizio Gabbrielli Gopal Gupta Department of Computer Science Department of Computer Sciences MS EC31 University of Bologna The University of Texas at Dallas Mura A. Zamboni 7 2601 N. Floyd Rd 40127 Bologna, Italy Richardson, TX 78050, USA

1 0

Announcement: Bluespec, Inc. is seeking summer interns
by Ravi Nanavati 31 Mar '05

31 Mar '05

Bluespec, Inc. is a hardware design startup based in Waltham, Massachusetts that is building the next generation of Electronic Design Automation (EDA) tools. Bluespec's toolset, which is based on functional programming technology, delivers a high-level design and verification environment to current Verilog and VHDL designers of ASICs and FPGAs. Bluespec is the first high-level synthesis product that accelerates the design cycle and reduces verification costs while retaining the ability to deliver no-compromise hardware. Bluespec's technical team includes the noted programming-language luminaries Rishiyur Nikhil and Joe Stoy. Join Bluespec and be part of what's next in silicon design! For further details, please visit our website: www.bluespec.com Internship duration Full-time (40 hrs/week) during the summer of 2005. Roles and responsibilities Potential internship projects include: - Developing new language and tool features for the Bluespec synthesis engine, simulator and/or source-level GUI debugger - Creating hardware design benchmarks for synthesis and simulation - Designing and validating hardware design flows that include Bluespec and third-party EDA tools Interns will learn about cutting-edge approaches in hardware design and verification and will also gain experience with functional programming in a commercial context. Requirements - Currently enrolled in a BS/MS/PhD program with Computer Science or Electrical Engineering as a major - Strong programming background with a wide variety of languages (languages of specific interest include Haskell, C, Tcl/Tk and Perl) - Functional programming experience strongly preferred - Hardware design experience strongly preferred - Working knowledge of Linux/UNIX/Windows - Excellent communication, leadership and interpersonal skills - Knowledge of Verilog/VHDL/SystemVerilog/SystemC is a plus - Knowledge of current EDA products is a plus The number of internship slots is limited so applicants should send resumes to skp(a)bluespec.com (Sathyam Pattanam, VP Engineering) or careers(a)bluespec.com (Human Resources) as soon as possible. Thank you, - Ravi Nanavati

1 0

IFL'05 - preliminary CFP
by Andrew Butterfield 30 Mar '05

30 Mar '05

[as ever, apologies if you get this more than once] = Preliminary Call for Participation = Announcement and Call for Papers for the 17th International Workshop on the Implementation and Application of Functional Languages (IFL'05) September 19th-21st, 2005, Dublin, Ireland. Website: http://www.cs.tcd.ie/ifl05 E-mail: ifl05(a)cs.tcd.ie == Scope and Topics == The IFL workshops form a tradition that has lasted for nearly two decades. The aim of these workshops is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages. Topics of interest include, but are not limited to * language concepts * type checking * compilation techniques * generic programming techniques * (abstract) interpretation * automatic program generation * (abstract) machine architectures * formal aspects * array processing * concurrent/parallel programming * concurrent/parallel program execution * heap management * runtime profiling * performance measurements * debugging and tracing * verification * tools and programming techniques Papers on applications demonstrating the suitability of novel ideas in any of the above areas and contributions on related theoretical work are also welcomed. The change of the workshop name adding the term "application", introduced in 2004, is to reflect the broader scope IFL has gained over recent years. == Contributions == Prospective authors are encouraged to submit papers to be published in the draft proceedings (published as a technical report of the Department of Computer Science of the University of Dublin) and to give presentations at the workshop. All contributions must be written in English, conform to the Springer-Verlag LNCS series format, and not exceed 16 pages. http://www.springer.de/comp/authors/index.html or http://www.springeronline.com/ sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html Papers must be submitted by August 26th as postscript or pdf files through the workshop web page at http://www.cs.tcd.ie/ifl05/. All participants who give presentations at the workshop are invited to submit revised versions of their papers for the post-workshop proceedings. They will be refereed by the program committee according to normal conference standards. == Important Dates == * Jul 8th, 2005 Campus Accommodation deadline * Aug 7th, 2005 Registration deadline * Aug 26th, 2005 Submission deadline for draft proceedings * Sep 19th, 2005 Workshop starts in the morning * Sep 20th, 2005 Afternoon excursion and banquet dinner * Sep 21st, 2005 Workshop ends in the evening * Nov 7th, 2005 Submission deadline for post-refereeing process * Dec 16th, 2005 Notification of acceptance/rejection * Feb 3rd, 2006 Camera-ready papers due == Program Committee == * Matthias Blume, Toyota Technological Institute, Chicago, USA * Andrew Butterfield, (Chair) Trinity College Dublin, Ireland. * Clemens Grelck, University of Lubeck, Germany. * Zoltan Horvath, Eotvos Lorand University, Hungary. * Frank Huch, University of Kiel, Germany. * Joe Kiniry, National University of Ireland, Dublin. * Hans-Wolfgang Loidl, University of Munich, Germany. * Frederic Loulergue, University of Paris XII, Val de Marne, France. * Simon Marlow, Microsoft Research, Cambridge, UK * Marco T. Morazan, Seton Hall University, NJ, USA. * Barak Pearlmutter, National University of Ireland, Maynooth. * Rinus Plasmeijer, Radboud Universiteit Nijmegen, Netherlands. * Peter Thiemann, University of Freiburg, Germany. * German Vidal, Technical University of Valencia, Spain. * others to be confirmed == Workshop Organization == Andrew Butterfield, Department of Computer Science, University of Dublin. == Further Information == Website: http://www.cs.tcd.ie/ifl05 E-mail: ifl05(a)cs.tcd.ie -- ----------------------------------------------------------------------- Andrew Butterfield Tel: +353-1-608-2517 Fax: +353-1-677-2204 Department of Computer Science, O'Reilly Insititute Trinity College, University of Dublin, Ireland. Head of Foundations and Methods Research Group Course Director, B.A. (Mod.) Information & Communications Technology http://www.cs.tcd.ie/Andrew.Butterfield/ -----------------------------------------------------------------------

1 0

FMCO 2005: preliminary call for tutorial papers
by M.M. Bonsangue 30 Mar '05

30 Mar '05

PRELIMINARY CALL FOR TUTORIAL PAPERS 4th International Symposium on 1 - 4 November 2005 Formal Methods for Objects and Components CWI, Amsterdam (FMCO 2005) The Netherlands http://fmco.liacs.nl/fmco05.html The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: models and logics for object-oriented and component-based systems, formal aspects of analysis of large systems, prediction, analysis and monitoring of extra-functional system properties, applications of modal logics, temporal logics, and model checking for the specification and verification of object-oriented languages, type systems and type theory for objects and components, probabilistic systems, process calculi, and semantics of object and component oriented language, reasoning about security, trustworthiness and dependability of component-based systems. Important Dates --------------- Authors are invited to submit a title and a short abstract of one or two pages providing a tutorial perspective on research results or experience related to the topics above. Accepted abstracts will be presented at the symposium and an extended tutorial paper of about 20 pages in LNCS style will be refereed and eventually published together with the contributions of the keynote speakers after the symposium, in a proceeding of Lecture Notes in Computer Science by Springer-Verlag. Selected papers will be published in revised and extended version in the Elsevier journal Theoretical Computer Science. Title and short abstract due: 5 Sep 2005 Tutorial paper due: 28 Feb 2006 Author notification: 1 Oct 2005 Author notification: 15 Apr 2006 Symposium: 1-4 Nov 2005 Camera-ready paper due: 15 May 2006 The short abstracts must be in English and provide sufficient detail to allow the organizing committee and the advisory board to assess the merits of the related tutorial paper. One author of each accepted abstract will be expected to present the tutorial at the conference. The tutorial paper must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial paper must be submitted electronically to F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl) Format ------ The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interaction. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. Keynote speakers and advisory board ----------------------------------- Michael Barnett (Microsoft, USA) Lus Caires (New University of Lisbon, PT) Patrick Cousout (ENS, FR) Dennis Dam (Bell Labs, USA) Wan Fokkink (Free University, NL) Orna Grumberg (Technion, ISR) Joost-Pieter Katoen (RWTH Aachen, DE) Kung-Kiu Lau (University of Manchester, UK) Peter O' Hearn (Queen Mary University of London, UK) Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) John Reynolds (Pittsburg University, USA) Davide Sangiorgi (Universita di Bologna, IT) Organizing committee -------------------- F.S. de Boer (CWI and LIACS-Leiden University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (Christian-Albrechts University of Kiel) ================================================================================ For more information about the symposium see the FMCO site above or consult either F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl)

1 0

RE: [Haskell] URLs in haskell module namespace
by Simon Marlow 29 Mar '05

29 Mar '05

On 23 March 2005 13:11, Malcolm Wallace wrote: > I think this will be trivially possible once the compilers support > multiple versioning of packages. (Ghc may even support it already.): > > {-# OPTIONS -package foo-1.0 #-} > module Old (module Foo) where > import Foo > > {-# OPTIONS -package foo-2.2 #-} > module New (module Foo) where > import Foo > > module Convert where > import qualified Old > import qualified New > convert (Old.Foo x y) = New.Foo y x We're not going to support this, at least for the forseeable future. It's a pretty big change: every entity in the program becomes parameterised by the package name as well as the module name, because module names can overlap. This means a change to the language: there might be multiple types called M.T in the program, which are not compatible (they might have different representations). You can't pass a value of type M.T that you got from version 1.0 of the package to a function expecting M.T in version 2. This issue came up in the thread about grafting from late 2003 on the libraries list (sorry don't have a link to hand). Cheers, Simon

2 1

RE: [Haskell] Haskell on QNX?
by Simon Marlow 29 Mar '05

29 Mar '05

On 24 March 2005 10:11, Malcolm Wallace wrote: > "Matthew M. Munz" <mmm92(a)pantheon.yale.edu> writes: > >> Is it possible to compile and run Haskell programs on QNX? [1] >> [1] http://www.qnx.com/ > >> From a brief glance at the QNX website, it appears to support POSIX, >> GNU > make tools, and gcc-compatible C compilers. Thus it should be > possible > to get either Hugs or nhc98 up and running very quickly, maybe even > straight out of the box, on all architectures. > > It is also likely that ghc could be persuaded to bootstrap (with a > little work) on at least PowerPC and ix86 platforms, since the native > codegen for those architectures is well maintained - MIPS, SH-4, > StrongARM, and Xscale would be much more of a challenge for ghc > though! Unregisterised C compilation (compiling via plain ANSI C) is well supported in GHC. Some of our ports use unregisterised C only, in fact. Compiling GHC on an "unsupported" architecture is just a matter of following the step-by-step porting instructions in the building guide: http://www.haskell.org/ghc/docs/latest/html/building/sec-porting-ghc.htm l which many people have successfully done. Maybe this will help dispell the myth that GHC is not portable :-) Cheers, Simon

1 0

Haskell 6.4 perfomance
by Alexandre 29 Mar '05

29 Mar '05

As I heard, 6.4 version of the Haskell using C-- backend and make lots of the resulting code perfomance (programs executed faster). If so, does any test/comparison with other languages available? Thank you in advance, Regards, /Alexandre.

3 3