- Haskell - Haskell.org

Call For Papers - ICLP 2006
by A Serebrenik 14 Nov '05

14 Nov '05

FIRST CALL FOR PAPERS ICLP'06 22nd International Conference on Logic Programming Seattle, Washington, USA, 17-20 August, 2006 http://www.cs.uky.edu/iclp06/ Part of Fourth Federated Logic Conference, FLoC 2006 http://research.microsoft.com/floc06/ 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: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. * Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Alternative Paradigms: Constraint Logic Programming, Abductive Logic Programming, Inductive Logic Programming, Answer-Set Programming. * Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, several workshops and Doctoral Student Consortium. Details, as they become available will be posted at http://www.cs.uky.edu/iclp06/ PAPERS AND POSTERS Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (cf. http://www.springer.de/comp/lncs/index.html) The limit for posters is 2 pages in that format. The primary means of submission will be electronic. More information on the submission procedure will be available at http://www.cs.uky.edu/iclp06/ 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. SUPPORT SPONSORING AND AWARDS 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 awards for ICLP'06: for the best technical paper and for the best student paper. IMPORTANT DATES Papers Posters Abstract submission deadline 14 February N/A Submission deadline 21 February 14 March Notification of authors 7 April 14 April Camera-ready copy due 2 May 2 May ICLP'2006 ORGANIZATION General Chair: Manuel Hermenegildo (herme(a)fi.upm.es) Program Co-Chairs: Sandro Etalle (s.etalle(a)utwente.nl) Mirek Truszczynski (mirek(a)cs.uky.edu) Workshop Chair: Christian Schulte (schulte(a)imit.kth.se) Doctoral Student Consortium: Enrico Pontelli (epontell(a)cs.nmsu.edu) Publicity Chair: Alexander Serebrenik (a.serebrenik(a)tue.nl) PROGRAM COMMITTEE Maria Alpuente Krzysztof Apt Annalisa Bossi Veronica Dahl Giorgio Delzanno Pierre Deransart Agostino Dovier Thomas Eiter Sandro Etalle, co-chair John Gallagher Michael Gelfond Hai-Feng Guo Manuel Hermenegildo Tomi Janhunen Fangzhen Lin Michael Maher Victor Marek Eric Monfroy Stephen Muggleton Brigitte Pientka Maurizio Proietti I.V. Ramakrishnan Peter van Roy Harald Sondergaard Mirek Truszczynski, co-chair German Vidal Andrei Voronkov Roland Yap CONFERENCE VENUE The conference will be a part of the fourth Federated Logic Conference (FLoC'06) to be held August 10-21, 2006, in Seattle, Washington (http://research.microsoft.com/floc06/) Other participating conferences are: Computer-Aided Verification (CAV), Rewriting Techniques and Applications (RTA), Logic in Computer Science (LICS), Theory and Applications of Satisfiability Testing (SAT), and Int'l Joint Conference on Automated Reasoning (IJCAR). Plenary events involving multiple conferences are planned.

1 0

Evaluation in hugs X ghc(i)
by Dusan Kolar 14 Nov '05

14 Nov '05

Hello all, My question may appear to be absolutely FAQ, in the end. Sorry for that if it's true. I've run some algorithms using ghc, ghci and hugs during the weekend. Some of them required wast amount of memory. From the results obtained, it seems like hugs is more eager on memory consumption or it evaluates with a different strategy than the ghc(i) does. Is there any difference? If yes, where can I read it? If not, is memory consumption of hugs given "just" by the fact it uses spineless tagless G-machine and not a code compiled to the binary of the target? If it is the point, how can I change compilation to allocate as much memory as I have effectively usable on my machine - I will supply the number on cmnd line, but from certain limit above no effect seems to be made ? Dusan -- Dusan Kolar tel: +420 54 114 1238 UIFS FIT VUT Brno fax: +420 54 114 1270 Bozetechova 2 e-mail: kolar(a)fit.vutbr.cz Brno 612 66 Czech Republic --

1 0

Re: [Haskell] Making Haskell more open
by Andrea Sassanelli 14 Nov '05

14 Nov '05

Sorry to intrude myslf like this in the conversation. First of all, let me present myself: My name is Andrea Sassanelli, and I'm Italian. I have just started studying Haskell at the UoEdinburgh this year, and immediatelly fell in love with it. On a sidenote, the wikipedia does rely on moderators who review the changes, but common users are able to undo changes as well, and can therefore bring a maliciously messed up page back to it's origiinal state. Basically MediaWiki/WikiPedia rely on the assumption that there are more good folk than bad folk, and this (IMHO) should be even more true in the case of a relatvelly "medium/small-scale" thing like the Haskell Documentation (small compared to a whole encyclopedia, i mean). Open documentation like this is definitelly a good idea to make the language docs not only more accessible, but also more user-friendly, and would surely give a positive image to the community as a whole. I unfortunatelly am not suted (?yet?) to work on any usefull documentation, as I am a novice, but I think the system would work. Andrea Sassanelli

6 8

Haskell based web server?
by Gregory Woodhouse 13 Nov '05

13 Nov '05

I've been reading the article "Tackling the Awkward Squad" by Simon Peyton Jones (and find it very readable and useful, BTW). I wonder if the HTTP/1.1 server referred to in this article is available on the web. If not, where else can I look for examples of TCP/IP based server applications written in Haskell? I ask because I'm very much a Haskell newbie, but have spent several years developing interfaces for medical information systems based on HL7, and am interested (among other things) in the possibilities of using Haskell to develop safety critical systems. === Gregory Woodhouse gregory.woodhouse(a)sbcglobal.net "Einstein was a giant. He had his head in the clouds and his feet on the ground." --Richard P. Feynman

3 5

RE: [Haskell] Making Haskell more open
by Simon Marlow 13 Nov '05

13 Nov '05

On 11 November 2005 12:57, Wolfgang Jeltsch wrote: > Am Donnerstag, 10. November 2005 12:27 schrieb Simon Peyton-Jones: >> [...] > >> - Work is afoot to move GHC's source-code repository to Darcs, to >> make it easier for people to contribute patches > > Is it planned to split the current big monolithic repository into > multiple repositories in conjunction with doing the CVS-to-darcs > transition? I'd strongly recommend this. What do others think? We do plan to split the repository into several chunks, and over time some of the libraries will migrate into their own repositories. Here is the current plan: http://www.haskell.org//pipermail/cvs-ghc/2005-November/027174.html >> [...] > >> * The GHC user manual [currently generated using DocBook] > > I think it should continue to be written in DocBook. (It should > switch to DocBook XML if it's still using SGML DocBook.) XML > documents are "type-safe" in contrast to LaTeX documents, for > example. XML is well supported. DocBook stresses logical markup and > allows very specific markup and therefore supports conversion into > different formats (HTML, PDF, ...) very well. > Again, what do others think? We already use DocBook XML, and I'm relatively pleased with it, except for the fact that it's far from easy to set up a working DocBook toolchain on your system unless your OS of choice is up to date and has a well-maintained set of DocBook packages. Cheers, Simon

7 8

Re[4]: [Haskell] Haskell users survey--please respond!
by Bulat Ziganshin 12 Nov '05

12 Nov '05

Hello John, Saturday, November 12, 2005, 2:00:13 AM, you wrote: >> how about adding question about features people want in Haskell 1.6? JH> I'll think about this. I really liked your idea of a "permanent JH> survey"--when I get back from Argentina I'll think about setting that up. JH> Clearly, lots of people are interested in this! some more thoughts: if this survey will become permanent, it will can - and even need - to become larger. someone can log in, answer several questions, logout, then answer next several questions on next day and so on i don't know what will say about this idea GHC team, but my first candidate to including in this "permanent survey" is obvious - the GHC survey we are filled in March. i also more like it's organization - several variants of answers and free-form fields for comments moreover, it will be interseting if anyone will have ability to add not only new answer variants, but new questions and even whole new categories and sub-categories. so, one day Simon itself can log in, add "GHC" section, "features" subsection, "optimization" sub-subsection and write several questions in this sub-subsection. next day i will log in and add section "My SuperLib" and ask what i want. third day John will publish his proposal about hyper-classes and give us hyper-link to place where we immediately can vote for or against this proposal it will be like magic. and tommorrow all wiki systems will add this feature to their abilities :) one feature i found interesting on www.ruby-lang.org site is regular polls about adding new features to the language. i think that by establishing user-extensible questionnaire with permanent database we can go even further and make possible to everyone easily gather opinions about everything related to Haskell -- Best regards, Bulat mailto:bulatz@HotPOP.com

