[ ghc-Bugs-1162321 ] GHCi - the impossible happens when loading Win32 package
Bugs item #1162321, was opened at 2005-03-13 07:45 Message generated for change (Comment added) made by simonmar You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1162321group_id=8032 Category: hslibs/win32 Group: None Status: Closed Resolution: Fixed Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: GHCi - the impossible happens when loading Win32 package Initial Comment: This happens with vanilla GHC 6.4 on Windows XP, on 2 out of 2 machines I tried. C:\ghc\ghc-6.4\binghci -package Win32 ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98. / /_\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Loading package Win32-1.0 ... ghc.exe: Not x86 PEi386 ghc.exe: panic! (the `impossible' happened, GHC version 6.4): loadObj: failed Please report it as a compiler bug to glasgow-haskell-bugs@haskell.org, or http://sourceforge.net/projects/ghc/. - or - C:\ghc\ghc-6.4\binghci ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98. / /_\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Prelude System.Win32.DLL.loadLibrary user32 Loading package Win32-1.0 ... interactive: Not x86 PEi386 ghc.exe: panic! (the `impossible' happened, GHC version 6.4): loadObj: failed Please report it as a compiler bug to glasgow-haskell-bugs@haskell.org, or http://sourceforge.net/projects/ghc/. -- Comment By: Simon Marlow (simonmar) Date: 2005-04-01 10:40 Message: Logged In: YES user_id=48280 Fixed in a later build -- Comment By: Nobody/Anonymous (nobody) Date: 2005-03-13 07:46 Message: Logged In: NO I forgot to specify my email address -- it's [EMAIL PROTECTED] -- You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1162321group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
RE: Printf's in foreign code segfault on registerised amd64 ghc-6.4
On 12 March 2005 15:10, Gabriel Ebner wrote: If I compile that on amd64 (gentoo, gcc-3.4.3, glibc-2.3.4, binutils-2.15.92.0.2) using registerised ghc-6.4 and run it, it segfaults. According to gdb, printf's segfaulting: #0 0x2afcb515 in printf () from /lib/libc.so.6 #1 0x00402f3c in frobnicate () at frobnicate.c:4 #2 0x00402d2d in s1oH_info () #3 0x in ?? () #4 0x in ?? () If I compile it using unregisterised ghc-6.2.2 on the same box or using ghc-6.4 in a i386 chroot, it runs fine and prints 6378137. I believe I have fixed this. The problem was that in the registerised build, we weren't maintaining the correct stack alignment for foreign calls, and printf() relies on having the right alignment because it saves the %xmm registers on the stack as part of the varargs magic. Cheers, Simon ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[ ghc-Bugs-1174893 ] ghc-6.4 crashes on windows 2000
Bugs item #1174893, was opened at 2005-04-01 08:19 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1174893group_id=8032 Category: Compiler Group: 6.4 Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: ghc-6.4 crashes on windows 2000 Initial Comment: Today I installed ghc-6.4 (binary) on windows 2000. I tried to compile my webserver. It consists of very basic code and uses no fancy features (although I need to give -fglasgow-exts for some empty data declarations etc.). Under linux (mandrake 10.1), ghc 6.4 (also a binary) compiles my webserver just fine. Under windows, however, ghc crashes 90% of the runs, giving various scary error messages, such as: *** ghc.exe: internal error: scavenge: unimplemented/strange closure type 44304 @ 01F6137C *** ghc.exe - Application Error The exception Illegal Instruction An attempt was made to execute an illegal instruction. (0x) occurred in the application at location 0x. *** ... HTTP.o(.data+0x6830):fake: undefined reference to `TextziParserCombinatorziParsecziPrim_many_closure' HTTP.o(.data+0x6834):fake: undefined reference to `TextziParserCombinatorziParsecziPrim_zdfMonadGenParser_closure' HTTP.o(.data+0x6838):fake: undefined reference to `TextziParserCombinatorziParsecziChar_char_closure' E:/prog/haskell/ghc-6.4/libHSrts.a(Main.o)(.text+0x87):Main.c: undefined reference to `__stginit_ZCMain' E:/prog/haskell/ghc-6.4/libHSrts.a(Main.o)(.text+0xa1):Main.c: undefined reference to `ZCMain_main_closure' *** After ~20 tries, the program finally compiled and seems to run ok. The crashes seem to occur regardless of optimisation flags. Please contact me at [EMAIL PROTECTED] if you need to know anything else. -- Comment By: Nobody/Anonymous (nobody) Date: 2005-04-01 11:58 Message: Logged In: NO I just recompiled under linux, and got several errors there too: segmentation faults, assembler errors, internal error: scavenge: unimplemented/strange closure type 0, etc. This makes me suspect that the crashes are due to a hardware error. Arie Peterson [EMAIL PROTECTED] -- You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1174893group_id=8032 ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
package.conf in ghc 6.4
Hi all, I am using ghc 6.4 on a Mac, with the binary distribution available from your site. I have a suspision that the package.conf file distributed with it, is incorrect. I am trying to install HSQL. During installation, it issues the command: /usr/local/bin/ghc-pkg -u -g -i hsql.pkg with yields: Reading package info from hsql.pkg ghc-pkg: Line 1: Invalid syntax (no colon after field name) To me, the hsql.pkg file looks sane: Package {name = hsql, auto=True, import_dirs = [/Users/rherk/soft/HSQL/lib/HSQL/GHC/imports], source_dirs = [], library_dirs = [/Users/rherk/soft/HSQL/lib/HSQL/GHC,/Users/rherk/soft/mysql/lib/mysql], hs_libraries = [HSsql], extra_libraries = [mysqlclient,mysqlclient,m,z], include_dirs = [], c_includes = [], package_deps = [base], extra_ghc_opts = [], extra_cc_opts = [], extra_ld_opts = [], framework_dirs = [], extra_frameworks = [] } However, the package.conf file looks somewhat strange (and huge). I have attached it to this mail. Could you please tell me what is wrong? Thanks! Regards, Robert [InstalledPackageInfo {package = PackageIdentifier {pkgName = rts, pkgVersion = Version {versionBranch = [1,0], versionTags = []}}, license = BSD3, copyright = , maintainer = glasgow-haskell-users@haskell.org, author = , stability = , homepage = , pkgUrl = , description = , category = , exposed = True, exposedModules = [], hiddenModules = [], importDirs = [], libraryDirs = [/usr/local/lib/ghc-6.4], hsLibraries = [HSrts], extraLibraries = [m], includeDirs = [/usr/local/lib/ghc-6.4/include], includes = [Stg.h], depends = [], hugsOptions = [], ccOptions = [], ldOptions = [-u,_GHCziBase_Izh_static_info,-u,_GHCziBase_Czh_static_info,-u,_GHCziFloat_Fzh_static_info,-u,_GHCziFloat_Dzh_static_info,-u,_GHCziPtr_Ptr_static_info,-u,_GHCziWord_Wzh_static_info,-u,_GHCziInt_I8zh_static_info,-u,_GHCziInt_I16zh_static_info,-u,_GHCziInt_I32zh_static_info,-u,_GHCziInt_I64zh_static_info,-u,_GHCziWord_W8zh_static_info,-u,_GHCziWord_W16zh_static_info,-u,_GHCziWord_W32zh_static_info,-u,_GHCziWord_W64zh_static_info,-u,_GHCziStable_StablePtr_static_info,-u,_GHCziBase_Izh_con_info,-u,_GHCziBase_Czh_con_info,-u,_GHCziFloat_Fzh_con_info,-u,_GHCziFloat_Dzh_con_info,-u,_GHCziPtr_Ptr_con_info,-u,_GHCziPtr_FunPtr_con_info,-u,_GHCziStable_StablePtr_con_info,-u,_GHCziBase_False_closure,-u,_GHCziBase_True_closure,-u,_GHCziPack_unpackCString_closure,-u,_GHCziIOBase_stackOverflow_closure,-u,_GHCziIOBase_heapOverflow_closure,-u,_GHCziIOBase_NonTermination_closure,-u,_GHCziIOBase_BlockedOnDeadMVar_closure,-u,_GHCziIOBase_BlockedIndefinitely_closure,-u,_GHCziIOBase_Deadlock_closure,-u,_GHCziWeak_runFinalizzerBatch_closure,-u,___stginit_Prelude], frameworkDirs = [], frameworks = [GMP], haddockInterfaces = [], haddockHTMLs = []},InstalledPackageInfo {package = PackageIdentifier {pkgName = base, pkgVersion = Version {versionBranch = [1,0], versionTags = []}}, license = BSD3, copyright = , maintainer = [EMAIL PROTECTED], author = , stability = , homepage = , pkgUrl = , description = , category = , exposed = True, exposedModules =
wx library trouble
Hi, I compiled successful the wxHaskell lib. But when I want to start ghci -package wx following error occurs: Loading package concurrent-1.0 ... linking ... done. Loading package wxcore-0.9 ... linking ... ghc-6.4.20050320: /home/izbifs/scheibe/built/lib/wxcore2.o: unknown symbol `wxcWakeUpIdle' *** Deleting temp files Deleting: ghc-6.4.20050320: unable to load package `wxcore-0.9' I have a running wxHaskell home. Same configuration... wxGtk version, wxhaskell version, same config options except of the prefix. In university it is installed local but I set the LD_LIBRARY_PATH. How can I figure out what's wrong? Can find out where and why the function `wxcWakeUpIdle' is available home and where are the differences? Has anybody a good hint where to start or what to check? Any help is welcome Cheers Patrick PS: Additional informations.. i386 GNU/Linux Fedora gtk+-1.2.10-33 gtk+-devel-1.2.10-33 wxGTK-2.4.2 wxHaskell 0.9 ghc version 6.4.20050320 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: wx library trouble
Hi Patrick, After taking your advice the other day, this is where I got to as well. I am having almost exactly the same problem. If I had to guess I would say that wxcore2.a isn't linked with or can't see a library or object file containing wxcWakeUpIdle. What lib and where it's _supposed_ to be I'm not sure. Here's what I get on winXP when I issue ghci -package wx ... C:\Documents and Settings\Jeff Lasslettghci -package wx ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Loading package haskell98-1.0 ... linking ... done. Loading package mtl-1.0 ... linking ... done. Loading package lang-1.0 ... linking ... done. Loading package QuickCheck-1.0 ... linking ... done. Loading package util-1.0 ... linking ... done. Loading package data-1.0 ... linking ... done. Loading package concurrent-1.0 ... linking ... done. Loading package wxcore-0.9 ... linking ... ghc.exe: C:/cygwin/usr/local/lib/wxcore2.o: unknown symbol `_wxcWakeUpIdle' ghc.exe: unable to load package `wxcore-0.9' C:\Documents and Settings\Jeff Lasslett To the list, any help sorting this out would be appreciated. Cheers, Jeff On Apr 2, 2005 7:37 AM, Patrick Scheibe [EMAIL PROTECTED] wrote: Hi, I compiled successful the wxHaskell lib. But when I want to start ghci -package wx following error occurs: Loading package concurrent-1.0 ... linking ... done. Loading package wxcore-0.9 ... linking ... ghc-6.4.20050320: /home/izbifs/scheibe/built/lib/wxcore2.o: unknown symbol `wxcWakeUpIdle' *** Deleting temp files Deleting: ghc-6.4.20050320: unable to load package `wxcore-0.9' I have a running wxHaskell home. Same configuration... wxGtk version, wxhaskell version, same config options except of the prefix. In university it is installed local but I set the LD_LIBRARY_PATH. How can I figure out what's wrong? Can find out where and why the function `wxcWakeUpIdle' is available home and where are the differences? Has anybody a good hint where to start or what to check? Any help is welcome Cheers Patrick PS: Additional informations.. i386 GNU/Linux Fedora gtk+-1.2.10-33 gtk+-devel-1.2.10-33 wxGTK-2.4.2 wxHaskell 0.9 ghc version 6.4.20050320 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
[Haskell] FMCO 2005: preliminary call for tutorial papers
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 ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). 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 ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] IFL'05 - preliminary CFP
[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: [EMAIL PROTECTED] == 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: [EMAIL PROTECTED] -- --- 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/ --- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ICLP 2005: Call for Papers
--- 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 FormalismsMemory Management Nonmonotonic ReasoningVirtual Machines Knowledge Representation Parallelism Environments Alternative Paradigms Program Analysis Constraint Logic Programming Program TransformationAbductive Logic Programming Validation and Verification Inductive Logic Programming Debugging, Profiling Answer Set Programming Language IssuesApplications 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
[Haskell] LPAR-12 in Jamaica
-- 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 due7th November Questions related to submission may be sent to the program chairs, Geoff Sutcliffe and Andrei Voronkov. -- Jamaica ... Land of LPAR and Reggae -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] 7th ECOOP Workshop on Formal Techniques for Java-like Programs
[ 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 ([EMAIL PROTECTED]) 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 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] FLoC 2006 Preliminary Announcement
Preliminary Announcement --- FLoC'06 The 2006 Federated Logic Conference Seattle, Washington, USA August 10 -- August 22, 2006 http://research.microsoft.com/projects/FLoC2006/home.html http://research.microsoft.com/floc06/ In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002. We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (http://www.sheraton.com/seattle). The following conferences will participate in FLoC. Int'l Conference on Computer-Aided Verification (CAV) Int'l Conference on Rewriting Techniques and Applications (RTA) IEEE Symposium on Logic in Computer Science (LICS) Int'l Conference on Logic Programming (ICLP) Int'l Conference on Theory and Applications of Satisfiability Testing (SAT) Int'l Joint Conference on Automated Reasoning (IJCAR) Pre-conference workshops will be held on August 10-11. LICS, RTA, and SAT will be held in parallel on August 12-15, to be followed by mid-conference workshops and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in parallel on August 16-21, to be followed by post-conference workshops on August 21-22. Plenary events involving all the conferences are planned. Calls for papers and call for workshop proposals will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC web page (see above) later this summer. FLoC'06 Steering Committee Moshe Y. Vardi (General Chair) Jakob Rehof (Conference Chair) Edmund Clarke (CAV) Reiner Hahnle (IJCAR) Manuel Hermenegildo (ICLP) Phokion Kolaitis(LICS) Henry Kautz (SAT) Aart Middeldorp (RTA) Andrei Voronkov (IJCAR) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] How to make Haskell more popular
1) If another language has a feature, add it to Haskell, so that absolutely everything can be done in more than one way. This allows people to write Haskell programmes without going through the tiresome process of learning Haskell.` 2) Overload the syntax so that the Hamming distance between syntactically valid programmes is very small 3) Allow casting of any type to any other. 2 and 3 together mean that the programmer wins the fight with the compiler more often, and can get on with the exciting business of debugging. 4) Add lots of libraries with widely different styles of interface lacking any recognisable algebraic properties. This makes it hard to learn the libraries, so the programmer gets increased satisfaction when the task is finally completed, and a programmer who understands a given library becomes more valuable in the market. 4a) write the libraries at a low level of abstraction, using as few sophisticated features as possible. This makes it easier for novice programmers to modify libraries and add *features* 5) Static type checking is for wimps. Move it all to runtime, so debugging is even more exciting. With 3, this allows us the glorious possibility of using the same value in different types with different meanings, mimicking PHP's wonderful strpos etc, where the return value zero indicates failure if it's a boolean or success if it's an integer. 6) Use strings for abbreviated syntax, so avoiding even syntax checking at compile time. 7) On second thoughts, all syntax checking is for wimps. Move the rest of it to runtime too. After all, /part/ of the programme might produce plausible output, and we wouldn't want to miss out on that. This adds the further exciting possiblity that end-users will get to see Haskell syntax errors, so more of the world will hear of Haskell. -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] How to make Haskell more popular
You omitted: 8) Rename Haskell to VB (or Java or C++ or C#, whichever polls prove to be most popular). -- Colin Paul Adams Preston Lancashire ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] How to make Haskell more popular
On Apr 1, 2005 12:28 PM, Jon Fairbairn [EMAIL PROTECTED] wrote: 1) If another language has a feature, add it to Haskell, so ... Bah! Why don't you just use Perl! :-) /S -- Sebastian Sylvan +46(0)736-818655 UIN: 44640862 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] How to make Haskell more popular
FYI Perl 6 is being implemented in Haskell (in 4k of code!), so you can do both! Project: http://pugscode.org/ Interview: http://www.perl.com/pub/a/2005/03/03/pugs_interview.html -Alex- On Fri, 1 Apr 2005, Sebastian Sylvan wrote: On Apr 1, 2005 12:28 PM, Jon Fairbairn [EMAIL PROTECTED] wrote: 1) If another language has a feature, add it to Haskell, so ... Bah! Why don't you just use Perl! :-) /S -- Sebastian Sylvan +46(0)736-818655 UIN: 44640862 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell __ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CfP: PDMC'05 at ICALP'05
[[ -- Apologies for multiple copies of this message -- ]] = Call for Papers 4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION (PDMC 2005) July 10, 2005 - Lisboa, Portugal Workshop affiliated to ICALP'05 http://pdmc.informatik.tu-muenchen.de = OBJECTIVES: The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing of verification techniques. The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, and equivalence checking are anticipated. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshop will consist of invited talks and a selection from submitted papers. SCOPE AND TOPICS: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Topics of interest include, but are not limited to: * parallel and distributed model checking * parallel and distributed equivalence checking * parallel and distributed satisfiability checking * slicing and distributing the state space * distributed theorem proving * distributed constraints solving * parallel methods in probabilistic model checking * file systems for distributed transitions systems * parallel methods in performance evaluation * tools and case studies * industrial applications INVITED SPEAKER: * Kim G. Larsen (Aalborg University, Denmark) SUBMISSION GUIDELINES: There are two categories of submissions: regular papers and presentations. * Manuscripts of regular papers are limited to a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). * Presentations report on relevant results submitted to other forums or already published or on not yet finished work in progress. Presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings. The space limit for presentations is 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). Submissions should be made electronically using PDMC'05 Submission Page. PROCEEDINGS: The preliminary workshop proceedings will be available at the meeting. The final proceedings appear as a volume of Electronic Notes in Theoretical Computer Science. After the workshop, selected authors will be invited to submit full versions of their papers (regular papers or presentation results not submitted for journal publication) to a special section of a journal (under negotiation). IMPORTANT DATES: * Submission deadline:April 17, 2005 * Notification of acceptance: May 16, 2005 * Presentations deadline: May 22, 2005 * Final version: June 3, 2005 PROGRAM COMMITTEE: * Howard Barringer (Manchester Univ., UK) * Lubos Brim (Masaryk Univ., CZ) * Gianpiero Cabodi (Torino, IT) * Joerg Denzinger (Alberta, Canda) * Wan Fokkink (CWI Amsterdam, NL) * Hubert Garavel (INRIA, FR) * Juergen Giesl (RWTH Aachen, DE) * Orna Grumberg (Haifa, Israel) * Boudewijn R. Haverkort (Univ. of Twente, NL) * Marta Kwiatkowska (Univ. of Birmingham, UK) * Martin Leucker (TU Munich, DE) - Co-chair * Eric Mercer (Brigham Young Univ., USA) * Jaco van de Pol (CWI, NL) - Co-chair * Gerardo Schneider (Univ. of Oslo, Norway) * Willem Visser (NASA Ames Research Center, USA) Martin Leucker Jaco van de Pol workshop organizers ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ESCAR in Tallinn, 2nd CFP
--- ESCAR, a CADE-20 Workshop 22nd-23rd July 2005 http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Tallinn, Estonia The CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR) will bring together practioners and researchers who are concerned with the implementation and deployment of working automated reasoning systems for classical logic (propositional, first order, and higher order). The workshop will discuss really running systems, and not theoretical ideas that have not yet been translated into working software. ESCAR is the successor to the successful ESFOR workshop held at IJCAR 2004. CADE-20 will be 22nd to 27th July 2005, with ESCAR on the 22nd and 23rd. Full details are available at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The submission deadline is 1st May, notification of acceptance on 30th May, and camera ready versions due 12th June. Submission information is online at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Additionally, the Journal of Automated Reasoning has agreed to a special issue on emperically successful automated reasoning. Authors of ESCAR papers will be able to submit extended versions of their workshop papers for this special issue. All papers submitted for the special issue will be reviewed according to the journal's standards. --- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] MATES/CIA 2005: Submission Deadline Extended Until April 18, 2005
+++ Apologies for multiple copies due to cross postings +++ CALL FOR PAPERS - EXTENDED SUBMISSION DEADLINE * Third German Conference on Multi-Agent System Technologies (MATES 05), September 11 - 13, 2005, Koblenz, Germany http://www.mates2005.de/ * Incorporating the 9th International Workshop on Cooperative Information Agents (CIA 2005) * Co-located with the 28th German Conference on Artificial Intelligence (KI 2005) * Co-sponsored by Siemens, Germany; Whitestein Technologies, Switzerland; German Computer Society (GI); European Coordination Action for Agent-Based Computing (AgentLink III) * IMPORTANT DATES Submission of papers *** EXTENDED: APRIL 18, 2005 *** Notification of authors: June 3, 2005 Camera-ready papers: June 20, 2005 Conference:September 11-13, 2005 * Please find more information about Aims Scope, Topics, and Submission Details on the conference website at http://www.mates2005.de/. The proceedings of MATES 2005 will be published as volume 3550 in the Springer series of Lecture Notes on Artificial Intelligence (LNAI). These proceedings are considered as joint proceedings with CIA 2005. MATES and CIA 2005 jointly issue a MATES/CIA 2005 Best Paper Award. This award is sponsored by Siemens, Germany. CIA 2005 issues a CIA 2005 System Innovation Award to acknowledge and stimulate development of highly innovative systems of intelligent information agents. This award is sponsored by Whitestein Technologies, Switzerland. MATES 2005 provides limited financial support to a limited number of students who are co-authors of accepted papers to give their presentation at the MATES 2005 conference. *** The MATES/CIA 2005 Organizational Board Matthias Klusch (DFKI Saarbruecken, D) Michael Huhns (U South Carolina, USA) Torsten Eymann (U Bayreuth, D) Franziska Kluegl (U Wuerzburg, D) Winfried Lamersdorf (U Hamburg, D) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures
FOCLASA 2005 4th International Workshop on the Foundations of Coordination Languages and Software Architectures A Satellite Workshop of CONCUR 2005 August 27, 2005 San Francisco, Californa (USA) http://foclasa05.lcc.uma.es Abstract A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web-services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognised as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. The goal of this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures. Topics of interest == Topics of interest include (but are not limited to): * Theoretical models (coordination, component composition, concurrency, semantics, expressiveness); * Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties); * Languages for interaction, coordination, architectures, and interface definition (implementation, interoperability, heterogeneity); * Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems); * Tools and environments for the development of applications. In particular, practice, experience and methodologies from the following areas are solicited as well: - Web-services - Multi-agent systems - Peer-to-peer systems - Grid computing - Component-based systems Call for Papers === FOCLASA 2005 is a satellite workshop of the 16th International Conference on Concurrency Theory (CONCUR 2005). The workshop will be held at same location as CONCUR 2005 on August 27, 2005, one day after the main conference. The workshop tries to provide a venue where researchers and practitioners on the topics above can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions. FOCLASA 2005 invites the submission of technical papers in any of the topics of interest and areas listed above. Submissions must describe authors original research work and their results. Description of work-in-progress is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Notes on Theoretical Computer Science (ENTCS), and should be emailed as PostScript (PS) or Portable Document Format (PDF) files to [EMAIL PROTECTED] All submissions will be reviewed by an international program committee that will select them for presentation in the workshop. Selected papers will be available through the workshop website, and a printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published in Electronic Notes in Theoretical Computer Science (ENTCS). Participants will make a presentation of their papers (about twenty or twenty five minutes maximum), followed by a five to ten minutes round of questions and discussion on participants work. The workshop will also include a closing panel in which several issues related to the topics of the workshop and some issues raised during the workshop will be discussed. The Panel Chair (to determine) will invite the panelists and moderate the debate. The publication of a special issue on FOCLASA 2005 in an international scientific journal is also being prepared. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. Previous editions of FOCLASA have been published on Fundamenta Informaticae and Science of Computer Programming. Program Committee = Farhad Arbab, CWI, The Netherlands Antonio Brogi, University of Pisa, Italy Carlos Canal (co-chair), University of
[Haskell] CLIMA VI :: new deadline April 15
[Apologies for cross-postings. Please send to interested colleagues and students] == * DEADLINE EXTENSION * CLIMA VI Sixth International Workshop on Computational Logic in Multi-Agent Systems featuring: the First CLIMA Tutorial Programme and the First CLIMA Competition City University, London, UK, June 27-29, 2005 http://clima.deis.unibo.it/ * SUBMISSIONS OPEN UNTIL APRIL 15, 2005 * == ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Re: How to make Haskell more popular
On 02/04/2005, at 5:33 AM, S. Alexander Jacobson wrote: FYI Perl 6 is being implemented in Haskell (in 4k of code!), so you can do both! That statement is probably even closer to the truth than you think :). See http://svn.openfoundry.org/pugs/modules/SHA1/lib/SHA1.pm (note the use of 'inline Haskell' there ...), which wraps the SHA1 Haskell module: http://svn.openfoundry.org/pugs/modules/SHA1/src/SHA1.hs Perl 6 is indeed looking like something to phear, with a ph. It may be some of the best publicity that Haskell's ever got. -- % Andre Pang : trust.in.love.to.save http://www.algorithm.com.au/ ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell-cafe] Existential problem
Haha! I like the subject of this message :) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe