headers
Till Mossakowski | 3 May 2010 14:43
Picon
Picon

CfP: 20th WADT - deadline extended to May, 10th

             [sorry if you receive this more than once]

                      CALL FOR PAPERS
     DEADLINE FOR TWO-PAGE ABSTRACTS EXTENDED TO MAY, 10th

                         WADT 2010
                20th International Workshop on
               Algebraic Development Techniques

               July 1-4, 2010, Etelsen, Germany

       http://www.informatik.uni-bremen.de/WADT2010/

Aims and Scope:
  The algebraic approach to system specification encompasses many
  aspects of the formal design of software systems. Originally born
  as formal method for reasoning about abstract data types, it now
  covers new specification frameworks and programming paradigms
  (such as object-oriented, aspect-oriented, agent-oriented, logic
  and higher-order functional programming) as well as a wide range
  of application areas (including information systems, concurrent,
  distributed and mobile systems).

  The workshop will provide an opportunity to present recent and
  ongoing work, to meet colleagues, and to discuss new ideas and
  future trends.

Topics of interest:
  Typical, but not exclusive topics of interest are:
  - Foundations of algebraic specification
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gudmund Grov | 4 May 2010 13:49
Picon
Picon

2nd Call for Papers: VSTTE workshops on Theory and on Experiments & Tools

------ Apologies for multiple copies ------

	VSTTE 2010: Workshops on Theories, Tools and Experiments
	        Edinburgh, Scotland, 19th August 2010

The Third International Conference on Verified Software: Theories,
Tools, and Experiments (VSTTE) is part of the Verified Software
Initiative (VSI), a fifteen-year, cooperative, international project
directed at the scientific challenges of large-scale software
verification. VSTTE will host two workshops:

* VS-Theory focuses on theoretical foundations of software
verification.  Topics range from the difficult and essential study
of soundness of delicate proof methods, to the discovery of new
specification techniques and proof methods, to dramatic
simplification or unification of existing methods, to as yet
unknown breakthroughs.

* VS-Tools & Experiments focuses on the development of verification
tools and their experimental evaluation. Topics include interfaces
between tools, tool integration platforms, and case studies.

The workshops will provide a forum to present new, possibly unfinished
work and will also give the opportunity to propose research
challenges, which will help form a research agenda for the Verified
Software Initiative. For further details, see the workshop web site:
http://www.macs.hw.ac.uk/vstte10/Workshops.html

Submissions 
Papers must be written in English using Springer LNCS style. The
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jeremy O'Donoghue | 4 May 2010 13:53
Picon

Latest Haskell Platform for Windows (2010.1.0.0) does not seem to include C++ support

Hi list,

I've just been helping out a wxHaskell user who has been having problems
installing the latest wxHaskell on Windows 7 with the latest haskell
Platform.

As background, wxHaskell contains a substantial C++ wrapper which is
normally compiled from the Cabal script. On Windows machines, this has
the result that the GHC internal copy of MinGW is used for compilation.

I'm getting the following error:

"realgcc.exe: installation problem - cannot exec 'cc1plus': no such file
or directory"

On checking, Haskell Platform\2010.1.0.0\mingw\libexec\gcc\mingw32\3.4.5
does not contain cc1plus.exe. Previous versions of the platform have
done so. Is this an accidental change or a deliberate policy decision?
Is there any way to persuade cabal to use another C++ compiler (I have a
perfectly good copy of MinGW g++ elsewhere on my machine).

Regards
Jeremy O'Donoghue
--

-- 
  Jeremy O'Donoghue
  jeremy.odonoghue <at> gmail.com
Permalink | Reply | 4 comments |
headers
Maciej Piechotka | 4 May 2010 17:55
Picon

Re: Latest Haskell Platform for Windows (2010.1.0.0) does not seem to include C++ support

On Tue, 2010-05-04 at 12:53 +0100, Jeremy O'Donoghue wrote:
> Hi list,
> 
> I've just been helping out a wxHaskell user who has been having problems
> installing the latest wxHaskell on Windows 7 with the latest haskell
> Platform.
> 
> As background, wxHaskell contains a substantial C++ wrapper which is
> normally compiled from the Cabal script. On Windows machines, this has
> the result that the GHC internal copy of MinGW is used for compilation.
> 
> I'm getting the following error:
> 
> "realgcc.exe: installation problem - cannot exec 'cc1plus': no such file
> or directory"
> 
> On checking, Haskell Platform\2010.1.0.0\mingw\libexec\gcc\mingw32\3.4.5
> does not contain cc1plus.exe. Previous versions of the platform have
> done so. Is this an accidental change or a deliberate policy decision?
> Is there any way to persuade cabal to use another C++ compiler (I have a
> perfectly good copy of MinGW g++ elsewhere on my machine).
> 
> Regards
> Jeremy O'Donoghue

Personally I believe there should be option with unbundled mingw (unless
it, which I don't think is a case except C++ in which GHC is not written
in, there are problems with mixing gcc versions). I find myself with
installed few different version of gcc/msys/perl/tcl/... in system just
because each program installs its own copy.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Malcolm Wallace | 4 May 2010 22:32
Picon

Re: Latest Haskell Platform for Windows (2010.1.0.0) does not seem to include C++ support

> "realgcc.exe: installation problem - cannot exec 'cc1plus': no such  
> file
> or directory"
>
> On checking, Haskell Platform\2010.1.0.0\mingw\libexec\gcc 
> \mingw32\3.4.5
> does not contain cc1plus.exe. Previous versions of the platform have
> done so. Is this an accidental change or a deliberate policy decision?

ghc-6.12.1 on Windows did not include the mingw C++ compiler.  This  
was a mistake.  It is included once more in ghc-6.12.2.