1 0

SAS 2006: First Call for Paper
by Kwangkeun Yi 12 Nov '05

12 Nov '05

***************************************************************************** First Call For Papers The 13th International Static Analysis Symposium (SAS'06) Seoul, Korea 29-31 August 2006 http://ropas.snu.ac.kr/sas06 ***************************************************************************** IMPORTANT DATES Submission: 7 April 2006 Notification: 26 May 2006 Camera-ready: 10 June 2006 SUMMARY Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Thirteenth International Static Analysis Symposium (SAS'06) will be held in Seoul, hosted by the Seoul National University. Previous symposia were held in London, Verona, San Diego, Madrid, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur. The technical program for SAS'06 will consist of invited lectures, tutorials, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to abstract domains abstract interpretation abstract testing bug detection data flow analysis model checking program specialization security analysis theoretical frameworks type checking verifications new applications Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcomed. SUBMISSIONS INFORMATION - All submissions be submitted electronically online via the symposium web page http://ropas.snu.ac.kr/sas06. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. - Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them. - Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. - Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. - The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series. PROGRAM CHAIR: Kwangkeun Yi (Seoul National U., Korea) Email: kwang(a)ropas.snu.ac.kr PROGRAM COMMITTEE: Anindya Banerjee (Kansas State U., USA) Wei-Ngan Chin (National U. of Singapore, Singapore) Patrick Cousot (ENS Paris, France) Roberto Giacobazzi (U. of Verona, Italy) Chris Hankin (Imperial College, UK) Luddy Harrison (U. of Illinois at Urbana-Champaign, USA) Naoki Kobayashi (Tohoku U., Japan) Oukseh Lee (Hanyang U., Korea) Alan Mycroft (U. of Cambridge, UK) Kedar Namjoshi (Bell Labs., USA) Jens Palsberg (UCLA, USA) Andreas Podelski (Max-Planck-Institut, Germany) Ganesan Ramalingam (IBM T.J.Watson, USA) Radu Rugina (Cornell U., USA) Harald Sondergaard (U. of Melbourne, Australia) Zhendong Su (UC Davis, USA) Reinhard Wilhelm (U. des Saarlandes, Germany) Kwangkeun Yi (Seoul National U., Korea) ************************************************************************

1 0

CfP LDTA 2006
by Eric Van Wyk 11 Nov '05

11 Nov '05

Call for Papers for Sixth Workshop on Language Descriptions, Tools and Applications LDTA 2006 A satellite event of ETAPS 2006 in Cooperation with ACM SIGPLAN Saturday, April 1, 2006 in Vienna, Austria http://ldta06.cs.umn.edu Scope: ------ The aim of this one-day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and language technologies, with a special emphasis on tools developed for or with these language definitions. This active area of research involves the following basic technologies: - Program analysis, transformation, and generation - Formal analysis of language properties - Automatic generation of language processing tools For example, language definitions can be augmented in a manner so that not only compilers or interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, documentation generators, etc. Although various specification formalisms like attribute grammars, action semantics, operational semantics, and algebraic approaches have been developed, they are not widely exploited in current practice. It is the aim of the LDTA workshops to bridge this gap between theory and practice. Among others, the following application domains can benefit from advanced language technologies: - Software component models and modeling languages - Re-engineering and re-factoring - Aspect-oriented programming - Domain-specific languages - XML processing - Visualization and graph transformation - Programming environments such as Eclipse, .net, Rotor, SUN Java, etc. The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions. Invited Speaker: ---------------- The invited speaker for LDTA 2006 is Jean Bezivin, Universite de Nantes. Important Dates: ---------------- - Submission deadline: December 1, 2005. - Notification: January 16, 2006 - Final version due: February 15, 2006 - Workshop: April 1, 2006 Submission Procedure and Publication: ------------------------------------- Submission will be open from autumn 2005. Two classes of papers are solicited: full-length research papers and short tool-demo papers. Tool-demo papers should contain a brief description of the tool and include a section that clearly explains what will be demonstrated. Full-length papers should be at most 15 pages in length and tool-demo papers should be at most 4 pages in length. Both classes of papers should be submitted electronically as PostScript or PDF files to both of the program committee chairs, John Tang Boyland at Boyland(a)cs.uwm.edu and Tony Sloane at asloane(a)ics.mq.edu.au. The message should also contain a text-only abstract and contact author information. Additional submission details, along with LaTeX style files, are available on the LDTA 2006 web page: \texttt{ldta06.cs.umn.edu}. The final versions of accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and will be made available during the workshop. The authors of the best full-length papers will be invited to write a journal version of their paper which will be separately reviewed and, assuming acceptance, be published in journal form. As in past years, this will be done in a a special issue devoted to LDTA 2006 of the journal Science of Computer Programming (Elsevier Science). Program Committee: ------------------ - Uwe Assmann, Dresden Technical University, Germany - John Tang Boyland, University of Wisconsin-Milwaukee, USA (co-chair), Boylan(a)cs.uwm.edu - Jim Cordy, Queen's University, Canada - Jan Heering, Centrum voor Wiskunde en Informatica (CWI), The Netherlands - Nigel Horspool, University of Victoria, Canada - Johan Jeuring, Utrecht University, The Netherlands - Adrian Johnstone, Royal Holloway, University of London, UK - Steven Klusener, Vrije Universiteit, The Netherlands - David Lacey, University of Warwick, United Kingdom - Brian Malloy, Clemson University, USA - Paul Roe, Queensland University of Technology, Australia - Michael Schwartzbach, BRICS, University of Aarhus, Denmark - Tony Sloane, Macquarie University, Australia (co-chair), asloane(a)ics.mq.edu.au - Yannis Smaragdakis, Georgia Institute of Technology, USA - David Watt, University of Glasgow, Scotland - David Wile, Teknowledge Corp, USA Organizing Committee: --------------------- - Eric Van Wyk, University of Minnesota, Minneapolis, USA, evw(a)cs.umn.edu - Joost Visser, University of Minho, Braga, Portugal, Joost.Visser(a)di.uminho.pt

