Third Ghent FPG Meeting on Tuesday, June 29: Final Program

4 views
Skip to first unread message

Jeroen Janssen

unread,
Jun 20, 2010, 10:18:01 AM6/20/10
to ghen...@googlegroups.com, le...@zeus.ugent.be, cic...@elis.ugent.be
(apologies if you receive multiple copies)

Dear all,

We have finalized the program for the third Ghent FPG Meeting on Tuesday, June 29 in the Technicum building of Ghent University (Sint-Pietersnieuwstraat 41, 9000 Gent) at 19h. As before, to enter the building, you should go to the automatic sliding door on the far left of the building and dial the phone number provided on the note that is taped to the door. Someone will then open the door for you.

The program is as follows:

1. Pierre Carbonnelle - Declarative programming for Business Logic - a new
Open-source project

Declarative programming has made major
inroads in the Presentation and Persistence layers of applications,
with HTML, CSS and SQL. Why has it not been popular in the Business
Logic layer of applications ? Pierre Carbonnelle, an engineer with 20
years of experience in the IT industry, will present a new open source
project, "Yoopf", that aims to fix this gap. It uses the "formula-
based" models of spreadsheets for the development of business
applications, with a particular emphasis on the Google App Engine
platform. Research opportunities will be discussed.

2. Tom Schrijvers - Monadic Constraint Programming

A constraint programming system combines two essential components: a
constraint solver and a search engine. The constraint solver reasons
about satisfiability of conjunctions of constraints, and the search
engine controls the search for solutions by iteratively exploring a
disjunctive search tree defined by the constraint program. We give a
monadic definition of constraint programming where the solver is
defined as a monad threaded through the monadic search tree. We are
then able to define search and search strategies as first class
objects that can themselves be built or extended by composable search
transformers. Search transformers give a powerful and unifying
approach to viewing search in constraint programming, and the
resulting constraint programming system is first class and extremely
flexible.

This is joint work with Peter Stuckey (University of Melbourne) and
Philip Wadler (University of Edinburgh).

3. Wouter Kampmann, Lieven Lemiengre - Lightning Talk on Scala

Hope to see you there!

Bart Coppens (bart.c...@elis.ugent.be)
Jeroen Janssen (jeja...@gmail.com)
Jasper Van der Jeugt (jasp...@gmail.com)
The Ghent FPG organizing committee.

Tom Schrijvers

unread,
Jun 30, 2010, 9:04:36 AM6/30/10
to Ghent Functional Programming Group

Thanks a lot for organizing the third meeting!
I'm looking forward to the next meeting.

The slides of my talk are available:
http://www.cs.kuleuven.be/~toms/Research/talks/fpug_mcp.pdf

Tom

Denis Defreyne

unread,
Jul 1, 2010, 11:42:06 AM7/1/10
to ghen...@googlegroups.com

Thanks for sharing!

Denis

----------------------------------------
Denis Defreyne

E-mail: denis.d...@stoneship.org
Web site: http://stoneship.org/
Jabber: ddfreyne
Twitter: @ddfreyne
----------------------------------------

Jeroen Janssen

unread,
Jul 1, 2010, 1:35:43 PM7/1/10
to ghen...@googlegroups.com
And thank you for giving another fine talk!
Reply all
Reply to author
Forward
0 new messages