Wednesday, 12 May 2010

Erlang on Mac OS X 10.6 (Snow Leopard)

This is what I did to install Erlang on my MacBook Pro:
  1. Install the GCC compiler. This is done by installing Xcode, Apple's developer tool set, available for free after registration. It can be found at the Apple ADC.
  2. Install the Apache FOP print formatter. This Java application is needed for building the documentation. This implies that you also need Java. The configuration routine checks for Java SDK 1.5. (or higher). I had Java SDK 1.6 installed.
  3. Get the latest Erlang source, which in my case was a file named otp_src_R13B03.tar. Unarchive the file and follow the instructions:
    $ cd otp_src_R13B03
    $. /configure
    $ make
    $ sudo make install

    Now bring up a terminal and issue the command:

    $ erl
    Erlang R13B03 (erts-5.7.4) [source] [smp:2:2] [rq:2] [async-threads:0] [kernel-poll:false]
    Eshell V5.7.4  (abort with ^G)
    1> 1+2.
    That's it! I am ready to have some Erlang fun.

ICFEM 2010, Nov 16-19, Shangai

Another Shanghai conference I have been invited to serve on the Program Committee: ICFEM 2010, the 12th International Conference on Formal Engineering Methods. ICFEM 2010 will take place in Shanghai, right after UTP 2010. Submission deadline for abstracts is 28th of May 2010. The conference chair is my former colleague at UNU-IIST He Jifeng (East China Normal University, China), PC-cochairs are Jin Song Dong (National University of Singapore, Singapore) and Huibiao Zhu (East China Normal University, China).

ICFEM brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered:

  • Formal model-based development and code generation
  • Abstraction and refinement
  • Formal specification and modelling
  • Software verification
  • Formal approaches to software testing
  • Software model checking
  • Formal methods for object and component systems
  • Analysis and models for concurrency
  • Formal methods for cloud computing
  • Tool development and integration
  • Software safety, security and reliability
  • Experiments involving verified systems
  • Applications of formal methods