1 0

Making Haskell more open
by Victor Blomqvist 11 Nov '05

11 Nov '05

"Simon Peyton-Jones" <simonpj at microsoft.com> writes: > The important thing is that these mechanisms should work without any > central intervention. These are just two suggestions. Perhaps there > are other such mechanisms that we could put in place. Ideas? One thing I have missed ever since I first visited haskell.org is a web forum. I guess most of the people reading/posting on the mailinglists are used to it and like it, but I prefer forums. Actually, I have never posted here before, but I usually read the (for me) intresting parts from the Haskell Archives. However, I have not read a forum-discussion yet, and since noone has proposed it I felt that I should do a post about it. /vb

9 18

RE: Re[2]: [Haskell] Making Haskell more open
by Simon Marlow 11 Nov '05

11 Nov '05

On 11 November 2005 15:48, Bulat Ziganshin wrote: > Friday, November 11, 2005, 5:51:55 PM, you wrote: > >>>> * The GHC user manual [currently generated using DocBook] >>> >>> I think it should continue to be written in DocBook. (It should >>> switch to DocBook XML if it's still using SGML DocBook.) XML >>> documents are "type-safe" in contrast to LaTeX documents, for >>> example. XML is well supported. DocBook stresses logical markup >>> and allows very specific markup and therefore supports conversion >>> into different formats (HTML, PDF, ...) very well. >>> Again, what do others think? > >> We already use DocBook XML, and I'm relatively pleased with it, >> except for the fact that it's far from easy to set up a working >> DocBook toolchain on your system unless your OS of choice is up to >> date and has a well-maintained set of DocBook packages. > > how it will be possible to contribute in ghc docs? for example, if i > wrote template haskell doc in MS Word, can i fo somethong to make it > ready to including in ghc docs? You can either author in DocBook XML directly, or send us chunks of plain text and we'll do the markup for you (obviously we prefer the former, though). Cheers, Simon

2 1