ELTE IK fejléc
Navigációs hivatkozások átugrása
About us
Studies
EIT ICT Labs Master School
International application
Conferences
Research
Contact
Vacancies
 
 
Navigációs hivatkozások átugrása
TFP 2009 & CEFP 2009
Tutorials
Call for papers
Call for participation
Important dates
Committee
Submissions
Organization
Registration
Programme
Venue
Photos
CEFP 2013
DACH 2014
CEFP 2015

CEFP 2009

Our invited lecturers are top experts, professors and researchers from
Europe and the US.

    * Francesco Cesarini:
      OTP Design Patterns
      (Erlang Training and Consulting Ltd, London, UK)

Francesco Cesarini is owner and founder of Erlang Training and Consulting Ltd, a company specialised in high availability, massively concurrent soft real time systems.

    * Prof. Rinus Plasmeijer,Pieter Koopman:
      An effective methodology for defining consistent semantics of complex systems 
      (Radboud University Nijmegen, The Netherlands)

Rinus Plasmeijer is chief designer of the functional programming language Clean, member of IFIP WG 2.8., Head of Software Research Group, University Nijmegen, The Netherlands. Currently he is applying advanced functional programming techniques to enable model driven software development.  He is working on the iTask system which enables the high-level specification of multi-user workflow systems for the web.

Pieter Koopman's research is related to functional programming (especially the Clean language), and specification languages. Currently he is using Clean functions as specifications for the Generic Automatic Software Test-system (Gast). Earlier he was involved in project about parser combinators and implicit surfaces.       

    * Matthew Fluet:
     Programming in Manticore, a heterogenous parallel language
      (Toyota Technological Institute at Chicago, USA)

Matthew Fluet is active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler. He is collaborating on the development of Manticore: a heterogeneous parallel programming language aimed at general-purpose applications running on multi-core processors. As a programming languages researcher, he is working on the opportunities for mechanizing reasoning about programming languages.

    * Prof. Ralf Hinze:
      Reasoning about codata
      (University of Oxford and Kellogg College, UK)

Ralf Hinze's research centers around functional programming, particularly interested in functional algorithm design and purely functional data structures. At the moment he is mainly working on generic functional programming (Generic Haskell). In the past he worked on strictness analysis and type systems.

    * Prof. John Hughes:
      QuickCheck, with a focus on industrial applications
      (http://quviq.com)

Research interests of John Hughes include type systems and formal semantics for programming languages, optimizing compilation, functional programming, and high-level language interoperability. He is currently working in the following projects: Combining Verification Methods in Software Development (Cover) and Flexible System-on-Chip Platforms for Embedded Applications (FlexSoC)

    * Andrew Kennedy:
      Types for units-of-measure: theory and practice
      (Microsoft Research, Cambridge, England)
     
Andrew Kennedy is a Researcher in the Programming Principles and Tools group at Microsoft Research Cambridge. His interests span functional programming, formal semantics, type systems, and compiler
optimization. For several years he worked on the design and implementation of generics for the .NET Common Language Runtime.  More recently he has been revisiting his PhD thesis work on types for
units-of-measure, designing and implementing polymorphic type inference for units in the F# programming language, and formalizing the denotational semantics of units in Coq.

He *still* does not believe in object-oriented programming.

     
    * Granicz Adam:
      Advanced F# Programming

Granicz Adam is founder/CEO of Intellifactory Ltd. and he is a co-author of the Expert F# book. His research interests are formal environments and compilers, resource planning, and extensible compilers. 


 

Short presentation 

Ferenc Bodon: The q programming language

The q programming language and its built-in database kdb+ were developed by Arthur Whitney and released by Kx Systems, Inc. in 2003. The primary design objectives of q are expressiveness, speed and efficiency. It is heavily used in major banks to capture and analyze financial market data. Since q is a vector processing language by birth, it is well suited to performing complex calculations quickly on large volumes of data. What is new in q is that it can also process large volumes of data very efficiently in the relational paradigm. Its syntax allows select expressions that are similar to SQL 92 and its collection of built-in functions forms a rich superset of those in SQL 92.

 

Tibor Kiss: The A+ programming language 

A+ is a powerful and efficient programming language created at Morgan Stanley and available under the GNU General Public License for free. It embodies a rich set of functions and operators, asynchronous execution of functions associated with variables and events, dynamic loading of user compiled subroutines, and many other features. Primarily it is used in a computationally-intensive business environment, where huge amounts of data have to be transformed, stored and enriched in a very efficient way. Its main advantage in the financial industry is the fact that it has built in operators and data structures to quickly and efficiently manipulate large sets of numbers.