Regards,
    Malcolm
Permalink | Reply | 2 comments |
headers
Neil Mitchell | 4 May 2010 23:18
Picon
Gravatar

Re: Latest Haskell Platform for Windows (2010.1.0.0) does not seem to include C++ support

Hi

>> On checking, Haskell Platform\2010.1.0.0\mingw\libexec\gcc\mingw32\3.4.5
>> does not contain cc1plus.exe. Previous versions of the platform have
>> done so. Is this an accidental change or a deliberate policy decision?
>
> ghc-6.12.1 on Windows did not include the mingw C++ compiler.  This was a
> mistake.  It is included once more in ghc-6.12.2.

ghc-6.12.1 didn't include cc1plus.exe or libstdc++.a. The lack of
libstdc++.a caused a failure in something I was building, so I raised
a bug and it's now included in 6.12.2. I didn't explicitly compile any
C++ code, so it's possible that still doesn't work.

It wasn't a policy decision, merely an accident, and I'm sure if you
alert people it will be rectified (since otherwise it's a regression).

Thanks, Neil
Permalink | Reply | 1 comment |
headers
Henning Thielemann | 5 May 2010 12:17
Picon

cabal-sort


I like to announce cabal-sort:

If you have a bunch of packages that you want to compile or recompile,
then you need an order of compilation that meets the dependencies.
Given a number of cabal package files, cabal-sort reads all those files
and emits them topologically sorted according to their dependencies.
This way you can compile many packages at once,
e.g. when a low-level package like transformers has changed.

For compiling a couple of packages from their local darcs repositories
in the right order, you may run something like

$ for dir in `find . -name "*.cabal" | fgrep -v _darcs | xargs cabal-sort --info=dir`; \
do (cd $dir && cabal install); \
done

http://hackage.haskell.org/package/cabal-sort
Permalink | Reply | 0 comments |
headers
Vincent van Oostrom | 5 May 2010 15:39
Picon

5th International School on Rewriting, Call for Participation

************ CALL FOR PARTICIPATION ************

                   ISR 2010

     5th International School on Rewriting

    July 3-8, 2010, Utrecht, The Netherlands

        http://www.phil.uu.nl/isr2010/

************************************************

Background and Organisation
---------------------------

Term rewriting is a powerful model of computation underlying much
of declarative programming, which is heavily used in symbolic
computation in logic and computer science. Applications can be
found in theorem proving and protocol verification, but also in
fields as diverse as mathematics, philosophy and biology.

Following the editions in Nancy (twice, France), Obergurgl (Austria),
and Brasilia (Brazil), the 5th International School on Rewriting takes
place in Utrecht, The Netherlands. The school is aimed at master and
PhD students, researchers and practitioners interested in the study of
rewriting concepts and their applications. To accommodate the different
backgrounds, we offer two (parallel) tracks:

(Basic)    A full-fledged introductory course at master/PhD level
            accompanied with exercise sessions for students without
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gregory Collins | 8 May 2010 03:31
Gravatar

Re: [Haskell-cafe] ANN: test-framework 0.3.0

Max Bolingbroke <batterseapower <at> hotmail.com> writes:

> I'm pleased to announce the release of version 0.3 of test-framework
> (http://hackage.haskell.org/package/test-framework-0.3.0).
> ...
>   * There is a new command line option (--plain), which tells the test
> runner to avoid using any ANSI features - this can be handy if you are
> (for example) viewing test output in Emacs

I don't see this one, although the junit option is there:

    ./dist/build/testsuite/testsuite --plain
    unrecognized option `--plain'
    Usage: testsuite [OPTIONS]
                       --help                                       show this help message
      -j NUMBER        --threads=NUMBER                             number of threads to use to run tests
                       --test-seed=NUMBER|random                    default seed for test random number generator
      -a NUMBER        --maximum-generated-tests=NUMBER             how many automated tests something like QuickCheck should
try, by default
                       --maximum-unsuitable-generated-tests=NUMBER  how many unsuitable candidate tests something like
QuickCheck should endure before giving up, by default
      -o NUMBER        --timeout=NUMBER                             how many seconds a test should be run for before giving up, by default
                       --no-timeout                                 specifies that tests should be run without a timeout, by default
      -t TEST-PATTERN  --select-tests=TEST-PATTERN                  only tests that match at least one glob pattern given by an
instance of this argument will be run
                       --jxml[=FILE]                                Set the output format to junit-xml, and (optionally) writes to FILE instead of STDOUT

G
--

-- 
Gregory Collins <greg <at> gregorycollins.net>
(Continue reading)

Permalink | Reply | 1 comment |
headers
Eric Van Wyk | 11 May 2010 00:22
Picon

SLE 2010 Doctoral Symposium call for abstracts

Doctoral Symposium at the 3rd International Conference on
Software Language Engineering

Call for Submissions

October 11, 2010

Eindhoven, The Netherlands

http://planet-sl.org/sle2010/
---------------------------------------------------------------------

* Goals *

SLE aims to integrate the different sub-communities of the
software-language-engineering community to foster cross-fertilisation
and strengthen research overall.  The Doctoral Symposium at SLE 2010
contributes towards these goals by providing a forum for both early
and late-stage PhD students to present their research and get detailed
feedback and advice from researchers both in and out of their
particular research area.

The main objectives of this event are:
* to provide PhD students with an opportunity to write
  about and present their research,
* to provide PhD students with constructive feedback on their work
  from their peers and from established researchers in their own and
  in different SLE sub-communities,
* to build bridges for potential research collaboration, and
* to foster integrated thinking about SLE challenges crossing the
(Continue reading)

Permalink | Reply | 0 comments |

Gmane