[TYPES/announce] Announce: Software Engineering for Systems Developed in Functional Languages

[Simon Thompson]

The 32nd CREST Open Workshop: Software Engineering for Systems Developed in Functional Languages

Date:  24th - 25th March 2014

Venue: University College London, UK

Through the kind support of the EPSRC in the form of a platform grant, we have funding to support the workshops, so registration is free (but there is a charge for registering and then *not* attending, since places are limited). Registration includes lunch on both days and light refreshments. 


Overview:
Functional programming has become a mature practical tool for software development. Large complex functional programs require many of the software engineering techniques developed for other languages and paradigms, such as testing, slicing and refactoring. Some of these techniques, originally designed for imperative languages, such as amorphous slicing and refactoring may prove highly amendable to functional styles of programming. This workshop will bring together software engineers and functional programmers to concentrate on aspects of software engineering that can be extended, adapted and augmented for application to functional programs.   


Confirmed Speakers
David Binkley, Computer Science Department, Loyola University Maryland, USA
Sebastian Danicic, Department of Computing - Goldsmiths College London, UK
Kevin Hammond, School of Computer Science, at the University of St. Andrews, UK
Torben Hoffmann, Erlang Solutions, Denmark
Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
Raghavan Komondoor, Indian Institute of Science, India
Alan Mycroft, Computer Laboratory, University of Cambridge, UK
Jerry Swan, Computing Science and Mathematics, University of Stirling, UK
Don Syme, Microsoft Research, Cambridge, UK
Simon Thompson, School of Computing, University of Kent, UK
Dimitrios Vytiniotis, MSRC PPT group, Microsoft Research, Cambridge, UK 


More details and registration at: http://crest.cs.ucl.ac.uk/cow/32/ 


Simon Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt