FP@StAnd

A Scala Experience: Programmer seeks Pure Design Process

Design and development lost it’s fun and I was about to leave the whole IT industry behind me.

Then I discovered Scala. Oh, like soft rain on a dusty road. Everything just became clear, the air became sweet again and the little light of my hard-drive would flicker deep into the night, merrily keeping me company in my world of discovery.

I like system design. I’m an architect at heart, more than a programmer. I love analyzing, designing, thinking, arguing, improving – I just love simple, clean and crisp designs.

http://programmers.stackexchange.com/questions/136508/re-inventing-system-design-for-scala

Six SICSA Prize PhD Studentships: Final Call

The School of Computer Science at the University of St Andrews has six prize PhD studentships available. These studentships are funded through the
Scottish Informatics and Computer Science Alliance and provide both fees and maintenance (£13,500) per annum. They can be taken up by students of any nationality (including non-EU students).

Good students who are interested in PhD study in any aspect of functional programming, including multicore parallelism, real-time systems, static analysis, refactoring, and domain-specific languages should please contact me (kh@cs.st-andrews.ac.uk) urgently.

Deadline: March 1st 2012.

Full details of the scheme at:

http://blogs.cs.st-andrews.ac.uk/csblog/2011/11/17/funded-research-studentships/

Further information about my research at

http://www.cs.st-andrews.ac.uk/~kh

TFPIE: International Workshop on Trends in Functional Programming in Education

Research Fellow in Turin: ParaPhrase Project

Research Fellow in Parallel Computing, University of Torino, Italy

The Computer Science Department of University of Torino is seeking a Research Fellow in “Methodologies and development tools for pattern-based parallel programming on multi-core and many-core platforms” to collaborate in ParaPhrase (http://www.paraphrase-ict.eu/ ), a forefront parallel computing research project sponsored by the European Commission Framework Programme 7. ParaPhrase will develop and deploy new high-level design patterns (algorithmic skeletons) for parallel applications admitting efficient implementations on heterogeneous multicore and manycore architectures. The topic of research will include (and is not limed to) structured parallel programming, patterns, algorithmic skeletons, lock-free programming, transactional memories, compiling and optimization techniques.

Requirements:

- PhD in Computer Science or Ms degree in Computer Science with at least two publications in international conferences or journal in the area of parallel computing.
- Good programming skills: C/C++, CUDA, OpenCL.

Deadline for application: Mid March 2012.
Starting date: April 2012 or as soon as possible thereafter.
Salary: About 1800 Euro/month after taxes.

For further details please contact (as soon as possible) Dr. Marco Aldinucci aldinuc@di.unito.it

Scottish Theorem Provers Meeting, Friday 10th February

Hello All,

The next Scottish Theorem Provers meeting will talk place at the
University of Strathclyde on the morning and afternoon of Friday 10th
February.

Web page: http://www.msp.cis.strath.ac.uk/stp-feb-2012/
STP web page: http://www.macs.hw.ac.uk/stp/

The meeting will take place in the Livingstone Tower, University of
Strathclyde, Glasgow. More detailed directions are available from the
link above. The talks will start at 11am, and finish by 5pm.

A lunch for participants will be provided, supported by the SICSA
Modelling and Abstraction theme.

If you are thinking of attending, please email
Robert.Atkey@cis.strath.ac.uk so that we can get a firm idea of numbers.

Theorem proving research is notably strong in Scottish universities,
with active groups and researchers in at least six departments. The
Scottish Theorem Proving Seminar Series provides a common venue for
communication and sharing of ideas by all these researchers.

The schedule of talks is as follows:

Time Speaker Title
—– ——– ——
11:00-11:45 Gilles Dowek Consistency and cut elimination : two ways to restrict resolution
11:45-12:30 Jamie Gabbay On Proof Search
12:30-13:30 *Lunch*
13:30-14:15 Edwin Brady Type checking by theorem proving in Idris
14:15-15:00 Brian Campbell An executable semantics for CompCert
15:00-15:45 *Tea/Coffee*
15:45-16:15 Mohammed Alzahrani Model Checking Data-Sensitive and Time-Sensitive Web Applications
16:15-17:00 David Aspinall Querying Hiproofs

Please forward this announcement to anyone who might be interested.

Bob Atkey

Seminar on Idris at St Andrews: MONDAY

Idris: Verified Systems Programming with Dependent Types by Edwin Brady

Event details

When: 06-02-2012 14:00 – 06-02-2012 15:00

Where: Phys Theatre C

Series: CS Colloquia Series

Format: Colloquium

Systems software, such as an operating system or a network stack, underlies everything we do on a computer, whether that computer is a desktop machine, a server, a mobile phone, or any embedded device. It is therefore vital that such software operates correctly in all situations. In recent years, dependent types have emerged as a promising approach to ensuring program correctness using languages and verification tools such as Agda and Coq. However, these tools operate at a high level of abstraction and so it can be difficult to map these verified programs to efficient low level code, working with bit-level operations and interacting directly with system services.

In this talk I will describe Idris, a dependently typed programming language implemented with systems programming in mind. I will show how it may be used to implement programs which interact safely with the operating system, in particular how to give precise APIs for verifiable systems programming with external C libraries.

Bio: Edwin Brady is a SICSA Advanced Research Fellow at the University of St Andrews (http://www.cs.st-andrews.ac.uk/~eb)

http://blogs.cs.st-andrews.ac.uk/csblog/2011/11/04/dependently-typed-functional-programming-by-edwin-brady/

Functional Programming ExChange: March 16th 2012

Skills Matter is pleased to announce the Third Functional Programming eXchange our annual Functional Programming conference.

talks

Join us for a day of talks, open-space discussions and brainstorming on Functional Programming, to share common challenges in the different languages and lessons learned. Come see talks with leading experts from the Functional Programming community, including Robert Pickering, David Pollak, Erik Hesselink, Bruce Durling and others, to learn and share the latest innovative ideas, best tools and practices in scala, clojure, haskell and F#.

what, where, when

This annual conference on Functional Programming will take place on March 16th, at the Skills Matter eXchange, London’s meetup space for the developer community. Come and join us to gain a deep understanding of the ideas and technologies in the Functional Programming space.

Link to Web Site

ParaPhrase Project Poster

We will be presenting this Poster at HiPeac 2012 in Paris. For more about ParaPhrase can be found at http://www.paraphrase-ict.eu

Haskell top in “I Enjoy using this Language”

Scala, OCAML, F#, Coq and Clojure round out the top 6!

http://therighttool.hammerprinciple.com/statements/i-enjoy-using-this-language

Milner Symposium, April 16-18 2012

The symposium will feature Robin’s colleagues from all areas of his work, as

well as others participating in its continuation. Robin’s inspiring

contributions continue to have a profound effect on computer science,

and the symposium will show how his vision has developed our subject over

the last few decades, and how new work continues to build on his many

contributions.

http://conferences.inf.ed.ac.uk/Milner2012/