Invited Talks
There will be two invited talks. We are very happy to have Ralf Hinze from the University of Oxford
and Jan Wielemaker from the University of Amsterdam.
The computational essence of sorting algorithms (Keynote 1)
Ralf Hinze - University of Oxford
Download the keynote here .
Sorting algorithms are an intrinsic part of functional programming
folklore as they exemplify algorithm design using folds and
unfolds. This has given rise to an informal notion of duality among
sorting algorithms: insertion sorts are dual to selection sorts. Using
bialgebras and distributive laws, we formalise this notion within a
categorical setting. We use types as a guiding force in exposing the
recursive structure of bubble, insertion, selection, quick, tree, and
heap sorts. Moreover, we show how to distill the computational essence
of these algorithms down to one-step operations that are expressed as
natural transformations.
This is joint work with Daniel W.H. James, Thomas Harper, Nicolas Wu,
José Pedro Magalhães.
|
Ralf Hinze's research is centred around the construction of
provably correct software, specifically in the areas of generic programming, functional programming,
algebra of programming and persistent data structures. His long-term goal is to develop theory, languages
and tools that simplify the construction of reliable software systems. Ralf joined Oxford University in
October 2007. Before, he was a lecturer in the Institut für Informatik III at Universität Bonn.
|
|
What is next after 25 years of SWI-Prolog? (Keynote 2)
Jan Wielemaker - University of Amsterdam
Download the keynote here .
This year, SWI-Prolog turned 25. That is worth a celebration. More importantly, it is a good moment
to look backward as well as forward. The landscape around programming and programming infrastructure
including programming languages has changed dramatically in the past 25 years. This provides
opportunities. The Web of Data -- or the Semantic Web -- provides a data and a knowledge representation
framework in which logic plays an important role. Few IT solutions are monolithic these days.
(Web-)service middleware, which is often rule-based, is an obvious place where logic programming
can be (and is being) deployed. At the same time where, technically, being a small language becomes
less of a problem, there are major bottlenecks, such as fragmented and low-traffic discussion forums,
as well as low visibility on the Internet in the form of libraries and program fragments that can act
as a starting point to solve one's problem. Finding an answer to these problems is, in my view, crucial.
|
Jan Wielemaker is the main developer and maintainer of the well-known SWI-Prolog environment.
He is a member of the Human-Computer Studies (HCS) laboratory whicb is part of the informatics institute of the University of Amsterdam.
HCS performs research on theories, methods and technology regarding the design and use and evaluation of complex human-computer systems.
|
|
|